Theory Announcements

Thursday, March 12, 2026

[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

[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

[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.

[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")

[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/
*
**********************************************************

Wednesday, March 11, 2026

[DMANET] Postdoctoral position | Bilkent University

Dear Colleagues,

I am inviting applications for a postdoctoral position in my research
group, the Bilkent Quantum & Topology Group (BilQCT), at Bilkent University.

We are especially interested in researchers with a background in polyhedral
geometry, algorithmic optimization, or graph-theoretic methods who are
interested in applications to foundational problems in quantum computing.

Full details and application instructions can be found on MathJobs:
https://www.mathjobs.org/jobs/list/28142

Initial review begins May 15.

Please feel free to forward this to interested candidates or reach out to
me directly at cihan.okay@bilkent.edu.tr with any questions.

Best,
Cihan

https://www.cihanokay.com/

[DMANET] Ph.D. Position in Post-Quantum Cryptographic Engineering, University of Tartu, Estonia

*Ph.D. Position in Post-Quantum Cryptographic Engineering*

The Cryptography Research Group at the Institute of Computer Science at the
University of Tartu invites applications for a Ph.D. position in applied
post-quantum cryptography, with a focus on the efficient and secure
implementation of lattice-based cryptographic schemes. The selected
candidate will design, implement, and analyze practical lattice-based
cryptographic primitives that remain secure against quantum-capable
adversaries. The research will emphasize high-performance implementations,
scalability for real-world systems, and strong protection against
implementation-level threats such as side-channel attacks. This position
offers the opportunity to work on cutting-edge problems at the intersection
of cryptographic theory and practical deployment, contributing to the
design and analysis of cryptographic protocols that provide strong,
provable security guarantees while achieving efficiency and scalability in
modern computing environments.

Candidates with experience in lattice-based cryptography or related areas
of computer science and mathematics are especially encouraged to apply.
Applicants should hold (or expect to obtain by spring) an MSc degree or
equivalent with a research thesis and have a solid background in
mathematics or theoretical computer science, including prior exposure to
cryptography. Strong written and spoken English skills are required.
Programming experience particularly in Python/SageMath/Magma and/or C/C++
and/or Java and/or Verilog HDL is highly desirable.

The PhD position begins on *September 1, 2026*, and has a duration of four
years. The successful applicant will work as a *junior research fellow*
under the supervision of Sedat Akleylek, with potential collaboration from
other researchers in the group.

*About University of Tartu*

The University of Tartu is Estonia's leading research university and a
recognized center for computer science and cryptography. The department is
located in the modern Delta Centre in central Tartu and hosts an
international community of faculty and graduate students working in areas
such as cryptography, coding theory, machine learning, and information
systems.

*About Estonia*

Estonia is often described as a leading *"digital nation"*, known for its
early adoption of nationwide digital services and home to companies like
Wise and Bolt. Tartu is a compact and vibrant university town with a lively
student community, short commuting times, and easy access to nature.

*About Salary*

PhD students receive a net monthly stipend of about €1900, while the cost
of living in Tartu remains relatively affordable. For instance, renting a
modern one-bedroom apartment in the city center usually costs below €600
per month. In addition to the salary, the position provides benefits such
as funding for research travel, social events, and language courses.

Other PhD and postdoc positions in the area of lattice-based cryptography
and zero-knowledge are available in our group's website
<https://crypto.cs.ut.ee/Main/ZKPositions2026>.

Interested candidates should send their applications (including CV,
B.Sc./M.Sc. thesis, academic transcripts and motivation letter with a brief
statement of research interests) to Sedat Akleylek, sedat.akleylek@ut.ee
with the subject "Fall 2026 Ph.D. Application – Applicant's Name"

The application deadline is *April 16, 2026*.

https://crypto.cs.ut.ee/Main/PQCPosition2026

[DMANET] [CONF] EURO/IFORS 2026 - Session on Optimization for Interpretable AI/ML

We are organizing an invited session "Optimization for Interpretable AI/ML"
within the stream "Mathematical Optimization for Transparent and Fair
Decision Making" for the EURO/IFORS 2026 meeting in Vienna, July 12-17.

If you are interested in presenting a paper in this session, please contact
us via email. The abstract submission deadline is March 15th.

Best regards,
Paul Brooks
Craig Larson

--
Paul Brooks
jpbrooks@vcu.edu

[DMANET] CFP: 9th DIS 2026 Conference – May 31 to June 4, 2026, Czech Republic

*The 9th International Conference on the Dynamics of Information Systems
(DIS 2026), *

* May 31-June 4, 2026, Czech Republic*

Website: https://dis2026.ujep.cz/

This conference, a continuation of the highly successful DIS series held
in the United States and Europe, investigates the intersections and
uncharted domains in information science, optimization, operations
research, machine learning, and artificial intelligence. The DIS 2026 includes
contributions from researchers and practitioners in information science,
AI, operations research, computer science, optimization, and electrical
engineering.

==================
Topics of Interest—but are not limited to:
==================

- Information science
- Uncertainty modeling
- Optimization (theory, methods, and applications)
- Operations research & management science
- Machine learning and AI
- Computational medical data analysis
- Data science & big data
- Quantum Information
- Dynamical systems and control
- Information geometry for machine learning
- Optimization with information constraints
- Value of information
- Entropic regularization and optimal transport
- Information and Wasserstein gradient flows
- Financial modelling
- Applications in robotics, economics, energy, environmental sciences,
and other areas

==================
Important Dates
==================
All deadlines are Anywhere on Earth (AoE = UTC-12h).

-
- Submission opens: February 5, 2026
- Submission deadline: April 5, 2026
- Author notification: April 20, 2026
- Registration opens: April 21, 2026
- Early Registration Deadline: May 15, 2026
- Late Registration Deadline: May 20, 2026
- Conference: May 31- June 5, 2026
- Camera-ready papers: TBA

==================
Publications
==================
· All accepted papers will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS).

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

*Plenary Speakers*
==================

- - Panos M. Pardalos, University of Florida, USA
- - TBA
-
- =============

General Chairs
==================

o Hossein Moosaei, Jan Evangelista Purkyně University, Czech Republic
o Zbyšek Posel, Jan Evangelista Purkyně University, Czech Republic
o Panos M. Pardalos, University of Florida, USA

[DMANET] GAIMSS'26 - Games and AI Multidisciplinary Summer School for PhDs and Postdocs

[Apologies if you got multiple copies of this invitation]

Dear all

Applications are open for GAIMSS'26 <https://www.gaimss.org/>, the Games and AI Multidisciplinary Summer School!
Ph.D. students and Postdocs specializing in game theory with backgrounds in economics, mathematics, or computer science are invited to apply.
The event will take place at University of Bonn, Bonn, Germany, from July 20 to July 22, 2026, followed by a research workshop on July 23rd and 24th.

There is no registration fee. Coffee breaks, lunches, and a social dinner will be provided, but participants will need to make their own arrangements for travel and accommodation.

About the Event:
GAIMSS'26 is designed to provide an overview and deep insights into research at the intersection of game theory and artificial intelligence.
Participants will attend lectures by experts and talks on recent advances in game theory and AI.
Additionally, selected participants will have the opportunity to present their research through poster sessions and flash talks.

Lectures:
The summer school will feature three courses:
Applications of Geometry to Economics, in Auction Theory and Beyond. Prof. Elizabeth Baldwin, (University of Oxford).
Strategic Queuing. Prof. Marco Scarsini (Luiss University).
Mechanism Design with Inspection. Prof. Rakesh V. Vohra (University of Pennsylvania).

Registration Information:
Application Deadline: April 12, 2026 (Sunday) 22h00 CET
Application Link: Here <https://forms.gle/eH7wNTzGET8uBerS7>.
Acceptance Notification: May 1, 2026

For all information related to the application process, feel free to check the summer school website <https://www.gaimss.org/summer-school>.
For further details please visit www.gaimss.org <http://www.gaimss.org/> or contact us at info@gaimss.org <mailto:info@gaimss.org>.

We look forward to seeing you in Bonn!

Best regards,

The GAIMSS organizers
Felipe Garrido-Lucero (IRIT, Université Toulouse Capitole)
Simon Finster (Johannes Kepler University Linz)
Atulya Jain (University of Bonn)
Emilien Macault (Université de Lorraine)
**********************************************************
*
* 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] Postdoc Position in Hamburg

We are seeking a motivated candidate for a 14 month full-time post-doctoral position in Randomized Algorithms in Hamburg, Germany.
There is a possibility to extend the contract after 14 month. The researcher will join the ART Group at the University of Hamburg.
The candidate is expected to focus solely on research and will not have any teaching or administrative duties.

Prof. Dr. Petra Berenbrink : Universität Hamburg
<https://www.inf.uni-hamburg.de/inst/ab/art/people/berenbrink.html>

Candidates will have completed a PhD in Computer Science, Mathematics, Computer Engineerin or a related area.
Information how to apply can be found under

Ausschreibung <https://www.uni-hamburg.de/stellenangebote/ausschreibung.html?jobID=b991c13d457282bf1128b44281b38c36768d57d6>

Remember to include your CV and a recommendation letter. The application deadline is end of April.
Please to not restate to contact me for further information,

Petra Berenbrink

[DMANET] IFORS 2026 – Invitation to contribute to invited session on OR + AI for logistics

Dear colleagues,

I am organizing an invited session entitled *"AI-powered solution
techniques in optimisation of logistic systems"* within the stream *From
Models to Smarter Decisions: Harnessing OR + AI* at *IFORS 2026 (Vienna)*.

This session aims to bring together contributions at the interface of
*Operations
Research and Artificial Intelligence*, particularly hybrid approaches
combining mathematical optimization, machine learning, reinforcement
learning, and data-driven methods for logistics and transportation systems.

Relevant topics include (but are not limited to):

Learning-augmented optimization algorithms
-

AI-enhanced heuristics and matheuristics
-

Logistics and supply chain optimization
-

Network design and routing with ML/AI
-

Digital twins and intelligent decision support
-

Real-world and industrial applications

If you are interested in presenting a paper in this session, please let me
know. I would be very pleased to include your contribution.

Best regards,
Shahin Gelareh

[DMANET] Artificial Intelligence in Operational Excellence – POMS OPEX Webinar (April 17)

Dear colleagues,
The POMS Operational Excellence (OPEX) College is pleased to invite you
to an upcoming webinar titled */"Artificial Intelligence in Operational
Excellence: Trends, Strategies and Best Practices."/*
This webinar will bring together leading scholars to discuss how
Artificial Intelligence is reshaping operational excellence, exploring
emerging trends, strategies, and best practices in operations and supply
chain management.

*Speakers*
Prof. Nada Sanders – Northeastern University
Prof. Alexandra Brintrup – University of Cambridge
Prof. Matthias Holweg – University of Oxford
Prof. Torbjørn Netland – ETH Zurich

*Moderator*
Prof. Serena Finco – University of Padova

*Date:* April 17, 2026
*Time:* 3:00 – 4:15 PM (CET)
*Format:* Online (YouTube Live)

*Registration is required:* https://forms.gle/xcanezCvJjv5EAht8
The link to access the webinar will be provided after registration and
will also be shared with registered participants shortly before the event.

If you are interested in Operational Excellence topics, we also invite
you to join the POMS Operational Excellence LinkedIn Group, where we
share updates, events, and research related to the OPEX community:
*https://www.linkedin.com/showcase/poms-opex-college/*

We look forward to welcoming you.

Best regards,
Serena Finco
VP-Outreach
Operational Excellence College
Production and Operations Management Society (POMS)
--

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)

[DMANET] [Cryptography] Special Issue "Advances in Post-Quantum Cryptography" - call for paper

The Special Issue entitled "Advances in Post-Quantum Cryptography" of
journal /Cryptography/ (https://www.mdpi.com/journal/Cryptography) is
opening for submission.

The submission deadline is 10 June 2026 and papers may be submitted
immediately or at any point till the date, as papers will be published
on an ongoing basis. For more information on this Special Issue and
submission guidelines, please visit the following page:

https://www.mdpi.com/journal/cryptography/special_issues/5695S780PQ

Specific topics of interest include, but are not limited to:

post-quantum cryptography
privacy
authentication
access control
intrusion detection
cloud system
blockchain
machine learning
deep learning

Guest editors:
Dr. Xianhui Lu, Chinese Academy of Sciences
Prof. Dr. Jianfeng Wang, Xidian University

Cryptography is a scientific peer-reviewed open access journal of
cryptography published quarterly online by MDPI. It is covered by Scopus
(Elsevier), Emerging Sources Citation Index (ESCI-Web of Science), etc.
It received an Impact Factor for 2024 of 2.1 (ranking in Q2 in "Computer
Science, Theory & Methods"), and a CiteScore of 5.0 (ranking in Q1 in
"Applied Mathematics").

If you require assistance or if you have any questions, please contact
the office <cryptography@mdpi.com>.

Best regards,
Xue Cheng
Managing Editor
--
MDPI Branch Office, Wuhan
Cryptography Editorial Office
https://www.mdpi.com/journal/cryptography
MDPI, Grosspeteranlage 5, 4052 Basel, Switzerland

Twitter: @Cryptogr_MDPI https://twitter.com/Cryptogr_MDPI
LinkedIn: Cryptography-MDPI
**********************************************************
*
* 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/
*
**********************************************************

Tuesday, March 10, 2026

[DMANET] DCFS 2026: Submission Deadline EXTENDED to March 20

---
DCFS 2026: 27th International Conference on Descriptional Complexity of Formal Systems
Queen's University
Kingston, Ontario, Canada, August 9-11, 2026
---

DCFS 2026 will be held in Kingston, Ontario, Canada, on August 9-11, 2026. The conference is organized jointly by the School of Computing at Queen's University and by the IFIP Working Group 1.02 "Descriptional Complexity".

The conference will be co-located with CIAA 2026 (August 5-8, 2026).

The International Conference on Descriptional Complexity of Formal Systems (DCFS) is an annual international working conference concerning the descriptional complexity of formal systems and structures (and its applications). The website of the conference series is:
https://www.informatik.uni-giessen.de/dcfs/

SUBMISSION GUIDELINES

Submissions to DCFS must not exceed 12 pages (in Springer-Verlag's Lecture Notes style, excluding the title/abstract page and bibliography). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix, which will be read at the discretion of the program committee. If slightly longer submissions are deemed necessary, authors must contact the program committee chairs in advance for approval.

Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in the PDF format are accepted. Papers should be submitted electronically through the EasyChair system at this link:

https://easychair.org/conferences?conf=dcfs2026

The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science.

SPECIAL ISSUE

Extended versions of selected papers from the conference will be invited for consideration in a special issue of International Journal of Foundations of Computer Science (IJFCS).

PRINCIPAL TOPICS

Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2026. Original papers are sought in all aspects of descriptional complexity. Topics include, but are not limited to:

- Automata, grammars, languages and other formal systems; various modes of operations and complexity measures.
- Succinctness of description of objects, state-explosion-like phenomena.
- Circuit complexity of Boolean functions and related measures.
- Size complexity of formal systems.
- Structural complexity of formal systems.
- Trade-offs between computational models and mode of operation.
- Applications of formal systems-- for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages-- and their complexity constraints.
- Co-operating formal systems.
- Size or structural complexity of formal systems for modeling natural languages.
- Complexity aspects related to the combinatorics of words.
- Descriptional complexity in resource-bounded or structure-bounded environments.
- Structural complexity as related to descriptional complexity.
- Frontiers between decidability and undecidability.
- Universality and reversibility.
- Nature-motivated (bio-inspired) architectures and unconventional models of computing.
- Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information.

INVITED SPEAKERS

- Michael Blondin (Sherbrooke University, Canada)
- Michaël Cadilhac (DePaul University, USA)
- Sandra Zilles (University of Regina, Canada)

PROGRAM COMMITTEE

- Marie-Pierre Béal (Université Gustave Eiffel, France)
- Cezar Câmpeanu (University of Prince Edward Island, Canada, co-chair)
- Pamela Fleischmann (Christian-Albrechts-Universität zu Kiel, Germany)
- Dora Giammarresi (Università di Roma Tor Vergata, Italy)
- Yo-Sub Han (Yonsei University, South Korea)
- Markus Holzer (Justus-Liebig-Universität Gießen, Germany)
- Galina Jirásková (Slovak Academy of Sciences, Slovakia)
- Stavros Konstantinidis (Saint Mary's University, Canada)
- Martin Kutrib (Justus-Liebig-Universität Gießen, Germany)
- Andreas Malcher (Justus-Liebig-Universität Gießen, Germany)
- Ian McQuillan (University of Saskatchewan, Canada)
- Nelma Moreira (Universidade do Porto, Portugal)
- Luca Prigioniero (Loughborough University, UK, co-chair)
- Rogério Reis (Universidade do Porto, Portugal)
- Kai Salomaa (Queen's University, Canada)
- Shinnosuke Seki (University of Electro-Communications, Japan)
- Taylor J. Smith (St. Francis Xavier University, Canada, co-chair)
- Gyorgy Vaszil (Debreceni Egyetem, Hungary)

ORGANIZING COMMITTEE

- Salimur Choudhury (Queen's University, Canada, chair)

IMPORTANT DATES

- Paper submission deadline: MARCH 20, 2026 **EXTENDED**
- Author notification: April 24, 2026
- Camera-ready deadline: May 1, 2026
- Conference: August 9-11, 2026

CONTACT

- Email: dcfs2026@cs.queensu.ca<mailto:dcfs2026@cs.queensu.ca>
- Website: https://research.cs.queensu.ca/dcfs2026/

--
Taylor J. Smith
Assistant Professor
Department of Computer Science
St. Francis Xavier 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] Second CfP: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)

Dear Fellow Researchers!

Our dear colleague and friend David Basin is turning 65 in December 2026 and this has to be celebrated! We therefore organize a Festschrift and a Fest to celebrate his birthday and his extensive research contributions!

The Fest/celebration itself will be held as a one-day event on the 15th of January 2027 at ETH Zürich. We have already checked that David is available. You do not have to keep it a secret - on the contrary, it is great if you share this message with anybody who might like to contribute!

We hereby cordially invite you to contribute an article to the Festschrift and present it at the Fest. We welcome contributions in all areas close to David's research and interests, including but not limited to security, privacy, formal methods, logic, automated reasoning, model checking, theorem proving, software engineering, bridge, juggling, biking and more. The articles will be lightly reviewed by the Festschrift committee, and the proceedings will be **published by Springer Heidelberg in the LNCS series**. David will of course love to receive a research article from you, but also short personal articles that celebrate the history and friendship with David will be very much appreciated.

We would like to set a deadline for submissions at the 21st of May 2026 via our submission site <https://easychair.org/conferences/?conf=feschi2027>. Articles should be formatted in Springer's LNCS style and not exceed 5 pages for personal articles and 16 pages for scientific articles. If you have a work that you would like to contribute that does not fit into this page limit, it might be possible, but please reach out to us first.

There will be no participation fee for the Fest and coffee breaks, lunch, and dinner will be included. Travel and accommodation costs are at the expense of the participants. We are happy to provide hotel suggestions for Zürich.

Submission Information:

* Format: 16 pages in LNCS format, templates available at:
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>
* Submission:
<https://easychair.org/conferences/?conf=feschi2027>
* Website (under construction) with updates and further information:
<https://feschi2027.github.io/>
* Timeline:
* Submission: 21 May 2026
* Notification: end of June 2026 (to be confirmed)
* Camera Ready Copy: early September 2026 (to be confirmed)

Please let us know if you have any questions!

Best wishes
Achim D. Brucker (University of Exeter)
Sebastian Mödersheim (Danmarks Tekniske Universitet)
Christoph Sprenger (ETH Zürich)
Luca Viganò (King's College London)

--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
**********************************************************
*
* 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 Workshop Proposals - The 24th IEEE International Symposium on Network Computing and Applications (NCA 2026)

Call for Workshop Proposals

The 24th IEEE International Symposium on Network Computing and Applications (NCA 2026)
Date and Location: November 10-13, 2026, Ortigia-Syracuse (Sicily), Italy
Website: https://www.nca-ieee.org/2026/
The IEEE International Symposium on Network Computing and Applications (NCA) is a key venue for researchers and practitioners to present and discuss novel ideas in the fields of network computing and applications. Following the success of previous editions, NCA 2026 will continue to feature a vibrant workshops program, offering a forum to explore specialized topics, emerging trends, and specific challenges within the broader scope of the main symposium.
We invite proposals for full-day or half-day workshops to be held in conjunction with NCA 2026. Workshops should aim to foster interactive discussions, bring together communities around focused themes, and provide a platform for presenting preliminary work and novel ideas.
Topics of Interest
Workshops are expected to cover topics related to network computing and applications, aligning with the main symposium's interests. Topics of interest include, but are not limited to:
● Network Architectures, Switching, and Routing
● Cloud Computing, Fog/Edge Computing, and Data Centers
● Network Function Virtualization (NFV) and Software-Defined Networking (SDN)
● Network Security, Privacy, and Trust
● Internet of Things (IoT) and Cyber-Physical Systems
● Mobile and Wireless Networks (5G/6G, WLAN, Sensor Networks)
● Network Performance, Evaluation, and Modeling
● Pervasive and Ubiquitous Computing
● Big Data Analytics for Networks
● Network Management and Reliability
● Social Networks and Computing
● Green and Sustainable Networking
● Blockchain and Decentralized Applications
● Machine Learning and AI for Networks
Submission Guidelines for Workshop Proposals
Proposals should be submitted as a single PDF document via email to the NCA 2026 Workshop Chairs and should include the following information:
1. Workshop Title: A concise and descriptive title.
2. Workshop Organizers: Names, affiliations, and contact information of the main organizers (indicating a primary contact). Include a short bio (max 200 words each) highlighting their expertise and relevant experience.
3. Scope and Rationale: A clear description of the workshop's topic, its relevance to the NCA community, and why it would be of interest at NCA 2026 (max 1 page). Explain what makes the topic timely and how it differs from or complements the main symposium's scope.
4. Format and Activities: Proposed workshop format (e.g., half-day, full-day). Describe the planned activities, such as paper presentations, invited talks, panel discussions, or demo sessions, to encourage active participation.
5. Anticipated Audience: Target audience and expected number of participants.
6. Dissemination Plan: A statement indicating that accepted workshop papers will be submitted for inclusion in the IEEE Xplore Digital Library, as part of the NCA 2026 proceedings, subject to IEEE's publication requirements. Mention the planned review process (e.g., each paper will receive at least 2-3 reviews).
7. Call for Papers (Draft): A preliminary Call for Papers for the workshop, including the list of topics, important dates (see tentative schedule below), submission instructions, and the names of the proposed Program Committee (if any). Workshop papers must have a limit of 6 pages, plus an extra page that is allowed under payment of 100€.
8. Previous Editions (if applicable): For workshops held previously at NCA or other conferences, provide a brief history, including attendance numbers and number of submissions.
Important Dates (Tentative)
● Workshop Proposal Submission Deadline: March 20, 2026
● Workshop Acceptance Notification: March 27, 2026
● Workshop Paper Submission Deadline: July 24, 2026
● Workshop Paper Acceptance Notification: September 11, 2026

Workshop Organizers' Responsibilities
Accepted workshop organizers are expected to:
● Publicize the workshop to attract submissions and attendees.
● Manage the workshop's website and paper submission/review process (using a system like EasyChair).
● Ensure a high-quality review process for submitted papers.
● Adhere to the agreed-upon schedule and deadlines, particularly for camera-ready submissions to IEEE.
● Prepare the final workshop program and coordinate with the NCA 2026 Workshop Chairs and Local Organization Committee.
We look forward to receiving your innovative proposals and creating an exciting workshops program for NCA 2026!
NCA 2026 Workshop Chairs
- Marco Scarpa, University of Messina, Italy - mscarpa@unime.it
- Vidhyashree Nagaraju, Embry-Riddle Aeronautical University, Daytona Beach (FL), USA - Vidhyashree.Nagaraju@erau.edu

[DMANET] PhD Position

The Theory group at the Lane Department of Computer Science and
Electrical Engineering has an open position for a doctoral candidate in
the field of algorithmic operations research.

Requisite qualifications: Familiarity with algorithmic design,
computational complexity, linear programming and game theory.

The position starts in August 2026. This is a 3 year position funded by
the NSF.

If interested, send your cv to pwojciec@mail.wvu.edu

Dr. Piotr Wojciechowski
Assistant Professor,
LDCSEE,
West Virginia 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] [CFP] LODAS 2026 – Learning & Optimization for Distributed AI Systems @ FLICS 2026 (June 9–12, Valencia)

/(Apologies for any cross-posting)./

Dear colleagues,

We are pleased to invite submissions to:

LODAS 2026 – The 1st International Workshop on Learning and Optimization
for Distributed AI Systems <https://jamaltoutouh.github.io/lodas2026/>.
Co-located with FLICS 2026 <https://flics-conference.org/>Valencia,
Spain. June 9–12, 2026.

Workshop
website: https://jamaltoutouh.github.io/lodas2026/

Conference website: https://flics-conference.org/

Scope

Modern AI systems must operate under real-world constraints: distributed
data ownership, limited communication, resource limitations, privacy
requirements, latency bounds, dynamic environments, and heterogeneous
devices.

LODAS 2026focuses on the intersection of:

Machine Learning

Evolutionary Computation

Distributed/Federated Learning

Optimization & Scheduling

AI Systems & Deployment

We aim to bridge learning algorithms and system-level design, promoting
research where models, optimization strategies, and infrastructures are
co-designed for scalable, reliable, and efficient distributed AI systems.

We welcome both theoretical and applied contributions, including
empirical studies, benchmarks, simulations, and real-world deployments.

Topics of interest (non-exhaustive)

Federated, distributed, and edge learning

Communication-efficient and resource-aware AI

Multi-objective and constrained optimization

Workflow scheduling and system-level optimization

Agentic AI and autonomous multi-agent systems

Foundation models under system constraints

Trustworthy, privacy-preserving, and robust AI

Cyber-physical systems, IoT, and digital twins

Submissions

Submitted papers (PDF) must use the A4 IEEE Manuscript Templates for
Conference Proceedings and must include keywords.

Submission types:

Long papers: 7–8 pages (research contributions)

Short / position papers: 4–6 pages (work-in-progress, visionary ideas)

Poster papers (undergraduate): 1–2 pages

All submissions must comply with the FLICS 2026 Submission Instructions
and be submitted via EasyChair.

Important dates

Submission deadline: April 21, 2026

Acceptance notification: May 5, 2026

Camera-ready & registration: May 15, 2026

Workshop dates: June 9–12, 2026 (exact day/time to be announced in the
FLICS program)

Organizers

Jamal Toutouh, University of Málaga, Spain (jamal@uma.es)

Gabriel Luque, University of Málaga, Spain (gluque@uma.es)

Diego Daniel Pedroza-Perez, University of Málaga, Spain (pedroza@uma.es)

We warmly encourage you to submit your work and to forward this CFP to
colleagues and relevant mailing lists.

Best regards,

LODAS 2026 Workshop Organizing Team

[DMANET] IMW2026@CVPR deadline is coming!

*Image Matching: Local Features & Beyond*
*CVPR 2026 Workshop*

*submission deadline*: March 16, 2026
*less than a week remains* !!!

Workshop: https://image-matching-workshop.github.io
CMT website for paper submission:
https://cmt3.research.microsoft.com/IMW2026

*Overview*

The 8th edition of the Image Matching Workshop is co-located as every
year with CVPR 2026. Our goal is to encourage and highlight novel
strategies for image matching that deviate from and advance traditional
formulations, with a focus on large-scale, wide-baseline matching for 3D
reconstruction and pose estimation.

*Challenge*

The workshop will once again feature an open challenge hosted on Kaggle.
This year's challenge extends the previous year one with the purpose of
serving as a reference dataset with a larger life span. Teams with best
submissions will be invited to present their solutions at the workshop.

Challenge website:
https://www.kaggle.com/competitions/image-matching-challenge-2025-ongoing

*Topics*

Workshop topics include (but are not limited to):
- Formulations of keypoint extraction and matching pipelines with deep
networks.
- Application of geometric constraints into the training of deep networks.
- Large-scale evaluation of classical and modern methods for image
matching, by means of our open challenge.
- Matching across different data modalities such as aerial versus ground.
- Leveraging additional cues such as semantics and mono-depth estimates.
- Attention mechanisms to match salient image regions.
- Connecting local descriptors/image matching with global
descriptors/image retrieval.
- Methods addressing adversarial conditions where current methods fail
(weather changes, day versus night, etc.).
- Integration of differentiable components into 3D reconstruction
frameworks.
- New perception devices such as event-based cameras.
- Other topics related to image matching, structure from motion,
mapping, and relocalization, such as privacy-preserving representations.

*Invited speakers*

- Paul-Edouard Sarlin, Google
- Nikhil Keetha, CMU / Meta

*Paper submission*

We invite paper submissions up to 8 pages, excluding references and
acknowledgements. They should use the CVPR template (reviews are
double-blind, so please hide author data in the pdf) and be submitted to
the CMT site (linked above). Submissions must contain novel work and
will be indexed in IEEE Xplore/CVF. They will receive at least two
double-blind reviews.

*Important dates*

- Paper submission deadline: March 16, 2026.
- Notification to authors: April 6, 2026.
- Camera-ready deadline: April 8, 2026 (hard deadline on April 11).
- Workshop date: TBC (June 3 or 4, 2026).

*Organizers*

- Fabio Bellavia, University of Palermo
- Jiri Matas, Czech Technical University in Prague
- Dmytro Mishkin, Czech Technical University in Prague/HOVER Inc.
- Luca Morelli, University of Trento/Bruno Kessler Foundation
- Fabio Remondino, Bruno Kessler Foundation
- Amy Tabb, USDA-ARS-AFRS
- Eduard Trulls, Google
- Kwang Moo Yi, University of British Columbia

[DMANET] EATCS Bulletin: Spring issue available

Dear DMANET members,

the Spring issue of the EATCS Bulletin is now available:
https://eatcs.org/images/bulletin/beatcs148.pdf

In this issue's Interview Column, Don Knuth joins us to share his
experiences and advice with the Bulletin's readers.

In the TCS on the Web Column, Nutan Limaye introduces her podcast Life of a
Researcher, available on Spotify and Podcast Addict, featuring
conversations with researchers across fields and career stages.

In the Logic in Computer Science Column, Gyeongwon Jeong, Seonghun Park,
and Hongseok Yang introduce Razborov's flag algebras and explain their
applications in extremal graph theory.

In the Computational Complexity Column, Edward Pyne and Roei Tell survey
recent results on applying hardness-vs.-randomness techniques to the design
of low-space algorithms.

In the Machine Learning Column, Pablo Barceló and David Saulpic interview
Santosh Vempala, exploring explanations of hallucinations from a
theoretical computer science perspective.

The Concurrency Column surveys the theoretical foundations of runtime
monitoring, covering classic regular properties, data-dependent properties,
and hyperproperties.

This issue also launches a new feature: the Conference Reports Column,
edited by Laurent Feuilloley. Welcome aboard, Laurent, and thank you for
joining the editorial team! In his inaugural column, Laurent reports on
DISC 2025 in Berlin and invites contributions — please get in touch with
him if you would like to contribute.

In the Education Column, Ryan E. Dougherty and Tim Randolph provide an
overview of theory of computing education in the United States.

In the Viewpoint Column, Wojciech Czerwinski offers a personal report on a
discussion panel at Highlights on the future of research in the automata,
games, and logic community. I am also delighted to welcome our new
Viewpoint Column editor, Anca Muscholl. Thank you, Anca — it is wonderful
to have you on board!

The Bulletin further includes a report on Yurifest 2025, an obituary for
Gilles Dowek, and a report on CIAA 2025.

Last but not least, a friendly reminder about our new YouTube channel!
Please contact Sophie and Ian if you are interested in contributing a video.

Enjoy the new issue of the Bulletin!

Stefan

Prof. Dr. Stefan Schmid
Intelligent Networks (INET)
TU Berlin, Germany
Research group at TU Berlin: https://www.tu.berlin/en/eninet
Research group at Weizenbaum Institute:
https://plamadiso.weizenbaum-institut.de/
<https://plamadiso.weizenbaum-institut.de/>
Personal: *https://schmiste.github.io/ <https://schmiste.github.io/>*

Re: [DMANET] Call for workshop papers: LS-NoT@DCOSS-IoT 2026

(*Sorry for multiple receptions*)

** Call for workshop papers LS-NoT 2026 **
LS-NoT 2026: Long and Short Range Wireless Technologies Applied to IoT for Networks of Tomorrow
Co-located with DCOSS-IoT 2026.
Reykjavik, Iceland, June 22-24, 2026
---------------------------------------------------------------
Conference website: https://ls-not-workshop.github.io/ls-not-2026/
Submission link
Important Dates:
Paper submission deadline: April 8, 2026
Acceptance notification: April 30, 2026
Camera-ready deadline: May 22, 2026
---------------------------------------------------------------

Scope:
The boundaries between the physical and digital worlds are rapidly blurring, leading to complex systems that integrate smart components. This drive towards innovative futuristic applications across many sectors, aiming to improve societal quality of life. Examples include Smart Cities, precision agriculture, and mitigation of white rural areas, among many others.
At the heart of these Smart Systems lies the Internet of Things (IoT), which enables the collection of real-world data through sensing devices. IoT relies on wireless communications to self-organize and interface with core networks, serving as a bridge between the physical and digital domains. As we look towards the future, these wireless technologies must evolve to meet the demands of increasingly complex Smart Systems. This evolution is crucial to pave the way for tomorrow's interconnected world.
For these reasons, our workshop aims to discover and promote innovative solutions for both long-range and short-range IoT applications, with a focus on next-generation networks. These technologies include the next generation of the Internet (6G), Non-terrestrial Networks (NTN), Cognitive Radio Networks (CRN), Low-Power Wide-Area Networks (LPWAN), Vehicular Communications, and more.

Topics of Interest (but not only limited to):
6G Networks (including Tactile Internet)
Low-Power Wide-Area Networks (LPWAN)
Cognitive Radio Networks (CRN)
Non-Terrestrial Networks (NTN)
Satellite IoT Communication
Space-Air-Ground-Underwater Communications
UAV-based Wireless Networks
Hybrid Networks
Integrated Terrestrial-Satellite Networks
Bluetooth Low Energy (BLE)
Digital Twins
Visible Light Communication (VLC)
ZigBee
Near-Field Communication (NFC)
LoRa (including 2.4 GHz communications)
NB-IoT and LTE-M
Edge Computing Paradigms
Mobile and Multi-Access Edge Computing
Software-Defined Networking (SDN) for IoT
Industrial IoT (IIoT) Communications and Industry 4.0

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

Submission Guidelines:
All submission guidelines for the authors can be found on the website: https://ls-not-workshop.github.io/ls-not-2026/#authors
---------------------------------------------------------------

Publication:
DCOSS-IoT 2026 is technically co-sponsored by IEEE Computer Society and IEEE Technical Committee on Parallel Processing (TCPP). The Proceedings will be included in IEEE Xplore.
---------------------------------------------------------------

Questions and further information:
All questions and further need of information are invited to be emailed to any organizing committee members directly:
Damien Wohwe Sambo (damien.sambo@imt-nord-europe.fr)
Jana Koteich (jana.koteich@inria.fr)
Nina Tamdrari (nina.tamdrari@inria.fr)
**********************************************************
*
* 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 Position in Bridging the Gap Between Mathematical Numbers and Software Systems (Deadline: 2026-03-22)

We are seeking an enthusiastic PhD candidate with a strong background
in computer science, software engineering, mathematics, or closely
related fields. Expertise in formal methods such as program reasoning,
programming language semantics, model checking, theorem proving, or
computational logic is essential.

Mathematical models, e.g., describing physical systems or
cryptographic algorithms, rely on ideal numbers. For instance,
mathematical integers are infinite and mathematical reals continuous
and infinite. Computers work with finite approximations that are
bounded (i.e., there is a smallest and largest number) and
discrete. This "digital gap" between mathematical models and actual
systems is a challenge when implementing safety-critical or
security-critical systems: for example, autonomous aircraft or
self-driving cars require high-precision representations of their
position to avoid collisions. Hence, not considering the approximation
of the approximative representation of numbers in computers can result
in crashes that can endanger the life of humans. Moreover, many
security-critical systems, not limited to cryptographic algorithms,
rely on the correct handling of over- and underflows in integer
computations. Actually, underflow- and overflow bugs are a root cause
for a large number vulnerabilities exploited by cyber security
criminal, e.g., for stealing digital currencies worth several billion
of dollars. While this is not a new problem (e.g., already in 1982, an
float conversion error in a trading systems at the Vancouver Stock
Exchange resulted in a loss of several millions of US dollars), an
integrated development method preventing such bugs is still not
available.

This PhD project will address this challenge by developing a rigour
approach for developing systems relying on precise representations of
numbers, using the interactive theorem prover Isabelle/HOL. The PhD
project can focus on
1) the formalisation of concrete representations of machine numbers
(e.g., IEEE754, POSIT, Decimal Floating Point, Fixed Point
Arithmetic), their (algebraic) properties, and relationship to
abstract mathematical numbers;
2) the formalisation and verification of numerical or cryptographic
algorithms, establishing a reusable verified library, or
3) the development of an end-to-end refinement approach from
mathematical models to machine representations.

The PhD will be jointly supervised by Prof. Dr. Achim Brucker
(<a.brucker@exeter.ac.uk>) and Prof. Dr. Burkhart Wolff
(<burkhart.wolff@universite-paris-saclay.fr>), leading to a joint
degree from the University of Exeter and the University of
Paris-Saclay.

Information about the programme can be found at
* <https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/>
* <https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>

All applications have to be made via the ADUM system:
<https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>,
latest on the 22nd of March 2026.

Best,
Achim (and Bukrhart)

[DMANET] PhD Position (Maastricht University) in Econometrics, Operations Research and/or Social Choice

Within the School of Business and Economics at Maastricht University, we are looking for a PhD candidate who wants to contribute to innovative research in Econometrics, Operations Research and/or Social Choice. You can apply for this position and find more information through the following link: https://www.academictransfer.com/nl/jobs/358864/phd-position-in-econometrics-operations-research-andor-social-choice/).

You will join one of two projects, both positioned at the intersection of theory, data, and societal application.

In the first project, you will work on data-driven decision-making in modern operations. Many organizations rely on both prediction and optimization to make complex decisions – from hospital resource planning to energy management. In this PhD project, you will develop new methods that closely integrate predictive models with (heuristic-enhanced) optimization techniques. You will train machine learning models with the final optimization problem in mind, ensuring transparency and explainability in decision support. You will collaborate with real-world partners, including a university hospital, last-mile logistics providers, and energy companies.

The second project focuses on participatory budgeting: a democratic innovation that enables citizens to decide how public budgets are spent. You will combine insights from combinatorial optimization and computational social choice to develop theoretical results on fairness and incentive compatibility. In collaboration with participatory budgeting initiatives in the city of Maastricht, you will translate these insights into concrete policy recommendations.

The PhD position is within the Department of Quantitative Economics, details on the department can be found here: https://www.maastrichtuniversity.nl/research/department-quantitative-economics.

The evaluation of candidates will begin mid-March and continues until the position is filled. Promising candidates will be contacted by email. The proposed starting date is 1 September 2026.

Applicants are requested to submit the following:

* Motivation letter, in which you describe your interest in the position.
* CV
* Grade list
* The names of at least two relevant scholars for reference letters
* Optional: A research proposal

What we offer

At Maastricht University, you'll work in an international, open, and engaged environment. We offer:

* A 18-month contract of 1 FTE with the prospect of a 2.5 year extension, based on mutual satisfaction.
* A gross monthly salary starting from €3059,00 towards €3881,00 in 4 years (based on full-time employment of 38 hours per week). 8% holiday allowance and an 8.3% year-end bonus.
* 29 vacation days (based on full-time), four additional days off (Carnival Monday and Tuesday, Good Friday, and Liberation Day).
* Flexible working hours, a home office allowance, and the option to work from home.
* Freedom and space to shape your work independently and develop your ideas.
* A close-knit community of colleagues to collaborate and grow with.
* A solid pension plan via ABP, company fitness schemes, and access to various university sports facilities.
* An inspiring work environment in the heart of Europe.

**********************************************************
*
* 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 scalable verification of quantum programs - Uppsala University

Dear colleagues,

I am recruiting a PhD student at Uppsala University for a project on scalable verification of quantum programs, combining ideas from formal verification, logic, and automata theory.

Information about the application procedure and requirements is available in the official advertisement on the Varbi portal:

https://uu.varbi.com/en/what:job/jobID:907722/

Further details about the research project can be found on my university webpage:

https://www.uu.se/en/contact-and-organisation/staff?query=N23-1176

** The application deadline is 7 April 2026. **

I would be grateful if you could share this announcement with students who might be interested. Students with backgrounds in theoretical computer science, programming languages, formal verification, or related areas are likely to be particularly well suited.

Best regards,

Ramanathan Thinniyam

Assistant Professor

Uppsala University

När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy

[DMANET] MESS'2026 summer school: Quantum & Neuromorphic Optimization

Call for Participation (apologies for multiple copies)

-----------------------------------------------------------------------
MESS 2026 - Metaheuristics Summer School
~ Emerging Computing Paradigms for Optimization:
from Quantum to Neuromorphic ~

6-10 July 2026, Catania, Italy

https://www.ANTs-lab.it/mess2026/
mess.school@ANTs-lab.it
https://www.facebook.com/groups/MetaheuristicsSchool/
-----------------------------------------------------------------------

** APPLICATION DEADLINE: 15th March 2026 **
https://www.ants-lab.it/mess2026/apply.html

MESS 2026 offers a deep dive into the frontiers of Quantum and
Neuromorphic computing. The program explores the entire technological
stack, covering architectures, programming models, and advanced
algorithms for complex optimization. Through a blend of theoretical
lectures and hands-on sessions, participants will gain the expertise to
lead innovation in next-generation computational research.

The lectures will focus on the following topics for both quantum and
neuromorphic computing: 1) architectures; 2) programming models; 3)
optimization algorithms and applications; and 4) pratical work.

The school will involve a total of 36-40 hours of lectures; therefore,
in according to the academic system, all PhD and master students
attending the summer school will can get 8 ECTS points.

** LECTURERS

+ Siddhartha Bhattacharyya, VSB Tech. Un. Ostrava, Czech Republic
lecture1: "Introduction to Quantum Computing"
lecture2: "Quantum Neural Networks: From Quantum-Inspired Framework to
Quantum-Gate Framework"

+ Philippe Lacomme, Université Clermont-Auvergne, CNRS, France
lecture1: "TBA"
lecture2: "TBA"

+ Elisa Donati, Institute of Neuroinformatics UZH/ETH
lecture1: "Neural networks and neural computing"
lecture2: "Neuromorphic Computing and Technology"

+ El-Ghazali Talbi, University of Lille, France
lecture1: "Neuromorphic computing: A gentle introduction"
lecture2: "Neuromorphic-based optimization: Algorithms based on
metaheuristics and computational biology"

+ Jorge Cruz-Duarte & El-Ghazali Talbi, University of Lille, France
lecture1: "Neuromorphic-based optimization: Software framework under
Lava and Nengo"

~ More Lecturers will be announced soon ~

** SHORT ORAL PRESENTATION

All participants may submit an abstract of their recent results, or
works in progress, for presentation and having the opportunities for
debate and interact with leaders in the field. The organizing committee
will review the abstracts and will recommend the format of the
presentation (oral or poster). All abstracts will be published in the
electronic hands-out book of the summer school.

The Abstracts must be submitted during the application by *March 15, 2026*.

** MESS 2026 DIRECTORS:
- Salvatore Greco, University of Catania, Italy
- Mario Pavone, University of Catania, Italy
- Andrea Schaerf, University of Udine, Italy
- El-Ghazali Talbi, University of Lille1, France
- Daniele Vigo, University of Bologna, Italy

** MORE INFORMATION:

https://www.ANTs-lab.it/mess2026/ -- mess.school@ANTs-lab.it
Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/

***********************************************************************
OLA'2026
10th International Conference on Optimization and Learning (SCOPUS, Springer)
April 28-30, 2026, Creta, Greece,https://ola2026.sciencesconf.org
***********************************************************************

Prof. El-ghazali TALBI
Polytech'Lille, University Lille - INRIA
CRISTAL - CNRS

[DMANET] Submission Deadline for IFORS 2026 – 7 days to go

Dear OR community,

Just a quick reminder: The deadline for submitting abstracts for IFORS 2026 is fast approaching - March 15 !

If you haven't submitted yet, now is the perfect time to optimize your process.

Please visit https://www.euro-online.org/conf/ifors2026/?confdb=ifors2026&page=welcome for abstract submission.

Three years after the last IFORS conference, you have the perfect opportunity to share an unforgettable scientific experience with us in Vienna - one of the world's most unique cities. We look forward to seeing your creative ideas and solutions combined in a well-thought-out model.

The 24th IFORS conference offers the global operational research community an excellent opportunity to reunite in a vibrant city. Vienna's location in the heart of Europe, its excellent infrastructure, short distances, and exceptional quality of life are just some of the city's many strengths. Furthermore, Vienna impresses with its warm hospitality and outstanding range of cultural events.

The University of Vienna, located in the city center and host of IFORS 2026, is the oldest university in the German-speaking world. It offers a broad range of subjects that fosters the development of innovative research areas and strengthens the close collaboration between research fields.

The conference will take place from July 12th to 17th, 2026, in the beautiful city of Vienna, in the heart of Europe – a region known for its vineyards, historic charm, diverse culinary scene, and the imposing Alps nearby. The Sachertorte will give you the energy you need for your presentations and discussions!

Beyond the breathtaking scenery, Vienna offers a rich history, a vibrant arts and music scene with classical, modern, and futuristic influences, and a welcoming atmosphere – ideal for networking with other OR enthusiasts, old friends, and new acquaintances! And of course, no trip to Vienna would be complete without enjoying a genuine Wiener Schnitzel (or one of the local vegetarian options).

A wealth of valuable and important information, including registration details and current news, can be found at https://www.ifors2026.at/home/ and by emailing at ifors2026@univie.ac.at .

We look forward to receiving your abstract and welcoming you to Vienna for a conference full of warmth, joy, and surprises that we will never forget.

Let's not miss this opportunity!

Best regards,

Andrés, Karl, Jan, and Richard

Chairs of the IFORS 2026 Conference

Theory Announcements

Thursday, March 12, 2026

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

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

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

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

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

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

Wednesday, March 11, 2026

[DMANET] Postdoctoral position | Bilkent University

[DMANET] Ph.D. Position in Post-Quantum Cryptographic Engineering, University of Tartu, Estonia

[DMANET] [CONF] EURO/IFORS 2026 - Session on Optimization for Interpretable AI/ML

[DMANET] CFP: 9th DIS 2026 Conference – May 31 to June 4, 2026, Czech Republic

[DMANET] GAIMSS'26 - Games and AI Multidisciplinary Summer School for PhDs and Postdocs

[DMANET] Postdoc Position in Hamburg

[DMANET] IFORS 2026 – Invitation to contribute to invited session on OR + AI for logistics

[DMANET] Artificial Intelligence in Operational Excellence – POMS OPEX Webinar (April 17)

[DMANET] [Cryptography] Special Issue "Advances in Post-Quantum Cryptography" - call for paper

Tuesday, March 10, 2026

[DMANET] DCFS 2026: Submission Deadline EXTENDED to March 20

[DMANET] Second CfP: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)

[DMANET] Call for Workshop Proposals - The 24th IEEE International Symposium on Network Computing and Applications (NCA 2026)

[DMANET] PhD Position

[DMANET] [CFP] LODAS 2026 – Learning & Optimization for Distributed AI Systems @ FLICS 2026 (June 9–12, Valencia)

[DMANET] IMW2026@CVPR deadline is coming!

[DMANET] EATCS Bulletin: Spring issue available

Re: [DMANET] Call for workshop papers: LS-NoT@DCOSS-IoT 2026

[DMANET] PhD Position in Bridging the Gap Between Mathematical Numbers and Software Systems (Deadline: 2026-03-22)

[DMANET] PhD Position (Maastricht University) in Econometrics, Operations Research and/or Social Choice

[DMANET] Fully funded PhD position in scalable verification of quantum programs - Uppsala University

[DMANET] MESS'2026 summer school: Quantum & Neuromorphic Optimization

[DMANET] Submission Deadline for IFORS 2026 – 7 days to go

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Thursday, March 12, 2026

Wednesday, March 11, 2026

Tuesday, March 10, 2026

Mailing Lists

Subscribe To

Search This Blog

Blog Archive