Wednesday, March 18, 2026

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

Dear colleagues,

Apologies for any cross-posting.

This is the second call for papersfor theLODAS 2026 – The 1st
International Workshop on Learning and Optimization for Distributed AI
Systems <https://jamaltoutouh.github.io/lodas2026/>, co-located with
theFLICS 2026 Conference <https://flics-conference.org/>to be held in
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 in distributed and resource-constrained
environments. LODAS 2026 aims to bring together researchers working at
the intersection of learning and optimization to address challenges in
scalability, reliability, and efficiency for distributed AI systems.

We welcome contributions addressing (but not limited to):

*

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


Submission Information

*

Submission site:via EasyChair (details on theworkshop website
<https://jamaltoutouh.github.io/lodas2026/>)

*

Formatting:IEEE A4 Manuscript Templates for Conference Proceedings

*

Paper types:

o

Long papers: 7–8 pages (research contributions)

o

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

o

Poster papers (undergraduate): 1–2 pages


Important Dates

*

Submission deadline:April 21, 2026

*

Notification of acceptance:May 5, 2026

*

Camera-ready & registration:May 15, 2026

*

Workshop dates:June 9–12, 2026 (exact date/time to be announced)


Organizing Committee

*

Jamal Toutouh – University of Málaga, Spain

*

Gabriel Luque – University of Málaga, Spain

*

Diego Daniel Pedroza-Perez – University of Málaga, Spain

We warmly encourage you to submit your latest work and to share this
call with colleagues and relevant mailing lists.

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

[DMANET] Post-doc position at Kyoto University, Japan

EMPLOYMENT OPPORTUNITY

---

One post-doc position in Discrete Mathematics / Algorithms / Combinatorial
Optimization is available at Kyoto University, Japan.
The expected starting date is 2026-10-01.

The position is financed by a JSPS Fund for the Promotion of Joint
International Research grant, "Next Generation International Research Hub
for
Algorithms, Combinatorial Optimization and Discrete Mathematics" with
project
leader Professor Ken-ichi Kawarabayashi (NII).
The appointee will be hired by Professor Shin-ichi Minato and supervised by
Professor David Avis and Dr. Jesper Jansson at Kyoto University, Japan.

For more details, including information about the application procedure,
please
see:
https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D126031115&ln=1

---

**********************************************************
*
* 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 17, 2026

[DMANET] UK Workshop for Junior Researchers in Economics and Computation – Oxford, July 21-22

Dear colleagues,

The 2nd UK Workshop for Junior Researchers in Economics and Computation (JECCO UK 2026) will take place on July 21-22 2026, at All Souls College, University of Oxford, UK:

https://jecco2026.gitlab.io/

The goal of the workshop is to bring together junior (PhD students and early-career postdoctoral) researchers in the area of Economics and Computation, to interact with other members of the community and present their work.

The workshop will feature two invited talks by Edith Elkind and Ron Lavi, as well as contributed talks by junior participants.

We expect to be able to offer some financial support for travel and/or accommodation (expected at around £200-£250) to a limited number of participants. Priority will be given to junior applicants based in the UK.

The workshop is free to attend, but due to limited space, an application is required. To apply, please fill in the following form before April 17, 2026:

https://forms.office.com/e/SNYCFPkVxb

Priority for the presentation slots will be given to junior researchers, but more senior researchers are also welcome to apply to attend the workshop.

Looking forward to seeing many of you there!


The organizers,

Aris Filos-Ratsikas
Yiannis Giannakopoulos
Alexandros Hollender


**********************************************************
*
* 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 31st British Combinatorial Conference 2026

Cardiff, Wales, UK, 6-10 July 2026

The British Combinatorial Conference (BCC) is the foremost biennial UK conference on combinatorics and its applications. In 2026, the 31st edition is organised by members of the School of Mathematics at Cardiff University in Wales. The conference features nine renowned plenary speakers, showcasing the full range of combinatorial mathematics, alongside mini-symposia and contributed talks. Participants from many countries, ranging in seniority from PhD students to established researchers, are expected. All participants may propose a contributed talk.

Registration deadline: 14 June 2026 (early bird registration till 17 May 2026); deadline for a contributed talk proposal: 10 May 2026.

The conference website:
https://sites.google.com/view/bcc2026/
History of the conference:
https://www.britishcombinatorics.org.uk/bc-conference-archive

Best wishes,
Andrei Gagarin


**********************************************************
*
* 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] CIAA 2026: Submission Deadline EXTENDED to March 27

---
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 27, 2026 **EXTENDED**
- Author notification: May 1, 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/
*
**********************************************************

[DMANET] [NCMA 26] NCMA-2026 Rouen, France — Second Call for Papers

------ Second Call for Papers NCMA 2026 ------

16th International Workshop on
"Non-Classical Models of Automata and Applications"
(NCMA 2026)

June 29-30, 2026, Rouen, France

https://dlt-ncma-2026.sciencesconf.org/

NCMA (since 2009) is a workshop series devoted to research on non-classical models of automata and grammar-like devices, covering both theoretical foundations (descriptional complexity, decidability, complexity) and applications (bio-computing, document processing, self-assembly, etc.). NCMA aims to bring together researchers studying novel or extended computational models, their properties and applications.

Topics for NCMA 2026 include (but are not limited) to :

- Formal models inspired by linguistics, bio-computing, text processing,
document engineering, self-assembly, etc.,
- Bio-inspired models of automata and generative devices,
- Cellular automata,
- Forgetting automata and restarting automata,
- Automata with additional resources,
- Regulated rewriting/automata,
- Networks of automata or generative devices,
- Models of cooperation and communication,
- Quantum automata,
- Automata in the framework of membrane computing,
- Complexity aspects for formal systems.


Important dates (all dates are to be understood AoE)
----------------------------------------------------------------------

* Deadline for submissions: April 6, 2026
* Notification of acceptance: May 18, 2026
* Deadline for all final papers: June 8, 2026
* Conference: June 29-30, 2026


Submissions and Proceedings
---------------------------

Authors are invited to submit full papers of up to 16 pages in electronic form (PDF).
About the used style and submission procedure detailed information will be put on the website on due time. The proceedings for full papers is planned to appear in an EPTCS volume.

Proofs omitted due to space constraints may be put into an appendix that will be read by the reviewers at their discretion. All papers will be reviewed by at least three referees, and simultaneous submissions to other conferences or workshops with published proceedings are not allowed.

Papers should be submitted electronically in PDF through the EasyChair system:
https://easychair.org/my2/conference?conf=ncma2026

Invited Speakers
----------------------

Beatrice Palano (Milan, Italie)
Abuzer Yakaryilmaz (University of Latvia)

Program Committee
---------------------------

Martin Berglund (Umeå, Sweden)
Cezar Campeanu (Charlottetown, Canada) (co-chair)
Giuseppa Castiglione (Palermo, Italy)
Pamela Fleischmann (Kiel, Germany)
Zsolt Gazdag (Szeged, Hungary)
Yo-Sub Han (Seoul, South-Korea)
Zbyněk Křivka (Brno, Czech Republic)
Martin Kutrib (Giessen, Germany) (co-chair)
Sylvan Lombardy (Bordeaux, France) (co-chair)
Ian McQuillan (Saskatoon, Canada)
František Mráz (Prague, Czech Republic)
Benedek Nagy (Famagusta, Cyprus)
Florent Nicart (Rouen, France)
Beatrice Palano (Milano, Italy)
Luca Prigioniero (Loughborough, UK)
Rogério Reis (Porto, Portugal) and
Agustín Riscos-Núñez (Sevilla, Spain)
Hellis Tamm (Tallinn, Estonia)
Brink van der Merwe (Stellenbosch, South Africa)

Local Information:
------------------------

The workshop will take place in Rouen (France).

NCMA 2026 will be co-located with DLT 2026: 30th International Conference on Developments in Language Theory (June 30 - July 3, 2026).


Contact:
---------

email: comite.organisation.dlt.ncma.2026@listes.univ-rouen.fr
web : https://dlt-ncma-2026.sciencesconf.org/

------------------------------------------------------------
Apologize if you have received multiple copies of this message.
------------------------------------------------------------    


**********************************************************
*
* 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] DISC 2026 - Second Call for Papers

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

*DISC 2026 Call for Papers*

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

40th International Symposium on Distributed Computing
November 9-13, 2026

Rome, Italy

https://www.disc-conference.org/wp/disc2026/

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

*DISC Conference Overview*

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

The International Symposium on Distributed Computing (DISC) is an
international forum on the theory, design, analysis, implementation and
application of distributed systems and networks. It is organized in
cooperation with the European Association for Theoretical Computer Science
(EATCS). The symposium was established 41 years ago, in 1985, as a biannual
International Workshop on Distributed Algorithms on Graphs (WDAG). DISC
2026 marks the 40th edition of the symposium. To celebrate this special
milestone, the conference will include a series of festivities and special
events honoring four decades of advances in distributed computing research
and the vibrant community that has shaped the field.

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

*Important Dates*

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

Paper registration: May 27, 2026
Submission deadline: June 1, 2026
Rebuttal phase: July 21-25, 2026

Notification: August 5, 2026

Camera-ready version due date: August 19, 2026

All deadlines are at 23:59 AoE.

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

*Scope*

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

Submissions are sought in all areas of distributed algorithms and
distributed systems, including theory, design, implementation, modelling,
analysis, and application of distributed systems and networks. Topics of
interest include, but are not limited to:

· Biological and nature-inspired distributed algorithms

· Blockchain protocols

· Distributed and concurrent data structures, replication and
consistency

· Distributed graph algorithms

· Distributed machine learning and data science

· Distributed operating systems, middleware, database systems

· Experimental evaluation of distributed algorithms and systems

· Fault tolerance, reliability, availability

· Formal methods for distributed computing: verification, synthesis
and testing

· Game-theoretic and knowledge-based approaches to distributed
computing

· High-performance, cloud and grid computing

· Internet and Web applications, social networks and recommendation
systems

· Mobile agents, autonomous distributed systems, swarm robotics

· Multiprocessor and multi-core architectures and algorithms

· Population protocols and chemical reaction networks

· Quantum distributed algorithms

· Security in distributed computing, cryptographic protocols

· Self-stabilizing, self-organizing, and autonomous systems

· Synchronization, persistence and transactional memory

· Wireless, mobile, sensor and ad-hoc networks

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

*Submissions*

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


A submitted paper should clearly motivate the importance of the problem
being addressed, discuss prior work and its relationship to the paper,
explicitly and precisely state the paper's key contributions, and outline
the key technical ideas and methods used to achieve the main claims. A
submission should strive to be accessible to a broad audience, as well as
having sufficient details for experts in the area.

There are two types of submissions: regular papers and brief announcements.
Regular papers must report on original research that has not previously
been published (and may not be concurrently submitted to other journals or
conferences with proceedings). All ideas necessary for an expert to fully
verify the central claims in a paper, including experimental results,
should be included in the submission. A brief announcement may describe
work in progress or work presented elsewhere. A brief announcement may also
present a result that is short and elegant but does not require a longer
paper. It may also be used to announce a software distribution or an
experimental result of interest that can be concisely described. The title
of a brief announcement must start with the phrase "Brief Announcement: ".

A paper that is not accepted as a regular paper may be invited as a brief
announcement.

When requested by the program committee, each author of the submitted
paper(s) is expected to prepare a professional review of a non-conflicted
DISC 2026 submission that falls within their research expertise.

Submission should be done via the following web page:

https://disc26.hotcrp.com

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

*Submission format*
=====================================


Submissions must be in English in pdf format and they must be prepared
using the LaTeX style template for LIPIcs (
https://submission.dagstuhl.de/series/details/5#author) with

\documentclass[a4paper,anonymous,USenglish]{lipics-v2021}.

Submissions must be anonymous, without any author names, affiliations, or
email addresses. The contact information of the authors will be entered
separately in the submission metadata.

For regular papers, there is no page limit, and authors are encouraged to
use the "full version" of their paper as the submission. The initial 15
pages, excluding the title page and a table of contents, should contain a
clear presentation of the merits of the paper, including a discussion of
the paper's importance within the context of prior work and a description
of the key technical and conceptual ideas used to achieve its main claims.
(Illustrative figures are encouraged.) The submission must contain all
necessary details, including full proofs of all claims in the paper.

Although there is no bound on the length of a submission, material other
than the first 15 pages, excluding the title page and a table of contents,
will be read at the committee's discretion. Papers submitted as brief
announcements should comply with the above rules, replacing 15 pages with 5
pages.

Submissions not conforming to the submission guidelines and papers outside
of the scope of the conference will be rejected without consideration. All
accept/reject decisions made by the program committee are final.

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

*Use of Large Language Models (LLMs)*
=====================================

The use of LLMs for submission preparation is permitted, although it is
highly recommended that they only be used for cosmetic changes, e.g.
proofreading of the text. The use of LLMs in technical parts should be
treated in the same way as any other software or system, and thus carefully
described and documented in the submission. Ultimately, the authors are
responsible for the content of their submission, and mis-use of LLM may
result in rejection. Any questions about the LLM use policy should be
directed to the PC chair, Keren Censor-Hillel (ckeren@cs.technion.ac.il).

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

*Anonymous Submissions*
=====================================


We will use a relaxed implementation of double-blind peer review.
Submissions must not reveal the identity of the authors in any way. In
particular, authors' names and affiliation should not appear in the
document itself. Authors should ensure that any references to their own
related work are in the third person (e.g., not "We build on our previous
work …" but rather "We build on the work of …"). The purpose of this
process is to help PC members and external reviewers come to an initial
judgment about the paper without bias, not to make it impossible for them
to discover the authors if they were to try.

You are free to disseminate your work through arXiv and other online
repositories and give presentations on your work as usual. Moreover,
nothing should be done in the name of anonymity that weakens the submission
or makes the job of reviewing the paper more difficult. In particular,
important references should not be omitted or anonymized.

Brief announcements should also be submitted without author names and
affiliations so that a reviewer can form an initial judgment without bias,
but they can contain a reference to the full version of the work in the
bibliography.

Please feel free to ask the PC chair if you have any questions about the
double-blind policy of DISC 2026.

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

*Conflict of Interest*
=====================================


The submission form provides an opportunity to specify conflicts of
interest with any of the PC members and other member of research community.
A conflict of interest is limited to the following:

- A family member or close friend;

- A Ph.D. advisor or advisee (no time limit), or postdoctoral or
undergraduate mentor or mentee within the past five years;

- A person with the same affiliation;

- A person involved in an alleged incident of harassment;

- Frequent collaborators, or collaborators who have jointly published
papers within the last two years.

If you feel that you have a valid reason for a conflict of interest beyond
listed above, or any other issues related to the fair treatment of your
submission, contact the PC chair, Keren Censor-Hillel (
ckeren@cs.technion.ac.il), or the SafeTOC representative for DISC, listed
at https://safetoc.org/index.php/toc-advisors/.

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

*Participation at DISC*

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


It is expected that accepted papers and brief announcements be presented
in-person at the conference.

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

*Publication*

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


The proceedings will be published by LIPIcs. The final version of the paper
has to be formatted following the LIPIcs guidelines. Regular papers will
have 15 pages in the final proceedings (excluding references), and brief
announcements will have 5 pages in the proceedings (including everything).
If more space is needed, the authors are encouraged to post the full
version e.g. on arXiv and refer to it in their paper.

Accepted papers and brief announcements must be presented by one of the
authors, with a full registration and according to the final schedule.

Extended and revised versions of selected papers will be considered for a
special issue of the journal Distributed Computing.

The best paper at DISC will be considered for publication in the Journal of
the ACM.

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

*Awards*

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

Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award, at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.

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

*Organization*

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

*Program Committee:*

James Aspnes, Yale University, USA

Naama Ben-David, Technion, Israel

Christian Cachin, University of Bern, Switzerland

Armando Castañeda, Universidad Nacional Autónoma de México, Mexico

Keren Censor-Hillel, Technion, Israel (Chair)

Peter Davies-Peck, Durham University, UK

Michal Dory, University of Haifa, Israel

Fabien Dufoulon, Lancaster University, UK

Constantin Enea, Ecole Polytechnique, France

Jeremy Fineman, Georgetown University, USA

Leszek Antoni Gąsieniec, University of Liverpool, UK

Ran Gelles, Bar-Ilan University, Israel

George Giakkouipis, Inria, Rennes, France

Seth Gilbert, NUS, Singapore

Wojciech Golab, University of Waterloo, Canada

Alexey Gotsman, IMDEA Software Institute, Spain

Danny Hendler, Ben-Gurion University, Israel

Taisuke Izumi, The University of Osaka, Japan

Siddhartha Jayanti, Dartmouth College, USA

Tomasz Jurdzinski, University of Wroclaw, Poland

Petr Kuznetsov, Telecom Paris, Institut Polytechnique de Paris, France

Quanquan Liu, Yale University, USA

Thomas Locher, DFINITY, Switzerland

Giuliano Losa, Stellar Development Foundation, USA

Darya Melnyk, TU Berlin, Germany

Alessia Milani, Aix-Marseille University, LIS, France

Shreyas Pai, IIT Madras, India

Boaz Patt-Shamir, Tel Aviv University, Israel

Ivan Rapaport, Universidad de Chile, Chile

Andrea W. Richa, Arizona State University, USA

Peter Robinson, Augusta University, USA

Joel Rybicki, Humboldt University of Berlin, Germany

Christian Scheideler, Paderborn University, Germany

Lili Su, Northeastern University, USA

Jukka Suomela, Aalto University, Finland

François Taïani, Univ Rennes, Inria, CNRS, IRISA, France

Andrei Tonkikh, Aptos Labs, USA

Jennifer Welch, Texas A&M University, USA

Philipp Woelfel, University of Calgary, Canada

Michelle Yeo, Nanyang Technological University, Singapore and Aarhus
University, Denmark

Leqi Zhu, University of Manitoba, Canada

*Conference Committee:*

Ioannis Chatzigiannakis, Sapienza University of Rome, Italy (co-Chair)

Yannic Maus, TU Graz, Austria (Treasurer)

William K. Moses Jr., Durham University, UK (Publicity Chair and
Proceedings Chair)

Ami Paz, CNRS and Paris-Saclay University, France (Workshops Chair)

Andrea Vitaletti, Sapienza University of Rome, Italy (co-Chair)

*Steering Committee:*

Dan Alistarh, IST, Austria (2024 PC Chair)

Hagit Attiya, Technion, Israel (Chair)

Keren Censor-Hillel, Technion, Israel (2026 PC Chair)

Pierre Fraigniaud, CNRS and Université Paris Cité, France (Vice Chair)

Dariusz Kowalski, Augusta University, USA (2025 PC Chair)

Alessia Milani, Aix-Marseille University, LIS, France (Member-at-large)

Ami Paz, CNRS and Paris-Saclay University, France (Member-at-large)


------
Regards,
William K. Moses Jr.
Publicity Chair, DISC 2026
https://sites.google.com/view/wkmjr

**********************************************************
*
* 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] ICCNS 2026 CFP: The IEEE co-sponsored 4th International Conference on Intelligent Computing, Communication, Networking and Services, 22-25 Sept. 2026 | Bucharest, Romania.

[Apologies if you got multiple copies of this invitation]

The 4th International Conference on Intelligent Computing, Communication,
Networking and Services (ICCNS2026)

https://iccns-conference.org/2026/

22-25 Sept. 2026 | Bucharest, Romania.

Hybrid Event and Technically Co-Sponsored by IEEE Romania Section

*ICCNS 2026 CFP:*

With the advancements in wireless communication systems like Fifth
Generation (5G), beyond 5G (B5G) and the Sixth Generation (6G), new
and unprecedented
services will be available for users with nearly unlimited capacity. These
services will be the core driver of the future digital transformation of
our cities and communities. This will be accompanied by a ubiquitous
deployment of the Internet of Things (IoT) infrastructure and supported by
computing capacity that will be available at the edge of the network and at
the cloud. The computing infrastructure will be handling the processing of
the data generated by the users and services. Such a complex and diverse
system will require efficient and sustainable applications running on the
computing\Networking infrastructure and also smart control and automation
systems to integrate and manage its different components. Artificial
Intelligence (AI) and its applications will play a significant role in the
design, deployment, automation and management of the future services. This
will include the applications that will be running on the edge and the
cloud servers, the networking applications to handle the flow of data
between the users and the computing system and the intelligent automation
and management software operating on the system. The International
Conference on Intelligent Computing, Networking and Services is aiming to
provide an opportunity to present the state of the art research in the
intersections of Computing, Networking and Services that is supported by
Artificial Intelligence. Researchers from both the industry and academia
are encouraged to submit their original research contributions in all major
areas, which include, but not limited to the following tracks:

- Track 1: Artificial Intelligence Fundamentals
- Track 2: Intelligent Internet of Things and Cyber-Physical Systems
- Track 3: Edge Intelligence and Federated Learning
- Track 4: Intelligent Networking in Beyond 5G (B5G) and 6G Wireless
Communication
- Track 5: Intelligent Big Data Management and Processing
- Track 6: Intelligent Security and Privacy
- Track 7: Blockchain Research & Applications for Intelligent Networks
and Services
-

*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 ICCNS 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 up to 8 pages and must follow the IEEE paper format. Please include
up to 7 keywords, complete postal and email address, and fax and phone
numbers of the corresponding author. 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: April 15, 2026
- Notification of acceptance: July 15, 2026
- Camera-ready Submission: August 5, 2026

*Contact:*

Please send any inquiry on ICCNS to: info@iccns-conference.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] [Scheduling seminar] Kevin Schewior (University of Cologne) | March 18 | Combinatorial Perpetual Scheduling

Dear scheduling researcher,

We are delighted to announce the talk given by Kevin Schewior
(University of Cologne). The title is "Combinatorial Perpetual
Scheduling". The seminar will take place on Zoom on Wednesday, March 18
at 14:00 UTC.
Join Zoom Meeting
https://cesnet.zoom.us/j/94879279269?pwd=f21ZmDYYXpaIa8wH1tq9mTuHGTkSTU.1
Meeting ID: 948 7927 9269
Passcode: 632094

You can follow the seminar online or offline on our Youtube channel as
well:
https://www.youtube.com/channel/UCUoCNnaAfw5NAntItILFn4A

The abstract follows.
In this talk, I am going to give an overview of recent developments in
perpetual scheduling, with a focus on combinatorial versions. Here,
given a set system I on a ground set E, a (perpetual) schedule consists
of an independent set from I for every discrete time step, with the
objective of fulfilling frequency requirements on the occurrence of
elements in E. We focus specifically on combinatorial bamboo garden
trimming, where elements accumulate height at growth rates g(e) for
element e and are reset to zero when scheduled, with the goal of
minimizing the maximum height attained by any element. As a
normalization, we assume that the vector of growth rates is given as a
convex combination of incidence vectors from I. We prove that, when the
set system is a matroid, it is possible to guarantee a maximum height of
at most 2, which is optimal. For general set systems, one can only
guarantee a height that is logarithmic in the cardinality of E. The talk
is partially based on joint work with Mirabel Mendoza-Cadena, Arturo
Merino, and Mads Anker Nielsen.

The next talk in our series will be Tonguc Unluyurt (Sabanci University)
| April 1 | A review of the sequential testing problem and its extensions.
For more details, please visit https://schedulingseminar.com/

With kind regards

Zdenek Hanzalek, Michael Pinedo and Guohua Wan

--
Zdenek Hanzalek
Industrial Informatics Department,
Czech Institute of Informatics, Robotics and Cybernetics,
Czech Technical University in Prague,
Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic
https://rtime.ciirc.cvut.cz/~hanzalek/

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

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

[Apologies if you got multiple copies of this invitation]

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


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


Eleventh IEEE Workshop on Smart Service Systems (SmartSys)

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

• 22nd June 2026

• Messina, Italy

Name of the Organizers:

Workshop Co-Chairs

• Nirmalya Roy, University of Maryland, Baltimore County

• Carlo Vallati, University of Pisa

• Gurdip Singh, George Mason University

TPC Co-Chairs

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

• Marco Pettorali, University of Pisa, Italy

Publicity chair

• Jacopo Sabatino, University of Florence, Italy

• Avijoy Chakma, Bowie State University, US

Scope (Call for Papers)

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

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

Topics of interest include, but are not limited to:

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

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

• Context and situational awareness of smart service
systems

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

• Novel architectures and interoperable solutions for
Internet of Things

• Models and methodologies for designing systems of
systems

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

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

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

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

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

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

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

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

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

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

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

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

• Fairness and Bias Mitigation in AI algorithms for
pervasive systems

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

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

Submission instructions

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

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

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

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

Important dates

Manuscript submission: *March 23, 2026*

Paper acceptance notification: April 29, 2026

Camera-ready paper submission: TBA

Workshop date: June 22, 2026

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

[DMANET] PhD scholarship in Graph Theory (Karl Heuer)

I am looking for a PhD student to join a research project, funded by the Independent Research Fund Denmark.


*Duration of the position*: 3 years

*Start*: 1st of September 2026 (or according to mutual agreement)

*Where*: Technical University of Denmark (DTU) in Kongens Lyngby, which is about 20min away from central Copenhagen by public transport.


About the scholarship:

The PhD project focuses on Structural Digraph Theory and the intersection of Graph Theory and Combinatorial Optimisation.

Main tasks will consist of conducting research regarding relaxations of Woodall's Conjecture about directed cuts and dijoins, and further studies regarding properties of related objects and certain classes of digraphs. Additionally, the PhD student will be responsible for supporting the research project by computer aided tasks when reasonable and applicable. The PhD student will also be involved in teaching assistant duties at DTU Compute.

Necessary qualifications:

- mathematical maturity
- a background in Graph Theory (experience regarding digraphs is beneficial, but not required)
- a two-year master's degree (120 ECTS points) or a similar degree with an academic level equivalent to a two-year master's degree.

Further desirable, but not primarily decisive:

- experience with or the ability to quickly learn tools (e.g. Python, SageMath, etc.) for analysing graphs computationally.


Further information can be found via the following link:

https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_2001/job/7000/


*Application deadline*: 1st of June 2026.

Interviews of selected possible candidates are expected for mid June 2026.


*Note*: Applications *MUST* be submitted via the online form accessible via the following link:

https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_2001/job/7000/


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


Kind regards

Karl Heuer

Associate Professor for Discrete Mathematics
Section for Algorithms, Logic and Graphs
DTU Compute
DTU - Technical University of Denmark


[cid:f447829c-0baa-4a52-96ba-0b0e96411e5e]

Karl Magnus Heuer

Associate Professor

karheu@dtu.dk<mailto:karheu@dtu.dk>

Richard Petersens Plads

Building 322

2800 Kgs. Lyngby

https://karlheuer.wordpress.com/

**********************************************************
*
* 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] Special Issue - Operations Research in Wildfire Management

Dear colleagues,

We would like to invite submissions to the Special Issue "Operations Research in Wildfire Management" in the International Transactions in Operational Research (ITOR).

This special issue of the International Transactions in Operational Research (ITOR) focuses on addressing Wildfire Management (WM) problems with OR models, methods and tools. Both theoretical and practical contributions are welcome if they address wildfire-related decision/optimisation problems in any WM phase, such as prevention, preparedness, detection, suppression and recovery.

Submission deadline: September 30, 2026.
Call for Papers: https://onlinelibrary.wiley.com/pb-assets/assets/14753995/cfp/itor70171-Rev2-EV-1770827222497.pdf<https://onlinelibrary.wiley.com/page/journal/14753995/homepage/call_for_special_issue_papers.htm>

All papers will undergo the standard peer-review process of the journal. Submissions should be made through the journal's online system and should indicate that the manuscript is intended for this special issue.

For further information, please feel free to contact the guest editors.

We would greatly appreciate it if you could share this call with colleagues who may be interested.

Best regards,

Filipe Alvelos, Universidade do Minho, Portugal, falvelos@dps.uminho.pt
Jaime Carrasco Barra, Universidad Tecnológica Metropolitana, Chile, jcarrascob@utem.cl
Miguel Constantino Universidade de Lisboa, Portugal, miguel.constantino@fc.ul.pt
Yu Wei, Colorado State University, USA, Yu.Wei@colostate.edu

**********************************************************
*
* 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] Invitation to submit: Future of Human-Computer Interaction Conference (FHCI) 2026

Dear Colleagues,

We invite you to contribute your research to the Future of Human-Computer
Interaction Conference (FHCI) 2026 <https://saiconference.com/FHCI>, an
affiliated conference of the 11th Future Technologies Conference
<https://saiconference.com/FTC>, taking place on October 15–16, 2026, in
Berlin, Germany.

FHCI 2026 focuses on research that examines the evolving relationship
between humans and computational systems. As part of the broader FTC
research event, FHCI will be held alongside several other specialized
affiliated
conferences <https://saiconference.com/FTC#Affiliated> under FTC.

Important Dates –
• Full Paper Submission: 01 April 2026
• Notification of Acceptance: 01 May 2026
• Camera-Ready Paper: 01 June 2026
• Conference Dates: 15–16 October 2026

All submissions will undergo a rigorous double-blind peer-review process.
Accepted papers will be published as a dedicated volume within the FTC
Proceedings by Springer in LNNS series, indexed by Scopus, Web of Science,
INSPEC, zbMATH, SCImago, and WTI Frankfurt eG.

Submission details:
https://saiconference.com/FTC/Submit

We look forward to receiving your contributions.

Kind regards,
Conference Secretariat
FHCI: Future of Human-Computer Interaction Conference
(Affiliated to FTC)
Follow on LinkedIn
<https://www.linkedin.com/company/saiconference/>

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

Monday, March 16, 2026

[DMANET] MIP 2026 Contributed Flash Talk Submission

MIP 2026 is opening up limited slots for contributed flash talks by
"nonstudents" (those who were not eligible for the poster session, such as
postdocs, faculty, national lab members, and industry researchers). If you
are interested, please submit your title/abstract by April 15, 2026 via the
form linked below. We intend to communicate decisions by April 25, 2026.

https://forms.gle/yutfQ8tLANd6zDYh6

On behalf of the MIP 2026 program committee:

Beste Basciftci
Yatharth Dubey
Cheng Guo
Sebastian Perez-Salazar
Matthias Walter

**********************************************************
*
* 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] OVERLAY 2026 @ FLoC - Second Call for Papers

8th International Workshop on Artificial Intelligence and fOrmal VERification,
Logic, Automata, and sYnthesis (OVERLAY 2026), co-located with the 9th Federated
Logic Conference (FLoC 2026)

*** We apologize for possible cross posting ***


*********** SECOND CALL FOR PAPERS ***********

OVERLAY 2026 @ FLoC
July 18-19, 2026
Lisbon, Portugal
https://overlay.uniud.it/workshop/2026

Abstract submission deadline: April 13, 2026
Submission deadline: April 17, 2026
Notification: May 15, 2026
FLoC early registration deadline: June 1, 2026

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

The increasing adoption of Artificial Intelligence techniques in safety-critical
systems, employed in real world scenarios, requires the design of reliable,
robust, and verifiable methodologies. Artificial Intelligence systems employed
in such applications need to provide formal guarantees about their safety,
increasing the need for a close interaction between the Artificial Intelligence
and Formal Methods scientific communities, and possibly leading to the proposal
of novel neurosymbolic approaches.

To witness this increasing need, tools and methodologies integrating Formal
Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic
solutions, are getting more and more attention, especially considering the
wide-range and pervasive applications of machine and deep learning models.

The workshop is the main official initiative supported by the OVERLAY group
(https://overlay.uniud.it/). The event aims at establishing a stable, long-term
scientific forum on relevant topics connected to the relationships between
Artificial Intelligence and Formal Methods, by providing a stimulating
environment where researchers can discuss opportunities and challenges at the
border of the two areas.

Important goals of the workshop are (i) to encourage the ongoing interaction
between the formal methods and artificial intelligence communities, (ii) to
identify innovative tools and methodologies, and (iii) to elicit a discussion on
open issues and new challenges.

This year's edition will be held on July 18-19, 2026, as part of FLoC 2026,
which will be held in Lisbon, Portugal.


*** Call for contributions ***

We accept contributions (see below for the format) focusing on the interaction
between Artificial Intelligence and Formal Methods and on the issue of
symbolic/sub-symbolic integration. Presentation of results recently published in
other scientific journals or conferences and invited talks will complement the
presentations of contributed papers.

Topics of interest include (but are not limited to):

automata theory
automated reasoning, satisfiability, theorem proving
automated planning and scheduling
controller and reactive synthesis
formal verification
game theory
hybrid and discrete systems
logics in computer science
neuro-symbolic artificial intelligence
logics for neural networks
neural networks for logic
formal and data-driven approaches to natural language processing
runtime verification and monitoring
specification and verification of machine/deep learning systems
specification and verification of systems based on large language models
tools and applications

We invite two kinds of contributions:

1. "regular" papers, presenting original research not published nor under
review elsewhere. Regular papers should not exceed nine (9) pages plus
references and, possibly, an appendix (that will not be published).

2. "short" papers, presenting either original research or results already
published in other venues, write-ups on work-in-progress projects worth
discussing, etc.

All contributed papers, except if explicitly requested otherwise by the authors,
will be included in the Proceedings of the event, published at CEUR Workshop
Proceedings (https://ceur-ws.org).

Authors are asked to use the CEURART LaTeX style, available here:
https://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions must be in PDF format.
Instructions on how to proceed with the submission will be published on the
workshop's website soon.

*** Note on the use of Generative AI writing assistance tools ***

Please adopt the CEUR guidelines for Generative AI use at the following address:
https://ceur-ws.org/GenAI/Policy.html.

*** Registration and participation fees ***

OVERLAY 2026 will take place as part of FLoC 2026. As a consequence,
participants to the workshop must follow the instructions provided by the FLoC
2026 committee for what concerns the registration requirements.

*** Venue ***

The workshop will take place in Lisbon, in one of the venues of FLoC 2026
(https://www.floc26.org/venue), on July 18 and 19.

*** Important dates (all deadlines are AOE) ***

- Abstract submission: April 13, 2026
- Paper submission: April 17, 2026
- Acceptance notification: May 15, 2026
- Workshop: July 18-19, 2026

*** Program Committee Chairs ***

Luigi Bonassi - University of Oxford, UK
Nicola Gigante - Free University of Bozen-Bolzano, Italy

***Program Committee***

Raffaella Bernardi - Free University of Bozen-Bolzano, Italy
Alberto Bombardelli - Kyoto University, Japan
Davide Bresolin - University of Padova, Italy
Alessandro Burigana - Free University of Bozen-Bolzano, Italy
Victor-Alexandru Darvariu - University of Oxford, UK
Giuseppe De Giacomo - University of Oxford, UK
Görschwin Fey - TU Hamburg, Germany
Mirco Giacobbe - University of Birmingham, UK
Alessandro Gianola - NESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal
Lucía Gómez Álvarez - INRIA Grenoble, France
Martin Leucker - University of Lübeck, Germany
Federico Mari - University of Rome Foro Italico, Italy
Andrea Micheli - Fondazione Bruno Kessler, Trento, Italy
Sergio Mover - Lix Ecole Polytechnique, Paris, France
Andrea Orlandini - ISTC-CNR, Rome, Italy
Ingo Pill - Graz University of Technology, Austria
Luca Putelli - University of Brescia, Italy
Michel Reniers - Eindhoven University of Technlogy, Germany
Sabina Rossi - University of Venice, Italy
Sasha Rubin - University of Sydney, Australia
Cesar Sanchez - IMDEA, Madrid, Spain
Nicola Saccomanno - University of Udine, Italy
Enrico Scala - University of Brescia, Italy
Stefano Tonetta - Fondazione Bruno Kessler, Trento, Italy
Enrico Tronci - University of Rome La Sapienza, Italy
Sarah Winkler - Free University of Bozen-Bolzano, Italy
Matteo Zavatteri - Fondazione Bruno Kessler, Trento, Italy


*** Contacts ***

For more information write an email to overlay@uniud.it


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

[DMANET] Deadline extension for IFORS 2026 Vienna (March 25, 2026)

Dear OR Community,
Thank you to everyone who has already submitted their work for IFORS 2026. We are very pleased with the strong response we have received so far.
As we have been contacted by several colleagues asking for an extension, we have decided to extend the abstract submission deadline to March 25, 2026 .
If you have not yet submitted your abstract, we invite you to take advantage of this additional time. You can complete your submission via the EURO conference system here: https://www.euro-online.org/conf/ifors2026/ .
For further details regarding the conference and upcoming registration, please visit our official website at https://ifors2026.at/home/ or contact us at ifors2026@univie.ac.at .
We look forward to welcoming you to Vienna this summer!
Warm regards,
Andrés, Karl, Jan, and Richard
Chairs of the IFORS 2026 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] 2nd CfP: Symposium on AI Verification (SAIV) 2026, now with FLoC track

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

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

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

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

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

=== SAIV ===

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

=== 2026 Edition ===

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

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

=== Submission ===

We invite three categories of submissions:

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

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

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

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

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

=== Topics ===

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

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

=== Program Chairs ===

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

Sunday, March 15, 2026

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

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

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

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

Relevant topics include, but are not limited to:

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

[Awards]

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

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

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

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

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

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

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

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

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

[DMANET] PhD in Graph Theory in Turin, Italy

Dear Colleagues,

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

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

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

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

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

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

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

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

Please forward this email to anyone who might be interested.

Kind regards,

Riccardo Maffucci
University of Torino

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

Saturday, March 14, 2026

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

FIRST CALL FOR SHORT COMMUNICATIONS AND SOFTWARE PRESENTATIONS

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

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

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

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

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

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

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

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


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

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

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


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

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

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

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

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


Topics
------

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

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

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

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

Satellite Workshops/Conferences:

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

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

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


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


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


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


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


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


---

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

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

[DMANET] AIces 2026: regular registration March 27

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

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

AIces 2026

Porto – Maia, Portugal

March 30 – April 2, 2026

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

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

Co-organized by:

University of Maia

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

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

Regular registration: March 27, 2026

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

SCOPE:

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

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

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

ADDRESSED TO:

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

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

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

VENUE:

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

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

https://www.umaia.pt/en

STRUCTURE:

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

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

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

KEYNOTE SPEAKERS:

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

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

PROFESSORS AND COURSES:

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

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

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

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

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

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

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

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

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

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

SYMPOSIA:

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

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

Only registered participants can contribute to symposia.

INDIVIDUAL PRESENTATIONS ON DEBATED TOPICS:

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

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

Only registered participants are eligible for individual presentations.

SPONSORS:

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

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

ORGANIZING COMMITTEE:

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

REGISTRATION:

It has to be done at

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

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

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

FEES:

Fees comprise access to all program activities and lunches.

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

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

ACCOMMODATION:

Accommodation suggestions are available at

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

CERTIFICATE:

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

QUESTIONS AND FURTHER INFORMATION:

david@irdta.eu

ACKNOWLEDGMENTS:

Universidade da Maia

Universidade do Porto

Universitat Rovira i Virgili

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