Theory Announcements: 2025

Wednesday, December 3, 2025

[DMANET] The IEEE co-sponsored 2nd International Conference on Artificial Intelligence Systems (AIS 2026) , 12 - 15 May, 2026 | San Antonio, USA.

[Apologies if you got multiple copies of this invitation]

*The 2nd International Conference on Artificial Intelligence Systems (AIS
2026*)

*Hybrid Event*

*https://ais-conference.org/2026/*

*12 - 15 May, 2026 | San Antonio, USA.*
*Technically Co-Sponsored by IEEE Lone Star Section*

*AIS 2026 CFP:*
Artificial Intelligence (AI) systems are computational frameworks designed
to perform tasks that typically require human intelligence, such as
learning, reasoning, problem-solving, perception, and decision-making.
These systems integrate algorithms, data, and computing power to enable
machines to adapt and improve their performance over time. AI systems
encompass a wide range of technologies, including machine learning, natural
language processing, computer vision, and autonomous robotics, and they are
increasingly applied in domains such as healthcare, finance, cybersecurity,
transportation, and smart cities. As they continue to evolve, AI systems
are not only transforming industries and enhancing human capabilities but
also raising important considerations around ethics, transparency, and
trustworthiness. The International Conference on Artificial Intelligence
Systems (AIS 2026) aims to bring together leading researchers, academics,
and practitioners from around the world to share their latest findings,
innovations, and applications in Artificial Intelligence and intelligent
systems. AIS 2026 provides a premier interdisciplinary platform for
presenting advances and exchanging insights on the theoretical foundations,
cutting-edge technologies, and real-world implementations of AI. AIS 2026
will feature keynote talks, technical paper sessions, workshops, and
tutorials covering a wide range of AI topics. We invite submissions of
high-quality research papers describing original and unpublished results in
all areas of Artificial Intelligence Systems. addresses the use of advanced
intelligent systems in providing cybersecurity solutions in many fields,
and the challenges, approaches, and future directions. We invite the
submission of original papers on all topics related to Intelligent Systems
with special interest in but not limited to:
· Machine Learning and Data-Driven Systems
· Natural Language and Multimodal AI Systems
· Generative AI, Foundation Models, and Large Language Models
· Computer Vision, Image and Video Processing
· Artificial Intelligence Systems Applications
· Artificial Intelligence Systems Security
· Computational Language and Human-Centered Systems
· Prompt Engineering and Fine-tuning
· Multimodal LLMs Systems
· Agentic AI Systems
*Submissions Guidelines and Proceedings*
Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper can be up to 8 pages
(including all figures, tables and references). Submitted papers must
present original unpublished research that is not currently under review
for any other conference or journal. Papers not following these guidelines
may be rejected without review. Also submissions received after the due
date, exceeding length limit, or not appropriately structured may also not
be considered. Authors may contact the Program Chair for further
information or clarification. All submissions are peer-reviewed by at least
three reviewers. Accepted papers will appear in the AIS Proceeding, and be
published by the IEEE Computer Society Conference Publishing Services and
be submitted to IEEE Xplore for inclusion.

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers must follow the IEEE paper format. And include up to 7 keywords.
Authors of accepted papers are expected to present their work at the
conference. Submitted papers that are deemed of good quality but that could
not be accepted as regular papers will be accepted as short papers. Length
of short papers can be up to 6 pages.
*Important Dates:*

- *Paper submission deadline: 31 January 2026*
- Notification of acceptance: 25 March 2026
- Camera-ready Submission: 10 April 2026

*Contact:*

Please send any inquiry on AIS to: info@gaclm.org

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

[DMANET] 1 PhD- and 1 short-time PostDoc-Position in Engineering a Graph Algorithms Library, Uni Rostock (link fixed)

We announce an opening for a PhD- or PostDoc-position in Engineering a new Graph Algorithms Library for full 3 years; an additional short-time PostDoc-Position is available for at least 6 months. The positions begin as soon as possible and come with social security and the competitive salary TV-L E13 100% according to the German public sector.

The PhD-position will be hosted at the Institute for Computer Science at the University of Rostock and be supervised by Jens M. Schmidt. We want to design and implement a new graph library specialized on very basic data structures and algorithms with a focus on speed and highly optimized and scalable platform-independent code. This shall be done from an algorithm engineering perspective, be supported by continuous testing and profiling of the written code, and adaptive to the particular algorithm that is called. Hence, candidates should have an excellent background in algorithm engineering, C++-programming (ideally stackoverflow is your regular friend) and first experiences with template metaprogramming. The position comes with a teaching load of 4 SWS, which is generally conducted in German, so that a basic knowledge of the German language is required. Solid English mathematical writing skills are desirable.

Applicants should submit their application until January 11th 2026 on the official application portal [1] containing
- a curriculum vitae
- a list of publications (if there are any)
- a summary of the (possibly preliminary) thesis, max. 1 page
- a list of courses and grades, and
- names and emails of one or two references (including thesis advisor)

Informal inquiries about the position can be made by writing to jens.schmidt (ät) uni-rostock.de.

[1] https://jobs.uni-rostock.de/jobposting/b44e709b473a74d67ce15b177e2cf4b0c4943b3f0?ref=homepage
(link fixed)

[DMANET] Two (2) Temporary Post-doctoral Researcher Positions in Algorithms – University of Bergen, Norway

Two (2) Temporary Post-doctoral Researcher Positions in Algorithms – University of Bergen, Norway

We invite applications for two (2) temporary post-doctoral (researcher) positions in Algorithms, open to outstanding candidates ready to contribute to cutting-edge research. The positions are based in Bergen, Norway, and are associated with the ERC Advanced Grant project "New Horizons of Parameterized Complexity (NewPC)". The project aims to develop multivariate algorithmic and complexity tools for optimization problems involving geometric and algebraic objects such as points, vectors, linear spaces, and matrices. Applications from all areas of algorithms are very welcome and will be taken seriously.

Applicants must hold a PhD in Computer Science or Mathematics, or must have submitted their doctoral thesis for evaluation before the application deadline. It is a condition of employment that the PhD is formally awarded before the position begins. The preferred starting date is April 2026, but this is negotiable.

Salary and working conditions:
- A good and professionally stimulating working environment.
- Position as researcher (code 1109 in the basic collective agreement) and a gross annual salary of NOK 657 000 upon appointment. Further increases in salary are made according to length of service in the position. A higher salary may be considered for a particularly well-qualified applicant.
- Enrolment in the Norwegian Public Service Pension Fund.
- Good welfare benefits.

Apply by 15 February 2026 through the Jobbnorge portal:
https://www.jobbnorge.no/en/available-jobs/job/291007/researcher-1109-two-temporary-positions-in-algorithms

About the Algorithms Group in Bergen:
The Algorithms research group at the University of Bergen (UiB) is internationally recognized for contributions to parameterized complexity, exact algorithms, and graph algorithms. The group maintains an active and collaborative research atmosphere with a strong publication record and frequent international visitors, research seminars and workshops. Post-doctoral researchers are fully integrated into group activities and are provided strong support to develop independence and pursue collaborations both within and outside the NewPC project.

About Bergen and Norway:
Bergen is famously nestled among seven mountains and surrounded by fjords — an ideal location for those who enjoy hiking, fjord tours, and nature explorations. Norway offers a high quality of life, with strong social support systems, and modern infrastructure.

For informal inquiries, do not hesitate to contact:
Fedor Fomin — fedor.fomin@uib.no

[DMANET] PhD Opportunity – Mathematics of Deep Bilevel Learning (University of Southampton)

Dear colleagues,
I am pleased to announce a fully funded 4-year PhD position at the School of Mathematical Sciences, University of Southampton (UK), starting 1 October 2026.
________________________________
📌 Project Title: The Mathematics of Deep Bilevel Learning
Project Summary
Deep learning has been a driving force behind the rapid progress of AI for more than a decade, culminating recently in the success of large language models powered by transformer architectures—a class of deep neural networks. In parallel, bilevel optimization has emerged as a powerful framework for modeling complex machine learning tasks, giving rise to what we refer to as deep bilevel learning. This PhD project will investigate the mathematical foundations of deep bilevel learning, with the goal of uncovering structural properties that can be exploited to design more efficient, robust, and explainable learning algorithms. The results have the potential to influence the next generation of AI systems and advance theory at the intersection of optimization, machine learning, and deep learning.
________________________________
🎓 Supervisors

*
Professor Alain Zemkoho, University of Southampton (project lead; bilevel optimization)
*
Professor Massimiliano Pontil, University College London & Italian Institute of Technology (machine/deep learning)

________________________________
💡 Candidate Profile

*
Applicants should have a strong background in optimization, applied mathematics, and/or machine learning.
*
Open to UK and international students (fees covered at UK rate).

________________________________
💰 Funding & Benefits

*
£20,760/year stipend (~£1,730/month, tax-free)
*
Support for conferences and potential stays at UCL and the Italian Institute of Technology
*
Optional paid part-time teaching assistantship
*
Funding provided by DAS Ltd and the EPSRC Doctoral Landscape Award (Collaborative Studentships Scheme)

________________________________
📅 Key Dates

*
Application deadline: 9 January 2026
(interviews may take place on a rolling basis until the position is filled)
*
Start date: 1 October 2026
*
Duration: 4 years

________________________________
How to apply:
👉 https://www.jobs.ac.uk/job/DPQ619/phd-opportunity-the-mathematics-of-deep-bilevel-learning
For informal enquiries:
📩 a.b.zemkoho@soton.ac.uk
I would be grateful if you could circulate this opportunity to suitable candidates or share it within relevant networks.
Best wishes,
Professor Alain Zemkoho
School of Mathematical Sciences
University of Southampton
http://www.southampton.ac.uk/~abz1e14<http://www.southampton.ac.uk/~abz1e14/>

**********************************************************
*
* 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, December 2, 2025

[DMANET] AofA 2026: first call for papers

The 37th International Conference on Probabilistic, Combinatorial and
Asymptotic Methods for the Analysis of Algorithms (AofA 2026) is planned
to take place from June 22nd to June 26th in Munich, Germany
(https://aofa2026.info/). We would be very pleased to welcome you!

Analysis of Algorithms is a field at the boundary of computer science
and mathematics. The goal is to obtain a precise understanding of the
asymptotic, average-case characteristics of algorithms and data
structures. A unifying theme is the use of probabilistic, combinatorial,
and analytic methods. The objects to be studied include random branching
processes, graphs, permutations, trees, and strings. We invite papers in

- analytic algorithmics and combinatorics,
- probabilistic analysis of algorithms and discrete structures and
- randomized algorithms.

Authors are invited to submit an extended abstract of up to 15 pages,
excluding the the front page, bibliography, and a brief appendix of up
to 5 pages. Further appendices can be included in addition to that, and
they will be read at the Program Committee's discretion, but will not be
included in the proceedings.

For the submission and the final version of the papers authors are
required to use the Leibniz International Proceedings in Informatics
(LIPIcs). Submissions will be made through EasyChair; the server will
open in the beginning of 2026. Simultaneous submission to other
conferences with published proceedings or to journals is not allowed. PC
members are allowed to submit their works as well, except for PC chairs.
At least one author of each accepted paper is expected to register at
the conference.

Important Dates:

* Deadline: March 1, 2026
* Acceptance notice: April 20, 2026
* Conference: June 22-26, 2026

Best regards
Konstantinos Panagiotou
**********************************************************
*
* 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] Three-Year Research Position at Ruhr University Bochum: Collective Algorithmic Recourse within the DFG SPP Programme

The research group *IntelligentTechnical Systems* (Lernende technische
Systeme) at the Faculty of Electrical Engineering and Information
Technology, Ruhr University Bochum, is looking for a

*Research Associate (postdoc or Ph.D. student)*

to fill a *three-year* full-time position at the *earliest possible date*.

The researcher will work on the development of robust and efficient *collective
algorithmic recourse methods* to enhance the resilience of mission-critical
networked systems. The project lies at the intersection of *machine
learning, optimization, and multi-agent systems*, addressing challenges
arising from resource volatility and uncertainty in dynamic environments.
The work includes both *theoretical analysis*—covering efficiency,
scalability, and convergence—as well as the *application* of the proposed
methods to optimize networked systems.

The position is part of a *DFG Priority Programme (SPP)*, which provides
excellent opportunities for scientific exchange and networking. The
successful candidate will have the chance to participate in project
meetings, workshops, and joint programme events to further develop their
expertise and build research connections.

*Application deadline: 15 December 2025*

Further information and application link:
https://jobs.ruhr-uni-bochum.de/jobposting/0955dcb1fabab4848e3b13201429766b8fa0d8b90

[DMANET] =?Windows-1252?Q?[CFP]_Submission_Deadline:_January_18, _2026_=96_The_4th_?= International Workshop on TwinNetApp in conjunction with IEEE ICC 2026 | Glasgow, Scotland, UK

We apologize if you receive multiple copies of this CFPs.
We appreciate your help to contribute & forward this CFPs to your friends.
===============================================

Call for Papers

The Fourth International Workshop on Data Driven and AI-Enabled
Digital Twin Networks and Applications (TwinNetApp)

in conjunction with IEEE ICC 2026

May 24-28, 2026 – Glasgow, Scotland, UK

Workshop Website: https://icc26-twinnetapp.bcrg.uk/
Conference Website: https://icc2026.ieee-icc.org/

===============================================
Digital Twin (DT) technology has emerged as a critical enabler for next-generation communication networks. Regarding this, DTs provide real-time synchronization between physical and digital systems and support advanced monitoring, emulation, and optimization capabilities. By bridging the physical and virtual domains, DTs provide novel approaches to design, analyze, and operate complex infrastructures that go far beyond traditional simulation methods. Real-time network monitoring, predictive modelling, proactive management, and what-if simulation are significant examples that highlight DT's potential in the communication domain and beyond. When combined with next-generation mobile communications (5G/6G), Artificial Intelligence (AI), Generative AI (GenAI), Internet of Things (IoT), Transfer Learning (TL), Augmented Reality (AR), Virtual Reality (VR), Edge/Fog Computing, federated architectures, and microservice-based platforms, DT becomes a foundation to guarantee latency-sensitive, energy-efficient, and secure services. These synergies create opportunities for sustainable and scalable solutions in diverse sectors, from smart cities and agriculture to healthcare, manufacturing, and autonomous systems. This workshop invites original contributions that address all aspects of DT networks, systems, and applications, including theoretical models, system architectures, optimization methods, security mechanisms, and real-world testbeds. By bringing together academia, industry, and standardization bodies, the workshop aims to establish a cross-disciplinary forum to explore the transformative role of DT in shaping sustainable, intelligent, and connected communication infrastructures. Topics of interest include, but are not limited to:

* Data-driven and IoT-based DT networks for real-time communication systems
* Real-time communication protocols for DT networks
* DT-enabled health applications
* Wireless communications for cyber-physical DT applications
* Security and privacy concepts in DT
* Quantum-enabled DT networks
* DT-assisted AI applications for smart cities
* Communication protocols for enabling DT deployment in real-world applications
* AI applications of DT systems
* DT in Edge/Fog/Cloud Computing
* DT for enhanced Mobile Broadband (eMBB), massive Machine Type Communications (mMTC), and Ultra Reliable Low Latency Communications (URLLC) applications
* DT for resource management and network optimization
* Connected DT networking systems for environmental sensing
* DT for precision agriculture, and industry 4.0 applications
* Real-world DT simulations, prototypes, and testbed demonstrations

General Chairs

* Kubra Duran, Edinburgh Napier University, UK (K.Duran@napier.ac.uk<mailto:K.Duran@napier.ac.uk>) (IEEE Member)
* Berk Canberk, Edinburgh Napier University, UK (B.Canberk@napier.ac.uk<mailto:B.Canberk@napier.ac.uk>) (IEEE Senior Member)
* Octavia Dobre, Memorial University, Canada (odobre@mun.ca<mailto:odobre@mun.ca>) (IEEE Fellow)

Important Dates
===============================================
Paper Submission Deadline: January 18, 2026
Notification of Acceptance: March 8, 2026
Camera Ready: March 15, 2026

Submission
===============================================
The page length limit for all initial submissions for review is SIX (6) printed pages (10-point font) and must be written in English. Initial submissions longer than SIX (6) pages will be rejected without review.
Submission Link: TBA

This message and its attachment(s) are intended for the addressee(s) only and should not be read, copied, disclosed, forwarded or relied upon by any person other than the intended addressee(s) without the permission of the sender. If you are not the intended addressee you must not take any action based on this message and its attachment(s) nor must you copy or show them to anyone. Please respond to the sender and ensure that this message and its attachment(s) are deleted.

It is your responsibility to ensure that this message and its attachment(s) are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this message or its attachment(s), or for errors or omissions arising after it was sent. Email is not a secure medium. Emails entering Edinburgh Napier University's system are subject to routine monitoring and filtering by Edinburgh Napier University.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373

BSL users can contact us via contactSCOTLAND-BSL, the on-line British Sign Language interpreting service. Find out more on the contactSCOTLAND website.

[DMANET] ISAIM 2026: Call for Participation

CALL FOR PARTICIPATION

Nineteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2026
https://isaim2026.cs.ou.edu/
January 7-9, 2026
Fort Lauderdale, Florida

The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the nineteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

REGISTRATION:

Early Registration is now open. The Bahia Mar Fort Lauderdale Beach hotel special rates are valid only until Sunday, December 7, 2025, at 5pm, or until the block is sold out.

For registration, please visit https://epay.fau.edu/C20081_ustores/web/store_main.jsp?STOREID=217 hosted at the Florida Atlantic University.

For information regarding the hotel accommodation please have a look at https://isaim2026.cs.ou.edu/venue.html.

KEYNOTE SPEAKERS:

o Ariel Felner (Ben Gurion University)
-Title: The Mathematical Foundations of Bidirectional Heuristic Search

o Sergei Gukov (California Institute of Technology)
-Title: AI and AC: the Andrews-Curtis conjecture

o Jeff Jaffe (Former CEO of the World Wide Web Consortium)
-Title: Future Directions for Math and AI: in Conversation with Martin Golumbic

o Xingquan Zhu (Florida Atlantic University)
-Title: Scaling Heterogeneous Network Intelligence

SPECIAL TOPIC INVITED SESSIONS:

o Cooperation, Competition, and Complexity in AI Planning and Learning
-Organized by Alan Kuhnle and Guni Sharon (Both at Texas A&M University)

o Data-Driven Decisions: Applied ML and Optimization
-Organized by Munevver Subasi, Ersoy Subasi, and Xianqi Li (All three at Florida Institute of Technology)

o AI in Group Theory
-Organized by Elena Bunina (Bar Ilan University) and Alexei Miasnikov (Stevens Institute of Technology)

o Math and AI
-Organized by Martin Charles Golumbic (University of Haifa) and Frederick Hoffman (Florida Atlantic University)

ORGANIZERS:

o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Dimitrios I. Diochnos, University of Oklahoma
Joerg Rothe, Heinrich-Heine-University Dusseldorf
o Local Organizer: Maria Provost, Florida Atlantic University
o Publications & Publicity Chair: Dimitrios I. Diochnos, University of Oklahoma

Send inquiries and requests to <isaim-l AT lists.ou.edu>.
Visit https://isaim2026.cs.ou.edu/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.

[DMANET] PhD fellowship in Algorithms at University of Copenhagen

The Department of Computer Science at the University of Copenhagen (DIKU) invites applications for PhD or integrated MSc + PhD fellowship in Algorithms.

Start date 1 September 2026 (Or as soon as possible hereafter).

The deadline for applications is January 10, 2026, 23:59 GMT +1.

The project and the scientific environment
The PhD project is broadly within algorithms. The expectation is curiosity driven research in a highly collaborative environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithmic thinking. We are currently ranked 1st in the EU in algorithms and complexity theory by CSrankings.org with a strong presence at top-tier conferences like STOC, FOCS, SODA, CCC and SoCG. We are home to the Basic Algorithms Research Copenhagen (BARC) centre (https://barc.ku.dk/), joint with the IT University of Copenhagen, and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Øresund Bridge, as well as with our many visitors. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. While our focus in on theoretical research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.
The University of Copenhagen was founded in 1479 and is the oldest and largest university in Denmark. It is often ranked as the best university in Scandinavia and consistently as one of the top places in Europe. Within computer science, it is ranked 1st in the European Union by ShanghaiRanking.
Principal supervisor is expected to be Associate Professor Mikkel Abrahamsen (miab@di.ku.dk, https://sites.google.com/view/mikkel-abrahamsen) or Professor Mikkel Thorup (mthorup@di.ku.dk, https://hjemmesider.diku.dk/~mthorup/). Candidates interested in working with other faculty from DIKU at the BARC center (https://barc.ku.dk/researchers/) are also encouraged to apply.

Who are we looking for?
To be eligible to apply for these positions, applicants need to have or be about to obtain either a BSc or an MSc degree (equivalent to a Danish BSc or MSc degree) in computer science, mathematics, or a related field. The successful candidates are expected to have a strong background and passionate interest in mathematics and theoretical computer science, as demonstrated by excellent grades in relevant courses, or by results at the Olympiads of Mathematics or Informatics, or by publications in relevant internationally recognized conferences or journals. Problem solving skills and creativity are a must.
Applicants need to be highly motivated for doctoral studies; should possess the ability to work independently and perform critical analysis and also have good levels of communicative abilities and English language skills.
The working language of the group is English, and knowledge of English is also fully sufficient to navigate life in Denmark in general. It might also be worth mentioning that Denmark routinely scores at the absolute top in rankings of quality of life such as, e.g., the OECD Better Life Index http://www.oecdbetterlifeindex.org/.
See more and apply at:
https://employment.ku.dk/phd/?show=153212

[DMANET] GAMM Annual Meeting 2026 - Abstract deadline on December 8 - Last reminder

Dear colleagues,

we are pleased to announce the GAMM Annual Meeting 2026
(https://jahrestagung.gamm.org/annual-meeting-2026/96th-annual-meeting-2/)
and in particular its Optimization Section.

When? March 16 - 20, 2026
Where? University of Stuttgart

About GAMM:
GAMM defines itself as an interdisciplinary network for researchers from
applied mathematics and mechanics as well as their sub- and neighboring
fields.

The GAMM annual convention, at which up to 1,200 participants meet up
for a joint exchange of ideas, is complemented by direct
interdisciplinary cooperation, which primarily takes place in expert
committees. The promotion of early career researchers is at the heart of
GAMM.

**Optimization Section**:
Optimization is the next natural step after simulation with increasing
importance in the future. The aim of this session is to provide the
basis of a holistic overview of all areas of optimization. Thus
abstracts from both a theoretical as well as an applied perspective are
welcome.
We invite you to participate and to submit an abstract and optionally a
post-conference short paper for the GAMM Proceedings (PAMM).
Also, we are happy to announce that our topical speakers will be
**Andrea Walther** (HUB) and **Sebastian Pokutta** (ZIB)!

**Abstract submission**:
Short communications (20-minute talks including discussion) can be
submitted in the form of abstracts (max. 400 words, plain English text)
to our section. GAMM's policy allows each participant to give at most
one talk. The collected abstracts will be published online.

Proceedings:
Papers presented in sections may be published electronically in PAMM
("Proceedings in Applied Mathematics and Mechanics"). The papers need to
be at least six pages long and will undergo peer-review. The deadline
for submission is May 31, 2026.

Important dates:

Abstract submission deadline: **December 8, 2025**
Notification of acceptance of abstract: January 15, 2026
Closure of online registration: March 1, 2026
Conference: March 16 - 20, 2026

We hope to see you in Stuttgart next year!

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

[DMANET] PhD position in Formal Verification in Leiden, Netherlands (Emily Yu)

Hello everyone,

I have a fully-funded PhD position in my group at Leiden University, Netherlands.

The candidate will broadly work in the area of verification for safety-critical systems, broadly construed. Depending on the interest of the applicant, possible research directions include SAT/SMT-based formal verification, runtime verification, neural control of cyber-physical systems. More information about my work and research interests can be found here: https://emilyyu.nl/

Information about the PhD program and the application process can be found here: https://careers.universiteitleiden.nl/job/PhD-Candidate-on-Formal-Methods-for-Safe-AI/16232-en_US/. The starting date is flexible, ideally before Aug/Sept 2026. Interested applicants can contact me with a CV before submitting a formal application. For any queries formal or informal, please do not hesitate to get in touch with me: z.yu@liacs.leidenuniv.nl <mailto:z.yu@liacs.leidenuniv.nl>.

Best regards,
Emily Yu
**********************************************************
*
* 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, December 1, 2025

[DMANET] DIMACS Postdoctoral Associate Positions For 2026-2028

DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science at Rutgers University in New Brunswick, New Jersey, invites applications for postdoctoral associate positions for 2026-2028. The postdoc will be mentored by a faculty member at Rutgers or a DIMACS partner institution, and able to participate in the wide variety of activities at DIMACS, while working on an original research program. Topics include but are not limited to artificial intelligence, computing theory (algorithms, complexity), data science, statistics, discrete mathematics (graph theory, combinatorics), game theory, machine learning, optimization, privacy, and security. Activities often address applications in wide-ranging areas, including biology, robotics, cyber & physical security, economics, voting, engineering, ecology, sociology, epidemiology, sustainability, and computational social choice. Applicants should be recent PhD graduates in computer science, mathematics, statistics, economics, information science, operations research, or a related field.

Positions provide salary, health benefits, and an allowance for travel. Applicants should provide a cover letter, a curriculum vitae, a research statement highlighting their past and planned future research, a teaching statement if intending to teach, and the names & email addresses of three references.

DIMACS fosters research and education programs on topics that lie at the interface of discrete mathematics and theoretical computer science and their wide-ranging applications. It was founded as an NSF Science and Technology Center in 1989. DIMACS's partners include Rutgers University, AT&T Labs - Research, Columbia University, Georgia Tech, IBM Research, Microsoft Research, NEC Laboratories America, New Jersey Institute of Technology, Nokia Bell Labs, Peraton Labs, Princeton University, Rensselaer Polytechnic Institute, and Stevens Institute of Technology.

Research and education areas at DIMACS include algorithms, combinatorics, complexity, privacy and security, discrete and computational geometry, optimization, graph theory, data science, artificial intelligence, and machine learning, with applications in sustainability, epidemiology, genetics, networks, transportation, security, and economics. Many DIMACS activities relate to specific topics of current interest represented by the DIMACS Special Focus programs. Postdoctoral Associates at DIMACS are encouraged to collaborate with DIMACS members and visitors and to participate in all of the research and educational activities of DIMACS.

We believe that research and society benefit from a diverse workplace and strongly encourage applications from women, minorities, individuals with disabilities, veterans, and students with non-traditional backgrounds.

Applications are due January 1, 2026, for full consideration. See https://jobs.rutgers.edu/postings/261432 for application information.

[DMANET] Faculty Position in Theory of Computing at Imperial College London

==========================================================
Faculty Position in Theory of Computing at Imperial College London
Deadline for application: *15 December 2025*
==========================================================

Dear colleagues,

The Department of Computing at Imperial College London is recruiting *up to
four Assistant Professors* to start in 2026. One of the key targeted areas
is *theoretical computer science* (algorithms and data structures,
complexity theory, cryptography and information theory, quantum algorithms,
and theory of quantum computation).

Further details and the application portal are available here:
https://www.jobs.ac.uk/job/DPG409/assistant-professor-associate-professor-in-computing

Application deadline: *15 December 2025*.

Please feel free to share with interested candidates.

Kind Regards,
--- Iddo

--
Professor Iddo Tzameret
Chair in Computational Complexity
Department of Computing
Imperial College London
i.tzameret@imperial.ac.uk
https://www.doc.ic.ac.uk/~itzamere/

[DMANET] DC Online Resources (IFORS)

As our material progresses, this is just a reminder every now and then.
To access information regarding IFORS Developing Countries resources, its regular updates – and to submit your possible "free" (not copyright protected) material, you may occasionally visit the link:

http://ifors.org/developing_countries/index.php?title=Main_Page .

With this open online resources page we aim to provide a platform to make research and applications of OR widely accessible to the entire OR community including researchers, academicians and scholars in the Developing Countries (DCs).

For this purpose we invite scholarly contributions spanning across all areas and sectors ranging from arts and science, to communication and education.

The International Federation of Operational Research Societies (https://www.ifors.org) is a 65-year-old organization which is currently composed of 54 national societies. Regional Groups of are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies). conferences are held every three years. The conference 2023 was held very successfully in Santiago, Chile; the next exciting IFORS conference will be celebrated in 2026 in Vienna. Please visit the following link for details regarding the same: https://www.ifors2026.at/home/.

Thank you very much for your attention. We look forward to your enthusiastic participation and scholarly contributions.

[DMANET] CFP Computational optimization

Call for Papers

19th International Thematic Track/Workshop on Computational Optimization
(CO25)
Riga, Latvia, August 23-26, 2026

organized in the framework of CONFERENCE ON COMPUTER SCIENCE AND
INFORMATION SYSTEMS
FedCSIS - 2026

IEEE CS is a technical co-sponsor of FedCSIS 2026

https://2026.fedcsis.org/thematic/co
===============================

We invite original contributions related to both theoretical and practical
aspects of optimization methods. The list of topics includes, but is not
limited to:

* combinatorial and continuous global optimization
* unconstrained and constrained optimization
* multiobjective and robust optimization
* optimization in dynamic and/or noisy environments
* optimization on graphs
* large-scale optimization, in parallel and distributed computational
environments
* meta-heuristics for optimization, nature-inspired approaches and any
other derivative-free methods
* exact/heuristic hybrid methods, involving natural computing techniques
and other global and local optimization methods
*numerical and heuristic methods for modeling

The applications of interest are included in the list below, but are not
limited to:

* classical operational research problems (knapsack, traveling salesman,
etc)
* computational biology and distance geometry
* data mining and knowledge discovery
* human motion simulations; crowd simulations
* industrial applications
* optimization in statistics, econometrics, finance, physics, chemistry,
biology, medicine, and engineering.
*environment modeling and optimization
===============================

Best paper award

The best CO26 paper will be awarded during the social dinner of FedCSIS2026.
The best paper will be selected by CO26 co-Chairs by taking into
consideration the scores suggested by the reviewers, as well as the quality
of the given oral presentation.

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

Submission and Publication

* Authors should submit draft papers in PDF format.
* The total length of a paper should not exceed 12 pages for regular paper
and 6 pages for short papers (IEEE style). IEEE style templates are
available at http://2026.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the track.
* Accepted and presented papers will be published in the Conference
Proceedings and included in the IEEE Xplore database and submitted for
different indexations (Communication and Position papers will only appear
in the conference proceedings).
* Extended versions of selected papers presented at CO26 will be published
in edited book of the series "Studies of Computational Intelligence",
Springer with SJR 0.237.

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

Important dates:

+ Paper submission (strict deadline): April 15, 2026, 23:59:59 pm HST
(there will be no extension)
+ Position paper submission: May 19, 2026
+ Author notification: June 16, 2026
+ Final paper submission and registration: June 30, 2026
+ Conference date: August 23-26, 2026

===============================================================================
Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Antonio Mucherino, IRISA, University of Rennes 1, France
Daniela Zaharie, West University of Timisoara, Romania

If you have any question do not hesitate to send an email to :
co@fedcsis.org

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

--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

[DMANET] CFP Envirorisks conference

Dear Colleagues,

We are happy to inform you that the *International Conference EnviroRisks*
will be held in the period *0**1**-0**3** June 202**6**, Sofia**, Bulgaria*.
The conference will provide an excellent international forum for
dissemination of original research results, new ideas and practical
development experiences which concentrate on both theory and practices of
the academics, researchers, engineers and also industry professionals.

*All accepted and presented papers will be submitted* *for publication** to
the SPRINGER **Series* *"Lecture Notes in Networks and Systems"**.*

*Please**, **visit the conference web page for more details:
**https://envirorisks.cmdrcoe.org/
<https://envirorisks.cmdrcoe.org/>*

*Topics of interest for submission include, but are not limited to:*

*1. Disaster Management, Natural Hazards, Risk reduction and Building
Resilience*

*2. **Environmental Degradation*

*3**. **Resilience and Business Continuity Management*

*4. **High Performance Computing, Modeling & Simulations, GIS for
environmental monitoring and Artificial Intelligent *

Please, save the dates and feel free to circulate this message among your
friends.

*Important dates:*

*Abstract** Submission D**ate**: **01** of **March**, 202**6*

*Notification of Abstract Acceptance: **20 March, 2026*

*Full **Paper Submission D**ate**: **01 **of **April**, 202**6*
* Notification** for Paper Acceptance**: ** 01 **of **May**, 202**6*

*Final paper submission:** 20 of May, 2026*
*Conference Dates: **0**1**-**03** of **June**, 202**6*

*Best regards, **EnviroRISKs*
* Organizing Team E-mail: **envirorisks@gmail.com <envirorisks@gmail.com>*

--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

Saturday, November 29, 2025

[DMANET] PODS 2026 Call for Papers (second cycle)

PODS 2026: ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
May 31 - June 05, 2026, Bengaluru, India
https://2026.sigmod.org/index.shtml
CALL FOR PAPERS
* The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundation of
database systems. Original research papers
providing new insights in the specification, design, or implementation
of data management tools are called for.
* Topics that fit the interests of the symposium include the following
(but not limited to) as pertaining to databases: algorithms; complexity;
computational model theory; concurrency; constraints; data exchange;
data integration; data mining; data modeling; data on the Web; data
streams; data warehouses; distributed databases; information
retrieval; knowledge bases; logic; multimedia; physical design;
privacy; quantitative approaches; query languages; query optimization;
real-time data; recovery; scientific data; security; semantic Web;
semi-structured data; spatial data; temporal data; transactions;
updates; views.
* Important dates:
- Abstract deadline: December 3, 2025
- Full paper submission deadline: December 10, 2025
- Rebuttal: Jan 26 - 29, 2026
- Initial notification: February 8, 2026
- Revision submission: February 22, 2026
- Final notification: March 1, 2026
* Submission Site and Format
All submissions must be made to https://www.easychair.org/my/conference?conf=pods2026.
LaTex users must format their submission using the standard ACM "acmsmall" proceedings stylesheet: https://www.acm.org/publications/proceedings-template. A submission can be up to 15 pages, not including references, plus unlimited space for references. PODS 2026 will use a lightweight double-anonymous reviewing process. For more precise instructions, please see https://2026.sigmod.org/calls_papers_pods_research.shtml

[DMANET] World Wide Women (W^5) in OR

World Wide Women (W^5) in OR
Friday 12th Dec 2025, 16:00 - 17:00 (Central European Time)

WISDOM, WORAN, Women in OR/MS, Women in Latin American, Africa and Asia OR Societies invite you to a Winter Webinar. This is an opportunity to build connections across women in operations research societies, identify common goals and grow together. To receive the Zoom link in the week leading up to the webinar, follow the link below. https://docs.google.com/forms/d/e/1FAIpQLScQNH5FnrfphZPqzE1u-pgBN_aJCKnRe8UNSpvaQ5Ps_0quYg/viewform

Looking forward to seeing you at W^5 in OR!

WISDOM (https://www.euro-online.org/web/pages/1654/wisdom) is a forum to support, empower, and encourage the participation of all genders in Operational Research and Management Science. It is an initiative supported by EURO, the Association of European Operational Research Societies.

WORAN (https://www.theorsociety.com/get-involved/society-groups/special-interest-groups-and-networks/women-in-or-analytics-network/) is a forum to advance knowledge, interest and education in operational research, in as far as this concerns women. It is an initiative supported by the Operational Research Society of the UK.

WORMS (https://connect.informs.org/worms/home) is a forum to encourage interest in and discussion amongst individuals regarding issues facing women in the field of operational research and the management sciences, and to advise the INFORMS board accordingly. It is an initiative supported by INFORMS, the Institute for Operations Research and the Management Sciences.

GLOW is an IFORS initiative to connect, empower and promote women in Operations Research (OR) from around the globe.
**********************************************************
*
* 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 December 13

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

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: December 13, 2025

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

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 3 open thematic debate sessions. 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 (Barcelona Supercomputing Center), [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 by participants 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.

OPEN DEBATES:

An open debate session will be organized for each of the 3 thematic areas of the school: cognition, ethics, and society. A 2-page expression of interest to lead the respective session including the topics to be debated, the structure, call for contributions, and dynamics of the session must be sent to david@irdta.eu by December 30, 2025.

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

Friday, November 28, 2025

[DMANET] Postdoc and PhD positions in combinatorial optimization and/or TCS in Lund

The Department of Computer Science at Lund University invites applications for postdoc and PhD positions in combinatorial optimization and/or theoretical computer science.

The researchers will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom (www.jakobnordstrom.se), which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. We are closely affiliated with the Basic Algorithms Research Copenhagen (BARC) centre, and are part of a world-leading environment in algorithms and complexity theory encompassing also the IT University of Copenhagen and the Technical University of Denmark (DTU). We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Much of the activities of the group revolve around powerful algorithmic paradigms such as, e.g., Boolean satisfiability (SAT) solving, Groebner basis computations, integer linear programming, and constraint programming. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

Our most recent new line of research is on how to verify the correctness of state-of-the-art algorithms for combinatorial optimization. Such algorithms are often highly complex, and even mature commercial solvers are known to sometimes produce wrong results. Our work on designing a new generation of certifying combinatorial solvers, which output not only an answer but also a machine-verifiable mathematical proof that this answer is correct, has already received several international awards, but many more exciting problems are still waiting to be solved!

The postdoc position is a full-time research positions for an intended duration of 2 years. The PhD position is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting dates are negotiable, but should ideally be in August-September 2026 or earlier. All positions in the research group are fully funded, employed positions (including travel money) that come with internationally competitive salaries.

The application deadline for both positions is January 16, 2026. For more information about the postdoc position see https://jakobnordstrom.se/openings/Postdoc-Lund-260116.html and for the PhD position see https://jakobnordstrom.se/openings/PhD-Lund-260116.html. Informal enquiries are welcome and may be sent to jakob.nordstrom@cs.lth.se.
**********************************************************
*
* 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 Call for papers and deadline extension (Dec 15, 2025): 20th International Workshop on Project Management and Scheduling – PMS 2026 - 14-16 april 2026, LAAS-CNRS, Toulouse, France

(sorry for multiple copies)

Dear colleagues

PMS is an international workshop series initiated by the EURO Working Group on Project Management and Scheduling. The workshop is held every two years in different locations in Europe and brings together researchers and practitioners from Computer Science, Operations Research, Optimization Engineering, Mathematical Programming, and Industrial Engineering. The scientific program covers a broad range of topics related to Project Management and Scheduling, including both theoretical and applied research.

The 20th International Workshop on Project Management and Scheduling – PMS 2026 – takes place from April 14 to 16, 2026, at LAAS-CNRS in Toulouse, France.

Please visit https://pms2026.sciencesconf.org/.

For guidelines and templates, please visit the Extended Abstract Submission page.

[DMANET] Extended Submission Deadline – ITOR Special Issue “Cutting and Packing”

Dear colleagues,

We are pleased to announce that the submission deadline for the International Transactions in Operational Research (ITOR) Special Issue "Cutting and Packing" has been extended to 31 January.

This Special Issue welcomes recent advances in C&P problems—both methodological and application-driven. Topics include (but are not limited to):
• 1D, 2D, and 3D cutting and packing
• Bin packing, knapsack, strip packing, nesting, container loading
• Irregular shapes, industrial applications, and benchmark problems
• Integration with sequencing, lot sizing, etc.
Submission site: https://wiley.atyponrex.com/journal/ITOR

When submitting your manuscript, please select the Special Issue "Cutting and Packing" from the list of available special issues on the submission platform and indicate in the cover letter that your paper is intended for this issue.

For questions, feel free to reach out to any of the Guest Editors below.

Best regards,
Ana Moura — ana.moura@ua.pt
António Galrão Ramos — agr@isep.ipp.pt
Elsa Silva — elsa@dps.uminho.pt
José Fernando Oliveira — jfo@fe.up.pt
Guest Editors, ITOR Special Issue on "Cutting and Packing"

[DMANET] [HPDC] CFP: 35th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC)

CALL FOR PAPERS

35th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC)
July 13-16, 2026
Case Western Reserve University, Cleveland, USA
https://hpdc.sci.utah.edu/2026/

The ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC) is the premier annual conference for presenting the latest research on the design, implementation, evaluation, and use of parallel and distributed systems for high-end computing. The 35th HPDC will take place at Case Western Reserve University in Cleveland, Ohio, United States, from July 13 to 16, 2026.

We welcome submissions on high-performance parallel and distributed computing (HPDC) topics, including but not limited to: clouds, clusters, grids, big data, massively multicore, and extreme-scale computing systems. Experience reports of operational deployments that provide significantly novel insights for future research on HPDC applications and systems are also welcome.

Important Dates
January 29, 2026. Abstract Registration (Technical Papers)
February 5, 2026. (Firm) Paper Submission Deadline (Technical Papers)
March 31, 2026. Notification of Acceptance (Technical Papers)

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

Best Regards,
Publicity Chairs of HPDC'26

===================================
Best Regards,
Amir Raoofy
Future Computing Group
Leibniz Supercomputing Centre
Boltzmannstr. 1, 85748 Garching b. München

[DMANET] Post-doc position in Geometric Graph Theory in Grenoble (France)

The Combinatorial Optimization group of Laboratoire G-SCOP in Grenoble, France https://g-scop.grenoble-inp.fr/en/research/combinatorial-optimisation is advertizing a 12 month postdoctoral position on the topic of geometric graph theory (including coarse equivalents of classical graph theorems and parameters, asymptotic minors, coarse embeddings).

Candidates with a background on algorithmic, structural, and/or metric graph theory are welcome to apply. Please don't hesitate to contact louis.esperet@grenoble-inp.fr if you have any question.

The starting date of the position is planned to be in September or October 2026 but can be negotiated. The gross salary will be between 2900 and 3300 euros per months, depending on the candidate's experience (this corresponds to a net pay of approximately 2150-2400 euros per month).

The position is funded by the French ANR project Mimétique on coarse graph theory and the successful candidate will have the opportunity to work with colleagues from LaBRI (Bordeaux), LIRIS (Lyon), IMAG (Montpellier), and LIS (Marseille) on topics of the project. The website of the project is not up yet, but the candidates can either refer to the list of topics included above or ask me by email for the 20p pdf of the whole proposal.

Applications consisting of
* a CV (containing background education and employment, complete list of publications available online, selected list of talks and attended events, supervision experience if any, community service if any)
* a Research statement, 1 or 2 pages (discussing strategy for choosing research projects, interest in one or more topics of the Mimétique project, adequation with current expertise, possibly ongoing projects that are relevant to the application)
* the names, affiliations and emails of two references

should be submitted either on https://grenoble-inp.nous-recrutons.fr/poste/qp68masdlb-chercheur-en-theorie-geometrique-des-graphes-fh/ or https://euraxess.ec.europa.eu/jobs/390525
before December 16, 2025.

[DMANET] Two 4-year PhD student positions in algorithms and complexity at Humboldt-Universität zu Berlin (application deadline is December 5)

Department of Computer Science
Humboldt-Universität zu Berlin

2 PhD student positions in algorithms and complexity
Research Assistant (100% TV-L E 13), 4 years

Two 4-year PhD student positions in algorithms and complexity are
available in the research group of Prof. Stefan Kratsch at the
Department of Computer Science at Humboldt-Universität zu Berlin.
Preferably, the positions start no later than March 1, 2026.

https://haushalt-und-personal.hu-berlin.de/de/personal/stellenausschreibungen/an40625

The positions are full-time for four years and paid according to TV-L E
13. (Salary depends on experience and amounts to at least 4600 Euros per
month before taxes and insurance.)

There is a teaching requirement of 4 hours per week, which will usually
be fulfilled by giving two exercises (tutorials) for lectures such as
"Introduction to TCS" and "Algorithms and Data Structures". These
exercises must be given in German, so at least B2 level in German is a
mandatory requirement.

The PhD students will do research under the guidance of Stefan Kratsch
on topics from algorithms and complexity, especially parameterized
algorithms and kernelization. There will be opportunity for attending
international conferences and having external collaborations. The aim is
to complete and defend a doctoral thesis within the 4 years of contract.

Requirements
• very good Master degree in computer science or mathematics (latest by
end of 2025)
• very good knowledge in algorithms and complexity, exhibited by
completed lectures and the master thesis
• very good language skills in German and English (at least B2 or
equivalent)
• prior experience in teaching, e.g., as a student assistant, is welcome

Duties
• teaching obligation of 4 hours per week during lecture periods
(especially exercises in German)
• research in algorithms and complexity, especially parameterized
algorithms and kernelization

Interested applicants should send their application containing
• a cover letter describing the interest in the position
• a CV
• a copy of the Master thesis
• a copy of your Master certificate and grades
• and optionally names and contact information of two references

in pdf format
by December 5, 2025
to Prof. Stefan Kratsch
stefan.kratsch@hu-berlin.de

Prof. Stefan Kratsch
Department of Computer Science
Humboldt-Universität zu Berlin
Unter den Linden 6
D-10099 Berlin
Germany
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, November 27, 2025

[DMANET] CfP : International Network Optimization Conference 2026 (INOC2026)

INOC 2026 - Call for Papers
===========================

INOC 2026, the International Network Optimization Conference, provides a
forum for researchers in the broad field of network optimization to
present and publish their latest results and ongoing research. INOC is
the conference of the European Network Optimization Group (ENOG), a
working group of EURO, the Association of European Operational Research
Societies. The aim of this conference is to provide conference of the
European Network Optimization Group (ENOG), a working group of EURO. The
conference has been held biennially since 2003, the latest in 2024 at
the University College Dublin (Dublin, Ireland).

INOC 2026 is the 12th conference of this group and will take place at
HEC Liège, the Management School of Liège University, Liège, Belgium,
April 22-24, 2026.

Topics of Interest
------------------

INOC solicits contributions in the broad field of Network Optimization,
from the areas of Mathematical Optimization, Operations Research,
Artificial Intelligence and Graph Theory. Application-oriented network
optimization from areas like Telecommunications, Routing, Smart Grids,
and Logistics are most welcome. Topics include but are not restricted
to:

- AI and Machine Learning for Network Optimization
- Algorithmic Game Theory on Networks
- Approximation Algorithms
- Combinatorial Optimization
- Connectivity Problems
- Graph Algorithms
- Graph Theory
- Heuristics and Meta-heuristics
- Mixed Integer Linear Programming
- Mixed Integer Nonlinear Optimization
- Multi-objective Optimization
- Multicommodity Flows
- Network Design
- Network Flows
- Network Interdiction
- Network Optimization
- Network Reliability
- Path and Tree Problems
- Robust Optimization
- Routing Algorithms
- Smart Grids
- Stochastic Networks
- Supply Chain Network Optimization
- Sustainable Mobility and Transportation
- Telecommunication Networks
- Transportation Networks
- Vehicle Routing

Submission Guidelines
---------------------

INOC accepts both short papers to be published in the proceedings and
extended abstracts to be published at the conference only:

- Short papers describing original work, not yet published or
submitted elsewhere. Short papers can be up to 6 pages (with two
columns) long.
- Extended abstracts describing recent results and ongoing research
can be up to 2 pages long.

All submissions must be formatted with the Latex templates provided and
submitted to https://easychair.org/conferences/?conf=inoc2026.

For short papers, please use the template and style files in
https://www.euro-online.org/inoc2026/cfp/INOC_short_paper_template.zip.

For extended abstracts, use the simple template in
https://www.euro-online.org/inoc2026/cfp/INOC-ext-abstract-template.zip.

Contributions will be peer-reviewed by the Programme Committee. The
proceedings will be published at OpenProceedings. After the conference,
extended papers can be submitted to a special issue of the journal
Networks.

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

Short papers submission deadline January 16
Extended abstracts submission deadline January 30
Notification of acceptance - Short papers January 30
Notification of acceptance - Extended abstracts February 13
Registration deadline March 6
Final version of short papers deadline March 6
Conference April 22-24
Full paper for the special issue of Networks deadline July 31

Contact
-------

You will find information about the conference and venue on the INOC
2026 webpage (https://www.euro-online.org/inoc2026/). If you don't find
the answer there, you can email your questions about INOC 2026 to
inoc2026@euro-online.org.

We look forward to seeing you in Liège!
**********************************************************
*
* 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] Jobs - Now Hiring: Research Positions in AI & Medical Robotics at TU Hamburg

*Now Hiring: Research Positions in AI & Medical Robotics at TU Hamburg*

Our institute, with a long-standing expertise in AI methods for
medicine, is seeking motivated researchers to develop and evaluate deep
learning methods.

Currently, we are looking for three Research Associates for the
following positions:

*Join our team* to develop AI methods for

1) guiding robotic surgery, focusing on prostate tumor localization,
including image processing and robotic instrument localization
https://stellenportal.tuhh.de/fgh8r <https://stellenportal.tuhh.de/fgh8r>

2) guiding the treatment during ear, nose, throat (ENT) surgery,
including image processing to identify tissue types and motion
https://stellenportal.tuhh.de/1tzyr <https://stellenportal.tuhh.de/1tzyr>

3) a mobile robotic setup for autonomous medical examinations, using
point cloud data and ultrasound imaging for navigation
https://stellenportal.tuhh.de/1r1v1 <https://stellenportal.tuhh.de/1r1v1>

*Your profile:*

* Master's degree with excellent grades in computer science or related
fields (e.g., engineering, robotics, applied mathematics),
* Very good programming skills (Python, C++),
* Excellent knowledge of machine learning methods and frameworks,
* Very good understanding of medical image processing,
* Excellent English language and scientific writing skills are
required (at least C1), German is a plus

You will work on an interdisciplinary research project, develop
clinically applicable software to support physicians, and contribute to
clinical studies.

For additional questions, please contact Prof. Alexander Schlaefer
(schlaefer@tuhh.de)

Prof. Dr.-Ing. Alexander Schlaefer

Institute of Medical Technology and Intelligent Systems
Hamburg University of Technology
+49 (0) 40 30601-3050
www.tuhh.de/mtec

[DMANET] Call for Sponsorship: CALDAM 2026

Call for Sponsorship: CALDAM 2026

Sponsors: We invite you to consider partnering with CALDAM 2026 (
https://caldam2026.iitdh.ac.in/home). Your support will help us in
organizing a successful conference like the previous years, and will also
help us in providing financial support to the eleven invited speakers,
student participants, and researchers from under-represented groups.
We look forward to your support this year, and welcoming you to IIT Dharwad
for the event!

Partnership Levels:

1. Platinum Partner: INR 4,00,000

All Diamond privileges and: stickers of the company logo in the
registration kit, a talk slot with participants; assured participation for
a total of 7 members of the company.

2. Diamond Partner: INR 2,50,000

All Gold privileges and: flyer or booklet in the registration kit and up to
3 company slides/posters on displays in the venue; assured participation
for a total of 4 members of the company.

3. Gold Partner: INR 1,50,000

All Silver privileges and: Logo and acknowledgements in the conference
proceedings; assured participation for a total of 2 members of the company.

4. Silver Partner: INR 50,000

Logo on website, physical banners and social media mentions.

Note: We are also open to custom partnership packages and partnership
towards specific kinds of support (e.g, registration kits, travel
scholarships, etc.). Please contact us at caldam2026@iitdh.ac.in

CALDAM 2026 · IIT Dharwad:
The International Conference on Algorithms and Discrete Applied Mathematics
(CALDAM), held under the aegis of the Association for Computer Science and
Discrete Mathematics (ACSDM), brings together researchers working in
algorithms and applied discrete mathematics to provide a high-quality forum
for dissemination and discussion of research results.

Indo-Polish pre-conference school of CALDAM 2026:
It is preceded by an international Indo-Polish pre-conference school where
eight internationally renowned researchers (four from Poland and four from
India) will deliver lectures and interact with students attending the
school. More than 50 students (mostly Masters and PhD students) will be
fully sponsored for attending the school. Relevant participants from local
colleges and institutes will be invited to attend the school free of cost.
This is an excellent opportunity for local students to attend an
international standard school within their geographical area.

The list of speakers for the Indo-Polish pre-conference school of CALDAM
2026 is listed below:

Prof. Andrzej Grzesik, Faculty of Mathematics and Computer Science,
Jagiellonian University, Krakow, Poland.
Prof. Prof. Aniket Basu Roy, Department of Computer Science & Information
Systems, BITS Pilani Goa, India.
Prof. Prof. Monika Pilśniak, Faculty of Applied Mathematics, Department of
Discrete Mathematics, AGH University, Poland.
Prof. Paweł Rzążewski, Faculty of Mathematics and Information Science,
Warsaw University of Technology.
Prof. Prafullkumar Tale, Department of Mathematics, IISER Pune, India.
Prof. Rafał Kalinowski, Faculty of Applied Mathematics, Department of
Discrete Mathematics, AGH University, Krakow, Poland.
Prof. Sasmita Barik, Department of Mathematics, IIT Bhubaneswar, India.
Prof. Sudeshna Kolay, Department of Computer Science and Engineering, IIT
Kharagpur, India.

CALDAM 2026:
The twelfth CALDAM (CALDAM 2026) will be organized by the Department of
Mathematics, Indian Institute of Technology Dharwad (IIT Dharwad) from
09–14 February 2026 (including the pre-conference school).

As in earlier CALDAMs, the proceedings of accepted papers will be published
in the Lecture Notes in Computer Science (LNCS) by Springer. Selected
papers may be invited to a special issue of Theoretical Computer Science
(TCS). As before, Springer is expected to sponsor awards for the best
student presentations. The invited speakers this year include Prof. Andrzej
Dudek, Prof. Sandip Das and Prof. Géza Tóth.

CALDAM 2026 Topics:
Approximation Algorithms; Combinatorial Algorithms; Combinatorial
Optimization; Combinatorics; Combinatorial Geometry; Computational
Complexity; Computational Geometry; Computational Learning Theory; Data
Structures; Discrete Geometry; Experimental Algorithm Methodologies; Graph
Algorithms; Graph Drawing; Graph Theory; Network Optimization; Online
Algorithms; Parallel and Distributed Algorithms; Parameterized Complexity;
Randomized Algorithms; Theoretical Aspects of Machine Learning.

Past Editions:
CALDAM 2025, PSG College of Technology, Coimbatore
CALDAM 2024, Indian Institute of Technology Bhilai
CALDAM 2023, Dhirubhai Ambani Institute of Information and Communication
Technology
CALDAM 2022, Department of Mathematics, Pondicherry University
CALDAM 2021, Department of Computer Science and Engineering, Indian
Institute of Technology Ropar
CALDAM 2020, Department of Computer Science and Engineering, Indian
Institute of Technology Hyderabad
CALDAM 2019, Department of Computer Science Engineering, Indian Institute
of Technology Kharagpur
CALDAM 2018, Department of Computer Science Engineering, Indian Institute
of Technology Guwahati
CALDAM 2017, Department of Mathematics, Birla Institute of Technology and
Science, Pilani, K K Birla Goa Campus
CALDAM 2016, Department of Futures Studies, University of Kerala
CALDAM 2015, Department of Computer Science, Indian Institute of Technology
Kanpur

The proceedings of accepted papers are published in the Lecture Notes in
Computer Science (LNCS) by Springer. Selected papers are typically invited
to a special issue of Theoretical Computer Science (TCS).

Payment Methods
Kindly pay through the secure SBI connect portal after selecting "IIT
Dharwad" in the following link:
https://www.onlinesbi.sbi/sbicollect/icollecthome.htm?corpID=3407756

You may fill in the following details:
- Payment Category: Course/Workshop/Seminar Fee
- Purpose of Payment: CALDAM 2026

Note that the amount paid shall be inclusive of GST at 18% as per GoI rules.

Important: Please send the acknowledge receipt to caldam2026@iitdh.ac.in for
tracking purpose.

Your acknowledgement receipt will be auto generated and sent to you. If
you require any additional document, kindly contact us at
caldam2026@iitdh.ac.in

Theory Announcements

Wednesday, December 3, 2025

[DMANET] The IEEE co-sponsored 2nd International Conference on Artificial Intelligence Systems (AIS 2026) , 12 - 15 May, 2026 | San Antonio, USA.

[DMANET] 1 PhD- and 1 short-time PostDoc-Position in Engineering a Graph Algorithms Library, Uni Rostock (link fixed)

[DMANET] Two (2) Temporary Post-doctoral Researcher Positions in Algorithms – University of Bergen, Norway

[DMANET] PhD Opportunity – Mathematics of Deep Bilevel Learning (University of Southampton)

Tuesday, December 2, 2025

[DMANET] AofA 2026: first call for papers

[DMANET] Three-Year Research Position at Ruhr University Bochum: Collective Algorithmic Recourse within the DFG SPP Programme

[DMANET] =?Windows-1252?Q?[CFP]_Submission_Deadline:_January_18, _2026_=96_The_4th_?= International Workshop on TwinNetApp in conjunction with IEEE ICC 2026 | Glasgow, Scotland, UK

[DMANET] ISAIM 2026: Call for Participation

[DMANET] PhD fellowship in Algorithms at University of Copenhagen

[DMANET] GAMM Annual Meeting 2026 - Abstract deadline on December 8 - Last reminder

[DMANET] PhD position in Formal Verification in Leiden, Netherlands (Emily Yu)

Monday, December 1, 2025

[DMANET] DIMACS Postdoctoral Associate Positions For 2026-2028

[DMANET] Faculty Position in Theory of Computing at Imperial College London

[DMANET] DC Online Resources (IFORS)

[DMANET] CFP Computational optimization

[DMANET] CFP Envirorisks conference

Saturday, November 29, 2025

[DMANET] PODS 2026 Call for Papers (second cycle)

[DMANET] World Wide Women (W^5) in OR

[DMANET] AIces 2026: early registration December 13

Friday, November 28, 2025

[DMANET] Postdoc and PhD positions in combinatorial optimization and/or TCS in Lund

[DMANET] 2nd Call for papers and deadline extension (Dec 15, 2025): 20th International Workshop on Project Management and Scheduling – PMS 2026 - 14-16 april 2026, LAAS-CNRS, Toulouse, France

[DMANET] Extended Submission Deadline – ITOR Special Issue “Cutting and Packing”

[DMANET] [HPDC] CFP: 35th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC)

[DMANET] Post-doc position in Geometric Graph Theory in Grenoble (France)

[DMANET] Two 4-year PhD student positions in algorithms and complexity at Humboldt-Universität zu Berlin (application deadline is December 5)

Thursday, November 27, 2025

[DMANET] CfP : International Network Optimization Conference 2026 (INOC2026)

[DMANET] Jobs - Now Hiring: Research Positions in AI & Medical Robotics at TU Hamburg

[DMANET] Call for Sponsorship: CALDAM 2026

Mailing Lists

Search This Blog

Blog Archive

Wednesday, December 3, 2025

Tuesday, December 2, 2025

Monday, December 1, 2025

Saturday, November 29, 2025

Friday, November 28, 2025

Thursday, November 27, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive