[DMANET] 2nd CfP: Symposium on AI Verification (SAIV) 2026, now with FLoC track

The 9th International Symposium on AI Verification—SAIV 2026
Lisbon, Portugal, July 24–25
co-located with FLoC 2026
https://aiverification.org/2026/

=== FLoC Track (**NEW**) ===

SAIV 2026 offers a separate FLoC track. A submission to this track must
be based on a FLoC submission to one of the conferences CAV, IJCAR, KR,
or SAT. For submission guidelines, we refer to the extended call for
papers: https://aiverification.org/2026/call/

=== Important Dates (all dates are 11:59 AM AoE) ===

Abstract Submission: March 24, 2026 (**extended**)
Paper Submission: March 26, 2026
FLoC Track Paper Submission: May 1, 2026 (**NEW**)
Paper Notification: May 15, 2026
Poster Submission: June 11, 2026
Poster Notification: June 18, 2026

=== SAIV ===

The International Symposium on AI Verification (SAIV) aims to bring
together researchers from the communities on formal methods and artificial
intelligence. Formal reasoning about learning-based systems raises
novel, challenging, and exciting problems, such as the verification
of learning-based components, the combination of deep learning and
symbolic algorithms, and the data-driven verification of systems. SAIV
aims to serve as a platform for idea exchange and cross-pollination on
these topics.

=== 2026 Edition ===

SAIV 2026 will feature a keynote by Armando Solar-Lezama (MIT) and
four invited speakers: Lars Lindemann (ETH Zurich), Sara Magliacane
(University of Amsterdam), Lenka Tětková (Technical University of
Denmark), and Đorđe Žikelić (Singapore Management University).

SAIV 2026 will host the 7th International Verification of Neural Networks
Competition (VNN-COMP'26) (https://vnn-comp.github.io/).

=== Submission ===

We invite three categories of submissions:

**Original papers** describe original research and sufficient detail to
assess the merits and relevance of the submission. For papers reporting
experimental results, authors are strongly encouraged to make their data
available. We welcome both short and long papers. Submissions should
not exceed 18 pages (LNCS format).

**Benchmark and case-study papers** propose a challenge to the SAIV
community or showcase practical evaluations, real-world applications,
or lessons learned in verifying and deploying safety-critical AI systems,
focusing on metrics, methodologies, and safety outcomes.

**Presentation-only papers**: SAIV aims to integrate researchers from
the AI and FM communities. Papers from these areas are dispersed across
many conferences. A visit to SAIV should offer a wide picture of the
latest research in the field. Thus, we welcome presentations of papers
that will not appear in the proceedings.

In addition, VNN-COMP will invite competition contribution papers from
participants for both tools and benchmarks that will also appear in
the proceedings through a separate call; see the VNN-COMP website for
more details.

Papers selected for publication will appear in Springer's LNCS proceedings.

=== Topics ===

The topics covered by SAIV include, but are not limited to, the following:

Safety specifications for systems with AI components
Symbolic analysis of cyber-physical systems with AI components
Formal verification of neural networks
Neuro-symbolic reasoning for AI safety
Testing approaches for systems with AI components
Formal guarantees for interpretable AI
Machine learning for program and controller synthesis
Machine learning for automated reasoning and theorem proving
Differentiable proof certificates
Statistical approaches to falsification and verification
Data-driven verification

=== Program Chairs ===

Guy Avni (University of Haifa)
Christian Schilling (Aalborg University)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] QUASAR 2026 — Call for Papers [Submission Extended]

3rd Workshop on Quantum Algorithms, Software and Applied Research
Cleveland, OH, USA — July 13, 2026
Co-located with ACM HPDC 2026
Website: https://sites.google.com/view/quasar26

[About]
QUASAR 2026 is the 3rd Workshop on Quantum Algorithms, Software and Applied
Research, co-located with ACM HPDC 2026. The workshop focuses on quantum
algorithms, software, and applied research at the intersection of quantum
computing and high-performance computing, with particular emphasis on
information processing and information retrieval. Building on the success
of previous editions—QUASAR 2024 (Pisa, Italy) and QUASAR 2025 (Notre Dame,
IN, USA)—QUASAR provides a focused forum for presenting recent advances and
fostering interaction between researchers across disciplines, with strong
encouragement for early-career participation.

[Submission]
The 3rd Workshop on Quantum Algorithms, Software and Applied Research
(QUASAR 2026) invites submissions of original, unpublished research papers
on quantum algorithms, quantum software, and applied quantum computing,
with a particular focus on information processing and information
retrieval. QUASAR 2026 provides a focused forum at the intersection of
quantum computing and high-performance computing, covering theory,
software, systems, and applications, including hybrid quantum–classical
approaches.
Papers authored solely or primarily by postgraduate students and
postdoctoral researchers are particularly encouraged.

Relevant topics include, but are not limited to:

- Grover-inspired algorithms and amplitude amplification techniques
- Quantum search and information retrieval applications
- Practical implementations on near-term and fault-tolerant quantum hardware
- Hybrid quantum–classical approaches leveraging Grover-style primitives
- Theoretical limits, refinements, variants, and extensions of Grover's
algorithm
- Critical assessments of applicability, performance, and scalability

[Awards]

Thanks to the generous support of Classiq, QUASAR 2026 will feature two
paper awards:
• Best Paper Award – $1,000
Awarded to the authors of the highest-quality paper accepted to QUASAR
2026, as selected by the Program Committee.
• Best Student Paper Award – $500
Awarded to the best paper authored solely or primarily by a postgraduate
(Master's or PhD) student, in line with QUASAR's goal of encouraging and
supporting early-career researchers.

Awards will be determined based on the peer-review evaluations and the
final camera-ready versions of the accepted papers. Winners will be
announced during the workshop and highlighted on the QUASAR website.

[Special focus]
30 Years of Grover's Algorithm (1996–2026)
Submissions related to Grover's algorithm, quantum search, amplitude
amplification, and related paradigms are strongly encouraged.

[Real Quantum Computer Visit]
During QUASAR 2026, participants will visit the IBM quantum computer hosted
at the Cleveland Clinic, located within short walking distance from the
workshop venue. The visit will offer the opportunity to see a real,
operational quantum computing system and to interact with researchers
working on quantum hardware, software, and applications.

[Submission Details]
Paper length: 5–8 pages (excluding appendices)
Format: ACM sigconf LaTeX template
Review process: Single-blind
Submission system: HotCRP
Accepted papers will be published in the ACM workshop proceedings

[Important Dates]
Submission deadline: March 16, 2026. March 26, 2026
Notification: April 24, 2026
Camera-ready: May 16, 2026
Workshop: July 13, 2026

[Venue]
Tinkham Veale University Center,
Case Western Reserve University, Cleveland, OH, USA

[Contact]
Arianna Pavone (University of Palermo) ariannamaria.pavone@unipa.it
Francesco Pio Marino (University of Catania) francesco.marino@phd.unict.it

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD in Graph Theory in Turin, Italy

Dear Colleagues,

I would like to draw your attention to the PhD program in Mathematics at the University of Torino, Italy, and specifically to the possibility of a PhD on Planar Graphs and Polyhedra, supervised by me in Torino, and with a semester and visits abroad.

The call is expected to be advertised in April, with deadline in early June, and starting November.

Criteria
1) The successful candidate will have a master's degree (or be very close to obtaining one--usually end of October is the cut-off date) in mathematics (or closely related subject) with top grades. If the candidate has a bachelor's degree, this should be with top grades as well. Moreover transcripts should contain exams related to the sought PhD topic, also with top grades.

"top grades" is to be interpreted as above 95% equivalent, as candidates who fall below are not likely to be successful as these PhDs are usually very competitive.

2) The successful candidate will also have at least two (preferably more) of the following:

(peer-reviewed, good quality) publication(s) relevant to the sought PhD topic
academic references relevant to the sought PhD topic
participation in training "schools" (summer schools...)
university semester abroad (such as Erasmus)
excellence programs (such as Scuola Normale di Pisa)
prizes

3) Interest and some expertise in graph theory, specifically one or more of the following: planar graphs, vertex degree sequences, structural properties of graphs, algorithms for graphs, extremal graph theory.

Candidates who meet the above criteria are very welcome to contact me for further details.

Please forward this email to anyone who might be interested.

Kind regards,

Riccardo Maffucci
University of Torino

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ISSAC 2026 - First Call for Short Communications and Software Presentations

FIRST CALL FOR SHORT COMMUNICATIONS AND SOFTWARE PRESENTATIONS

ISSAC 2026
International Symposium on Symbolic and Algebraic Computation
July 13 - 17, 2026
Carl von Ossietzky Universität of Oldenburg, Germany
https://www.issac-conference.org/2026/

----------------------------------------------------------------------

The International Symposium on Symbolic and Algebraic Computation is the
premier conference for research in symbolic computation and computer
algebra. ISSAC 2026 will be the 51st meeting in the series, which
started in 1966 and has been held annually since 1981. The conference
presents a range of invited talks, tutorials, short communications
(posters), software demonstrations, and vendor exhibits with a
centerpiece of contributed research papers.

ISSAC 2026 will be held from July 13 to 17, 2026, at Oldenburg, Germany.

The short communications session at ISSAC is a venue to announce early
research results or ongoing projects that might not yet be complete.
Short communications reporting on recent work published, accepted, or
submitted elsewhere are also welcome (with original publications clearly
referenced). The short communication submission will be in the form of
an extended abstract (see details below). At the conference, short
communications will be presented in the form of a poster session.
Authors are encouraged to print their poster on a single large A0 sheet.

The software presentation sessions at ISSAC are opportunities to
demonstrate and communicate about new implementations of algorithms in
symbolic and algebraic computation. Of relevance are presentations for
new software, new packages, or new developments that present some
originality or improved performance compared to the state of the art.

Authors are invited to submit an extended abstract in PDF format of no
more than 4 pages. The abstracts will be reviewed by the short
communications and software committees and relevant experts when needed.
The review criteria are content, originality, style, and relevance.

The accepted short communication and software abstracts will be published
in an upcoming issue of the ACM SIGSAM Communications in Computer Algebra.


Important Dates
---------------

Short communications (posters):
* Abstract submission (.pdf) deadline: May 8, 2026, 23:59
(anywhere on Earth)
* Notification of acceptance/rejection: May 25, 2026
* Final version (.tex) due: June 12, 2026

Software presentations:
* Submission software presentation deadline: April 24, 2026, 23:59
(anywhere on Earth)
* Notification of acceptance/rejection: May 25, 2026
* Final version (.tex) due: June 12, 2026


Submissions
-----------

Both for the short communications and the software presentations,
the submission is in the form of an extended abstract of no more than
4 pages using the SIGSAM LaTeX style and the CCA templates which are
available here:
https://www.sigsam.org/cca/

Authors of accepted contributions are expected to present their work
at the symposium.

Short communications:
Please submit via EasyChair at:
https://easychair.org/conferences/?conf=issac2026poster

Software presentations:
Please submit via EasyChair at:
https://easychair.org/conferences/?conf=issac2026softwarepre


Topics
------

All areas of computer algebra and symbolic mathematical computation are
of interest. These include, but are not limited to:

Algorithmic aspects:
* Exact and symbolic linear, polynomial and differential algebra
* Symbolic-numeric, homotopy, perturbation and series methods
* Computational algebraic geometry
* Polynomial and semialgebraic optimization
* Computational group theory and number theory
* Quantifier elimination and logic
* Computer arithmetic
* Summation, recurrence equations, integration, solution of ODEs & PDEs
* Symbolic methods in other areas of pure and applied mathematics
* AI methods and symbolic computation
* Complexity of algebraic algorithms and algebraic complexity

Software aspects:
* Design of symbolic computation packages and systems
* Language design and type systems for symbolic computation
* Data representation
* Considerations for modern hardware
* Algorithm implementation and performance tuning
* Mathematical user interfaces
* Use with systems such as digital libraries, courseware, simulation
and optimization, automated theorem-proving, computer-aided design,
and automatic differentiation

Application aspects:
* Applications that stretch the current limits of computer algebra
algorithms or systems, use computer algebra in new areas or new ways,
or apply it in situations with broad impact.

Satellite Workshops/Conferences:

* The organizing committee of ISSAC 2026 invites proposals for Satellite
Events aimed at enriching the conference program, attracting a broader
audience, and promoting new developments and original research results in
all areas of symbolic mathematical computation.

Current Satellite Events:
* Satisfiability Checking and Symbolic Computation Workshop 2026:
https://www.sc-square.org/CSA/workshop11.html

* Applications that stretch the current limits of computer algebra
algorithms or systems, use computer algebra in new areas or new ways, or
apply it in situations with broad impact.


Invited Speakers
----------------
Saugata Basu, Purdue University, United States of America
Assia Mahboubi, Inria & Vrije Universiteit Amsterdam, France, Netherlands
Oded Schwartz, The Hebrew University of Jerusalem, Israel
Wadim Zudilin, Radboud Universiteit, Netherlands


Tutorial Speakers
-----------------
Bettina Eick, Technische Universität Braunschweig, Germany
Ziming Li, Academia Sinica, China
Vincent Neiger, Sorbonne University, France


Organizing Committee
--------------------
General Chair: Christoph Koutschan, RICAM, Austrian Academy of Sciences, Austria
Program Committee Chairs: Alin Bostan, Inria and Sorbonne University, France
Clément Pernet, Grenoble INP - UGA, France
Local Arrangements Chair: Anne Frühbis-Krüger, Carl von Ossietzky Universität of Oldenburg, Germany
Treasurer: Florian Hess, Carl von Ossietzky Universität of Oldenburg, Germany
Proceedings Editor:  Thi Xuan Vu, Université de Lille, France
Publicity Chair: Ali Kemal Uncu, University of Bath, UK
Tutorial Chair: Arne Storjohann, University of Waterloo, Canada
Short Communications Chair: Hao Du, Beijing University of Posts and Telecommunications, China
Software Presentations Chair: Katsusuke Nabeshima, Tokyo University of Science, Japan


Short Communications Committee
------------------------------
Erika Ábrahám, RWTH Aachen University, Germany
Hao Du, Beijing, University of Posts and Telecommunications, China
Claudia Fevola, Inria Saclay, France
Kisun Lee, Clemson University, United States of America
Jie Wang, Chinese Academy of Sciences, China


Software Presentation Committee
-------------------------------
Alexander Brandt, Dalhousie University, Canada
Clemens Hofstadler, Johannes Kepler University, Austria
Dong Lu, Southwest Jiaotong University, China
Katsusuke Nabeshima, Tokyo University of Science, Japan


---

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM's new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] AIces 2026: regular registration March 27

******************************************************

1st INTERNATIONAL SCHOOL ON THE COGNITIVE, ETHICAL AND SOCIETAL DIMENSIONS OF ARTIFICIAL INTELLIGENCE

AIces 2026

Porto – Maia, Portugal

March 30 – April 2, 2026

https://aices.irdta.eu/2026/

******************************************************

Co-organized by:

University of Maia

Institute for Research Development, Training and Advice – IRDTA
Luxembourg/London

******************************************************

Regular registration: March 27, 2026

******************************************************

SCOPE:

AIces 2026 will be the first in a series of research training events aiming at updating participants on the most recent multidisciplinary discussions about the foundations, meaning, challenges and risks of AI.

The event will have a global scope along 3 thematic lines: cognition, ethics, and society. It will cover current debates about: AI and philosophy of mind; cognitive architectures; machine learning and cognitive development; large language models and visual information; robotics and embodied cognition; neuroscience-inspired AI; algorithmic bias and fairness; transparency and explainability; accountability and responsibility; privacy and surveillance; autonomy and control; AI impact on human values and social inequalities; the future of work and automation; governance, regulation and public policies; AI, human rights and democracy; AI and global development; information and AI education.

The event will consist of 10 courses, 2 keynote lectures, 3 symposia collecting short contributions from participants, and 2 individual presentations on debated topics. Renowned academics and industry pioneers will lecture and share their views with the audience. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Face to face interaction and networking will be main ingredients of the event. It will be also possible to fully participate in vivo remotely.

ADDRESSED TO:

Graduate students, postgraduate students and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees, so people less or more advanced in their career will be welcome as well.

Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses.

Overall, AIces 2026 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen to and discuss with major researchers, industry leaders and innovators.

VENUE:

AIces 2026 will take place in Porto, the second largest city in Portugal, recognized by UNESCO in 1996 as a World Heritage Site. The venue will be:

University of Maia
Avenida Carlos de Oliveira Campos - Castêlo da Maia
4475-690 Maia
Porto, Portugal

https://www.umaia.pt/en

STRUCTURE:

2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.

Full live online participation will be possible. The organizers highlight, however, the importance of face to face interaction and networking in this kind of research training event.

All lectures will be videorecorded. Participants will be able to watch them again for 45 days after the event.

KEYNOTE SPEAKERS:

David Danks (University of Virginia), Trustworthy AI in an Untrustworthy World

Ming Lin (University of Maryland), Socially Responsible and Trustworthy AI

PROFESSORS AND COURSES:

Ricardo Baeza-Yates (KTH Royal Institute of Technology & Pompeu Fabra University), [introductory] Introduction to Responsible AI

Susan Brennan (Stony Brook University), [introductory/advanced] Where Are the Humans in Human-Centered AI?

Thomas Breuel (Nvidia Research), [introductory] Facts and Rules in LLMs

Carlos Castillo (Pompeu Fabra University), [introductory] Algorithmic Fairness in High-Risk AI Applications

Alan Dix (Cardiff Metropolitan University), [introductory] AI for Social Justice

Elia Formisano (Maastricht University), [introductory/intermediate] Auditory Cognition in Humans and Machines

Marijn Janssen (Delft University of Technology), [introductory/advanced] Data and AI Governance - From Control to Trust

Christian Lebiere (Carnegie Mellon University), [intermediate] Computational Cognitive Models of Human-AI Teaming

Paul Smolensky (Johns Hopkins University), [intermediate/advanced] Symbol Processing in Transformers and Other Neural Networks

Savannah Thais (City University of New York), [intermediate/advanced] Measurement for Safer AI

SYMPOSIA:

A symposium will collect 10-minute voluntary presentations on any of the 3 thematic areas of the event: cognition, ethics, and society.

A 1-page abstract containing the title, authors, and summary of the presentation must be sent to david@irdta.eu by February 28, 2026.

Only registered participants can contribute to symposia.

INDIVIDUAL PRESENTATIONS ON DEBATED TOPICS:

50-minute individual presentations will be scheduled for any of the 3 thematic areas of the school: cognition, ethics, and society.

A 2-page expression of interest including the topic to be debated must be sent to david@irdta.eu by December 30, 2025.

Only registered participants are eligible for individual presentations.

SPONSORS:

Companies/institutions/organizations willing to be sponsors of the event can download the sponsorship leaflet from

https://aices.irdta.eu/2026/sponsors/

ORGANIZING COMMITTEE:

Samuel Anjos (Maia, social networks)
Osheen Jain (London, communications)
José Paulo Marques dos Santos (Maia, local chair)
Carlos Martín-Vide (Tarragona, program chair)
Santiago Montes (Tarragona, webpage)
Sara Morales (Luxembourg)
José Luís Reis (Maia)
Luís Paulo Reis (Porto)
David Silva (London, organization chair)

REGISTRATION:

It has to be done at

https://aices.irdta.eu/2026/registration/

The selection of 6 courses requested in the registration template is only tentative and non-binding. For logistical reasons, it will be helpful to have an estimation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue will have got exhausted. It is highly recommended to register prior to the event.

FEES:

Fees comprise access to all program activities and lunches.

There are several early registration deadlines. Fees depend on the registration deadline.

The fees for on site and for online participation are the same.

ACCOMMODATION:

Accommodation suggestions are available at

https://aices.irdta.eu/2026/accommodation/

CERTIFICATE:

A certificate of successful participation in the event will be delivered indicating the number of hours of academic activities. This should be sufficient for those participants who plan to request ECTS recognition from their home university.

QUESTIONS AND FURTHER INFORMATION:

david@irdta.eu

ACKNOWLEDGMENTS:

Universidade da Maia

Universidade do Porto

Universitat Rovira i Virgili

Institute for Research Development, Training and Advice – IRDTA, Luxembourg/London
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Call for Papers: Special Issue on Entropy-Guided Evolutionary Intelligence (MDPI Entropy)

Dear Colleagues,

We are pleased to invite you to contribute your latest research to a
Special Issue of the journal *Entropy* (ISSN 1099-4300, IF 2.5) entitled:

*"Entropy-Guided Evolutionary Intelligence: Information Dynamics for
Adaptive and Explainable Machine Learning"*

*Overview:* While gradient-based ML has seen massive success, it often
struggles with non-differentiable or dynamic environments. Evolutionary
Artificial Intelligence (EvoAI) provides a biological alternative, but
often lacks principled ways to control uncertainty. This Special Issue
explores how information theory—specifically entropy—can act as a
regulatory principle to govern diversity, convergence, and transparency in
evolutionary processes.

*Scope includes (but is not limited to):*

-

Entropy-based fitness and objective functions.
-

Information-regulated mutation, recombination, and selection.
-

Entropy-driven neuroevolution and hybrid frameworks.
-

Uncertainty quantification and explainability (XAI).
-

Applications in complex, high-dimensional domains.

*Special Issue Website:*
https://www.mdpi.com/journal/entropy/special_issues/A3361VP55O

We encourage you to submit your original research or comprehensive review
papers. Should you have any questions regarding the suitability of a topic,
please feel free to reach out.

Best regards,

Dr. Diego Oliva
Prof. Dr. Marco Pérez-Cisneros
Guest Editors

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [DEADLINE EXTENSION] IEEE EAIS 2026 Special Session: Self-Improving Systems (Now March 25th)

*Dear Colleagues,*

We are pleased to announce that the paper submission deadline for the
Special Session *"Self-Improving Systems: The Convergence of Evolutionary
Strategies and Machine Intelligence using XAI and LLMs"* at *IEEE EAIS 2026*
has been extended.

The new submission deadline is *March 25, 2026.*

This extension provides researchers additional time to contribute their
work to this interdisciplinary forum focused on creating adaptive,
resilient, and transparent computational entities.

*Updated Important Dates:*

-

*Paper Submission Deadline:* March 25, 2026 (Extended)
-

*Acceptance Notification:* May 15, 2026
-

*Camera-Ready Deadline:* June 15, 2026
-

*Conference Dates:* September 21–23, 2026
-

*Location:* University of Pisa, Pisa, Italy

*Topics of Interest Include:*

-

Hybrid ES and Deep Reinforcement Learning (DRL) architectures.
-

LLMs as intelligent operators for mutation and code synthesis.
-

XAI methods for interpreting evolved policies and decision-making.
-

Applications in Robotics, Scientific Discovery, and AutoML.
-

Safety, Ethics, and Governance in self-improving AI.

*Submission Process:* Please follow the submission guidelines on the
official *IEEE EAIS 2026* website and select our Special Session title
during the upload process. Accepted and presented papers will be published
in the *IEEE Xplore Digital Library.*

*More Information:* https://sites.google.com/view/siseais2026/inicio
<https://sites.google.com/view/siseais2026/inicio?authuser=1>

We look forward to receiving your contributions.

Best regards,

*The Organizing Committee:*

Dr. Diego Oliva (Universidad de Guadalajara, México)

Dr. Jorge Ramos-Frutos (Tecnológico Nacional de México Jiquilpan, México)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Call for papers: The 3rd Workshop on Artificial Intelligence for Networked Drone and Sensor Applications

*** Please accept our apologies if you receive multiple copies of this CFP
***

*Submit your paper for **DroneSense-AI 2026** in **Bologna, Italy**! *Workshop
Date: 16 - 19, June 2026
*Paper submission deadline*: 22 March, 2026;

*The 3rd Workshop on Artificial Intelligence for Networked Drone and Sensor
Applications (DroneSense-AI 2026), to be held in conjunction with IEEE
WoWMoM 2026.*
*Theme: Advancing AI for the Low-Altitude Economy and Satellite-Augmented
Drone Networks*
*Website: **https://sites.google.com/view/dronesense-ai2026/home-2026*
The Workshop on Artificial Intelligence for Networked Drone and Sensor
Applications (DroneSense-AI) aims to bring together researchers,
practitioners, and industry experts to explore the integration of machine
learning (ML) and Artificial Intelligence (AI) with networked drones and
intelligent sensor systems. This convergence continues to reshape sectors
such as agriculture, environmental monitoring, disaster response, critical
infrastructure, and public safety. Within the context of the emerging
*Low-Altitude
Economy (LAE),* the demand for AI driven coordination, perception, and
decision making is growing rapidly.
ML/AI enabled drone and sensor systems can process large volumes of
heterogeneous, real-time data to enable autonomous behavior, dynamic
coordination, and mission aware optimization. To support these operations
at scale, particularly for missions operating Beyond Visual Line of Sight
(BVLOS), the integration of *Satellite augmented connectivity* is emerging
as a critical infrastructure layer alongside terrestrial networks.
However, challenges such as processing latency, data integration,
communication constraints, energy efficiency, and the lack of standardized
architectures remain major barriers to widespread adoption. Promising
avenues for overcoming these limitations are emerging, particularly in the
form of quantum processing and secure communication. This workshop will
address the technical challenges, emerging solutions, and application
scenarios of ML/AI integration in distributed drone and sensor networks. It
will provide a timely platform to present novel algorithms, deployment
strategies, and scalability insights with an emphasis on real world impact
and cross-disciplinary innovation.
The timeliness of this workshop is underscored by growing academic and
industrial investment in ML driven autonomous systems, along with the rapid
expansion of drone-enabled services. As such, this workshop provides a
timely forum for researchers, developers, and practitioners to exchange
ideas, share methodologies, and identify future directions in ML enhanced
Internet of Drone (IoD) and Internet of Things (IoT) systems.
*Topics of Interest*
We invite original contributions on the following topics :
*ML & AI Integration*

- Architectures for ML deployment in UAV/sensor networks
- Edge and distributed learning for drones and IoT
- Communication-efficient AI models for UAV swarms
- AI-based anomaly detection and pattern recognition

*Drone Operations & Autonomy*

- UAV navigation and real-time trajectory optimisation
- Multi-agent coordination and swarm intelligence
- AI for dynamic flight control and formation
- Safety-aware autonomous drone systems

*Environmental & Agricultural Applications*

- AI for crop health monitoring and yield prediction
- Biodiversity tracking and habitat surveillance
- UAV-enabled smart farming and remote sensing
- Forest fire and disaster detection using AI

*Infrastructure, Industry & Logistics*

- AI-powered infrastructure inspection and asset monitoring
- Predictive maintenance using UAV-collected data
- Autonomous delivery and drone-based logistics
- Industry 4.0 integration with UAV and IoT platforms

*Security, Surveillance & Public Safety*

- ML for real-time object/person detection
- AI-based threat assessment and crowd monitoring
- Privacy-preserving AI in surveillance drones
- UAVs for law enforcement and emergency response

*Healthcare & Emergency Services*

- UAV-based delivery of medical supplies
- Real-time patient monitoring and telemedicine via drones
- AI for emergency triage and disaster relief coordination

*Connectivity & Networks*

- UAV-enabled IoT and wireless data collection
- AI-optimised drone-assisted cellular network coverage
- Communication protocols for dense UAV-sensor networks
- *Satellite-Augmented Drone Systems:*
- AI for seamless handovers between terrestrial (5G/6G) and LEO
satellite links
- Satellite-backhauled edge computing for remote drone operations
- Distributed AI for space-air-ground integrated sensing
- Resilient navigation and positioning in GNSS-denied environments

*Emerging Paradigms*

- Quantum-enhanced communication and processing for UAVs
- Quantum and mmWave sensing
- Ethical and regulatory considerations in AI-based drone systems
- Simulation environments and benchmarking for drone-AI research

*Workshop Chairs: *

- Associate Professor Jahan Hassan (Central Queensland University,
Australia)
- Associate Professor Biplob Ray (Central Queensland University,
Australia)
- Associate Professor Jaime Galán-Jiménez (University of Extremadura,
Spain)
- Dr Shuvashis Dey (North Dakota State University, USA)

📅* Important Dates*

- Paper submission deadline: 22 March, 2026
- Paper acceptance notification: 12 April,2026
- Camera-ready version due: 26 April, 2026
- Workshop Date: 16 - 19, June 2026

*Submission & Contact*

- Submission Link via EDAS: https://edas.info/newPaper.php?c=35067
- Workshop Website:
*https://sites.google.com/view/dronesense-ai2026/home-2026*
- Contact Email: *j.hassan@cqu.edu.au*;
b.ray@cqu.edu.au

*****Journal Special Issue Invitation*****
Selected authors will be invited to submit an extended version of their
workshop papers to the Elsevier Ad Hoc Networks (Q1) Special Issue titled
"Intelligent and Resilient Networking for the Low-Altitude Economy: From
Autonomous Systems to Scalable Services." *Please note that submissions
must represent a substantial extension of the original workshop paper. This
may include new theoretical analysis, enhanced or redesigned
algorithms/models, and significantly expanded experimental validation
(e.g., new datasets, additional baselines, new evaluation metrics, and
deeper performance analysis). All submissions will undergo the journal's
standard peer-review process.*
Special Issue website: https://tinyurl.com/89t4abwb

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Fully funded PhD position in Machine Learning for Multiobjective Combinatorial Optimization at TU Munich

A fully funded PhD position (initially 75% TV-L E13, increasing to 100% TV-L E13 after 8 months) in Machine Learning for Multiobjective Combinatorial Optimization is available at the Professorship of Optimization and Sustainable Decision Making (https://odm.cs.tum.de/en/) of the Technical University of Munich (TUM). The expected starting date for the position is August 2026 or later.

Details about the position and the application process are available here: https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20260312_103447

For further information about the position, please contact Prof. Dr. Clemens Thielen (clemens.thielen@tum.de).
--
Prof. Dr. Clemens Thielen
Professorship of Optimization and Sustainable Decision Making
TUM Campus Straubing for Biotechnology and Sustainability
Technical University of Munich (TUM)

Am Essigberg 3 | 94315 Straubing | Germany
Phone: +49 9421 187 175
Web: http://odm.cs.tum.de

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] : Call for Papers – Special Session on Human-Technology Interaction for Operator 4.0/5.0 (APMS 2026, Bergamo)

Dear colleagues,
We would like to invite you to contribute to the Special Session: /"New
Forms of Human-Technology Interaction in Production and Logistics
Systems for the Operator 4.0/5.0"/, organized within the APMS 2026
Conference (Advances in Production Management Systems), which will take
place in Bergamo, Italy.

As production and logistics systems become increasingly digital,
connected, and autonomous, the role of the human operator is evolving
rather than disappearing. This special session focuses on human-centric
design of human–cyber-physical systems, exploring how emerging
technologies can augment human capabilities, support well-being, and
enable effective collaboration between humans and machines.

Technologies of interest include augmented reality, collaborative
robots, wearable sensors, and AI-based assistants, among others.

We welcome contributions addressing topics such as (but not limited to):

• Design principles and frameworks for effective Human-Technology
Interaction (HTI)
• Adaptive systems tailored to individual operator capabilities and needs
• Organizational and workforce-level impacts of human-centric production
technologies
• Human-AI collaboration and Operator 4.0 / Operator 5.0 paradigms
• Human factors and ergonomics in advanced production and logistics systems

*Submission deadline for full papers (12–15 pages): 28 March 2026*

Special Session Organizers:
    •    Jannick Fiedler – ETH Zurich
    •    Huizhong Cao – Chalmers University of Technology
    •    Serena Finco – University of Padua
    •    Fabio Sgarbossa – NTNU
    •    David Romero – Tecnológico de Monterrey

If your research relates to human-centric production systems, Operator
4.0/5.0, or human-AI collaboration in industrial contexts, we warmly
encourage you to submit your work and join the discussion.

More information about the conference and submission guidelines is
available on the APMS 2026 conference website.

Kind regards,
Serena Finco

--
Dr. Finco Serena
Associate Professor of Industrial Plants and Logistics
University of Padova - Department of Management and Engineering
Stradella San Nicola, 3 - 36100 Vicenza (Italy)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] International Conference on Multiple Criteria Decision Making (MCDM 2026) in Wuppertal, Germany

*MCDM 2026 - Call for Papers
(Extended Abstract Submission Deadline March 27, 2026)*

MCDM 2026 is the 28th edition of the biennial international conference
of the International Society on Multiple Criteria Decision Making. We
look forward to welcoming you to Wuppertal from *May 25th to 29th, 2026*.

Streams:

* Advances in MCDM Theory
* Heuristic Algorithms
* Multi-objective Programming
* Decision Analysis/Making
* Interactive Methods
* Data Envelopment Analysis
* Practical Applications of MCDM
* Computing and Software for MCDM
* Teaching MCDM

Plenary Speakers:

* Salvatore Corrente (University of Catania, Italy)
* Andreia P. Guerreiro (INESC-ID, Portugal)
* Stefan Ruzika (RPTU Kaiserslautern-Landau, Germany)

For further information please visit the conference website at
https://mcdm2026.uni-wuppertal.de.

Call for Papers: https://uni-wuppertal.sciebo.de/s/p6rsjfzH5grzDWQ

Important Dates:

* Registration opens: February 6, 2026
* Abstract submission deadline:*March 27, 2026* March 15, 2026*
*
* Acceptance notification: *March 29, 2026 *March 20, 2026*
*
* Early-bird registration deadline, presenting author registration
deadline: March 31, 2026
* 28th MCDM Conference in Wuppertal, May 25–29, 2026

--
-----------------------------------------
PD Dr. Michael Stiglmayr
-----------------------------------------
University of Wuppertal
School of Mathematics and Natural Sciences
Institute of Mathematical Modelling, Analysis and Computational Mathematics
Optimization Group
Gaussstr. 20, 42119 Wuppertal
stiglmayr@math.uni-wuppertal.de
http://uni-w.de/u9
-----------------------------------------

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CfP] Networking Session @ RuleML+RR 2026

*Call for Papers:*

*******************************************************************************
*** Networking Session @ RuleML+RR 2026 ***
*** 24-26 August 2026 ***
*** Vilnius, Lithuania ***
*******************************************************************************

The project *N**etworking Session *of RuleML+RR 2026 aims to bring
together relevant
projects working in the area of data and AI with particular focus on
declarative representations in a broad sense. It will be held as a part of
the RuleML+RR 2026 <https://2026.declarativeai.net/ruleml-rr> in Vilnius,
Lithuania from August 24th to 26th. It will be co-located with several
events as part of Declarative AI 2026 <https://2026.declarativeai.net/home>,
including DecisionCamp <https://2026.declarativeai.net/decisioncamp>,
the Reasoning
Web Summer School <https://2026.declarativeai.net/reasoning-web>, and
multiple other satellite events of RuleML+RR 2026 (Rule Challenge
<https://2026.declarativeai.net/ruleml-rr/rule-challenge>, Doctoral
Consortium <https://2026.declarativeai.net/ruleml-rr/doctoral-consortium>,
and Industry Track <https://2026.declarativeai.net/ruleml-rr/industry-track>
).

*Topics of Interest: *

For a detailed list of topics, we refer to the RuleML+RR 2026 call:

https://2026.declarativeai.net/ruleml-rr/main-track

The session will provide an opportunity to:

- Share knowledge between research and innovation projects operating in
the area of data and AI.
- Identify potential synergies between the projects, e.g., transfer data
and AI technology between projects, joint publications, joint dissemination
activities, etc.
- Discuss funding opportunities such as Horizon Europe, Digital Europe,
ERC, ELLIS, etc.

The session targets research and innovation projects operating at all
stages:

- Ending (or recently ended) projects, which have results to transfer and/or
dissemination of results;
- Ongoing projects, seeking collaboration and networking opportunities
with external stakeholders and external projects;
- Upcoming projects/initiatives, searching for potential new ideas and
partners for consortia.

*Submission Procedure:*

Interested participants should submit abstracts of between 1 and a maximum
of 6 pages (including references), describing the project's objectives,
possible information to be shared with other participants, or interests in
other projects.

Papers with at least 5 pages (including references) will be included in the
companion proceedings of the event published by CEUR and should be formatted
in the CEUR-WS.org style template CEURART (1-column variant). Submitted
papers must be original contributions written in English. Papers with fewer
than 5 pages will be made available to participants online.

*Submission Link:* https://cmt3.research.microsoft.com/DAI2026/
(select the Networking
Session Track).

*Important Dates (Anywhere on Earth - AoE):*

- June 19th, 2025: Paper submission deadline
- July 6th, 2025: Notification deadline

*Networking Session Chairs:*
Shqiponja Ahmetaj, TU Wien, Austria
Kai Sauerwald, University of Hagen, Germany

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SAGT 2026 - First Announcement

===================================================================
19th International Symposium on Algorithmic Game Theory (SAGT) 2026

15th-18th September 2026, University of Augsburg, Germany

https://www.uni-augsburg.de/de/fakultaet/fai/conferences/sagt-2026/
===================================================================

The purpose of SAGT is to bring together researchers from Computer
Science, Economics, Mathematics, Operations Research, and related fields
to present and discuss original research at the intersection of
Algorithms and Game Theory.

Foundational work is solicited on topics including but not limited to:

    Solution Concepts in Game Theory
    Efficiency of Equilibria and Price of Anarchy
    Computational Aspects of Equilibria
    Learning and Dynamics in Games
    Game-Theoretic Aspects of Networks
    Auction Design and Analysis
    Algorithmic Contract Design
    Mechanism Design and Pricing
    Internet Economics and Computational Advertising
    Reputation, Recommendation and Trust Systems
    Economic Aspects of Distributed Computing
    Blockchain and Cryptocurrencies
    Decision Theory and Information Design
    Computational Social Choice and Fair Division
    Market Design and Matching Markets
    Cooperative Game Theory

===============
IMPORTANT DATES
===============

Abstract Submission: 20 May 2026, anywhere on Earth
Full-Paper Submission: 26 May 2026, anywhere on Earth
Notification: 09 July 2026
Camera-Ready Submission: 15 July 2026
Conference: 15 - 18 September 2026

=======================
SUBMISSION INSTRUCTIONS
=======================

The submission server will open soon. Also, we will soon provide the
submission instructions in the call for papers.

=======
CONTACT
=======

The conference is organized by Pascal Lenzner (University of Augsburg)
and Daniel Schmand (University of Bremen).

===============================================================================================

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: IEEE SmartSys 2026 @ SMARTCOMP - June 2026, Italy

[Apologies if you got multiple copies of this invitation]

SUBMISSION DEADLINE EXTENDED: *March 23, 2026 (firm)*

Join us for SmartSys 2026, an international workshop dedicated to the
latest advances in smart systems and intelligent technologies. This year,
we gather in Messina, combining high-quality scientific exchange with the
distinctive setting of Sicily. Surrounded by the Mediterranean Sea and a
rich cultural heritage, Messina offers an ideal environment for focused
discussions and valuable networking opportunities.

Eleventh IEEE Workshop on Smart Service Systems (SmartSys)

• Co-located with the IEEE International Conference on
Smart Computing (SMARTCOMP 2026)

• 22nd June 2026

• Messina, Italy

Name of the Organizers:

Workshop Co-Chairs

• Nirmalya Roy, University of Maryland, Baltimore County

• Carlo Vallati, University of Pisa

• Gurdip Singh, George Mason University

TPC Co-Chairs

• Mohamed Nafea, Missouri University of Science &
Technology, US

• Marco Pettorali, University of Pisa, Italy

Publicity chair

• Jacopo Sabatino, University of Florence, Italy

• Avijoy Chakma, Bowie State University, US

Scope (Call for Papers)

Technology succeeds when it provides benefits to the society either
directly or indirectly. Understanding the societal and economic impact and
human-centered aspects of a smart system or technology in advance and
designing the system a-priori with potential value-added services help spur
the discoveries of new tools, methodologies and innovative services. Smart
service systems span across a variety of socio-technical facets comprising
of devices, people, organizations, environments and technologies to sense,
actuate, control and assess the physical, cyber and societal artifacts of
the human service systems. Besides the systems being self-adaptive and
fault-tolerant, need to be designed in such a way that it can continuously
increase the quality and productivity, the compliance and sustainability of
the smart services it offers. While human-centered perspective and
cognitive learning help create multi-facet value added services and
catalyze the sustained economic growth of smart service systems,
understanding the multi-modal sensing, control, heterogeneity and
interdependency between different physical, virtual and logical components
of such a complex system will enable the realization of new transformative
smarter service systems. If successful, this can help improve the
quality-of-experience of the customers, quality-of-life of the citizens and
quality-of returns of the stakeholders and investors.

Nurturing the development of smart service systems seeks for inter- and
trans-disciplinary crosscutting research threads spanning systems and
operations engineering spanning systems and operations engineering from
system and operational engineering, computer science and information
systems, social and behavioral science, computational modeling and
industrial engineering etc. The goal of this workshop is to bring together
practitioners and researchers from both academia and industry in order to
provide have a forum for discussion and technical presentations on the
foundational theories, models, and design on the fundamental knowledge and
principles of smart service systems that enable the value co-creation in
sensing, actuating, data analytics, learning, cognition, and control of for
human centric cyber-physical-social systems and future of work.

Topics of interest include, but are not limited to:

• Innovative tools, methodologies and solutions for
smart service systems; example includes personalized healthcare, smart
energy, smart cities, smart manufacturing, intelligent transportation,
education, precision medicine and agriculture, national security etc.

• Information extraction and interpretation from
sensors, actuators, smart phones, wearable devices (e.g., smart watches),
and humans

• Context and situational awareness of smart service
systems

• Design of people-centric services and technologies for
providing better services such as food, transportation and places to live

• Novel architectures and interoperable solutions for
Internet of Things

• Models and methodologies for designing systems of
systems

• Big data analytics approaches for providing better
customer services, and innovating new types of sustainable services

• Edge AI and federated learning approaches enabling
real-time, privacy-preserving intelligence in distributed smart service
systems.

• Modeling, analysis, co-production, and co-evolution of
human activity, behavior and interaction for the effective adaptation and
percolation of longitudinal smart service systems

• Role of machine learning, artificial intelligence,
robotics, pervasive computing, blockchain, control theory, information and
communications technologies

• Role of formal methods in computer networks,
cyber-physical systems, Internet-of-Things and machine learning

• Design and developments of intelligent systems,
intelligent enterprises and cyber-physical-social-systems

• Design of inter-dependent complex global systems such
as healthcare, smart grid, computer networks, logistics and supply-chains,
financial markets etc.

• Smart infrastructure and testbed to support the
integration of autonomous systems and innovative applications

• Digital twins for modeling, monitoring, and optimizing
human-centric cyber-physical-social smart services.

• Design and implementation of analytical methods,
simulation software and experimental testbeds to evaluate the key
performance indicators of smart services

• Design of approaches for trustworthiness of
human-centered smart systems and algorithms

• Design and implementation of persuasive smart systems
and smart systems for behavior change support

• Fairness and Bias Mitigation in AI algorithms for
pervasive systems

• Fair, explainable, interpretable, trustworthy, and
private, AI systems with social/societal impact in areas of interest.

• Leveraging Human-in-the-Loop Feedback for Enhanced
Context-Awareness in pervasive systems

Submission instructions

Authors are invited to submit regular (full) papers for presentation at the
workshop, describing original, previously unpublished work, which is not
currently under review by another workshop, conference, or journal. Regular
papers should present novel perspectives within the general scope of the
workshop.

Papers may be no more than 6 pages in length. Papers in excess of page
limits shall not be considered for review or publication. All papers must
be typeset in double-column IEEE format using 10pt fonts on US letter
paper, with all fonts embedded. The IEEE LaTeX and Microsoft Word
templates, as well as related information, can be found at the IEEE
Computer Society website. Submissions must be made via EDAS.

Each accepted paper will require a full SMARTCOM registration (no
registration is available for workshops only).

Submission link: https://edas.info/newPaper.php?c=34470

Important dates

Manuscript submission: *March 23, 2026*

Paper acceptance notification: April 29, 2026

Camera-ready paper submission: TBA

Workshop date: June 22, 2026

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Post-doc in graph algorithms (University of Warsaw)

Hello,

I am currently looking for a postdoctoral researcher in my project
focused on the theory of graph algorithms (e.g., parallel, dynamic) at
the University of Warsaw, Poland.

More details about the position are available here:
https://konkursydlanauczycieli.uw.edu.pl/api/document/3739/datafile/pdf

For full consideration, please apply by March 15. As this is a very late
call, the position will likely remain open until a suitable candidate is
found.

Please feel free to contact me directly if you have any questions.

Best regards,
Adam Karczmarz
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP GRASEC 2026 @ ARES : The 7th International Workshop on Graph-based Approaches for CyberSecurity

**Apologies for cross-posting**
Thank you for sharing this CFP  widely.

The 7th International Workshop on Graph-based Approaches for
CyberSecurity (GRASEC 2026) to be held in conjunction with the 21st
International Conference on Availability, Reliability and Security (ARES
2026, CORE Rank : B)
August 24 – 27, 2026 in Linköping, Sweden
https://www.ares-conference.eu/grasec

Topics of interest include, but are not limited to:

* Graph-based models for vulnerabilities, network modeling and cyber
situational awareness
* Attack graphs modeling and application, graph-based threat assessment
* Graph-based approaches to network traffic analysis and forensics
* Intrusion, anomaly, and botnet activity detection using graph data
* Knowledge graphs and ontologies of cyberspaces and digital twins
* Graph-based anomaly detection for network security and management
* Graph application in access controls, security policies
* Graph-based malware detection
* Autoencoders and representation learning for graphs and knowledge graphs
* Graph embedding techniques for network security and management problems
* Graph databases and graph-based tools for security data analysis
* Visualization and analysis of dynamic large-scale graphs and graph
streams
* Novel applications of static/dynamic and large graphs in network
security and management

*Important Dates *
Submission Deadline : May 11, 2026
Author Notification : June 01, 2026
Proceedings Version : June 13, 2026
Conference : August 24-27, 2026
The submission guidelines valid for the workshop are the same as for the
ARES conference. They can be found at
https://www.ares-conference.eu/submission-guidelines

Best regards,

Hamida

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CPAIOR 2026 – Call for Extended Abstracts (Deadline: March 25) and participation – Rabat, Morocco

(apologies for multiple postings)

Dear colleagues,

The CPAIOR 2026 International Conference on the Integration of Constraint
Programming (CP), Artificial Intelligence (AI), and Operations Research
(OR) will take place from Tuesday, May 26 to Friday, May 29, 2026, at the
ESSEC Business School campus in Rabat, Morocco.

https://sites.google.com/view/cpaior2026/home

*Call for presentation-only extended abstracts*

The call for presentation-only extended abstracts (for relevant ongoing or
recently published work) is *still open until Wednesday, March 25.*
This track provides an opportunity to present recent results, work in
progress, or results already published elsewhere that may be of interest to
the CPAIOR community.
Details on submission can be found on the conference website.

*Conference program*

The program will include:
- A Master Class on "Large Language Models for CP/OR"
- 3 invited talks
- 39 accepted papers
- Additional presentations of accepted extended abstracts

*Registration*

Registration will open in the coming weeks.
Information on the conference venue, recommended hotels, and other
practical details is already available on the conference website. A
detailed program and registration information will be posted soon.

We very much look forward to welcoming you to Rabat!

Best regards,
Tias Guns (Program Chair)
Diego Delle Donne and Emiliano Traversi (Local Chairs)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [RO] Call for abstract : Session " Shared Autonomous Vehicles " at IFORS 2026

Dear colleagues:

We are organizing a special session within the stream Shared Mobility at the 24th Conference of the International Federation of Operational Research Societies (IFORS).

IFORS2026

Vienna, Austria

July 12-17, 2026

Website: https://ifors2026.at/home/

Abstract Submission deadline: March 15, 2026

Invitation code : 585bb3ef

Session description: Shared Autonomous Vehicles (SAV) represent a key innovation at the intersection of shared mobility, automation, and sustainable transport systems. This session invites contributions that apply Operations Research methods to the design, optimization, and evaluation of SAV systems. Relevant topics include, but are not limited to, fleet sizing and repositioning, routing and scheduling, demand forecasting and pricing, multimodal integration, and system-level impacts on congestion, emissions, and social equity. Papers employing optimization, stochastic modeling, simulation, game theory, and data-driven OR approaches are particularly encouraged. The session aims to advance quantitative insights that support environmentally sustainable, efficient, and socially responsible deployment of SAVs in future mobility systems.

To submit an abstract (max 600 characters) for this session, please visit the submission page (https://www.euro-online.org/conf/ifors2026/) and use the code 585bb3ef in order that your abstract will be included in an invited session. In order to submit an abstract, you need to have an account. If you do not have one you will need to create one.

Please do not hesitate to diffuse this message or contact us if you have any questions. We are looking forward to seeing you soon at Vienna!

Regards,

Yue Su and Jakob Puchinger

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CfP] Industry Track @ RuleML+RR 2026

*Call for Papers:*

*******************************************************************************
*** Industry Track @ RuleML+RR 2026 ***
*** 24-26 August 2026 ***
*** Vilnius, Lithuania ***
*******************************************************************************

*The 10th RuleML+RR Industry Track* *(IT) *welcomes papers describing
original industrial advances and application achievements in all areas of
Rules and Reasoning-based technologies. We are interested in experiences
from practitioners when applying rules to industries. Submissions are
invited on all facets of Rules and Reasoning, including efforts to bridge
recent research innovations with practical applications and industrial
challenges, with a strong focus on the interplay between reasoning
techniques and machine learning.

*Venue:* The Industry Track will be held as a part of the RuleML+RR 2026
<https://2026.declarativeai.net/ruleml-rr> in Vilnius, Lithuania, from
August 24th to 26th. It will be co-located with several events as part
of Declarative
AI 2026 <https://2026.declarativeai.net/>, including DecisionCamp
<https://2026.declarativeai.net/decisioncamp>, the Reasoning Web Summer
School <https://2026.declarativeai.net/reasoning-web>, and multiple other
satellite events of RuleML+RR 2026 (Rule Challenge
<https://2026.declarativeai.net/ruleml-rr/rule-challenge>, Doctoral
Consortium <https://2026.declarativeai.net/ruleml-rr/doctoral-consortium>,
and Networking Session
<https://2026.declarativeai.net/ruleml-rr/networking-session>).

*Topics of Interest:* Neuro-symbolic & GenAI integration, LLM governance &
verification with rules, Agentic systems & enterprise orchestration, RAG +
rules hybrid architectures, Knowledge graphs (KG) & ontologies with
rule-centric pipelines, Scalable deployments & cost-performance
optimization, RegTech & Responsible AI, Emerging Applications and
Experiences.

More information can be found on the website:
https://2026.declarativeai.net/ruleml-rr/industry-track

*Important Dates (Anywhere on Earth - AoE):*

June 5th, 2026: Paper submission deadline
July 3rd, 2026: Notification deadline

*Submission Procedure:*

We welcome original submissions and will not consider previously published
work, advertisements, or sales pitches. Industry Track submissions should
be extended abstracts of 5–6 pages (including references). Accepted papers
will be published as part of CEUR proceedings and should be in the
CEUR-WS.org style template CEURART (1-column variant).

*Submission Link:*
https://cmt3.research.microsoft.com/DAI2026/Track/5/Submission/Create (Industry
track)

*Chairs:*

Povilas Daniušis, Neurotechnology and Vytautas Magnus University, Lithuania

*Program Committee:*

Ioan Toma, Onlim GmbH, Austria
Robert David, Vienna University of Economics and Business, Austria
Juliana Küster Filipe Bowles, University of St Andrews, United Kingdom
Martin Giese, University of Oslo, Norway
Darius Plikynas, Vilnius University, Lithuania
Shubham Anoop Juneja, Nexos AI, Lithuania
Rokas Jurevičius, Daedalean AI, Switzerland

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CfP] Doctoral Consortium @ RuleML+RR 2026

*Call for Papers:*

*******************************************************************************
*** Doctoral Consortium @ RuleML+RR 2026 ***
*** 24-26 August 2026 ***
*** Vilnius, Lithuania ***
*******************************************************************************

*The RuleML+RR 10th Doctoral Consortium 2026 (DC)* is an initiative of the
RuleML+RR community to attract and promote student research in Artificial
Intelligence, especially research on rule-based formalisms and reasoning in
such formalisms. It offers students a close contact with leading experts in
the field, as well as the opportunity to present and discuss their ideas in
a dynamic and friendly setting. We invite PhD students at an early or
intermediate stage of their PhD studies, as well as exceptional master's
students who are interested in pursuing a PhD, to submit papers describing
their research on any of the topics of RuleML+RR 2026
<https://2026.declarativeai.net/ruleml-rr>.

*Link:* https://2026.declarativeai.net/ruleml-rr/doctoral-consortium

*Venue:* The RuleML+RR 10th Doctoral Consortium 2026 will be held as a part
of the RuleML+RR 2026 <https://2026.declarativeai.net/ruleml-rr> in
Vilnius, Lithuania from August 24th to 26th. It will be co-located with
several events as part of Declarative AI 2026
<https://2026.declarativeai.net/>, including DecisionCamp
<https://2026.declarativeai.net/decisioncamp>, the Reasoning Web Summer
School <https://2026.declarativeai.net/reasoning-web>, and multiple other
satellite events of RuleML+RR 2026 (Rule Challenge
<https://2026.declarativeai.net/ruleml-rr/rule-challenge>, Industry Track
<https://2026.declarativeai.net/ruleml-rr/industry-track>, and Networking
Session <https://2026.declarativeai.net/ruleml-rr/networking-session>).

*Topics of Interest:* Macro areas are Ontologies and the Semantic Web,
Rules and AI, Reasoning, Systems, Interoperability, Constraints, and
Applications & Experiences. For the detailed list, please refer to
https://2026.declarativeai.net/ruleml-rr/main-track.

*Important dates* *(Anywhere on Earth - AoE):*

June 12th, 2026 (AoE): Paper Submission

July 3rd, 2026 (AoE): Notification of Acceptance

*Submission Procedure: *

RuleML+RR DC papers range between 5 and 9 pages, are written in English and
will be published as part of CEUR proceedings. They are submitted
electronically in PDF together with a CV of maximum 2 pages (the paper and
the CV should be submitted together as one PDF file, but the CV is not
counted within the 9-page limit and is not published in the proceedings if
the paper is accepted).

The submission should cover the following aspects:

- The identification of a significant problem in a research field
relevant to RuleML+RR 2026.
- An outline of the current knowledge in the problem's domain, as well
as an overview of existing solutions.
- A clear formulation of the research question and motivation.
- A presentation of (possibly preliminary) ideas, the proposed approach,
and the results achieved so far.
- A sketch of the applied research methodology and its positioning in
the field.
- A description of the student's contribution to the research.
- A discussion of how the suggested solution is different, new, or
better as compared to the state of the art.
- A research plan and the potential achievements.

The accepted DC papers will be presented to an interested audience and will
be discussed with a panel of senior researchers from academia and the
industry.

*Submission Link: *cmt3.research.microsoft.com/DAI2026/ (select the
"Doctoral Consortium" track).

*Doctoral Consortium Chairs:*

Sanja Lukumbuzya, TU Wien, Austria

Virginijus Marcinkevičius, Vilnius University, Lithuania

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CfP] Rule Challenge @ RuleML+RR 2026

*Call for Papers:*

*******************************************************************************

*** Rule Challenge @ RuleML+RR 2026 ***

*** 24-26 August 2026 ***

*** Vilnius, Lithuania ***

*******************************************************************************

The *20th International Rule Challenge* is the *premier forum* of the 10th
International Conference on Rules and Reasoning (RuleML+RR 2026
<https://2026.declarativeai.net/ruleml-rr/>) designed to *benchmark *and
* validate* innovative rule-oriented tools, prototypes, and applications.
It bridges the gap between theory and practice by fostering competition
among solutions tailored to research, industry, and government.

Participants are invited to showcase *solutions* *to* *complex*, *real-world
problems*, or *drive the community's research agenda* by proposing new open
challenges.

Accordingly, submissions are welcome in two main categories:

- *Challenge Proposals:* Papers defining rigorous benchmarks, industrial
bottlenecks, or novel problems that require rule-based reasoning.
Submissions must provide the necessary infrastructure for evaluation,
including task descriptions, datasets, and success criteria, highlighting
opportunities for rule-based approaches to provide solutions.
- *Challenge Solutions:* Papers providing empirical evidence of a
system's performance such as benchmarking or comparative analyses of rule
engines, evaluating rule-based machine learning, or presenting high-impact
case studies. Submissions may also cover industrial experiences, rule- and
model-driven engineering, or innovative applications.

*Key themes* of the Rule Challenge include, but are not limited to the
following:

- Rule-based machine learning tools and techniques
- Neuro-symbolic reasoning
- Large language models (LLMs) and rule learning
- Rule-based approaches in Artificial Intelligence (AI)
- Rule-based approaches for explainable AI
- Rule-based Complex Event Processing / Recognition (CEP/CER)
- Stream reasoning
- Business rules modelling
- Rule standardization for research, industry and government
- Graph-relational data and knowledge systems
- Higher-order logic and modal logic systems
- Rule and ontology combinations
- Distributed rule systems / Multi-agent systems
- Ontology-Based Data Access (OBDA) systems
- Answer Set Programming (ASP) systems
- Constraint Logic Programming (CLP) systems
- (Controlled) Natural language interfaces
- Rules and model-driven engineering

The challenge seeks high-quality, original papers, potentially referencing
online material, and ranging between *8-15 pages*. Accepted papers will be
published as part of CEUR proceedings and should be in the CEUR-WS.org
style template CEURART (1-column variant).

Please submit your paper via:

https://cmt3.research.microsoft.com/DAI2026/

to the Rule Challenge track.

*Important Dates (Anywhere on Earth - AoE):*

- June 5th, 2026: Paper submission deadline
- July 3rd, 2026: Notification of acceptance

*Chairs:*

Szymon Bobek, Jagiellonian University in Krakow, Poland

Zeynep G. Saribatur, TU Wien, Austria

*Program Committee:*

Dörthe Arndt, TU Dresden

Juliana Bowles, University of St Andrews

Stefania Costantini, University of L'Aquila

Joao Gama, INESC TEC - LIAAD

Ognjen Savkovic, Free University of Bozen-Bolzano

Marek Sikora, Silesian University of Technology

William Van Woensel, University of Ottawa

Further information can be found on the Rule Challenge website:

https://2026.declarativeai.net/events/ruleml-rr/rule-challenge

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Deadline Extension: IJDS Special Issue on “The Dual Edge of AI in Energy Systems”

This special issue aims to bring together research that explores both the opportunities and risks of AI in modern energy systems, including topics such as:

* AI and machine learning for energy system planning and operations

* Data-driven decision-making for power systems and energy infrastructure

* AI-enabled energy markets and energy management

* Reliability, resilience, and cybersecurity in AI-enabled energy systems

* Responsible, trustworthy, and interpretable AI for critical infrastructure

We welcome submissions from researchers across operations research, data science, machine learning, power systems, and energy economics.

Call for Papers: https://pubsonline.informs.org/doi/full/10.1287/ijds.2026.cfp.v05.n1

New Submission Deadline: June 1, 2026

Guest Editors

* Woody Zhu (Carnegie Mellon University)

* Aziz Ezzat (Rutgers University)

* Merve Bodur (University of Edinburgh)

* Zijun Zhang (City University of Hong Kong)

* Ramteen Sioshansi (Carnegie Mellon University)

Please feel free to share this announcement with colleagues and relevant communities.

We look forward to your submissions!

--

Dr. Merve Bodur, Reader, School of Mathematics | University of Edinburgh
James Clerk Maxwell Building | Peter Guthrie Tait Road | Edinburgh | EH9 3FD
Web: https://www.maths.ed.ac.uk/school-of-mathematics/people/a-z?person=1185

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th' ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning

Call for Papers:

The 10th International Joint Conference on Rules and Reasoning (RuleML+RR
2026)
24 - 26 August, 2026

Vilnius, Lithuania

Link: https://2026.declarativeai.net/ruleml-rr/main-track

Venue: The 10th edition of RuleML+RR will be held in
<https://www.floc26.org/venue>Vilnius, Lithuania
<https://en.wikipedia.org/wiki/Vilnius> from August 24th to 26th. It will
be co-located with several events as part of Declarative AI 2026
<https://2026.declarativeai.net/>, including <https://kr.org/KR2026/>
DecisionCamp <https://2026.declarativeai.net/decisioncamp>, the Reasoning
Web Summer School <https://2026.declarativeai.net/reasoning-web>, and
multiple satellite events (Rule Challenge
<https://2026.declarativeai.net/ruleml-rr/rule-challenge>, Doctoral
Consortium <https://2026.declarativeai.net/ruleml-rr/doctoral-consortium>,
Industry
Track <https://2026.declarativeai.net/ruleml-rr/industry-track>, and Networking
Session <https://2026.declarativeai.net/ruleml-rr/networking-session>).

Topics of Interest: Macro areas are Ontologies and the Semantic Web, Rules
and AI, Reasoning, Systems, Interoperability, Constraints, and Applications
& Experiences. For the detailed list, please refer to the full CfP linked
above.

Important dates (Anywhere on Earth - AoE):

-

May 8th, 2026 (AoE): Title and Abstract Submission
-

May 15th, 2026 (AoE): Paper Submission
-

June 26th, 2026 (AoE): Notification of Acceptance
-

August 24th–26th, 2026: Conference

Submission Types:

-

Long papers: up to 15 pages in LNCS style
<http://www.springer.com/comp/lncs/authors.html> (excluding references),
plus up to 2 additional pages for references.
-

Short papers: up to 8 pages in LNCS style
<http://www.springer.com/comp/lncs/authors.html> (excluding references),
plus up to 1 additional page for references.

Conference Chairs:

-

Agnieszka Lawrynowicz, Poznan University of Technology, Poland
-

Davide Lanti, Free University of Bozen-Bolzano, Italy

General Chairs:

- Victor Gutierrez Basulto, Cardiff University, UK
- Mantas Šimkus, TU Wien, Austria

Local Chair:

- Linas Petkevičius, Vilnius University, Lithuania

Submission Link: cmt3.research.microsoft.com/DAI2026/ (select "RuleML+RR
Main Track")

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Fully funded PhD position in reliable AI at TU Dortmund University, Germany

The Reliable AI Group at TU Dortmund University and the Center for
Trustworthy Data Science and Security invite applications for a
three-year PhD position within the DFG-funded research project Temporal
Logic Sketching for AI. The project explores novel foundations for
specifying AI systems, with a focus on learning (temporal) logic
formulas. For further details on the project, please visit
https://gepris.dfg.de/gepris/projekt/434592664?language=en

The position is fully funded (approximately €58,000 gross per year,
according to the German public service pay scale) for an initial period
of three years, with the possibility of extension. The position includes
comprehensive benefits, such as 30 days of paid vacation per year,
health insurance, retirement contributions, and additional benefits
under the German public sector employment system. The PhD candidate will
be supervised by Prof. Daniel Neider
(https://rc-trust.ai/about/scientists/daniel-neider).

Interested candidates are invited to submit a CV, academic
transcript(s), a motivation letter, and ideally two references. When
applying, please mention the reference number w10-26 and send your
documents (in a single PDF file, if possible) to
jobs-reliable-ai@rc-trust.ai. The application deadline is March 31, 2026.

The original (German) job posting can be found at
https://service.tu-dortmund.de/documents/18/2120797/_Stellenausschreibung_SJA_final.pdf
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************