---
CIAA 2026: 30th International Conference on Implementation and Application of Automata
Queen's University
Kingston, Ontario, Canada, August 5-8, 2026
---
CIAA 2026 will be held in Kingston, Ontario, Canada, on August 5-8, 2026. The conference is organized by the School of Computing at Queen's University.
The conference will be co-located with DCFS 2026 (August 9-11, 2026).
The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series is:
https://www.informatik.uni-giessen.de/ciaa/
The purpose of CIAA is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects.
SUBMISSION GUIDELINES
Submissions to CIAA 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=ciaa2026
The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science.
BEST PAPER AWARD
The Sheng Yu Award will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports.
SPECIAL ISSUE
Extended versions of selected papers from the conference will be invited for consideration in a special issue of Theoretical Computer Science (TCS).
PRINCIPAL TOPICS
We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to:
- Algorithms on automata
- Automata and logic
- Bioinformatics
- Complexity of automata operations
- Compilers
- Computer-aided verification
- Concurrency
- Data structure design for automata
- Data and image compression
- Design and architecture of automata software
- Digital libraries
- DNA/molecular/membrane computing
- Document engineering
- Editors, environments
- Experimental studies and practical experiences
- Industrial applications
- Natural language processing
- Networking
- New algorithms for manipulating automata
- Object-oriented modeling
- Pattern-matching
- Quantum computing
- Speech and speaker recognition
- Structured and semi-structured documents
- Symbolic manipulation environments for automata
- Teaching
- Text processing
- Techniques for graphical display of automata
- VLSI
- Viruses, related phenomena
- World-wide web
INVITED SPEAKERS
- Anthony Bonato (Toronto Metropolitan University, Canada)
- NataĊĦa Jonoska (University of South Florida, USA)
- Ian Mertz (Charles University, Czech Republic)
PROGRAM COMMITTEE
- Frédérique Bassino (Université Sorbonne Paris Nord, France)
- Cezar Câmpeanu (University of Prince Edward Island, Canada)
- Pascal Caron (Université de Rouen, France)
- Giuseppa Castiglione (Università di Palermo, Italy)
- Szilárd Fazekas (Akita University, Japan)
- Yo-Sub Han (Yonsei University, South Korea)
- Markus Holzer (Justus-Liebig-Universität Gießen, Germany)
- Galina Jirásková (Slovak Academy of Sciences, Slovakia)
- Jarkko Kari (Turun yliopisto, Finland)
- 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)
- Florin Manea (Georg-August-Universität Göttingen, Germany)
- Sabrina Mantaci (Università di Palermo, Italy)
- Brink van der Merwe (Stellenbosch University, South Africa)
- Nelma Moreira (Universidade do Porto, Portugal)
- Cyril Nicaud (Université Gustave Eiffel, France)
- Giovanni Pighizzini (Università di Milano, Italy)
- Luca Prigioniero (Loughborough University, UK)
- 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, chair)
- Mikhail Volkov (Ural Federal University, Russia)
- Hsu-Chun Yen (National Taiwan University, Taiwan)
ORGANIZING COMMITTEE
- Salimur Choudhury (Queen's University, Canada, chair)
IMPORTANT DATES
- Paper submission deadline: March 20, 2026
- Author notification: April 24, 2026
- Camera-ready deadline: May 8, 2026
- Conference: August 5-8, 2026
CONTACT
- Email: ciaa2026@cs.queensu.ca<mailto:ciaa2026@cs.queensu.ca>
- Website: https://research.cs.queensu.ca/ciaa2026/
--
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/
*
**********************************************************
Wednesday, February 25, 2026
[DMANET] BCCA 2026: The 8th International Conference on Blockchain Computing and Applications, Barcelona, Spain
*The 8th International Conference on Blockchain Computing and Applications
(BCCA 2026)*
(BCCA 2026)*
16-20 November 2026 | Barcelona, Spain
*Hybrid Conference*
*https://bcca-conference.org/*
Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It plays a significant role across several areas,
including the Internet of Things, supply chain management, manufacturing,
cyber-physical systems, and healthcare systems. Unlike centralized
transaction processing solutions, blockchain uses a distributed ledger to
record transactions across multiple devices; this prevents data breaches,
identity theft, and a range of cyber-related attacks, thereby enhancing
data privacy and security. This conference aims to attract the work of both
researchers and practitioners in cybersecurity to share and exchange
experiences and research in both academia and industry in the field of
blockchain.
*BCCA 2026 SYMPOSIA*
Authors are encouraged to submit their work to one of the following 20
specialized symposiums, each targeting a key research frontier:
1. Blockchain for LLMs and Decentralized AI
2. Blockchain for Agentic and Autonomous AI
3. Blockchain-Enabled Generative and Multimodal AI
4. AI and Machine Learning for Blockchain Optimization
5. Blockchain Security and Zero-Trust Web3
6. Blockchain-Enhanced Cybersecurity and Privacy
7. Post-Quantum Blockchain and Cryptography
8. Blockchain for Trustworthy and Ethical AI
9. Blockchain for Digital Identity and Governance
10. Blockchain Interoperability and Web3 Infrastructure
11. Blockchain for IoT and Cyber-Physical Systems
12. Blockchain for Digital Twins and the Metaverse
13. Blockchain for Autonomous Transportation and Smart Mobility
14. Blockchain for Big Data and Decision Intelligence
15. Blockchain Applications in Finance, Healthcare, and Government
16. Token Engineering and Decentralized Governance (DAOs)
17. Quantum Computing for AI and Blockchain
18. Green Computing and Sustainable Blockchain
19. Blockchain for Robotics and Autonomous Systems
20. Neuromorphic and Bio-Inspired Computing with Blockchain
*Important Dates:*
- Papers due: April 15, 2026
- Acceptance notification: June 30, 2026
- Registration: July 30, 2026
- Camera-ready paper: July 30, 2026
- Workshop/Tutorial Proposal Submission: April 15, 2026
- Workshop/Tutorial Proposal Acceptance: June 30, 2026
*Main track Submission Guidelines:*
There are three categories of submission (Overlength charges will be
applied!):
- *Long papers:* (7-8 pages)
- *Short papers: *(5-6 pages)
- *Systemization of Knowledge (SoK): *(10-15 pages)
- *Poster papers: *(1-2 pages)
*Submission Link: *https://conferences.sparcly.ai/SP/BCCA2026
*Organizing Committee*
*Honorary Chair*
- Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain
- Jose Luis Muñoz-Tapia, Universitat Politècnica de Catalunya, Spain
*General Co-Chairs*
- Christiancarmine Esposito, University of Salerno, Italy
- Attila Kertesz, University of Szeged, Hungary
- Vlado Stankovski, University of Ljubljana, Slovenia
*Program Co-Chairs*
- Sandra Sendra, Universitat Politècnica de València, Spain
- Ismaeel Al Ridhawi, KCST, Kuwait
--Regards,
**********************************************************
*
* 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] [DMD2026] Discrete Mathematics Days 2026 - Second announcement and call for submissions
*Discrete Mathematics Days 2026 - Second announcement and call for
submissions*
submissions*
The Discrete Mathematics Days 2026 (DMD 2026) will be held at
Universidad de Granada, Spain, from June 29 to July 1, 2026. For more
information, please visit the conference website:
https://dam-network.github.io/dmd2026
The main focus of this international conference is on current topics in
Discrete Mathematics, including (but not limited to):
* Coding Theory and Cryptography
* Combinatorial Number Theory
* Combinatorics
* Discrete and Computational Geometry
* Discrete Optimization
* Graph Theory
* Theoretical Computer Science
The previous three editions were held inAlcalá de Henares
<https://dmd2024.web.uah.es/>in 2024,Santander
<https://dmd2022.unican.es/>in 2022 (postponed from 2020), andSevilla
<https://web.archive.org/web/20190417002813/http://congreso.us.es/dmd2018/>in
2018, inheriting the tradition of the Jornadas de Matemática Discreta y
Algorítmica (JMDA), the Spanish biennial meeting on Discrete
Mathematics, started in 1998.
The program consists of four plenary talks, a prize talk by the awardee
of the Ramon Llull prize, a number of shorter contributed talks in two
parallel sessions, and a poster session. The plenary speakers are:
* Martina Juhnke <https://tina.juhnix.net/>(Universität Osnabrück)
* Kolja Knauer <https://www.ub.edu/comb/koljaknauer/>(Universitat de
Barcelona)
* Lisa Sauermann
<https://www.iam.uni-bonn.de/users/sauermann/home>(Universität Bonn)
* Dimitrios Thilikos <https://www.lirmm.fr/~thilikosto/>(LIRMM,
Montpellier)
If you wish to contribute a talk or a poster, please submit an extended
abstract (at most five pages) *by April 7, 2026*. See further
instructions at:
https://dam-network.github.io/dmd2026/submissions.html
Submissions will be reviewed by the Programme Committee. In order to be
accepted for the conference, submissions must contain original and
interesting research in the area of discrete mathematics. If too many
acceptable talks are submitted, the Programme Committee may ask some of
them to be presented as posters instead.
The extended abstracts of accepted talks and posters will be made
available on the conference website. Simultaneous submission of a final,
full version of your contribution to a journal or another conference is
acceptable and, in fact, expected.
Important dates:
* Deadline for submitting extended abstracts: 7 April 2026 (23:59 CET)
* Communication of acceptance: 15 May 2026
* Deadline for submitting final versions of accepted contributions: 29
May 2026
* Deadline for early registration: 29 May 2026
Sincerely,
Pedro A. García-Sánchez, on behalf of the organising committee.
PS: Apologies for multiple postings. If you have any comments, please
write todmd2026@ugr.es.
--
Pedro A. García Sánchez (https://www.ugr.es/local/pedro)
**********************************************************
*
* 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 - 24th International Symposium on Network Computing and Applications (NCA 2026)
Call for Papers
======================================================================
The 24th International Symposium on Network Computing and Applications (NCA 2026)
November 10-13, 2026, Ortigia-Syracuse (Sicily), Italy
https://www.nca-ieee.org/2026/
Accepted papers will be included in the conference proceedings. The proceedings will be submitted for inclusion in IEEE Xplore, subject to IEEE approval.
========================================================================
About NCA
The IEEE International Symposium on Network Computing and Applications is a successful series of conferences that serves as a large international forum for presenting and sharing recent research results and technological developments in the fields of network and distributed computing. Topics of interest include but are not limited to:
● Network Architectures & Protocols
● Routing Mechanisms
● Distributed Systems & Platforms
● Cloud, Edge, Computing Continuum
● Future Internet and Internet of Things
● Content Delivery Network (CDN)
● Network Softwarization & Virtualization
● Autonomic & Self-Networked Systems
● Performance, QoS & Energy Efficiency
● Security, Privacy & Dependability
● Blockchain
● Social Networks
● Data/AI for Networked and Distributed Systems
● Applications, Prototypes & Experiences
● Mobile Ad-Hoc Networks (MANETs)
● Distributed Quantum Computing
Important dates
NCA 2026 welcomes contributions as regular, demo, or poster manuscripts. Further formatting requirements and page limits are clarified later. All the deadlines are Anywhere on Earth (AoE).
● Regular manuscripts due: June 19, 2026
● Demo/poster manuscripts due: July 24, 2026
● Author notification (for all manuscripts): September 11, 2026
● Camera-ready submission (for all manuscripts): September 25, 2026
Submission Guidelines
Authors are invited to submit papers describing original, previously unpublished work not currently under review by any other conference, workshop, or journal. Manuscripts must be formatted using the two-column IEEE conference proceedings template. Paper submissions are handled via EasyChair (the system is being finalized).
Double-blind peer review process
Papers following formatting requirements will be peer reviewed by at least three reviewers selected from the Technical Program Committee. For regular papers, NCA 2026 applies a double-blind peer review process. Authors are expected to anonymize their manuscripts. The submission must not reveal the authors' identities anywhere in the text, whether explicitly or implicitly. When citing prior work that is their own, authors should describe it in the third person, as though it were produced by others. At the same time, anonymization should not compromise the paper's integrity: do not remove relevant references solely because they are self-citations, since reviewers may need those works to assess context and novelty. Papers that fail to comply with these anonymization requirements will be rejected without review.
Manuscripts page limit
Page limits include all figures, tables, and references.
● Regular Papers: 8 pages, up to 2 extra pages (under payment of an extra per-page fee of 100€)
● Poster/Demo Papers: 2 pages, no extra pages allowed
NCA 2026 is an in-person event
The conference will be in-person and no virtual or remote presentations will be permitted. Authors of accepted papers are responsible to obtain an Italian visa, if required, in a timely manner so as to meet the above expectation. Accepted papers must be presented in person by one of the authors under full registration. Failure to meet this requirement will result in the exclusion of the paper from the final proceedings. All presented papers will be published in the conference proceedings and submitted to the IEEEXplore Digital Library, subject to IEEE approval.
For further information, please consult the Website at https://www.nca-ieee.org/2026/
Best paper award and editorial follow-ups
The authors of the best paper will receive an award in recognition of their contribution to the field.
Substantially extended versions of selected high-quality papers accepted to the main conference will be considered for publication in a high-quality (Q1) Journal (to be defined).
General Co-Chairs
Antonio Puliafito<mailto:antonio.puliafito@unime.it> (University of Messina)
Om Prakash Vyas<mailto:director@iiitnr.edu.in> (IIT Raipur)
Technical Program Committee Co-Chairs
Maurizio Giacobbe<mailto:mgiacobbe@unime.it> (University of Messina)
Carlo Puliafito<mailto:carlo.puliafito@unipi.it> (University of Pisa)
For any questions about the conference, please contact the TPC Co-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/
*
**********************************************************
======================================================================
The 24th International Symposium on Network Computing and Applications (NCA 2026)
November 10-13, 2026, Ortigia-Syracuse (Sicily), Italy
https://www.nca-ieee.org/2026/
Accepted papers will be included in the conference proceedings. The proceedings will be submitted for inclusion in IEEE Xplore, subject to IEEE approval.
========================================================================
About NCA
The IEEE International Symposium on Network Computing and Applications is a successful series of conferences that serves as a large international forum for presenting and sharing recent research results and technological developments in the fields of network and distributed computing. Topics of interest include but are not limited to:
● Network Architectures & Protocols
● Routing Mechanisms
● Distributed Systems & Platforms
● Cloud, Edge, Computing Continuum
● Future Internet and Internet of Things
● Content Delivery Network (CDN)
● Network Softwarization & Virtualization
● Autonomic & Self-Networked Systems
● Performance, QoS & Energy Efficiency
● Security, Privacy & Dependability
● Blockchain
● Social Networks
● Data/AI for Networked and Distributed Systems
● Applications, Prototypes & Experiences
● Mobile Ad-Hoc Networks (MANETs)
● Distributed Quantum Computing
Important dates
NCA 2026 welcomes contributions as regular, demo, or poster manuscripts. Further formatting requirements and page limits are clarified later. All the deadlines are Anywhere on Earth (AoE).
● Regular manuscripts due: June 19, 2026
● Demo/poster manuscripts due: July 24, 2026
● Author notification (for all manuscripts): September 11, 2026
● Camera-ready submission (for all manuscripts): September 25, 2026
Submission Guidelines
Authors are invited to submit papers describing original, previously unpublished work not currently under review by any other conference, workshop, or journal. Manuscripts must be formatted using the two-column IEEE conference proceedings template. Paper submissions are handled via EasyChair (the system is being finalized).
Double-blind peer review process
Papers following formatting requirements will be peer reviewed by at least three reviewers selected from the Technical Program Committee. For regular papers, NCA 2026 applies a double-blind peer review process. Authors are expected to anonymize their manuscripts. The submission must not reveal the authors' identities anywhere in the text, whether explicitly or implicitly. When citing prior work that is their own, authors should describe it in the third person, as though it were produced by others. At the same time, anonymization should not compromise the paper's integrity: do not remove relevant references solely because they are self-citations, since reviewers may need those works to assess context and novelty. Papers that fail to comply with these anonymization requirements will be rejected without review.
Manuscripts page limit
Page limits include all figures, tables, and references.
● Regular Papers: 8 pages, up to 2 extra pages (under payment of an extra per-page fee of 100€)
● Poster/Demo Papers: 2 pages, no extra pages allowed
NCA 2026 is an in-person event
The conference will be in-person and no virtual or remote presentations will be permitted. Authors of accepted papers are responsible to obtain an Italian visa, if required, in a timely manner so as to meet the above expectation. Accepted papers must be presented in person by one of the authors under full registration. Failure to meet this requirement will result in the exclusion of the paper from the final proceedings. All presented papers will be published in the conference proceedings and submitted to the IEEEXplore Digital Library, subject to IEEE approval.
For further information, please consult the Website at https://www.nca-ieee.org/2026/
Best paper award and editorial follow-ups
The authors of the best paper will receive an award in recognition of their contribution to the field.
Substantially extended versions of selected high-quality papers accepted to the main conference will be considered for publication in a high-quality (Q1) Journal (to be defined).
General Co-Chairs
Antonio Puliafito<mailto:antonio.puliafito@unime.it> (University of Messina)
Om Prakash Vyas<mailto:director@iiitnr.edu.in> (IIT Raipur)
Technical Program Committee Co-Chairs
Maurizio Giacobbe<mailto:mgiacobbe@unime.it> (University of Messina)
Carlo Puliafito<mailto:carlo.puliafito@unipi.it> (University of Pisa)
For any questions about the conference, please contact the TPC Co-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] CFP IAM 2026: Industrial Application of Metaheuristics workshop @GECCO 2026
****************************************************************
CfP: Call For Papers
IAM 2026 (11th edition)
11th GECCO Workshop on Industrial Applications of Metaheuristics San José (hybrid), Costa Rica, July 13-17th, 2026
****************************************************************
IAM is held as part of the 2026 Genetic and Evolutionary Computation Conference (GECCO-2026), July 13-17, San José (hybrid), Costa Rica.
Aims and Scope
Metaheuristics have been applied successfully to many aspects of applied mathematics and science, showing their capabilities to deal effectively with problems that are complex and otherwise difficult to solve. There are several factors that make the usage of metaheuristics in industrial applications more and more interesting. These factors include the flexibility of these techniques, the increased availability of high-performing algorithmic techniques, the increased knowledge of their strengths and weaknesses, the ever-increasing computing power, and the adoption of computational methods in applications. In fact, metaheuristics have become a powerful tool to solve many real-life optimization problems in different fields and, of course, also in many industrial applications such as production scheduling, distribution planning, and inventory management.
This workshop proposes to present and debate about the current achievements of applying these techniques to solve real-world problems in industry and the future challenges, focusing on the (always) critical step from the laboratory to the shop floor. A special focus will be given to the discussion of which elements can be transferred from academic research to industrial applications and how industrial applications may open new ideas and directions for academic research.
Topic areas include (but are not restricted to):
*
Success stories for industrial applications of metaheuristics
*
Pitfalls of industrial applications of metaheuristics.
*
Metaheuristics to optimize dynamic industrial problems.
*
Multi-objective optimization in real-world industrial problems.
*
Meta-heuristics in large-scale constrained industrial optimization problems.
*
Reduction of computing times through parameter tuning and surrogate modelling.
*
Parallelism and/or distributed design to accelerate computations.
*
Algorithm selection and configuration for complex problem solving.
*
Advantages and disadvantages of metaheuristics when compared to other techniques.
*
Combination of Metaheuristics with Large Language Models and AI
*
New research topics for academic research inspired from industrial applications.
Submission
Authors can submit ([IMPORTANT] Options to submit papers from this 2026 edition, two options aligned with previous rules of IAM and new ACM rules):
*
Full papers (8 pages + references) - Must cover the ACM Open APC (see GECCO page for more information)
*
Extended Abstracts (up to 4 pages) - Are not eligible for APC, no fee paid by the authors. An Extended Abstract provides a summary of a work-in-progress, typically just enough for readers to understand the idea, scope, and potential impact. Often lacks full methodology, detailed results, or extensive references.
In both cases, it is mandatory to follow the official GECCO paper formatting guidelines. Please see the GECCO 2026 information for workshop authors for further details regarding formats and how to submit, accessible through https://gecco-2026.sigevo.org/Call-for-Workshop-Papers .
Software demonstrations will also be welcome (please write to organizers for more info).
Important Dates
=================
Submission opening: February 2, 2026
Submission deadline: March 27, 2026
Notification: April 24, 2026
Camera-ready: May 5, 2026
Author's mandatory registration: May 11, 2026
Each paper accepted needs to have at least one author registered before the author registration deadline.
Note: The conference will be held in hybrid mode, with all events facilitating online participation.
Workshop Chairs
Silvino Fernandez Alzueta (ArcelorMittal) Thomas Stuetzle (Universite Libre de Bruxelles, ULB)
-----
As a published ACM author, you and your co-authors are subject to all ACM Publications Policies (https://www.acm.org/publications/policies/toc), including ACM's new Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects).
The information contained in this email and any files transmitted with this email are ArcelorMittal Group information that is proprietary, privileged and confidential. It is intended solely for the use of the individual and entity to whom it is addressed. If the reader of this message is not the intended recipient, or the employee or agent responsible for delivering the message to the intended recipient, you are hereby notified that any review, dissemination, distribution, copying or other use of this message is strictly prohibited. If you have received this communication in error, please notify us immediately and delete the e-mail and all attachments and any copies thereof. Nothing in this communication can be construed as a binding contract or a binding offer from ArcelorMittal Group.
**********************************************************
*
* 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] Workshop announcement: Structuring Combinatorial Problems with Symmetry
Dear colleagues,
we are pleased to announce the workshop
Structuring Combinatorial Problems with Symmetry
to take place at
*Chemnitz University of Technology *in *Germany *from *24–26 **June** 2026*.
This workshop focuses on the systematic and algorithmic use of symmetry
as well as group-theoretic and optimization-based methods in the study
of combinatorial and geometric problems. It aims to bring together
researchers working in discrete mathematics, polynomial optimization,
applied real algebraic geometry and representation theory where symmetry
plays a structural or algorithmic role. The goal is to foster exchange
between intertwining perspectives and to stimulate further collaboration
in this active area.
Lectures will be given by:
* Daniel Brosch <https://www.danielbrosch.com/> (Klagenfurt)
* Nidhi Khainsa <https://sites.google.com/view/kaihnsa/about> (Copenhagen)
* Nando Leijenhorst <https://nanleij.github.io/> (Toulouse)
* Philippe Moustrou <https://pmoustro.perso.math.cnrs.fr/index.html>
(Toulouse)
* Sven Polak <https://sites.google.com/site/svenpolak/> (Tilburg)
* Leonie Scheeren
<https://www.mathematik.rwth-aachen.de/cms/mathematik/fachgruppe/Institute-Lehrstuehle/Personen/~bkbg/Mitarbeiter-CAMPUS-/?gguid=PER-WN9RPS4&lidx=1>
(Aachen)
* Frank Vallentin <https://www.mi.uni-koeln.de/opt/frank-vallentin/>
(Cologne)
To register, please send an email with the subject "Registration SPP26
Symmetry" to sebastian.debus@mathematik.tu-chemnitz.de or
math@tobiasmetzlaff.com until *31 May 2026*, indicating your name and
affiliation.
The program will provide opportunities for *contributed talks* of 30
minutes. If you wish to propose a talk, please indicate so in your
registration email and include a title plus short (<500 characters)
abstract.
For further information on the program, speakers, and registration,
please visit:
http://structuring-combinatorial-problems-with-symmetry-26.tobiasmetzlaff.com/
Best regards,
Sebastian Debus, Tobias Metzlaff, Christoph Helmberg
**********************************************************
*
* 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] AofA 2026: deadline extension & call for papers
**[Apologies if you receive multiple copies of this email]**
Dear all,
we are pleased to inform you that the submission deadline for AofA 2026
has been extended to *March 8, 2026*. The updated timeline is as follows:
* Submission deadline: March 8, 2026 (previously March 1, 2026)
* Notification of acceptance: April 20, 2026
* Conference dates: June 22–26, 2026
We look forward to receiving your submissions and to welcoming you to
Munich! Please find the original call for papers below for your reference.
Best regards,
Konstantinos Panagiotou
---
The 37th International Conference on Probabilistic, Combinatorial and
Asymptotic Methods for the Analysis of Algorithms (AofA 2026) is planned
to take place from June 22nd to June 26th in Munich,
Germany (https://aofa2026.info/). We would be very pleased to welcome you!
Analysis of Algorithms is a field at the boundary of computer science
and mathematics. The goal is to obtain a precise understanding of the
asymptotic, average-case characteristics of algorithms and data
structures. A unifying theme is the use of probabilistic, combinatorial,
and analytic methods. The objects to be studied include random branching
processes, graphs, permutations, trees, and strings. We invite papers in
- analytic algorithmics and combinatorics,
- probabilistic analysis of algorithms and discrete structures and
- randomized algorithms.
Submissions will be made through EasyChair. The call for papers and
further submission instructions can be found on the conference webpage
here <https://aofa2026.info/calls/>.
Authors are invited to submit an extended abstract of up to 15 pages,
excluding the the front page, bibliography, and a brief appendix of up
to 5 pages. Further appendices can be included in addition to that, and
they will be read at the Program Committee's discretion, but will not be
included in the proceedings.
For the submission and the final version of the papers authors are
required to use the Leibniz International Proceedings in Informatics
(LIPIcs). Simultaneous submission to other conferences with published
proceedings or to journals is not allowed. PC members are allowed to
submit their works as well, except for PC chairs. At least one author of
each accepted paper is expected to register at the conference.
**********************************************************
*
* 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] HIIT: Postdoctoral Fellow positions in Computer Science
The Helsinki Institute for Information Technology (HIIT) is seeking Postdoctoral Fellows to join the Helsinki region information technology research community. The position is intended support early-career researchers on their road towards being independent researchers, in collaboration with one or more supervisors in HIIT Faculty. The position gives the fellows excellent opportunities for high-quality and high-impact research and for creating research networks supporting their careers. The deadline for applications is March 22nd, 2026 at 11:59 PM (23:59 UTC+02:00). More information is available on our website https://www.hiit.fi/hiit-postdoctoral-fellow-positions-in-computer-science
**********************************************************
*
* 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/
*
**********************************************************
**********************************************************
*
* 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] The EITS 2026 - IEEE co-sponsored 2nd International Conference on Emerging and Intelligent Technologies and Systems, 9-12 June, 2026 | Valencia, Spain
[Apologies if you got multiple copies of this invitation]
The 2nd International Conference on Emerging and Intelligent Technologies
and Systems (EITS 2026)
Hybrid Event
https://eits-conference.org/2026/index.php
9-12 June, 2026 | Valencia, Spain
Technically Co-Sponsored by IEEE Spain Section
*EITS 2026 CFP:*
Emerging and intelligent technologies and systems represent the forefront
of innovation in computing, communication, and automation. They combine
advances in artificial intelligence, machine learning, the Internet of
Things (IoT), cloud and edge computing, 5G/6G networks, robotics, and data
science to create adaptive, efficient, and human-centered solutions. These
technologies are transforming industries such as healthcare,
transportation, energy, and smart cities by enabling intelligent
decision-making, real-time responsiveness, and sustainable development. As
they continue to evolve, emerging and intelligent systems are shaping the
foundation of next-generation digital societies, offering both
opportunities and challenges in terms of security, ethics, and large-scale
deployment.
The International Conference on Emerging and Intelligent Technologies and
Systems (EITS 2026) will bring together leading researchers, practitioners,
and industry experts to present and discuss the latest advances,
applications, and challenges in intelligent technologies and
next-generation systems. EITS 2026 serves as a premier forum for
innovation, cross-disciplinary collaboration, and knowledge exchange across
academia and industry. We invite the submission of high-quality, original
research papers describing innovative ideas, breakthrough results, and
practical applications. with special interest in, but not limited to, the
following:
· Artificial Intelligence, Machine Learning and Generative AI
· Intelligent Communication, Networking and Computing Systems
· Generative AI, Foundation Models, and Large Language Models
· Computer Vision, Image and Video Processing
· Cybersecurity and Trustworthy Systems
· Artificial Intelligence Systems Security
· Computational Language and Human-Centered Systems
· Emerging Applications, Ethics, Society, and Governance
· Robotics, Intelligent Automation and Sustainable Systems
*Submissions Guidelines and Proceedings*
Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper can be up to 8 pages
(including all figures, tables and references). Submitted papers must
present original unpublished research that is not currently under review
for any other conference or journal. Papers not following these guidelines
may be rejected without review. Also submissions received after the due
date, exceeding length limit, or not appropriately structured may also not
be considered. Authors may contact the Program Chair for further
information or clarification. All submissions are peer-reviewed by at least
three reviewers. Accepted papers will appear in the EITS Proceeding, and be
published by the IEEE Computer Society Conference Publishing Services and
be submitted to IEEE Xplore for inclusion.
Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers must follow the IEEE paper format. And include up to 7 keywords.
Authors of accepted papers are expected to present their work at the
conference. Submitted papers that are deemed of good quality but that could
not be accepted as regular papers will be accepted as short papers. Length
of short papers can be up to 6 pages.
*Important Dates:*
- *Paper submission deadline: March 15th, 2026*
- Notification of acceptance: April 15th, 2026
- Camera-ready Submission: May 5th, 2026
*Contact:*
Please send any inquiry on EITS to: info@gaclm.org
**********************************************************
*
* 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] Verolog extension announcement
Hello,
I hope this email finds you well.
I and dr Roberto Roberti, in cc, are organising the verolog 2026 conference, and we would be grateful if you could share the announcement of the extended deadline for abstract submission with the dmanet mailing list. The text is below.
Many thanks for your consideration.
Kind regards
Maria
VeRoLog Conference 2026 and 2nd VeRoLog PhD School – New Submission Deadline 9th of March
------------------------------------------------------------------------------------------------------------------------------
The School of Management of the University of Bath, UK, looks forward to welcoming academics and industry practitioners at all stages of their career to the 10th annual meeting of the EURO working group on Vehicle Routing and Logistics optimization (VeRoLog). The conference will take place from Monday July 6 to Thursday July 9. This conference offers a forum to present and discuss developments in the field.
In addition to the main conference, we will be hosting a PhD school on Friday 3, Saturday 4 and Monday 6 July.
All information can be found at
https://www.bath.ac.uk/events/verolog-2026/
Sent from Outlook for Android<https://aka.ms/AAb9ysg>
**********************************************************
*
* 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] Workshop on Theory and Methods for Abstraction (THEMA 2026)
* Apologies if you receive multiple copies of this call *
==================================================================
============== THEMA 2026: 2nd Call for Papers =======================
==================================================================
============== THEMA 2026: 2nd Call for Papers =======================
Workshop on Theory and Methods for Abstraction (THEMA 2026)
Location: Lisbon, Portugal
Deadline for submission: April 27, 2026
Workshop: July 24, 2026
https://abstraction.cognitive-logics.org/thema2026/
Co-located with the 23rd International Conference on Principles of
Knowledge Representation and Reasoning (KR 2026) as part of the
Federated Logic Conference (FLoC 2026).
==================================================================
Aims and Scope
----------------------
Abstraction is a process that is exploited in human reasoning and
understanding. Although the word itself comes from the meaning of "to
draw away", there is no precise definition that is able to cover all the
meanings that it gains depending on its utilisation. Various meanings of
abstraction are interpreted in different disciplines such as Philosophy,
Cognitive Science, Biomimetics, Mathematics and AI, with the shared
consensus of the aim to distil the essential.
From the early days of AI research, including in the work of Alan
Turing, such abstraction learning has been seen as a crucial heuristic
for problem-solving. First, the problem is solved in a relaxed or
reduced space, and then the abstract solution is used to guide the
search for a solution in the original space. Since the success in
solving a problem relies on how "good" the abstraction is, theoretical
approaches for defining abstractions with desired properties have been
and continue to be investigated while adhering to certain principles of
simplification and/or generalization. Abstraction is also being used as
a representation technique. Having different layers of representation
that enable reasoning at a high level and refining to more low-level
details only when necessary, e.g., in Robotics, allows one to determine
the focus points of the problem. While usually the representation
decisions are left to the experts, there are also methods, e.g. in Model
Checking, to automatically find abstractions that allow one to check
desired properties of the system at the abstract level. More recently,
abstraction is becoming an essential technique for AI systems to present
a "model of self", overviewing their complex structures via showing the
key elements making it easier for humans to understand their
decision-making.
This workshop aims to bring together researchers from different
sub-areas of KR and related communities who work on different aspects of
abstraction in their respective areas, with the goal of exchanging
theories and methods.
The following lists topics (but is not limited to these):
*Formation of concepts
*Symbol learning
*Inductive reasoning
*Abstraction and analogical reasoning
*Abstraction and generalization as operations
*The role of abstraction in knowledge
*Formal logical and philosophical foundations of abstraction
*Abstraction in ontological and conceptual modelling
*Systems which employ different levels of granularity
*Forgetting and marginalization
*Human-inspired theories of perception
*Application of abstraction in verification and software engineering
Invited Speaker
--------------------------------------------------
Blai Bonet Universitat Pompeu Fabra, Spain
Elena Romanenko University of Bozen-Bolzano, Italy
Workshop Organizers and Co-Chairs
--------------------------------------------------
Oliver Kutz University of Bozen-Bolzano, Italy
Zeynep G. Saribatur TU Wien, Austria
Kai Sauerwald University of Hagen, Germany
Important Dates
----------------------
Paper submission: April 27, 2026
Notification: May 28, 2026
Workshop: July 24, 2026
Submission and Publication Details
-----------------------------------------------
We invite short (6 pages) and long papers (13 pages) of unpublished
work, or extended abstracts (2 pages) of already published works or
works in progress. Reviewing will be single-blind, but anonymous
submissions are possible.
* All submissions should be formatted in CEUR style (one-column style)
without an enabled header and footer. The author kit can be found at
http://ceur-ws.org/Vol-XXX/CEURART.zip. Papers must be submitted in PDF
only and should include a statement regarding usage of AI (see CEUR AI
policy). For the camera-ready versions, one must also provide the LaTeX
sources.
*Link to the submission site is on the webpage:
https://abstraction.cognitive-logics.org/thema2026/call.html
Authors of all accepted original contributions can opt to publish their
work in CEUR proceedings. Accepted non-original contributions will be
given visibility on the workshop website, including a link to the
original publication, if already published.
Following the workshop, there will be an open call for inclusion in a
special issue of the German Journal of Artificial Intelligence (KI).
**********************************************************
*
* 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]
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 9, 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] FUN 2026 - Call for participation
The 13th International Conference on Fun with Algorithms (FUN 2026) will be held in Island of Porquerolles, France, on May 18-22 2026, at Hôtel Club Igesa Porquerolles.
FUN is a series of conferences dedicated to the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area.
Fun is a notion that can be judged from different perspectives, and be defined in many different manners. The conference defines fun in a broad sense, including aspects such as elegance, simplicity, amusement, surprise, originality, etc.
The topics of interest include all aspects of algorithm design and analysis, and of computational complexity, under all types of models.
List of accepted papers:
https://fun2026.limos.fr/accepted/
Early
Late
Full
800 €
900 €
Student
650 €
750 €
Early registration fee is available until 3rd of March 2026.
Late registration fee will start from the 4th of March 2026, at 100 euros surcharge.
Full registrations entitle you to accommodation (4 nights), all breakfasts (including Friday morning), all lunches, all diners (including Monday evening), social dinner, coffee breaks, social event, and an (electronic) copy of the proceedings.
Student registrations provide the same benefits at a discounted price, but the registrant must be a student (i.e., M.Sc. or Ph.D. student) and proof of enrolment at an accredited institution will be required.
To register, please fill up and submit the registration form<https://api.dsi.uca.fr/paybag/registration/form/event/FUN2026>.
For any issue or question during the registration process, please contact anais.durand@uca.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/
*
**********************************************************
Tuesday, February 24, 2026
[DMANET] IPDPS 2026: Future Hosts, Registration Open, Keynotes, PhD Forum, and Industry Participation
------------------------------------
IPDPS 2026 Future Hosts, PhD Forum, and Industry Participation40th
IEEE International Parallel & Distributed Processing SymposiumMay 25–29,
2026 • New Orleans, USA www.ipdps.org
------------------------------------
The 40th IEEE International Parallel & Distributed Processing Symposium
(IPDPS 2026)will be held in New Orleans, USA, May 25–29, 2026, with
workshops and tutorials on May 25–26 and the main technical program on
May 27–29. Here are the latest highlights for participants and
prospective hosts:
Call for Expression of Interest (EOI) to Host IPDPS 2028The IPDPS
Steering Committee invites EOIs to host IPDPS 2028, intended to be held
outside the United States following the symposium's established
rotation. EOIs should be brief (3–5 pages) and include site information,
organizing team experience, and key budget considerations. The
submission deadline is March 15, 2026; EOIs should be sent to
steeringcom@ipdps.org:
https://www.ipdps.org/future-hosts.html
Registration Now Open — Early Bird Deadline April 6, 2026Registration
for IPDPS 2026 is open with advance rates valid through April 6, 2026.
Fees vary by category (member, non-member, student,
workshop/tutorial-only) and visa invitation letters are available after
registration. Full details and online registration are at:
https://www.ipdps.org/ipdps2026/2026-registration.html
Keynote Speakers AnnouncedIPDPS 2026 will feature three distinguished
keynotes:
*
Uzi Vishkin (University of Maryland)— The Ideal of General-Purpose
Parallelismand recipient of the 2026 IEEE Charles Babbage Award, on
May 27.
*
Hyesoon Kim (Georgia Institute of Technology)— Open-Source GPU
Hardware and Software: Challenges and Lessons Learned, on May 28.
*
R. Iris Bahar (Colorado School of Mines)— Teaching Interdisciplinary
and Inclusive Courses to Computer Scientists, Engineers, and
Beyond,on May 29.
Details are available on the IPDPS home page:https://www.ipdps.org
PhD Forum Opening Soon (Call for Applications in February 2026)The IPDPS
2026 PhD Foruminvites current PhD students in parallel and distributed
processing to present posters, participate in mentoring sessions, and
interact with researchers and industry professionals. Full details and
application instructions will be announced soon:
https://www.ipdps.org/ipdps2026/2026-phd-forum.html
Industry–Research Participation IPDPS 2026 offers industry partners
direct engagement with the global parallel and distributed computing
community, bringing together leaders from academia, national labs, and
industry. Multiple partnership levels are available, from basic
recognition to exhibitor space and premium custom packages tailored to
recruiting, product showcases, and technical leadership. To explore
partnership options, contact industry@ipdps.org or visit
https://www.ipdps.org/ipdps2026/2026-industry.html
--
Clément Foyer
Maître de conférence / Associate Professor
Dpt Informatique / Computer Science Dpt
Université de Reims Champagne-Ardenne - LICIIS
**********************************************************
*
* 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] AIMS 2026: The International Conference on Artificial Intelligence Models and Systems Conference, Barcelona, Spain
*The International Conference on Artificial Intelligence Models and Systems
(AIMS 2026)*
(AIMS 2026)*
16-20 November 2026 | Barcelona, Spain
*Hybrid Conference*
https://aims-conference.ai/2026/
The Artificial Intelligence Models and Systems Conference (AIMS 2026) is a
lively and inclusive gathering where researchers, academics, and industry
professionals from across the globe come together to explore the latest
advancements in artificial intelligence and intelligent systems. As AI
continues to reshape industries and push the boundaries of what's possible,
AIMS 2026 creates a welcoming space for innovation, collaboration, and the
exchange of ideas. AIMS2026 serves as a premier platform for researchers,
academics, and industry professionals to converge and explore the latest
advancements, challenges, and applications in the dynamic fields of
rtificial Intelligence Models and Systems. The conference provides a
collaborative environment for the exchange of ideas, fostering innovation
and promoting interdisciplinary research at the intersection of these
transformative domains.
*AIMS 2026 Symposia*
Authors are encouraged to submit their work to one of the following 20
specialized symposiums, each targeting a key research frontier:
1. Advancements in Artificial Intelligence
2. Cutting-Edge Machine Learning Techniques
3. Innovations in Computer Vision
4. Breaking Barriers in Natural Language Processing
5. Exploring Generative AI Applications
*Important Dates:*
- Papers due: April 15, 2026
- Acceptance notification: June 30, 2026
- Registration: July 30, 2026
- Camera-ready paper: July 30, 2026
- Workshop/Tutorial Proposal Submission: April 15, 2026
- Workshop/Tutorial Proposal Acceptance: June 30, 2026
*Submission Guidelines:*
Papers submitted to AIMS must be the original work of the authors. They may
not be simultaneously under review elsewhere. Publications that have been
peer-reviewed and have appeared at other conferences or workshops may not
be submitted to AIMS. Authors should be aware that IEEE has a strict policy
with regard to plagiarism
https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html The
authors' prior work must be cited appropriately.
*Submission Link: **https://conferences.sparcly.ai/SP/AIMS2026*
<https://conferences.sparcly.ai/SP/AIMS2026>
*Organizing Committee*
Honorary Chairs
- Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain
- Jose Luis Muñoz-Tapia, Universitat Politècnica de Catalunya, Spain
General Co-Chairs
- Christiancarmine Esposito, University of Salerno, Italy
- Attila Kertész, University of Szeged, Hungary
- Vlado Stankovski, University of Ljubljana, Slovenia
Program Co-Chairs
§ Javier Berrocal, Universidad de Extremadura, Spain
§ Safa Otoum, ZU, UAE
--Regards,
**********************************************************
*
* 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 at King’s College London
We have one opening for a postdoctoral researcher in mechanism design at
King's College London.
King's College London.
The post holder will work on a project that models the imperfect
rationality of AI agents and explores the frontier between (i) their
evolving capabilities and (ii) what can be implemented—and aligned—within
the theoretical framework of mechanism design.
The position is funded through the end of February 2028, with a possibility
of further extension (up to two years of employment).
Further details and application instructions are available here:
https://www.jobs.ac.uk/job/DQQ204/postdoctoral-research-associate-in-mechanism-design-for-ai-alignment
.
Application deadline: 9 March 2026.
Inquiries: carmine.ventre@kcl.ac.uk
Please feel free to share this with potentially interested candidates.
**********************************************************
*
* 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] IFORS 2026 "Optimizing Transit" - Call for abstracts
Dear colleagues,
The IFORS abstract submission deadline is coming closer (March 15) – but there is still time to submit your abstract! We would be particularly happy to receive your abstract on anything related to "Optimizing Transit" (i.e., optimization problems arising in the planning, operation and control of public transit, including (but not limited to) optimization and control of metro, tram and bus systems, mobility-on-demand, multimodal transit, and transit fare design) in the respective stream (to be selected in the Abstract submission form).
More information on IFORS 2026 can be found below:
• Vienna, Austria, July 12 - 17, 2026
• https://ifors2026.at/home/
Best regards,
Sophie Parragh, and Marie Schmidt
**********************************************************
*
* 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/
*
**********************************************************
The IFORS abstract submission deadline is coming closer (March 15) – but there is still time to submit your abstract! We would be particularly happy to receive your abstract on anything related to "Optimizing Transit" (i.e., optimization problems arising in the planning, operation and control of public transit, including (but not limited to) optimization and control of metro, tram and bus systems, mobility-on-demand, multimodal transit, and transit fare design) in the respective stream (to be selected in the Abstract submission form).
More information on IFORS 2026 can be found below:
• Vienna, Austria, July 12 - 17, 2026
• https://ifors2026.at/home/
Best regards,
Sophie Parragh, and Marie Schmidt
**********************************************************
*
* 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] CONCUR 2026: 2nd Call for Papers
------------------------------------------------------------------------------
When: 1 – 4 September, 2026
Where: Liverpool, UK
Web: https://confest-2026.github.io/concur
------------------------------------------------------------------------------
When: 1 – 4 September, 2026
Where: Liverpool, UK
Web: https://confest-2026.github.io/concur
------------------------------------------------------------------------------
The International Conference on Concurrency Theory (CONCUR) brings together
researchers, developers, and students in order to advance the theory of
concurrency and promote its applications. CONCUR solicits high quality papers
reporting research results and/or experience related to semantics, logics,
verification and analysis of concurrent systems.
The 2026 edition will be co-located with QEST+FORMATS, FMICS and a number of
workshops under the joint name CONFEST 2026, which will take place September
1-5, 2026 at the University of Liverpool, UK.
Important dates
- Abstracts: 20 April, 2026 (AoE)
- Submissions: 27 April, 2026 (AoE)
- Rebuttal: 1 – 3 June, 2026 (AoE)
- Notification: 15 June, 2026 (AoE)
- Camera Ready: 29 June, 2026 (AoE)
- Conference: 1 – 4 September, 2026
- Workshops: 5 September, 2026
Topics
Submissions are solicited in the theory and practice of concurrent systems.
The principal topics include (but are not limited to):
- Basic models of concurrency such as abstract machines, domain-theoretic
models, categorical and coalgebraic models, game-theoretic models,
parametric models, process algebras, graph transformation systems, Petri
nets, hybrid systems, mobile and collaborative systems, probabilistic
systems, real-time systems, quantum systems, biology-inspired systems, and
synchronous systems;
- Logics for concurrency such as modal logics, program logics, probabilistic
and stochastic logics, temporal logics, multi-agent logics, and resource
logics;
- Verification and analysis techniques for concurrent systems such as
abstract interpretation, atomicity checking, model checking, race
detection, pre-order and equivalence checking, run-time verification,
state-space exploration, static analysis, synthesis, testing, theorem
proving, type systems, and security analysis;
- Distributed/parallel algorithms and concurrent data structures: design,
analysis, complexity, correctness, fault tolerance, reliability,
availability, consistency, self-organization, self-stabilization,
commitment schemes, communication protocols;
- Theoretical foundations, tools, and empirical evaluations of
architectures, execution environments, and software development for
concurrent systems such as geo-replicated systems, distributed ledgers,
communication networks, multiprocessor and multi-core architectures,
quantum computing, quantum communication, shared and transactional memory,
resource management and awareness, compilers and tools for concurrent
programming, programming models such as component-based, object- and
service-oriented.
Paper submission
- All papers must be original, unpublished, and not submitted for
publication elsewhere.
- Each paper will undergo a thorough review process.
- Papers must be submitted electronically as PDF files via EasyChair
(https://easychair.org/conferences?conf=concur2026).
- Proceedings will be published by LIPIcs; please use their style files
(https://drops.dagstuhl.de/entities/series/LIPIcs#author) when preparing
your submission.
- Submissions follow a single-blind process.
- Papers must not exceed 15 pages (excluding references and appendices,
LIPIcs style)
- An appendix may provide additional material and proofs, but should not be
expected to be scrutinized by the reviewers and will not be published in
the proceedings.
Special Issue
A special issue dedicated to selected papers from CONCUR'2026 will appear in
Logical Methods in Computer Science.
Awards
There will be a CONCUR Test-of-Time award, Best Paper award, and Best Student
Paper award in 2026. The winners will be announced at the conference.
Invited Speakers
- Jade Alglave, University College London / Arm, UK
- Ezio Bartocci, TU Wien, Austria
- Ichiro Hasuo, National Institute of Informatics, Japan
- Jean-François Raskin, Université Libre de Bruxelles, Belgium
- Qiyi Tang, University of Liverpool, UK
Program Committee Chairs
- Ana Sokolova, University of Salzburg, Austria
- Patrick Totzke, University of Liverpool, UK
Program Committee
- Parosh Abdulla, Uppsala University, Sweden
- Giorgio Bacci, Aalborg University, Denmark
- Christel Baier, TU Dresden, Germany
- Paolo Baldan, University of Padova, Italy
- Nathalie Bertrand, INRIA Rennes, France
- Laura Bocchi, University of Kent, UK
- Filippo Bonchi, University of Pisa, Italy
- Valentina Castiglioni, Eindhoven University of Technology, the Netherlands
- Dmitry Chistikov, University of Warwick, UK
- Corina Cirstea, University of Southampton, UK
- Wojciech CzerwiĊski, University of Warsaw, Poland
- Javier Esparza, TU Munich, Germany
- Benjamin Kaminski, Saarland University and UCL, Germany/UK
- Tobias Kappé, Leiden University, the Netherlands
- Stefan Kiefer, University of Oxford, UK
- Barbara König, University of Duisburg-Essen, Germany
- Antonín Kucera, Masaryk University, Czech Republic
- Yong Li, SKLCS Beijing, China
- Nicolas Mazzocchi, STU Bratislava, Slovakia
- Roland Meyer, TU Braunschweig, Germany
- Pierre Ohlmann, CNRS, LIS Marseille, France
- Prakash Panangaden, McGill and University of Edinburgh, Canada/UK
- Kirstin Peters, University of Augsburg, Germany
- Guillermo A. Pérez, University of Antwerp, Belgium
- Damien Pous, CNRS, ENS Lyon, France
- Karin Quaas, University of Leipzig, Germany
- Ege Saraç, CISPA, Germany
- Sylvain Schmitz, Université Paris Cité, France
- Henning Urbat, FAU Erlangen-Nürnberg, Germany
- Viktor Vafeiadis, MPI-SWS, Germany
- Franck van Breugel, York University, Canada
- Rob van Glabbeek, University of Edinburgh, UK
- Pierre Vandenhove, Université de Mons, Belgium
- Kazuki Watanabe, NII, Tokyo, Japan
- Sarah Winter, Université Paris Cité, France
- Nisansala Yatapanage, Australian National University, Australia
- Florian Zuleger, TU Wien, Austria
Steering Committee
- Luca Aceto, Reykjavik University, Iceland
- Christel Baier, TU Dresden, Germany
- Pedro R. D'Argenio, National University of Córdoba, Argentina
- Wan Fokkink, VU Amsterdam, the Netherlands
- Catuscia Palamidessi, INRIA Saclay and LIX, France
- Jiri Srba, Aalborg University, Denmark
Questions regarding submissions should be directed to the PC chairs
(concur2026@easychair.org).
**********************************************************
*
* 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] 1-year postdoc in combinatorial optimisation in Barcelona
We are seeking a motivated candidate for a 1-year post-doctoral position in Operations Research at Universitat Pompeu Fabra in Barcelona, Spain.
Complete information: https://santini.in/academic/postdoc-position
Application form: https://forms.gle/2Y5XWquvHmKz52Bj9
== The Project ==
The researcher will be financed through the research project "Fairness and social well-being in optimisation models". The overarching theme of this project is incorporating ethical aspects into mathematical models for public resource allocation and labour organisation. Specifically, the project aims to include fairness and social well-being considerations in optimisation models through two research lines: fairness in public budget allocation models and workers' well-being in service industry optimisation models.
The researcher will join the Statistics, Probability and Machine Learning research group (https://www.upf.edu/web/statistics-group). The IP of the project is Alberto Santini, associate professor of Operational Research at Universitat Pompeu Fabra.
== Requirements ==
Candidates will have completed a PhD in Operational Research, Computer Science, Mathematics, Computer Engineering, Economics, or other areas closely related to operational research and mathematical optimisation. Candidates with proven experience in at least one of the following areas are particularly encouraged to apply: Rostering and scheduling problems, Exact methods based on column generation, Multi-objective optimisation, Bi-level programming and Stackelberg games.
== What we offer ==
A 12-month contract with a minimum salary of around 31200 euros per year. The candidate is expected to focus solely on research and will not have any teaching or administrative duties. If they want to gain teaching experience, this can also possibly be arranged and is paid separately. The scholarship comes with funding to cover research expenses, such as travelling to conferences or stays abroad. UPF offers plenty of opportunities for career growth, including research and soft-skills seminars. The university also has a comprehensive language-learning programme.
== Timeline ==
Please complete the form as soon as possible and, in any case, before March 27. Remember to include your CV and a recommendation letter. We will be reviewing applications and scheduling interviews continuously. During the interviews, we will explain how to submit your application through the official university system. The contract will start at a mutually agreed date in 2026.
Best,
Alberto Santini
**********************************************************
*
* 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] Two Postdoc positions in Formal Methods for AI at TU Dortmund University (Germany)
The Reliable AI group at TU Dortmund University (Germany) and the Center
Trustworthy Data Science and Security seeks talented and motivated
candidates for *two* 2-year Postdoc positions in Verification and
Formal Methods for AI. We specifically welcome candidates with research
interests in verification and formal guarantees for deep neural networks
or probabilistic programs, program synthesis (e.g., using large
language models), safe machine learning (deep learning or reinforcement
learning), neuro-symbolic techniques or deep learning under logic
constraints, as well as broader topics related to formal methods and
verification.
Trustworthy Data Science and Security seeks talented and motivated
candidates for *two* 2-year Postdoc positions in Verification and
Formal Methods for AI. We specifically welcome candidates with research
interests in verification and formal guarantees for deep neural networks
or probabilistic programs, program synthesis (e.g., using large
language models), safe machine learning (deep learning or reinforcement
learning), neuro-symbolic techniques or deep learning under logic
constraints, as well as broader topics related to formal methods and
verification.
The positions are fully funded (TV-L E13/14) and include comprehensive
benefits, including 30 day of paid vacation, health insurance, and
retirement contributions. Both positions will be supervised by Prof.
Daniel Neider (https://rc-trust.ai/about/scientists/daniel-neider).
For more details on the positions, and to apply (deadline: March 10,
2026), please see https://service.tu-dortmund.de/documents/18/2120797/
w03-26_2PhD_RAR_englisch_NEU_SJA.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/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
