Wednesday, February 11, 2026

[DMANET] AAAC 2026 final call for papers

AAAC 2026 CALL FOR PAPERS
AAAC 2026
The 17th Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2026) will take place on May 23 – 24, 2026, at Ocean University of China in Qingdao, China. We invite submissions of abstracts presenting original research or surveys of existing results in theoretical computer science. The meeting will be held in person, and at least one author of each accepted submission is required to register and present the talk on-site.
For more details about AAAC 2026, please visit the official conference website: http://math.ouc.edu.cn/aaac2026
Information about previous annual meetings can be found at http://www.asia-algo-comp.org
Invited Speakers
Donglei Du, University of New Brunswick
Ken-ichi Kawarabayashi, National Institute of Informatics
Program Committees
Hee-Kap Ahn, Pohang University of Science and Technology
Sang Won Bae, Kyonggi University
Ho-Lin Chen, National Taiwan University
Siu-Wing Cheng (Chair), The Hong Kong University of Science and Technology
Qizhi Fang, Ocean University of China
Minming Li, City University of Hong Kong
Chung-Shou Liao, National Taiwan University
Pinyan Lu, Shanghai University of Finance and Economics
Heejin Park, Hanyang University
Kunihiko Sadakane, The University of Tokyo
Xiaoming Sun, Chinese Academy of Sciences
Takehiro Ito, Tohoku University
Ryuhei Uehara, Japan Advanced Institute of Science and Technology
Guochuan Zhang, Zhejiang University
Shengyu Zhang, The Chinese University of Hong Kong
Local Organizers
Bin Liu, Ocean University of China
Wenjing Liu, Ocean University of China
Han Xiao, Ocean University of China
Yulin Chang, Ocean University of China
Kaixin Gao, Ocean University of China
Topics
All areas of theoretical computer science, especially design and analysis of algorithms and complexity theory.
Submissions
Authors are invited to submit a single-page abstract (A4 size, PDF format) that may present original research results or surveys of existing results. Informal working notes containing all accepted abstracts will be distributed to conference participants. This distribution will not constitute prior publication and does not preclude future submissions of the work to journals or conferences. Submissions must be uploaded via the EasyChair Conference System by the deadline: https://easychair.org/conferences?conf=aaac2026
Important Dates
• Submission Deadline: February 20, 2026 (Friday), AoE
• Notification: March 27, 2026 (Friday), AoE
• Camera-ready Deadline: April 10, 2026 (Friday), AoE
• Early Registration Deadline: April 17, 2026 (Friday), AoE
• Conference Dates: May 23 (Saturday) – 24 (Sunday), 2026
Best Student Presentation Award
The Best Student Presentation Award will be presented to an outstanding conference presentation. To be eligible, the presenter must be a full-time student at the time of the conference. The award will be determined by PC members.

**********************************************************
*
* 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] SCML-2026 International Conference on Symbolic Computation and Machine Learning

========================================================================
SCML-2026: International Conference on
Symbolic Computation and Machine Learning
July 6-8, 2026, Hagenberg, Austria
https://scml.risc.jku.at/conference-2026/
========================================================================
Organized by the Research Institute for Symbolic Computation (RISC)
as part of the RISC Summer 2026 jointly with the SCDDE 2026 workshop
on Symbolic Computation and Differential and Difference Equations.

CALL FOR PRESENTATIONS

The SCML-2026 conference is dedicated to all research that strives to
combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two
major approaches to "Artificial Intelligence", in particular to the
application of ML to SC, the application of SC to ML, and the hybrid
combination of SC and ML to solving problems. SCML-2026 provides ample
space to exchange ideas and discuss recent approaches in this newly
emerging research field. It presents, in particular, plenty of
opportunities to discuss new research projects, form project consortia,
and identify funding programs in this area.

SCML-2026 is a "presentation-oriented" conference that solicits
submissions in the form of extended abstracts (1-2 pages) which are only
briefly reviewed with respect to their relevance to the topics of the
conference. The abstracts of accepted presentations are collectively
published as a "conference booklet" in the frame of the SCML publication
forum. At least one author of an accepted abstract is required to
register as a presenter at the conference.

CALL FOR FULL PAPERS

Furthermore, we explicitly encourage the SCML-2026 authors to also
submit full papers related to their presentations to the

SCML Publishing Forum
https://scml.risc.jku.at/

where they are refereed according to the rules of the forum and, if
accepted, published there. According to the "continuous call for papers"
of the SCML publishing forum, papers can be submitted at any time before
or after the conference (without deadline). However, the acceptance of a
presentation at the SCML-2026 conference does not depend on the
acceptance of a paper at the SCML publishing forum. On the other hand,
if a paper accepted for the SCML publication forum is already presented
at the SCML-2026 conference, we waive its presentation at a later SCML
virtual workshop.

TOPICS

Examples of topics in the scope of SCML-2026 are:

* Applying ML to computer mathematics, algebra, geometry;
integrating ML into mathematical software systems.
* Applying ML to automated reasoning, theorem proving, satisfiability
solving; integrating ML into interactive and automated provers.
* Applying ML to the synthesis of programs ("vibe coding") and their
verification; integrating ML into program verification systems.
* Applying SC to analyzing ML models ("explainable AI"), deriving error
bounds, ensuring robustness, interpreting answers.
* Applying SC to verifying ML models ("verified AI"), preventing errors
and hallucinations.
* Applying SC to synthesizing ML models with guaranteed error bounds,
robustness, correctness properties.
* Integrating SC capabilities (such as computer algebra and automated
reasoning) into ML models.
* Applying LLMs to the automatic formalization of
mathematical/logical texts.
* Applying LLMs as natural language interfaces to SC systems,
integrating co-pilots into SC systems.
* Combining linguistic reasoning (LLMs) and formal reasoning
(theorem provers).
* Combining LLMs and SC systems for education.
* Teaching (for example, in mathematics) using a combination of
SC and ML systems.
* Software and system descriptions, datasets, benchmarks, and
metrics related to the interplay of SC and ML.

All in all, we consider submissions that explore the interaction between
the two fields of SC and ML - not standalone works on either SC or ML.

INVITED SPEAKERS (CONFIRMED)

* Alex Best, Harmonic, Palo Alto, USA.
* Bruno Buchberger, Johannes Kepler University Linz, Austria.
* Martin Charles Golumbic, University of Haifa, Israel.
* Cezary Kaliszyk, University of Melbourne, Australia.
* Ido Kaminer, Technion - Israel Institute of Technology, Israel.
* Hiroshi Kera, Chiba University, Japan.
* Michael Kohlhase, FA-Universität Erlangen-Nürnberg, Germany.
* Martina Seidl, Johannes Kepler University Linz, Austria.
* Juan Esteban Suarez, Ludwig-Maximilians-Universität München, Germany
* Josef Urban, Czech Technical University in Prague, Czech Republic.

DATES

March 2, 2025: Opening of registrations
April 27, 2026: DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS
May 11, 2026: Last notifications of acceptance
May 25, 2026: Deadline for registrations of presenters
June 15, 2026: Deadline for registration of non-presenters
July 6, 2026: Start of conference

After the submission of an extended abstract, the notification of
acceptance is sent out WITHIN TWO WEEKS.

CONTACT

Email: scml@risc.jku.at
Web: https://scml.risc.jku.at/conference-2026/

Please consider subscribing to the SCML Mailing List

https://scml.risc.jku.at/conference-2026/mailinglist/

in order to stay informed about the SCML-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] PhD Position on Parameterized and Fine-Grained Complexity of NP-Hard Problems at Utrecht University (The Netherlands)

The Algorithms and Complexity group at Utrecht University (The Netherlands) seeks a talented and motivated candidate for a (4-year) PhD position in Theoretical Computer Science, and more specifically on Parameterized and Fine-Grained Complexity of NP-Hard Problems.

The position is fully funded by the ERC Consolidator project COALESCE, and the daily supervisor of the PhD candidate will be PI Jesper Nederlof (https://webspace.science.uu.nl/~neder003/).

For more details on the position, and to apply (deadline: March 15), see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-on-parameterized-and-fine-grained-complexity-of-np-hard-problems

**********************************************************
*
* 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] Information Theory in Modern Science (ITMS) Workshop at OIST, registration open

We are excited to announce the opening of registration for the Information Theory in Modern Science (ITMS) Workshop, hosted at the Okinawa Institute of Science and Technology (OIST), Japan

This workshop brings together researchers from information theory, probability, statistics, machine learning, and the natural sciences, focusing on how information-theoretic ideas are shaping modern scientific questions.
Dates: July 6th – July 10th, 2026 (immediately following ISIT 2026)
Registration deadline: June 15th 2026
Registration and details: https://www.oist.jp/conference/information-theory-modern-science
List of invited speakers: Pierre Alquier (ESSEC), Sinho Chewi (Yale), Tom Froese (OIST), Michael Gastpar (tentative, EPFL), Frank Nielsen (Sony CSL), Ayfer Özgür (Stanford), Cynthia Rush (Columbia), Lalitha Sankar (ASU), Taro Toyoizumi (RIKEN), Andre Wibisono (Yale) and Yihong Wu (Yale).

The programme will feature invited talks, poster sessions, and discussion-focused sessions designed to foster genuine cross-disciplinary exchange.

Please feel free to share with colleagues, students, and anyone who may be interested.

**********************************************************
*
* 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] iMETA 2026: The 4th International Conference on Intelligent Metaverse Technologies & Applications, Barcelona, Spain

*The 4th International Conference on Intelligent Metaverse Technologies &
Applications (iMETA 2026)*

16-20 November 2026 | Barcelona, Spain

*Hybrid Conference*

*https://imeta-conference.org/*

Over the years, technology has advanced significantly, and the creation of
virtual environments (i.e., the metaverse) is one of the latest innovations
revolutionizing how we interact, process, and connect our real lives to
other lives. With the metaverse, we are presented with a new realm that
blurs the lines between the physical and digital world, providing a new
space for communication, commerce, services, and entertainment.

The International Conference on Intelligent Metaverse Technologies &
Applications (iMETA) aims to bring together leading researchers, academics,
and industry experts to explore the various aspects of the distributed
metaverse, including its technologies, applications, and implications
across industries. Attendees can expect to participate in exciting keynote
speeches, panel discussions, and presentations on cutting-edge research
fields. Throughout the conference, there will be ample opportunities for
attendees to network, share their knowledge, and collaborate on future
initiatives that will drive the metaverse's development. We are confident
that the iMETA conference will inspire new ideas, foster innovation, and
spark collaborations that will push the boundaries of the metaverse and its
potential to change the world as we know it.

Overall, the iMETA conference aims to provide attendees with a
comprehensive understanding of the communication, computing, and system
requirements of the metaverse. Through keynote speeches, panel discussions,
and presentations, attendees will have the opportunity to engage with
leading experts and learn about the latest developments and future trends
in the field. The conference will also offer ample opportunities to
network, share knowledge, and collaborate with others in the metaverse
community.

*iMETA 2026 Symposia*

Authors are encouraged to submit their work to one of the following 20
specialized symposiums, each targeting a key research frontier:

1. LLMs and Intelligent Agents for the Metaverse

2. Autonomous and Multi-Agent AI Systems

3. Immersive XR and Spatial Computing

4. Metaverse Networking and 6G/7G Communications

5. Scalable Metaverse Platforms and Architectures

6. Security, Privacy, and Trust in the Metaverse

7. Digital Twins and Real-Time Simulation

8. Web3, Blockchain, and Virtual Governance

9. Virtual Economies and Tokenized Marketplaces

10. Generative AI for 3D and Immersive Media

11. Computer Vision and Multimodal Sensing

12. HCI, Social Presence, and Metaverse Psychology

13. Metaverse Applications in Education and Industry

14. Haptics and Human Augmentation Technologies

15. Edge–Cloud Computing for the Metaverse

16. Green and Sustainable Metaverse Infrastructure

17. Digital Rights, Ethics, and Virtual Governance

18. Quantum and Neuromorphic Metaverse Computing

19. Spatial Audio and Next-Gen Interactive Media

20. Metaverse Gaming and Interactive Entertainment

*Important Dates:*

- Papers due: April 15, 2026
- Acceptance notification: June 30, 2026
- Registration: July 30, 2026
- Camera-ready paper: July 30, 2026
- Workshop/Tutorial Proposal Submission: April 15, 2026
- Workshop/Tutorial Proposal Acceptance: June 30, 2026

*Submission Guidelines:*

There are three categories of submission (Overlength charges will be
applied!):

- *Long papers:* (7-8 pages)
- *Short papers: *(5-6 pages)
- *Systemization of Knowledge (SoK): *(10-15 pages)
- *Poster papers: *(1-2 pages)

*Submission Link: **https://conferences.sparcly.ai/SP/iMETA2026*

*Organizing Committee*
Steering Committee

- Albert Zomaya, University of Sydney, Australia
- Giancarlo Fortino, University of Calabria, Italy
- Ian F. Akyildiz, Truva Inc., USA
- Merouane Debbah, TII, UAE
- Nirwan Ansari, New Jersey Institute of Technology, USA
- Salil Kanhere, UNSW Sydney, Australia
- Walid Saad, Virginia Tech, USA
- Moayad Aloqaily, MBZUAI, UAE

Honorary Chairs

- Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain
- Jose Luis Muñoz-Tapia, Universitat Politecnica de Catalunya, Spain

General Co-Chairs

- Christiancarmine Esposito, University of Salerno, Italy
- Attila Kertész, University of Szeged, Hungary
- Vlado Stankovski, University of Ljubljana, Slovenia

Program Co-Chairs

§ Ammar Abasi, PolyAD, UAE

§ Venkatraman Balasubramanian, Arizona State University, USA

--Regards,

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

Tuesday, February 10, 2026

[DMANET] Postdoc position in Probabilistic Combinatorics or Discrete Probability

Postdoc position in Probabilistic Combinatorics or Discrete Probability

One postdoc position is available in the Combinatorics Group at TU Graz,
Austria, in cooperation with the SFB Discrete random structures:
enumeration and scaling limits (https://sfbrandom.univie.ac.at/) and
with the FWF-DFG international project Sparse random combinatorial
structures (https://www.math.tugraz.at/comb/grants/index2.php?link=I6502).

The position is a full-time research position without teaching duties.
The candidate should exhibit a strong background and track record in
Probabilistic Combinatorics or Discrete Probability, especially in
matchings and perfect matchings in random graphs, monomer-dimer models
and related topics.

- Starting date of employment: between April and November 2026 (upon
mutual agreement)
- Contract duration: 12 months
- Annual gross salary: 70.200,20 EUR

Application documents:

- a cover letter (including a short description of research interests)
- Curriculum Vitae (including list of publications)
- a list of two persons who may be contacted for reference letters

All application documents in a single PDF-file should be submitted to Ms
Karin Kernbichler

karin.kernbichler@tugraz.at

Applications received by 28 February 2026 will be given full
consideration. Later applications will be considered until the position
is filled.

For more details see the announcement at
https://www.math.tugraz.at/comb/index.php?link=postdoc2026
**********************************************************
*
* 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] SAND 2026 - Final Call for Papers

Sorry for multiple receptions.

======================================
SAND 2026: Final Call for Papers
======================================

The 5th Symposium on Algorithmic Foundations of Dynamic Networks
July 1-3, 2026
Le Havre, France
https://litis.univ-lehavre.fr/sand2026/

======================================
Dates
======================================

Abstract registration: February 18, 2026, 23:59 AoE
Full paper submission: February 24, 2026, 23:59 AoE
Notification: April 22, 2026
Camera-ready version: May 2, 2026
Conference: July 1-3, 2026

======================================
Scope
======================================

The Symposium on Algorithmic Foundations of Dynamic Networks is a
primary venue for original research on the fundamental aspects of
computing in dynamic networks and dynamic computational processes.
Broadly, the conference and its community aim to improve understanding
of the role of dynamics in computing. We seek high-quality contributions
related to this aim from all viewpoints, including theory, design,
analysis, and applications, and welcome both conceptual and technical
contributions, as well as novel ideas and new problems.

Topics of interest include, but are not limited to:

- Bio-inspired, physical, and chemical dynamic models
- Boolean networks
- Complex systems, financial, social, and transportation networks
- Computability and complexity within dynamic networks
- Continuous models of dynamic networks
- Distributed computation in dynamic networks
- Dynamic graph algorithms
- Dynamically reconfigurable networks and graph reconfiguration
- Dynamics of games, puzzles, and gadget systems
- Fault tolerance, network self-organization, and formation
- Geometric dynamic models
- Information spreading, gossiping, and epidemics
- IoT, cloud, edge, and fog computing
- Learning approaches for dynamic networks
- Multilayer, peer-to-peer, and overlay networks
- New models for dynamic networks
- Offline and online algorithms for dynamic networks
- Population protocols and chemical reaction networks
- Randomness in dynamic networks
- Reconfigurable and swarm robotics, programmable matter, and DNA
self-assembly
- Streaming models
- Temporal data and dynamic network analysis
- Temporal graphs
- Wireless networks, mobile computing, and autonomous agents

======================================
Paper Submission
======================================

Papers should be submitted electronically through Easychair
(https://easychair.org/conferences/?conf=sand2026).

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.

SAND accepts two types of submissions: regular papers and brief
announcements.

A regular paper submission must be original research and report on novel
results that have not appeared or been concurrently submitted to a
journal or a conference with published proceedings. Every regular paper
submission must be at most *15 pages*, excluding references, plus an
(optional) appendix. The main part of the submission (i.e. the *15
pages*) 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. There is no guarantee that the
reviewers will read the (optional) appendix; this will only be read at
the discretion of the Program Committee. The appendix can contain
missing proofs from the main text, or it can just be the full version of
the paper, this decision is left to the authors.

A brief announcement submission may report on preliminary work or work
presented elsewhere. The title of a brief announcement submission should
begin with "Brief Announcement: ". Papers submitted as brief
announcements should include presentation of their merits within *5
pages* plus at most 1 extra page of references, plus an (optional)
appendix (as described above).

The program committee may decide that some of the regular papers not
selected for publication are suitable for publication in the brief
announcement format. The authors of any such paper will be asked to
prepare a brief announcement final version out of their original regular
submission. By default, every regular paper submission will be
considered as a potential brief announcement, if it is not accepted as a
regular paper. Any authors who *do not* wish their regular paper
submission to be considered for the brief announcement format in case of
rejection, are asked to clearly indicate this on the first page of their
submission, for example by adding above or below the title "NOT eligible
for brief announcement".

======================================
Instructions for Double-Blind Review
======================================

The reviewing process is double-blind, the authors' names must not be
included in the paper, and the writing of the manuscript should be done
in such a way to not de-anonymize authors (e.g., instead of, our result
[1], they should use, the result of [1]). We assume that reviewers do
not actively try to recognize the authors. Therefore, authors are
allowed to publish their results on pre-print services before or at any
point of the submission/reviewing process. Non-anonymous submissions
will be rejected.

======================================
Publication
======================================

The conference proceedings will be published by LIPIcs. The final
version of the paper must be formatted following the LIPIcs guidelines
(https://submission.dagstuhl.de/documentation/authors). Papers accepted
in full will have 15 pages in the final proceedings (excluding
references). Any papers accepted in the brief announcement format will
have 5 pages in the final proceedings plus at most 1 extra page of
references.

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

For every accepted regular paper and brief announcement, at least one of
the authors must fully register and present the paper during the
conference and according to the conference program. Any paper accepted
but not presented will be withdrawn from the final proceedings.

======================================
Awards
======================================

All regular papers are eligible for the best paper award. Regular papers
co-authored by at least one full-time student may also be eligible for
the best student paper award. For a paper to be considered for the best
student paper award, at least one author who is a full-time student at
the time of submission should have made a significant contribution to
the paper. In case the authors think that their paper is eligible for
the best student paper award, they should clearly indicate this on the
first page of their submission, for example by adding above or below the
title "Eligible for the best student paper award".

======================================
Organization
======================================

Program Chairs:
- George Mertzios, Durham University, UK
- Andrea Richa, Arizona State University, USA

Program Committee:
- Duncan Adamson, University of St Andrews, UK
- James Aspnes, Yale University, USA
- John Augustine, IIT Madras, India
- Luca Becchetti, Sapienza University of Rome, Italy
- Petra Berenbrink, University of Hamburg, Germany
- Arnaud Casteigts, University of Geneva, Switzerland
- Bernard Chazelle, Princeton University, USA
- Shantanu Das, LIS, Aix-Marseille University, France
- Joshua Daymude, Arizona State University, USA
- Giuseppe Antonio Di Luna, Sapienza University of Rome, Italy
- David Doty, University of California, Davis, USA
- Yuval Emek, Technion Institute of Technology, Israel
- Thomas Erlebach, Durham University, UK
- Javier Esparza, Technical University of Munich, Germany
- George Giakkoupis, INRIA, France
- Olga Goussevskaia, Federal University of Minas Gerais, Brazil
- Giuseppe Italiano, Luiss University, Rome, Italy
- Bart de Keijzer, King's College University of London, UK
- Othon Michail, University of Liverpool, UK
- Nils Morawietz, University of Bordeaux, France
- William K. Moses Jr., Durham University, UK
- Thomas Nowak, ENS Paris-Saclay, France
- Fukuhito Ooshita, Fukui University of Technology, Japan
- Matthew Patitz, University of Arkansas, USA
- Maria Potop-Butucaru, LIP6, Sorbonne University, France
- Rajmohan Rajaraman, Northeastern University, USA
- Dana Randall, Georgia Institute of Technology, USA
- Christian Scheideler, Paderborn University, Germany
- Ana Silva, Federal University of Ceará, Brazil
- Paul Spirakis, University of Liverpool, UK
- Yukiko Yamauchi, Kyushu University, Japan
- Isabella Ziccardi, IRIF, Paris Cité University, France

Organizing Committee:

- Stefan Balev, University of Le Havre Normandy, France
- Julien Baudry, University of Le Havre Normandy, France
- Antoine Dutot, University of Le Havre Normandy, France
- Frederic Guinand, University of Le Havre Normandy, France
- Antoine Huchet, University of Le Havre Normandy, France
- Théo Morel, University of Le Havre Normandy, France
- Yoann Pigné, University of Le Havre Normandy, France
- Eric Sanlaville, University of Le Havre Normandy, France (chair)
- Antoine Toullalan, University of Le Havre Normandy, France

Steering Committee:

- Othon Michail, University of Liverpool, UK (SC chair)
- Arnaud Casteigts, University of Geneva, Switzerland (SC vice chair)
- George Mertzios, Durham University, UK (PC chair 2026)
- Andrea Richa, Arizona State University, USA (PC chair 2026)
- Kitty Meeks, University of Glasgow, UK (PC chair 2025)
- Christian Scheideler, Paderborn University, Germany (PC chair 2025)
- Eric Sanlaville, University of Le Havre Normandy (General chair 2026)

Advisory Board:

- James Aspnes, Yale University, USA
- Luca Becchetti, University of Rome Sapienza, Italy
- Arnaud Casteigts, University of Geneva, Switzerland
- Giuseppe Antonio Di Luna, University of Rome Sapienza, Italy
- Paola Flocchini, University of Ottawa, Canada
- George Mertzios, Durham University, UK
- Othon Michail, University of Liverpool, UK
- Rotem Oshman, Tel Aviv University, Israel
- Nicola Santoro, Carleton University, Canada
- Paul Spirakis, University of Liverpool, UK
- Viktor Zamaraev, University of Liverpool, UK


--

Andrea W. Richa

President's Professor

School of Computing and Augmented Intelligence (SCAI)

BSS@Biodesign Institute and Barrett Honors Faculty

Arizona State University

699 S Mill Ave #440, Tempe AZ 85281

_https://sops.engineering.asu.edu <https://sops.engineering.asu.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] CFP 32nd Conference on Principles and Practice of Constraint Programming CP 2026

Thirty Second Conference on Principles and Practice of Constraint Programming CP 2026

July 20-23, 2026, Lisbon, Portugal


http://cp2026.a4cp.org <http://cp2026.a4cp.org/>

CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2026 is the 32nd conference in this series and will be held in Lisbon, at ISCTE – Instituto Universitário de Lisboa (July 18-19 and July 24-25: workshops, July 20-23: main conference). This year, CP is part of the the Federated Logic Conference (FLoC) 2026 <https://www.floc26.org/>.

The CP conference welcomes submissions that advance the state of the art for the underlying constraint-based technologies, as well as papers that explore the role of constraint programming within other disciplines, such as operations research, machine learning, computational sustainability, quantum computing, computational biology and (cyber)security.

Tracks and Primary Keywords

CP has lately had both a main technical track, an application track and a series of specialised tracks (e.g., machine learning, operations research, etc.) that authors could submit to and were mutually exclusive. This year, inspired by the previous CP conference, we will only have two tracks: technical and application where, as usual, the former focuses on the scientific contributions made "to" CP, while the latter focuses on scientific contributions made "with" CP. The application track is particularly interested in papers that demonstrate the effectiveness of CP in solving real-world problems, as well as those that offer generalisable insights on the challenges and benefits for both users and developers of applying CP to both academic and real-world problems.

Former specialised tracks are replaced by a set of optional primary keywords, which are in addition to the keywords requested from authors every year. Their purpose is to enable submissions to self-identify the area of focus of the CP paper, support the identification of suitable reviewers. Authors (resp. reviewers) will be able to select zero, one or more primary keywords to reflect best the thematic contributions of their CP paper (resp. reviewer expertise).

The primary keywords that can be used to qualify the particular focus of the CP research presented in the paper are:

Theory
Constraint Propagation
Filtering algorithms
Explanation & Inference
Solver
Search (Complete & Heuristic)
SAT
MaxSAT
Logic Programming
Modelling & Modelling Languages
Operations Research & Mathematical Optimisation
Machine Learning & Generative AI
Verification
Certification
Testing
Hardware
Quantum
Security & Parallelism
Model Counting
Decision Diagrams
Dynamic Programming
Symmetries
Dominance
Model/Instance Explainability
Important Dates

Submissions open: 01/02
Abstract registration: 28/02
Paper submission: 07/03
Author rebuttal: 09/04-12/04
Final notification: 30/04
Camera Ready: 07/05
Conference: 20/07-23/07
Dates are intended as 11pm Anywhere on Earth (AoE, also known as UTC-12).

Submission Instructions

The submission Web page <https://submissions.floc26.org/cp/> for CP 2026 uses the HotCRP system. The change in the submission system has been made to facilitate integration within FLoC.

Papers should be submitted in the form of a PDF file following LIPIcs guidelines <http://submission.dagstuhl.de/series/details/5#author)>.

To open the conference more widely, two types of submissions are expected:

Full papers, that can use up to 15 pages (references and appendices excluded).
Short papers, that can use up to 8 pages (references and appendices excluded).
Short papers cover early results or highly specific results that can be adequately reported in 8 pages. They must nonetheless respect the quality expectations of the conference. Both full and short papers should attract a wide audience and will be allocated time for presentation during the conference.

Appendices of up to 6 pages for full papers and up to 3 pages for short papers can be included and will not contribute towards the total page count provided they are clearly marked as an appendix. Supplemental material (for example, experimental results or code) may be referenced, but only if this is done without revealing the authors' identities (for example, by using https://anonymous.4open.science <https://anonymous.4open.science/>) to fit our double-blind review process (see below). Papers should be self-contained and be comprehensible without reference to either appendices or supplemental material. Authors should not place elements essential to their paper in either appendices or supplemental material and indeed it will be left to the discretion of each reviewer whether they refer to this material or not.

To facilitate reviewing management, authors who intend to submit a paper to CP 2026 should submit an abstract with a maximum of 150 words, summarising the contribution of the paper and indicating the track and primary keywords by February 28, 2026. The paper submission must be completed by March 7, 2026.

All papers will go through a double-blind reviewing process, meaning that authors and reviewers are mutually anonymous. For this reason, submitted papers should not contain author names, affiliations, or links to identifying websites. References to the authors' own papers should be cited in such a way so as to avoid revealing the authorship of the paper. Authors will also be able to submit a single rebuttal for each paper during the period.

Submissions exceeding the page limits, improperly formatted, with author names/affiliations/identifying-websites will be rejected without review. The existence of a technical report (e.g., an ArXiV report) corresponding to the submission before March 8, 2026, will not constitute grounds for rejecting the submission, provided that the technical report is not referenced in the submission. This allows authors to date their contribution if they wish.

Submitted papers must not appear in, be accepted for, or be under review for a journal or another peer-reviewed conference with archived conference proceedings at the paper submission deadline, that is at March 7. Submissions that have appeared at workshops or other meetings and have not been formally published or have appeared only in highly shortened form (e.g. abstracts) can be submitted as papers.

Each paper must be submitted to one track only (technical or application). When necessary, the Program Chair may move a submission to a more suitable track before reviewing starts.

Accepted papers will appear in conference proceedings published by LIPIcs, and follow the authors instructions guidelines <https://drops.dagstuhl.de/entities/series/LIPIcs>. The proceedings will be available at the time of the conference.

Diversity Equity Inclusion (DEI) scholarship and other support

CP 2026 offers DEI scholarships to support individuals from underrepresented groups. These scholarships provide financial assistance to cover conference attendance costs, including registration fees, travel, and accommodation. Scholarship recipients have the option to be integrated into the Doctoral Program, where they will receive mentorship opportunities.

Eligibility for the DEI scholarship requires applicants to be pursuing or holding a PhD in constraint programming or related fields. Note that paper submission is not required to qualify for the scholarship. Applicants will be asked to provide a statement of eligibility, a motivation letter, and a short CV.

In addition to the scholarships, CP 2026 is willing to support attendees with childcare or accessibilityneeds on a best-effort basis; if you are interested, please get in touch early to discuss your needs. For more information, follow the DEI page and contact the DEI chairs <https://cp2026.a4cp.org/dei.html>.

Use of Generative AI

CP 2026 is adopting the AAAI policy regarding the use of Generative AI systems such as ChatGPT. Papers that include text generated from an AI system are prohibited unless the produced text is presented as a part of the paper's experimental setup. This does not prohibit authors from using AI systems for editing or polishing author-written text.

CP 2026 also follows AAAI policy in considering that AI systems, including Generative Models such as Chat-GPT, BARD, or DALL-E, do not satisfy the criteria considered for paper authorship and, as such, these systems cannot be used as authors or as citable sources in papers published in CP. Authors assume full responsibility for the content of submitted work, including checking for plagiarism and the veracity of all text.

Inclusive Description of Research Contributions

Please consider making your research contribution description inclusive in nature. For example, consider using gender-neutral pronouns, using examples that are ethnicity/culture-rich, engaging users from diverse backgrounds if your research involves a survey, etc. To make the paper accessible to visually impaired and colour-blind readers, your paper should be still readable when printed in grey scale. To achieve this, most printing should be in black and white, and you should use patterns, symbols and textures to emphasise and contrast visual elements in graphs and figures.

Other Information

Questions about the paper submission process may be addressed to the Program Chair, Nicolas Beldiceanu (progchair.cp@gmail.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] CfP: 2nd Workshop on Machine Learning for Solvers and Provers - Lisbon - July 18

[Apologies if you have received multiple copies of this email]


Dear colleagues,


We warmly invite you to submit your work to the 2nd Workshop on Machine Learning for Solvers and Provers (ML4SP)<https://ml4sp.github.io/>, organised as part of the 2026 Federated Logic Conference (FLoC 2026)<https://www.floc26.org/> at Lisbon, Portugal. The workshop will run during the first block of the conference, on July 18, 2026.


Workshop website: https://ml4sp.github.io/


Machine learning (ML) has had a substantial impact on SAT/SMT and CP solvers, as well as automated theorem provers. Recent advances have demonstrated the power of ML to inform solver heuristics, guide proof search, and optimize algorithm portfolios. Despite growing interest in this direction, work on ML for solvers and provers is often scattered across multiple research communities – SAT, SMT, CP, theorem proving, formal methods, and machine learning – with few opportunities for focused interaction.


The ML4SP workshop aims to bring together researchers and practitioners working at the intersection of machine learning and formal reasoning systems. It provides a forum for the presentation of recent work, the exchange of ideas, and the fostering of collaboration between these communities.


Topics of interest include, but are not limited to, ML-driven approaches for:

* Heuristics (branching, restarts, ...) in CP, SAT, SMT, and MIP solvers

* Tactic selection and proof guidance in automated and interactive theorem provers

* Algorithm selection, parameter tuning and algorithm configuration, and portfolio solvers

* End-to-end learning for solvers and provers

* Benchmark generation and instance hardness prediction

* Applications of ML-enhanced reasoning in verification, synthesis, planning, and related areas

* Leveraging large language models (LLMs) for solver heuristics and proof guidance


We welcome submissions describing previously published work, ongoing research, and position papers and early-stage ideas intended to stimulate discussion.


Submission should be in PDF form, following the LIPIcs guidelines<https://submission.dagstuhl.de/series/details/5#author>. They can be:

* Extended abstracts (up to two pages, excluding references); or

* Full papers (up to 15 pages, excluding references).


All submissions will be reviewed by the PC members. A presentation time slot will be given to each accepted submission.


Submission link: https://submissions.floc26.org/ml4sp/


Key dates:

* Submission deadline: 15 May 2026 AoE

* Result notification: 25 May 2026

* Camera ready: 2 July 2026

* Workshop day: 18 July 2026


Registration: please see FLoC'26 registration page<https://www.floc26.org/registration>


We are very much looking forward to your submissions to the ML4SP workshop. We would be grateful if you could help distribute this call to interested colleagues and students.


Best wishes,


Vijay Ganesh, Georgia Tech, vganesh45@gatech.edu

Nguyen Dang, University of St Andrews, nttd@st-andrews.ac.uk

**********************************************************
*
* 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] Conference "MOG2026: Mathematics of Networks with Physical Transport", 20-21 May 2026 in Nuremberg

We are pleased to announce the fifth edition of the international conference

"MOG2026: Mathematics of Networks with Physical Transport"

on May 20–21, 2026, in Nuremberg, Germany.

This two-day conference will bring together experts in applied
mathematics to discuss the latest developments in mathematical modeling,
simulation, and optimization in networks involving physical transport.
We aim to foster stimulating discussions between academic researchers
and industry professionals on current challenges in energy systems,
logistics, transportation, and related fields.

In addition, all participants are invited to contribute to the
conference by presenting their work at the poster session. There will be
a best poster award.

For more information and registration (by March 31, 2026), please visit:
https://www.trr154.fau.de/mog2026/

Invited speakers:
- Wim van Ackooij (EDF R&D)
- Daniela Bernhard (FAU Erlangen-Nürnberg)
- Raul Borsche (RPTU)
- Lorenz Biegler (CMU Pittsburgh)
- Christoph Buchheim (TU Dortmund)
- Line Roald (University of Wisconsin-Madison)
- Lavinia Ghilardi (Politecnico Milano)
- Svenja Griesbach (RWTH Aachen)
- Tobias Harks (Universität Passau)
- Nicole Marheineke (Universität Trier)
- Nicola De Nitti (Università di Pisa)
- Nora Philippi (PSI Software)
- Andreas Rupp (Universität des Saarlandes)
- Robert Schwarz (Doing the Math)
- Martin Stoll (TU Chemnitz)

The conference is organized by the German Collaborative Research Center
TRR 154 (Mathematical Modeling, Simulation, and Optimization using the
Example of Gas Networks), funded by the German Research Foundation
(DFG). For more details, please visit: https://www.trr154.fau.de/trr-154-en/

Nuremberg, a vibrant city with a rich history and culture, provides an
inspiring setting for scientific exchange. Located in the heart of
Bavaria, it combines a picturesque old town with modern infrastructure
and is easily accessible by train and air.
**********************************************************
*
* 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: ESA 2026.

Call for Papers: European Symposium on Algorithm (ESA) 2026.
------------------------

Part of ALGO 2026, August 31 - September 4 in L'Aquila, Italy. https://algo-conference.org/2026/

Important Dates
------------------------
Abstract submission deadline: April 21
Paper submission deadline: April 23
Notification: June 26


Call for Papers
------------------------
The symposium seeks original algorithmic contributions for problems with relevant theoretical and/or practical applications. Papers with a strong emphasis on the theoretical analysis of algorithms should be submitted to Track A, while papers reporting the results of extensive experimental evaluations and/or providing original contributions to the engineering of algorithms for practical applications should be submitted to Track E. Submissions that prove or explain results, possibly already known, in a particularly clear, simple or elegant way should be submitted to Track S.
There will be a Best Student Paper Award as well as a Best Paper Award, both sponsored by EATCS. In order for a paper to be considered for the Best Student Paper Award, all of its authors are required to be students (including PhD candidates) at the time of submission.

Paper submission and proceedings
Papers should be submitted electronically via the EasyChair submission system. The ESA 2026 proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series.

Submission Guidelines
Authors are invited to submit an extended abstract or full paper. Submissions must be formatted in accordance with the LIPIcs proceedings guidelines and may not exceed 500 lines of text. Authors must use the LaTeX class file socg-lipics-v2021.cls; for a quick start, duplicate this Overleaf project.
Proofs omitted due to the line constraint must be placed in an appendix. This appendix can even comprise an entire full version of the paper. The appendix will be read by the program committee members at their discretion. In particular, appendices of accepted papers are not going to be published in the proceedings. The main part of the submission should therefore contain a clear technical 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.
These guidelines are strict: submissions deviating significantly from these guidelines risk being rejected without consideration of their merits. Papers must be submitted electronically via the EasyChair submission system. Results previously published (or scheduled for publication) in another conference proceedings or journal should not be submitted to ESA. Simultaneous submission to other conferences with published proceedings, journals, or to multiple tracks of ESA 2026 is also not permitted. By submitting a paper the authors acknowledge that in case of acceptance, at least one of the authors must register at ALGO 2026, attend the conference on-site and present the paper. Papers with no author fulfilling this requirement may risk being removed from the final conference proceedings (unless there are extenuating circumstances).

PRECISE FORMAT DEFINITIONS
Submissions are not anonymous. The title page should contain the title, authors' names and affiliations, and a concise abstract. Submissions must not exceed 500 lines, excluding front matter (title, authors, and affiliations), references, and a clearly marked appendix (further described below), but including all other lines, even those in the abstract, algorithms, tables, captions, etc.
The class files provide line counting which should be accurate in most cases. Authors should refrain from putting excessive amounts of text in parts in which lines are not counted automatically. If authors need constructs that contain uncounted lines of text, they should compensate for this by reducing the final line count accordingly. It is the sole responsibility of the authors to not exceed 500 lines even if some lines are not counted automatically. In case of doubt (such as substantial amounts of text appearing as part of a graphic), the actual text content as judged by the program committee will replace the automated line count in deciding conformity.

TEXNICAL DETAILS
Authors must use the socg-lipics-v2021.cls class, which is a lightweight wrapper for the standard LIPIcs document class lipics-v2021. The LIPIcs document class is available from the publisher here (under Author Instructions). Use socg-lipics-v2021 version 0.9 (updated in 2022) and lipics-v2021 version 3.1.3 (updated 2023-05-12).
Further instructions on how to use socg-lipics-v2021 are available here.
The first page describes everything needed for the "standard use case"; the rest of the document goes into detail on how to manually correct the line counting in custom environments, should you desire to do so.
The socg-lipics-v2021 document class and its documentation have originally been developed for the International Symposium on Computational Geometry, SoCG, (hence the name of the document class), but it is a generic template for LIPIcs papers with line counts.

Conflict of Interest
------------------------

The conference will employ a single-blind reviewing process. Still, when submitting a paper, please indicate Conflict of Interest (CoI) with PC members. A CoI is limited to the following categories:
1 Family member or close friend.
2 Ph.D. advisor or advisee (no time limit), or postdoc or undergraduate mentor or mentee within the past 5 years.
3 Person with the same affiliation.
4 Involved in an alleged incident of harassment. (It is not required that the incident be reported.)
5 Reviewer owes author a favor (e.g., recently requested a reference letter).
6 Frequent or recent collaborator whom you believe cannot objectively review your work.

Topics
------------------------

Papers presenting original research in all areas of algorithmic research are sought, including but not limited to:

Algorithm engineering
Algorithmic aspects of networks
Algorithmic game theory
Algorithmic data science
Approximation algorithms
Computational biology
Computational finance
Computational geometry
Combinatorial optimization
Data compression
Data structures
Databases and information retrieval
Distributed and parallel computing
Graph algorithms
Hierarchical memories
Heuristics and meta-heuristics
Mathematical programming
Mobile computing
Online algorithms
Parameterized algorithms
Pattern matching
Quantum computing
Randomized algorithms
Scheduling and resource allocation problems
Streaming algorithms

Committees
PC CHAIRS
Seth Pettie (University of Michigan)
Sabine Storandt (University of Konstanz)
Philip Bille (Technical University of Denmark)

PC MEMBERS (TRACK A)
Deeksha Adil (ETH Zürich, Switzerland)
Kristoffer Arnsfelt-Hansen (Aarhus University, Denmark)
Lorenzo Beretta (IBM Research, USA)
Sebastian Brandt (CISPA Helmholtz Center for Information Security, Germany)
Jarosław Błasiok (Bocconi University, Italy)
Karthik C. S. (Rutgers University, USA)
Deeparnab Chakrabarty (Dartmouth College, USA)
Christian Coester (University of Oxford, UK)
Sami Davies (UC Berkeley and RelationalAI, USA)
Kunal Dutta (University of Warsaw, Poland)
Klim Efremenko (Ben Gurion University, Israel)
Robert Ganian (Vienna University of Technology, Austria)
Prantar Ghosh (Tennessee Technological University, USA)
Rohan Ghuge (University of Texas at Austin, USA)
Gramoz Goranci (University of Vienna, Austria)
Yassine Hamoudi (Université de Bordeaux, France)
David Harris (University of Maryland, USA)
Haotian Jiang (University of Chicago, USA)
John Kallaugher (National University of Singapore, Singapore)
Petteri Kaski (Aalto University, Finland)
Dominik Kempa (Stony Brook University, USA)
Sándor Kisfaludi-Bak (Aalto University, Finland)
Hanna Komlós (Max Planck Institute for Informatics, Germany)
Tsvi Kopelowitz (Bar-Ilan University, Israel)
Stefan Kratsch (Humboldt-Universität zu Berlin, Germany)
William Kuszmaul (Carnegie Mellon University, USA)
Michael Lampis (LAMSADE, Université Paris Dauphine, France)
Yi Li (Nanyang Technological University, Singapore)
Yannic Maus (TU Graz, Austria)
Sagnik Mukhopadhyay (University of Birmingham, UK)
Christopher Musco (New York University, USA)
Aleksandar Nikolov (University of Toronto, Canada)
Marcin Pilipczuk (University of Warsaw, Poland)
Adam Polak (Bocconi University, Italy)
Benjamin Raichel (UT Dallas, USA)
Peter Robinson (Augusta University, USA)
JiÅ™í Sgall (Computer Science Institute of Charles University, Czech Republic)
Tatiana Starikovskaya (École Normale Supérieure, France)
He Sun (University of Chinese Academy of Sciences, China)
Paloma T. de Lima (Norwegian School of Economics, Norway, and IT University of Copenhagen, Denmark)
Csaba Tóth (California State University Northridge, USA)
Bartosz Walczak (Jagiellonian University, Poland)
Stefan Walzer (Karlsruhe Institute of Technology, Germany)
Haitao Wang (University of Utah, USA)
Karol Węgrzycki (Max Planck Institute for Informatics, Germany)
Nicole Wein (University of Michigan, USA)
Andreas Wiese (Technical University of Munich, Germany)
Sampson Wong (University of Copenhagen, Denmark)
Mingyu Xiao (University of Electronic Science and Technology of China, China)
Huacheng Yu (Princeton University, USA)
Meirav Zehavi (Ben-Gurion University, Israel)
Tianyi Zhang (Nanjing University, China)
Anna Zych-Pawlewicz (University of Warsaw, Poland)

PC MEMBERS (TRACK E)
Maike Buchin (Ruhr Universität Bochum)
Martin Koutecký (Charles University in Prague)
Vincent Jugé (LIGM – Université Paris-Est Marne-la-Vallée)
Laurent Viennot (INRIA)
Soeren Terziadis (TUM, Heilbronn)
Bora Ucar (CNRS and LIP ENS Lyon)
Andre Schidler (Uni Freiburg)
Dachuan Xu (Beijing University of Technology)
Gonzalo Navarro (University of Chile)
Yihan Sun (University of California, Riverside)
Thomas Bläsius (Karlsruhe Institute of Technology)
Ernestine Großmann (Universiät Heidelberg)
Valentin Polishchuk (Linkoping University)
Pierre-Louis Poirion (RIKEN-AIP)
Christina Boucher (University of Florida)
Giulio Ermanno Pibiri (Ca' Foscari University of Venice)
Kathrin Hanauer (University of Vienna)

PC MEMBERS (TRACK S)
Alexander Conway (Cornell Tech, USA)
Christian Janos Lebeda (INRIA, France)
Danny Hermelin (Ben Gurion University, Israel)
Francesco Silvestri (University of Padova, Italy)
Hideo Bannai (Institute of Science Tokyo, Japan)
Holger Dell (IT University of Copenhagen, Denmark)
Ioana O. Bercea (KTH Royal Institute of Technology, Sweden)
László Kozma (Dresden University of Technology, Germany)
Lene Monrad Favrholdt (University of Southern Denmark, Denmark)
Miguel Mosteiro (Pace University, USA)
Mikkel Abrahamsen (University of Copenhagen, Denmark)
Nick Fischer (INSAIT, Bulgaria)
Nodari Sitchinava (University of Hawaii, USA)
Oren Weimann (University of Haifa, Israel)
Panagiotis Charalampopoulos (King's College, London)
Radu Curticapean (University of Regensburg, Germany)
Shay Mozes (Reichman University, Israel)
Solon Pissis (Centrum Wiskunde & Informatica, The Netherlands)
Teresa Anna Steiner (University of Southern Denmark, Denmark)
Thore Husfeldt (IT University of Copenhagen, Denmark)


**********************************************************
*
* 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, February 9, 2026

[DMANET] AIMS 2026: The International Conference on Artificial Intelligence Models and Systems Conference, Barcelona, Spain

*The International Conference on Artificial Intelligence Models and Systems
(AIMS 2026)*

16-20 November 2026 | Barcelona, Spain

*Hybrid Conference*

https://aims-conference.ai/2026/

The Artificial Intelligence Models and Systems Conference (AIMS 2026) is a
lively and inclusive gathering where researchers, academics, and industry
professionals from across the globe come together to explore the latest
advancements in artificial intelligence and intelligent systems. As AI
continues to reshape industries and push the boundaries of what's possible,
AIMS 2026 creates a welcoming space for innovation, collaboration, and the
exchange of ideas. AIMS2026 serves as a premier platform for researchers,
academics, and industry professionals to converge and explore the latest
advancements, challenges, and applications in the dynamic fields of
rtificial Intelligence Models and Systems. The conference provides a
collaborative environment for the exchange of ideas, fostering innovation
and promoting interdisciplinary research at the intersection of these
transformative domains.

*AIMS 2026 Symposia*

Authors are encouraged to submit their work to one of the following 20
specialized symposiums, each targeting a key research frontier:

1. Advancements in Artificial Intelligence

2. Cutting-Edge Machine Learning Techniques

3. Innovations in Computer Vision

4. Breaking Barriers in Natural Language Processing

5. Exploring Generative AI Applications

*Important Dates:*

- Papers due: April 15, 2026
- Acceptance notification: June 30, 2026
- Registration: July 30, 2026
- Camera-ready paper: July 30, 2026
- Workshop/Tutorial Proposal Submission: April 15, 2026
- Workshop/Tutorial Proposal Acceptance: June 30, 2026

*Submission Guidelines:*

Papers submitted to AIMS must be the original work of the authors. They may
not be simultaneously under review elsewhere. Publications that have been
peer-reviewed and have appeared at other conferences or workshops may not
be submitted to AIMS. Authors should be aware that IEEE has a strict policy
with regard to plagiarism
https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html The
authors' prior work must be cited appropriately.

*Submission Link: **https://conferences.sparcly.ai/SP/AIMS2026*

*Organizing Committee*
Honorary Chairs

- Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain
- Jose Luis Muñoz-Tapia, Universitat Politècnica de Catalunya, Spain

General Co-Chairs

- Christiancarmine Esposito, University of Salerno, Italy
- Attila Kertész, University of Szeged, Hungary
- Vlado Stankovski, University of Ljubljana, Slovenia

Program Co-Chairs

§ Javier Berrocal, Universidad de Extremadura, Spain

§ Safa Otoum, ZU, UAE

--Regards,

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

[DMANET] Structured Primal Sparsity for Kernel-Based Support Vector Machines

*SPARK-SVM*
*Structured Primal Sparsity for Kernel-Based Support Vector Machines*
*(Mathematical Programming–Driven Machine Learning)*

*Basic Information*
This internship is primarily centered on *mathematical programming and
sparse optimization*, with applications to kernel-based machine learning
models. It will take place at LIPN (Laboratoire d'Informatique de
Paris-Nord), University of Paris 13. The internship duration is six months,
with flexible starting dates, and can begin immediately or as soon as the
candidate is available.

*Supervision*
The student will be supervised by Roberto Wolfre Calvo (LIPN), Diego delle
Donne (ESSEC Business School), and Emiliano Traversi (ESSEC Business
School).

*Project Overview*
Support Vector Machines (SVMs) with kernel methods are a cornerstone of
machine learning, enabling nonlinear decision boundaries through implicit
mappings to high-dimensional feature spaces. A classical example is the
polynomial kernel, which corresponds to introducing all monomials of the
input variables up to a given degree. While expressive, such models are
difficult to interpret and prone to overfitting.

>From an optimization perspective, sparsity is a natural way to control
model complexity and improve interpretability. However, in kernel-based
SVMs, sparsity has almost exclusively been studied in the *dual formulation*,
typically by limiting the number of support vectors. In contrast, enforcing
sparsity directly in the *primal feature space*—that is, selecting which
monomials or interactions are active in the model—has received very limited
attention. The main reason is that primal sparsity breaks the classical
kernel trick and leads to challenging combinatorial and continuous
optimization problems.

Recent advances in *mathematical programming for structured sparse
optimization* now make it possible to revisit this problem. The project
aims to develop *exact or provably well-founded optimization formulations
and algorithms* that combine structured sparsity constraints with SVM
training. The goal is to design kernel-based models that are interpretable,
computationally tractable, and grounded in rigorous optimization theory,
bridging machine learning and modern sparse optimization techniques.

*Candidate Profile*
We are looking for a motivated Master's student with a strong
background in *applied
mathematics, optimization, or mathematical programming*, as well as solid
programming skills (Python, C/C++, Julia, or similar). A good understanding
of optimization models and algorithms is essential. Prior exposure to
machine learning or kernel methods is a plus but not mandatory; the core
emphasis is on modeling and algorithmic aspects rather than empirical ML
alone.

*Research Environment and Perspectives*
The internship is expected to lead to a scientific publication. For a
strong and motivated candidate, the project may naturally evolve into a PhD
thesis at the interface of mathematical programming and machine learning.

*Application*
Interested candidates should send a CV and academic transcripts to:

Roberto Wolfre Calvo – wolfler@lipn.univ-paris13.fr
Diego delle Donne – delledonne@essec.edu
Emiliano Traversi – traversi@essec.edu

Please include *"SPARK-SVM"* as the subject of the email.
The internship is expected to lead to a scientific publication. For a
strong and motivated candidate, the project may naturally evolve into a PhD
thesis at the interface of mathematical programming and machine learning.

*Application*
Interested candidates should send a CV and academic transcripts to:

Roberto Wolfer Calvo – wolfler@lipn.univ-paris13.fr
Diego delle Donne – delledonne@essec.edu
Emiliano Traversi – traversi@essec.edu

Please include "SPARK-SVM" as the subject of the email.

**********************************************************
*
* 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] WAIFI 2026 - NEW DEADLINES + CALL FOR POSTERS

Dear colleagues,

(apologies for multiple postings)

Important dates:

Before the regular paper submission deadline, authors must submit the title, abstract, and keywords of their contribution.
As abstracts will be reviewed under a double-blind process, only this information will be required.

Abstract submission deadline: March 8th, 2026
Submission deadline (EXTENDED): March 15th (23:59 AoE), 2026
Acceptance notification: April 7th, 2026
Final version due: April 16th, 2026
Poster submission deadline: April 30th, 2026

Call for Posters:

We invite participants to submit posters with recent results, work in progress, or new ideas within the scope of WAIFI 2026.
Please submit a short abstract with title, authors, affiliations, and a brief description through the submission system.
Deadline is April 30th, 2026.
We will use the number of submissions by early May to plan the session.
Authors should be present at their poster during the session.

More information (including the submission system) will be posted on the workshop website.

The "International Workshop on the Arithmetic of Finite Fields (WAIFI) 2026", to be held in Santander, Spain, June 3-5, 2026, is a forum of mathematicians, computer scientists, engineers and physicists performing research on finite field arithmetic, interested in communicating the advances in the theory, applications, and implementations of finite fields. The workshop helps to bridge the gap between the mathematical theory of finite fields and their hardware/software implementations and technical applications, especially in cryptography and coding theory.

The topics of WAIFI 2026 include but are not limited to:

Theory of finite field arithmetic including:
Bases (canonical; normal; dual; etc.)
Polynomials (irreducible; primitive; permutation)
Boolean functions and special functions over finite fields
Algebraic curves over finite fields
Dynamical systems over finite fields
Hardware & Software implementations:
Design & implementation of finite field processors
Design & implementation of arithmetic for crypto algorithms and protocols
Pseudorandom number generators
Hardware/Software co-design in crypto and coding theory applications
Applications of finite fields in:
Cryptography such as Post Quantum Crypto and other algorithms and protocols
Coding theory (AG codes; LDPC codes; etc.)
Combinatorics (designs; arrays; etc.)
Finite geometry
General Chair:

Domingo Gómez Pérez, University of Cantabria, Spain

Program co-Chairs:

Lejla Batina, Radboud University, The Netherlands
Ferruh Ozbudak, Sabancı University, Türkiye

Program Committee:
Herivelto Martins Borges Filho, Universidade de São Paulo, Brazil.
Claude Carlet, Universities of Paris VIII (France) and Bergen (Norway)
Maria Corte-Real Santos, ENS Lyon, France
Thomas Decru, KU Leuven, Belgium
Sylvain Duquesne, U. Rennes, France
Ana Isabel Gómez Pérez, U. Rey Juan Carlos, Spain
Sophie Huczynska, U. St. Andrews, Scotland
José Luis Imaña, U. Complutense Madrid, Spain
Jorge Jiménez Urroz, U. Politécnica Madrid, Spain
Angshuman Karmakar, IIT Kanpur, India
Gohar Kyureghyan, U. Rostock, Germany
Edgar Martínez Moro, U. Valladolid, Spain
Sihem Mesnager, U. Paris VIII, France
Alessandro Neri, U. Naples Federico II, Italy
Svetla Nikova, KU Leuven, Belgium
Daniel Panario, Carleton University, Canada
Hilder Vitor Lima Pereira, Unicamp, Brazil
Håvard Raddum, Simula UiB, Norway
Francisco Rodríguez Henríquez, TII, UAE
Ana Salagean, U. Loughborough, UK
Amin Sakzad, Monash U., Australia
David Thomson, Carleton U., Canada
Alev TopuzoÄŸlu, Sabancı U., Türkiye
Monika Trimoska, TU/e, The Netherlands
Qiang (Steven) Wang, Carleton U., Canada
Violetta Weger, Technical U. Munich, Germany
Nusa Zidaric, U. Leiden, The Netherlands

The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series.

The workshop website http://www.waifi.org <http://www.waifi.org/>, will be updated regularly with more information.

Kind regards,

José L. Imaña
Complutense University, Madrid, Spain
**********************************************************
*
* 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] Ph.D. position in Theoretical CS

The Lane Department of Computer Science and Electrical Engineering in the Benjamin M. Statler College of Engineering and Mineral Resources at West Virginia University invites applications for a Ph.D. position in the general area of algorithmic operations research with an emphasis on computational complexity and game theory. The position is funded by NSF (Algorithmic Foundations) and is concerned with the designing efficient algorithms and establishing the computational complexity of selected quantified polyhedral programs.

Specific skills needed: Expertise in game theory and linear and integer programming.

If interested, send email with a copy of your cv to k.subramani@mail.wvu.edu.

K. Subramani

Professor

LDCSEE

West Virginia University

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

[DMANET] CS Teaching Fellow, Lancaster Leipzig

Hello everyone,
Vacancy as from subject, here is the advert:
https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=0976-25

Feel free to circulate; my apologies for cross/multiple posts.

Best wishes,
Marco

**********************************************************
*
* 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] [HPDC] CALL FOR NOMINATIONS: HPDC 2026 ACHIEVEMENT AWARD

CALL FOR NOMINATIONS: HPDC 2026 ACHIEVEMENT AWARD

The HPDC Annual Achievement Award, established in 2012, is presented to an individual who has made long-lasting, influential contributions to the foundations or practice of the field of high-performance parallel and distributed computing (HPDC). These contributions may include one or more of the following:
- Conceptual advances that have influenced the design or operation of HPDC systems or applications;
- Innovative techniques or tools for the design or analysis of HPDC systems or applications;
- Design, implementation, and deployment of innovative (components of) HPDC systems or applications;
- Analysis of innovative (components of) HPDC systems or applications.

Nominations are solicited for the HPDC 2026 achievement award. Members of the community may nominate a colleague by uploading a letter of nomination as a PDF file to https://hpdc26award.hotcrp.com. The nomination package, submitted as a single PDF, should include:
1. The nominee's current professional affiliation(s).
2. A brief citation (thirty words or less) precisely stating the most salient reason(s) why the nominee is qualified for the award.
3. A description of the technical contributions of the nominee and their significance and impact.
4. CV of the nominee.

Nomination Deadline: Monday, March 02, 2026, 11:59 AOE.

Please visit https://hpdc.sci.utah.edu/2026/calls-awards.html for more details.

Award Selection Committee
- Michela Taufer
- Rosa Badia
- Alfredo Goldman
- Mehmet Koyuturk
- Kathryn Mohror
- Dimitrios S. Nikolopoulos
- Manish Parashar
- Devesh Tiwari
**********************************************************
*
* 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, February 8, 2026

[DMANET] Danish Data Science Academy postdoc and PhD positions

The Danish Data Science Academy invites applications for postdoc and PhD fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The postdoc call is at https://ddsa.dk/postdocfellowshipcall2026/ and the PhD call at https://ddsa.dk/phdfellowshipcall2026/, and the application deadline is March 4, 2026.

Applications can be within any field of data science aligning with the DDSA research scope (https://ddsa.dk/ddsaresearchscope/), including, but not limited to, algorithms research within data science and AI and applications of data science or computer science to other areas in natural, technical, or life sciences. The positions will be awarded to the most promising candidates according to their scientific qualifications, motivation, and engagement, as well as the quality, originality, relevance and potential impact of the proposed project. It is a requirement that the applicant has a well-defined research project proposal as well as an agreement with a principal supervisor at a Danish university.

Informal inquiries about opportunities in the Algorithms and Complexity Section at the University of Copenhagen (https://di.ku.dk/english/research/ac/) are welcome and can be directed to Jakob Nordstrom (jn@di.ku.dk) or other faculty in the section. Please contact us as soon as possible if you are interested, so that there is enough time to talk about your research ideas and provide feedback on how to turn them into a successful DDSA proposal.

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

[DMANET] CFP: DIS 2026 Conference- May 31-June 4, 2026, Czech Republic

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

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

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

Contact us: hossein.moosaei@gmail.com, zbysek.posel@ujep.cz

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

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

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

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

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

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

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

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

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

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

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

**********************************************************
*
* 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] 3-year Postdoc Position in Symmetry Handling in Bilevel Programming at Eindhoven University of Technology

In the Combinatorial Optimization group at Eindhoven University of
Technology (The Netherlands), there is a vacancy for a 3-year postdoc
position within the NWO/DFG project "SymBi: Exploiting Symmetries for
Faster Bilevel Optimization Algorithms". This postdoc position is
supervised by Christopher Hojny.

The vacancy can be found at
https://www.tue.nl/en/working-at-tue/vacancy-overview/postdoc-in-symmetry-handling-in-bilevel-programming

The vacancy remains open until a suitable candidate has been found and
closes definitively on March 6, 2026.

Starting date: preferably June 1, 2026


PROJECT DESCRIPTION

Bilevel programming (BP) is a powerful mathematical framework for
modeling hierarchical decision-making processes involving two players: a
leader and a follower. In energy network design, for example, the leader
aims to build a robust network that mitigates failures caused by the
follower's actions. A key characteristic of such applications is the
presence of symmetries. For instance, a symmetric network naturally
leads to symmetric failure scenarios, which are reflected in BP models.
However, current BP software can neither detect nor exploit these
symmetries. As a result, despite BP's strong modeling capabilities,
existing technology can only handle relatively small-scale problems.

In the SymBi project (Exploiting Symmetries for Faster Bilevel
Optimization Algorithms), we address this limitation by developing a
general mathematical theory of symmetries in BP and efficient algorithms
for symmetry detection and exploitation. While the related field of
mixed-integer programming (MIP) primarily uses symmetries to eliminate
redundant parts of the solution space, SymBi goes further: it aims to
enhance other components of BP solvers, such as cutting planes, to
achieve a stronger coupling between leader and follower decisions.

The research activities of the postdoc will include

- defining a mathematically sound notion of symmetries for bilevel
optimization problems,
- developing a novel theory for exploiting symmetries that is tailored
for bilevel optimization problems, and
- implementing and testing the developed algorithms for solving
benchmark problems.

Next to the research tasks, the postdoc will be asked to assist, for a
small percentage of their time, with educational tasks (course support
and supervision of students).

JOB REQUIREMENTS

- You are a motivated researcher, with a PhD in integer programming,
bilevel programming, mathematical optimization, or a comparable domain.
- You have very good programming skills, preferably in C/C++.
- You are able to conduct high quality academic research, reflected in
demonstrable outputs.
- You have a proven ability to manage complex projects to completion on
schedule.
- You have excellent (written and verbal) proficiency in English, good
communication skills (knowledge of the Dutch language is not required).


CONDITIONS OF EMPLOYMENT

We offer a meaningful job in a dynamic and ambitious university, in an
interdisciplinary setting and within an international network. You will
work on a beautiful, green campus within walking distance of the central
train station. In addition, we offer you:

- Full-time employment for 3 years. Please note that for a postdoc
position, our departmental policy is that we offer a one-year contract
first, which is extended based on good performance.
- Salary in accordance with the Collective Labour Agreement for Dutch
Universities, scale 10 (min. € 4,241 max. € 5,538).
- A year-end bonus of 8.3% and annual vacation pay of 8%.
- High-quality training programs on general skills, didactics and topics
related to research and valorization.
- An excellent technical infrastructure, on-campus children's day care
and sports facilities.
- Partially paid parental leave and an allowance for commuting, working
from home and internet costs.
- A TU/e Postdoc Association that helps you to build a stronger and
broader academic and personal network, and offers tailored support,
training and workshops.
- A Staff Immigration Team is available for international candidates, as
are a tax compensation scheme (the 30% facility) and a compensation for
moving expenses.


FURTHER INFORMATION

For more information about the project or about the working conditions,
please contact Christopher Hojny (c.hojny@tue.nl).


HOW TO APPLY

Applications should be done through the following website:

https://www.tue.nl/en/working-at-tue/vacancy-overview/postdoc-in-symmetry-handling-in-bilevel-programming

Besides personal and contact information, you should upload the
following documents as PDFs:

- Cover letter in which you describe your motivation and qualifications
for the position.
- Curriculum vitae, including a list of your publications and the
contact information of three references. Kindly note that we may reach
out to references at any stage of the recruitment process. We recommend
notifying your references upon submitting your application.
- List of up to five self-selected 'best publications'.

Do not upload any other documents.
**********************************************************
*
* 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: early registration February 21st

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

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

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

Early registration: February 21st, 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 will be available in due time 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/
*
**********************************************************