Theory Announcements: 2025

Friday, November 7, 2025

[DMANET] GAMM Annual Meeting, March 16 - 20, 2026

Dear colleagues,

we are pleased to announce the *GAMM Annual Meeting 2026* (website
<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.

Local Chairs:
Prof. Tim Ricken, Prof. Oliver Röhrle

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

--
Alberto De Marchi (he/him)

University of the Bundeswehr Munich
Department of Aerospace Engineering
Institute of Applied Mathematics and Scientific Computing
Werner-Heisenberg-Weg 39, 85577
Neubiberg/Munich, Germany
e-mail:alberto.demarchi@unibw.de
web:https://aldma.github.io

**********************************************************
*
* 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 6, 2025

[DMANET] Workshop `Developments in algorithmic, discrete and tropical geometry' February 2026 in Berlin

Dear colleague,

we would like to bring the workshop `Developments in algorithmic,
discrete and tropical geometry' on the occasion of Michael Joswig's 60th
birthday to your attention. It will take place February 2 to February 4,
2026 at Freie Universität Berlin.

You may find further details on the webpage: https://mathconf.eu/adtg-2026/

To help us with planning, please register until January 03, 2026.
Limited travel funds are available for young researchers (with
application deadline December 15, 2025).

Best regards,
Georg Loho (FU Berlin and University of Twente)
Marta Panizzut (UiT, Norway)
Benjamin Schröter (KTH, Stockholm)

[DMANET] Research software developer role at the University of Glasgow

Dear all,

I am hiring for a research software developer position at the University of Glasgow, which would be particularly suitable for someone with a background in one or more of formal methods, algorithm engineering, constraint programming, Boolean satisfiability, integer programming, etc. This is a technical role, rather than a research position: the salary scale is the same as for a postdoc and the person we hire will be part of my research group, but the position is open to someone either with a relevant PhD or with appropriate industrial programming experience.

https://www.jobs.gla.ac.uk/job/technician-software-developer

The project involves end-to-end verification for constraint programming. The idea is that we'll go from a human-understandable problem description, through a proof-logging constraint programming solver, and to a solution, in such a way that we can be absolutely sure that the solution is correct. As well as being a challenging and fun project, there's a genuine chance that this might go some small way towards making algorithms and artificial intelligence something people can trust.

The position has funding until September 2027 thanks to a grant from ARIA.

Informal enquiries welcome.

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

[DMANET] The 21st Conference on Web and Internet Economics -Early Registration ends November 7

[X]

WINE 2025: The 21st Conference on Web and Internet Economics

December 8 - 11, 2025
Rutgers University Inn and Conference Center, Rutgers University, New Brunswick, NJ

General Chairs:
Arpita Biswas, Rutgers University
Kangning Wang, Rutgers University

Local Organizers:
Shahrzad Haddadan, Rutgers University
David Pennock, DIMACS
Arunesh Sinha, Rutgers University
Xintong Wang, Rutgers University
Lirong Xia, DIMACS

Presented in association with the DIMACS SF on Mechanisms & Algorithms to Augment Human Decision Making<http://dimacs.rutgers.edu/programs/sf/mechanisms>.
*********************************************************************
Conference Announcement:

The Conference on Web and Internet Economics (WINE, originally known as the Workshop on Internet & Network Economics until 2013) is an interdisciplinary platform for exchanging ideas and findings on incentives and computation from these varied fields. The WINE conference has been held annually since its inception in 2005, and WINE 2025 (https://wine2025.cs.rutgers.edu/) will carry on this tradition, taking place on December 8 - 11, 2025, in New Brunswick, USA, and hosted by Rutgers University and the DIMACS Center. WINE 2025 will be an in-person event.

Registration for the conference is now open and early registration deadline is November 7, 2025.

For full details about the conference, please visit the WINE 2025 primary webpage<https://wine2025.cs.rutgers.edu/>.

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

[DMANET] "OR and Ethics and Societal Perspectives", IFORS Conference, 12-17 July 2026, Vienna, Austria

The 24th Conference of the International Federation of Operational Research Societies:

Decision Support for a Sustainable World

12-17 July 2026, Vienna, Austria

[ https://www.euro-online.org/conf/ifors2026/streams | Stream ] [ https://www.euro-online.org/conf/ifors2026/streams | "OR and Ethics and Societal Perspectives" ]

Dear colleague,

We like to welcome you to the 24th Conference of the International Federation of Operational Research Societies

12-17 July 2026 in Vienna, Austria

We have four Sessions (Click on each of the Session Name)

Stream

Session Name

Session chair(s):

Code

OR and Ethics and Societal Perspectives

[ https://www.euro-online.org/conf/ifors2026/edit_session_cluster?sessid=65 | Public Service and Societal Complexity ]

Dorien DeTombe ( doriendetombe@hotmail.com )

Cathal MacSwiney Brugha ( cathal.brugha@ucd.ie )

fcfbbce6

OR and Ethics and Societal Perspectives

[ https://www.euro-online.org/conf/ifors2026/edit_session_cluster?sessid=122 | Ethics and OR in Psychology and Neuroscience ]

Rossen Kazakov ( rkazakov@strateggo.com )

a60618b1

OR and Ethics and Societal Perspectives

[ https://www.euro-online.org/conf/ifors2026/edit_session_cluster?sessid=66 | Digital Philosophy, Academic career models and OR ]

Leonidas Sakalauskas ( leonidas.sakalauskas@mif.vu.lt )

b4ac92ce

OR and Ethics and Societal Perspectives

[ https://www.euro-online.org/conf/ifors2026/edit_session_cluster?sessid=67 | Operations Research and the Common Good (special edition) ]

Cathal MacSwiney Brugha ( cathal.brugha@ucd.ie )

Ulrike Reisach ( ulrike.reisach@hnu.de )

2d5891f9

OR and Ethics, and Societal Perspectives
Stream Organisers: Dorien DeTombe ( doriendetombe@hotmail.com ), Rossen Kazakov ( rkazakov@strateggo.com ), Cathal MacSwiney Brugha ( cathal.brugha@ucd.ie ), Ulrike Reisach ( ulrike.reisach@hnu.de ), Gerhard-Wilhelm Weber ( gerhard-wilhelm.weber@put.poznan.pl )

The link to the Abstract Submission System is https://www.ifors2026.at/home/

You may submit an abstract in one of your preferred organized sessions by inserting the corresponding Session Code and then putting in your abstract (max. 1500 characters).

[ https://www.ifors2026.at/home/ | Important dates & general information ]

1 December 2025 - Opening of abstract submissions

15 March 2026 - Deadline for abstract submissions

25 April 2026 - Early bird registration deadline

25 April 2026 - Final registration deadline for authors

Prof. Dr Dorien DeTombe

Chair EWG Ethics and OR

detombe@nosmo.nl

[DMANET] EuroCG 2026: First Call for Contributions

======================
Call for Contributions
======================

42nd European Workshop on Computational Geometry (EuroCG 2026)
Organized as an event of the Computational Geometry Society
https://computational-geometry.org/

March 25-27, 2026, Hagen, Germany
https://eurocg26.fernuni-hagen.de

EuroCG 2026 will be held from March 25-27, 2026, in Hagen, Germany.
EuroCG is an annual workshop that combines a strong scientific
tradition with a friendly and informal atmosphere. The workshop is a
forum where established researchers and students can meet, discuss
their work, present their results, and establish scientific
collaborations.

===============
Important Dates
===============

- Submission Deadline: January 13, 2026
- Acceptance Notification: February 24, 2026
- Early Registration Ends: March 3, 2026
- Camera-Ready Version: March 10, 2026
- Registration Ends: March 17, 2026
- EuroCG 2026: March 25-27, 2026

All deadlines are 23:59 AoE.

================
Invited Speakers
================

- Maike Buchin (Ruhr University Bochum)
- Jean Cardinal (Université libre de Bruxelles)
- Marcus Schaefer (DePaul University Chicago)

==================
Topics of interest
==================

Topics of interest cover all aspects of computational geometry,
including but not limited to the following:

- discrete and combinatorial geometry and topology,
- design and analysis of geometric algorithms and data structures,
- implementation and experimental evaluation of geometric algorithms,
- numerical and algebraic issues arising from implementations,
- analysis of geometric configurations,
- geometric modeling, visualization and simulation,
- combinatorial optimization,
- graph drawing,
- structural molecular biology,
- geometric puzzle analysis,
- applications of computational geometry,
- geographic information systems,
- robotics and virtual worlds, and
- computer-aided design and manufacturing.

=====================
Submission Guidelines
=====================

We invite authors to submit extended abstracts of their original
research that has not been published before January 1, 2025, and has
not been presented at a previous edition of EuroCG. If a submission
consists of work that has been published already, the submission must
provide the name of the respective conference or journal and the date
of publication. The authors themselves are responsible for ensuring
that they do not violate copyright laws. Already published work may
receive fewer and less detailed reviews.

Submissions will be handled through EasyChair.

Each submission must not exceed 175 lines of text, excluding title,
references, and appendix.

Submissions must be prepared with the LaTeX class files "euroCG26" and
"eurocg26-submission", which are provided at the website
(https://eurocg26.fernuni-hagen.de) and based on the LIPIcs class
file. These class files should automatically count all lines
containing text, excluding title and references, and excluding
figures. Authors are expected to make a reasonable effort to make sure
all lines that contain text are counted: the class file should be
considered an aid, and the responsibility of correctly counting lines
remains with the authors. A zip file containing an example of how to
use the class file can be found at the website.

The main body (of 175 lines) should be self-contained and provide a
clear and succinct description of the main results and an indication
for their correctness. Content that does not fit in the main body due
to space restrictions must be placed in a clearly marked appendix,
which will only be read at the discretion of the program committee.
These rules also apply to submissions concerning already published
papers.

Submissions should contain names and affiliations of authors.

=================
Acceptance Policy
=================

EuroCG is a non-competitive forum and there is no competitive
selection process. We will accept all submissions that are original,
non-trivial, correct, well-presented, and in scope. Submissions must
satisfy all five criteria. Failing to comply with any of these may
lead to rejection.

In particular, a submission may be rejected
- if it does not contain original research by the authors, or if there
is good reason to believe that this is the case, or
- if it contains a main result with an erroneous proof, or if the
provided material is insufficient to establish the correctness of the
results (however, acceptance at EuroCG does not guarantee
correctness), or
- if it is unreadable, or does not follow the submission guidelines
provided above.

===========
Proceedings
===========

EuroCG does not have formally reviewed proceedings. A booklet of
abstracts, without an ISBN, will be accessible online on the website
for the benefit of the community. It must be regarded as a collection
of preprints rather than a formally reviewed selection of papers.
Results presented at EuroCG are expected to appear (or have appeared)
in other conferences with formal proceedings and/or in journals.

Authors of selected papers will be invited to submit an extended
version to a special issue of the Computing in Geometry and Topology
(CGT) journal.

There will also be a vote for the Best Student Presentation Award.

=====================
Conference Attendance
=====================

EuroCG is dedicated to providing an environment that is free from
harassment, bullying, discrimination, and retaliation for all
participants. Following the decision made at EuroCG 2024
(https://www.computational-geometry.org/eurocg/policies/), EuroCG is
organized as an event of the CG Society
(https://www.computational-geometry.org) and only members of the CG
Society may attend EuroCG 2026. Society membership is free of charge.
All members of the CG Society are bound by its Code of Conduct
(https://computational-geometry.org/society/code-of-conduct/).

EuroCG is an in-person event and all presentations are expected to be
given on site. At least one author of each accepted contribution must
attend EuroCG (as a member of the CG Society) and present the work. If
no author attends, the contribution may be removed from the program,
the booklet of abstracts, and the conference website.

=================
Program Committee
=================

Mikkel Abrahamsen (University of Copenhagen)
Eyal Ackermann (University of Haifa)
Hugo Akitaya (University of Massachusetts Lowell)
Erin E. W. Chambers (University of Notre Dame)
Simon D. Fink (University of Vienna)
Henry Förster (TU Munich)
Thekla Hamm (Eindhoven University of Technology)
Katharina Klost (Freie Universität Berlin)
Jan Kratochvíl (Charles University)
Giuseppe Liotta (University of Perugia)
André Nusser (Inria Centre at Université Côte d'Azur)
Eunjin Oh (POSTECH: Pohang University of Science and Technology)
Evanthia Papadopoulou (Università della Svizzera italiana)
Irene Parada (UPC: BarcelonaTech)
Carolin Rehs (TU Dortmund University)
Christian Rieck (University of Kassel)
Jonathan Rollin (FernUniversität in Hagen)
Maria Saumell (Charles University)
Christian Scheffer (Bochum University of Applied Sciences)
Lena Schlipf - co-chair (University of Tübingen)
Christiane Schmidt (Linköping University)
Patrick Schnider (ETH Zurich and University of Basel)
André Schulz - co-chair (FernUniversität in Hagen)
Michiel Smid (Carleton University)
Frank Staals (Utrecht University)
Alexandra Weinberger (FernUniversität in Hagen)
Carola Wenk (Tulane University)
Alexander Wolff (University of Würzburg)
Yelena Yuditsky (Université libre de Bruxelles)
Ji Zeng (Rényi Institute)

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

Julia Oppermann (FernUniversität in Hagen)
Jonathan Rollin - co-chair (FernUniversität in Hagen)
André Schulz (FernUniversität in Hagen)
Alexandra Weinberger - co-chair (FernUniversität in Hagen)

Wednesday, November 5, 2025

[DMANET] OneMath World School 2026 - Introduction to Topological Data Analysis | Feb 20-28, 2026

Dear Colleagues,

We are pleased to announce the event "Introduction to Topological Data
Analysis" to be held from February 20-28, 2026 at the FC Kohli Center,
Chennai Mathematical Institute. This event is part of OneMath World School
<https://www.birs.ca/announcements/2025-05-28/Onemath-World-School>, a BIRS
<https://www.birs.ca/> initiative and the first of its kind.

This program offers a practical, hands-on introduction to TDA methods with
an emphasis on real-world applications. It is designed for Master's and PhD
students, postdocs, and early-career researchers in Mathematics and
Computer Science interested in exploring this emerging field.

Program Highlights

Boot Camp (Feb 20–21): Basics of classification algorithms, Python
coding, and applied topology
-

Mini Courses (Feb 23–26): Persistent homology, Mapper algorithm,
topological machine learning, and applications
-

Group Projects (Feb 27–28): Real-world problems in image analysis, time
series, and robotics

Confirmed Speakers
•Henry Adams (University of Florida) • Vijay Natarajan (IISc Bangalore) •
Steve Oudot (Inria Saclay)

•Bastian Rieck (University of Fribourg, *online*) • Bei Wang (University
of Utah, *online*) • D. Yogeshwaran (ISI Bangalore)

Participation is limited to 40 participants. For more details and
registration, please visit:
https://www.cmi.ac.in/~pdeshpande/tda_omws_2026.html

We encourage you to share this announcement with interested students and
colleagues.

Best regards,
The Local Organizers
Priyavrat Deshpande, Vijay Natarajan, and Siddharth Pritam

[DMANET] Salomaa Prize 2026: call for nominations

CALL FOR NOMINATIONS FOR SALOMAA PRIZE 2026

The Salomaa Prize in Automata Theory, Formal Languages, and Related Topics is awarded annually at the conference DLT (Developments in Language Theory). It consists of the diploma and the prize of 2000 Euros donated by the University of Turku.

The award is given to a distinguished researcher for her/his fundamental achievements in automata theory and related topics. The achievement might be a single article, a series of articles, or broader impact on the theory. The main criterion is the scientific excellence of the work.

The Salomaa Prize 2026 will be awarded at DLT 2026 in Rouen, France.

The deadline for nomination is January 31, 2026. Nominations, which consist of a description of the nominee's work and rationale for the award, signed by at least two recognized researchers, should be sent by electronic mail to the chair of the selection committee:
Jürgen Dassow, University of Magdeburg, dassow@iws.cs.uni-magdeburg.de

For all further information, see the guidelines on the Salomaa Prize website:
https://math.utu.fi/salomaaprize/
**********************************************************
*
* 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] University Assistant (PostDoc) in the field of combinatorial probability at TU Graz

The Institute of Discrete Mathematics at TU Graz is looking to hire a University Assistant (PostDoc) in the field of combinatorial probability. The contract duration is 72 months, starting March 2026.

Admission Requirements: PhD in mathematics

Desired Qualification:

* Solid knowledge and research experience in the fields analytic combinatorics and analysis of random discrete structures
* Ability and willingness to conduct independent research in the above mentioned fields
* Very good knowledge of German (required for teaching from the very beginning) and very good knowledge of English
* Experience with teaching mathematics, in particular classes for engineering students
* Experience with teaching classes with a large number of participants

Application deadline 5 December 2025. For more details and a link to the application form, see the TU Graz Job Portal:

https://jobs.tugraz.at/de/jobs/8d4fe3f9-da7f-3e58-4142-68f9d4493d5b

[DMANET] Extended Paper Submission Deadline: EvoMUSART 2026 (15th International Conference on AI in Music, Sound, Art & Design)

Extended Paper Submission Deadline: 15th International Conference on
Artificial Intelligence in Music, Sound, Art & Design (EvoMUSART) · Please
distribute · Apologies for cross-posting
------------------------------------------------

The 15th International Conference on Artificial Intelligence in Music,
Sound, Art and Design (EvoMUSART) will take place on 8–10 April 2026, in
Toulouse, France, as part of the evo* event.

*EvoMUSART webpage:* www.evostar.org/2026/evomusart
*Extended Submission Deadline:* 15 November 2025 AoE
*Conference: *8-10 April 2026
*Location:* Toulouse, France

EvoMUSART is a multidisciplinary conference that brings together
researchers who are working on the application of Artificial Neural
Networks, Evolutionary Computation, Swarm Intelligence, Cellular Automata,
Alife, and other Artificial Intelligence techniques in creative and
artistic fields such as Visual Art, Music, Architecture, Video, Digital
Games, Poetry, or Design.

This conference offers researchers and practitioners in the field an
opportunity to present, promote, and discuss ongoing work in these areas.

Submissions must be at most *14 pages in Springer LNCS format (excluding
references)*. Each submission must be anonymised for a double-blind review
process.

Accepted papers will be presented orally or as posters at the event and
included in the EvoMUSART proceedings published by Springer Nature in a
dedicated volume of the Lecture Notes in Computer Science series.

Indicative topics include, but are not limited to:

- Systems that create drawings, images, animations, sculptures, poetry,
text, designs, webpages, buildings, *etc.;*
- Systems that create musical pieces, sounds, instruments, voices, sound
effects, sound analysis, *etc.;*
- Systems that create artefacts such as game content, architecture,
furniture, based on aesthetic and functional criteria;
- Robotic-based Evolutionary Art and Music;
- Other related artificial or generative techniques in the fields of
Computer Music, Computer Art, *etc.*
- Techniques for automatic fitness assignment;
- Systems in which an analysis or interpretation of the artworks is used
in conjunction with artificial intelligence techniques to produce novel
objects;
- Systems that resort to artificial intelligence approaches to perform
the analysis of image, music, sound, sculpture, or some other types of
artistic object or resource.
- Systems in which artificial intelligence is used to promote the
creativity of a human user;
- New ways of integrating the user in the evolutionary cycle;
- Analysis and evaluation of: the artistic potential of biologically
inspired art and music; the artistic processes inherent to these
approaches; the resulting artefacts;
- Collaborative distributed artificial art environments;
- Contextualisation of creative AI in cultural, economic, social,
political or ecological discourse;
- Computational Aesthetics, Experimental Aesthetics; Emotional Response,
Surprise, Novelty;
- Representation techniques;
- Surveys of the current state-of-the-art in the area; identification of
weaknesses and strengths; comparative analysis and classification;
- Validation methodologies;
- Studies on the applicability of these techniques to related areas;
- New models designed to promote the creative potential of biologically
inspired computation.

More information on the submission process and topics:
www.evostar.org/2026/evomusart

Papers published in previous editions of evoMusArt:
https://evomusart-index.dei.uc.pt

We look forward to seeing you at EvoMUSART 2026 in Toulouse!

The EvoMUSART 2026 organisers
Penousal Machado
Juan J. Romero
Sérgio M. Rebelo (publication chair)

[DMANET] Postdoc position in combinatorics

A Postdoc position is available at the University of Passau, Germany, starting 1 October 2026 (exact starting date negotiable).
The successful candidate will be part of the Discrete Mathematics group led by Stefan Glock.

https://www.fim.uni-passau.de/en/discrete-mathematics/

The position is initially for one year, with the option of renewal, and is remunerated in accordance with pay grade 13 of the German public-sector collective agreement TV-L. The position will be part of the Emmy Noether junior research group "Structure and randomness in extremal combinatorics".

The ideal candidate has a strong background in discrete mathematics, in particular in extremal and probabilistic combinatorics. Knowledge of the German language is not required.
If you have any further questions about this position, please contact Stefan Glock by e-mail (stefan.glock@uni-passau.de<mailto:stefan.glock@uni-passau.de>).

To apply, please e-mail your full application attached in a single pdf file to Gislinde Oberländer (gislinde.oberlaender@uni-passau.de) by no later than 24 November 2025.
Your application should contain:

- cover letter
- CV
- list of publications
- research statement
- certificates and transcripts
- name, affiliation, and email address of two or three references.

The official advertisement (in German language) may be found here:

https://www.uni-passau.de/fileadmin/dokumente/beschaeftigte/Stellenangebote/2025_11_WM_Prof_Glock.pdf

---

Stefan Glock

[DMANET] Ph.D. positions in distributed protocols and concurrency, University of Bern

Ph.D. positions in computer science, with focus on distributed protocols,
concurrency, and blockchain

Cryptology and Data Security Group, University of Bern

Multiple Ph.D. positions are available in the Cryptology and Data
Security research group at the Institute of Computer Science,
University of Bern, led by Christian Cachin.

Our research addresses all aspects of security in distributed systems,
especially cryptographic protocols, consistency, consensus, and
cloud-computing security. We are particularly interested in
blockchains, distributed ledger technology, cryptocurrencies, and their
security and economics. Please explore crypto.unibe.ch to learn
more about our research topics. We are part of IC3: The Initiative
for Cryptocurrencies and Contracts (https://www.initc3.org/).

These positions concern smart contracts running on blockchains with a
cryptocurrency, blockchain consensus protocols, transactions, and
concurrent execution of programs. Candidates are expected to
investigate novel methods and protocols for scaling blockchains.

Candidates should have a strong background in computer science. They
should like conceptual, rigorous thinking for working theoretically, or
be interested in building innovative systems for working practically.
Demonstrated expertise in concurrent systems, distributed computing,
security, or blockchain technology is a plus. Applicants must hold a
master degree in computer science or a closely related research field
and ideally have already gained experience in the relevant research
areas.

The positions are available starting 1 March 2026 and run for up to
four years. The positions come with a competitive salary and are
governed by the [1] rules for doctoral studies and the [2] doctoral
agreement at the University of Bern. The University of Bern conducts
excellent research and lives up its vision that "Knowledge generates
value". The city of Bern lies in the center of Switzerland, it offers a
high quality of life and provides rich cultural and outdoor activities.

If you are interested, please apply by sending email with **one single
PDF file** and subject line set to **Application for Ph.D.** addressed
directly to Prof. Christian Cachin at **crypto.inf (at) unibe.ch.**
Applications received before November 15th will receive full
consideration, and the selection process runs until suitable candidates
have been found.

Your application should include:
* Cover letter, explaining your motivation.
* Curriculum vitae.
* Transcript of studies.
* Contact information for one or two references.

Since we receive many applications, we encourage you to include
material that demonstrates your interests and strengths and sets you
apart from others.

For more information, please contact Christian Cachin
(https://crypto.unibe.ch/cc/).

November 2025

Links

[1] https://www.unibe.ch/studies/programs/doctorate/doctoral_degree/index_eng.html

[2] https://www.unibe.ch/studies/programs/doctorate/doctoral_degree/doctoral_agreement/index_eng.html

[DMANET] Postdoc position at the University of Bern

Postdoc position in computer science, with focus on distributed protocols,
concurrency, and blockchain

Cryptology and Data Security Group, University of Bern

A postdoc position is available in the Cryptology and Data Security
research group at the Institute of Computer Science, University of
Bern, led by Christian Cachin.

This position concerns smart contracts running on blockchains with a
cryptocurrency, blockchain consensus protocols, transactions, and
concurrent execution of programs. The candidate is expected to develop
novel methods and protocols for scaling blockchains.

Candidates should have a strong background in computer science. They
should like conceptual, rigorous thinking for working theoretically, or
be interested in building innovative systems for working practically.
Demonstrated expertise in concurrent systems, distributed computing,
security, or blockchain technology is a plus. Applicants must hold a
Ph.D. in computer science (or obtain it before the position starts) and
ideally have contributed to the relevant research areas.

This position is available starting 1 March 2026 for a two-year period
with possible extension. The position comes with a competitive salary
and is governed by the [1] employment rules and the [2] agreement for
postdoctoral researchers at the University of Bern. The University of
Bern conducts excellent research and lives up its vision that
"Knowledge generates value". The city of Bern lies in the center of
Switzerland, it offers a high quality of life and provides rich
cultural and outdoor activities.

If you are interested, please apply by sending email with **one single
PDF file** and subject line set to **Application for Postdoc** addressed
directly to Prof. Christian Cachin at **crypto.inf (at) unibe.ch.**
Applications received before November 15th will receive full
consideration, and the selection process runs until suitable candidates
have been found.

Your application should include:
* Cover letter, explaining your research interests and motivation.
* Curriculum vitae.
* List of publications, software repositories, and further
contributions.
* Contact information for two references.

Since we receive many applications, we encourage you to include
material that demonstrates your interests and strengths and sets you
apart from others.

For more information, please contact Christian Cachin
(https://crypto.unibe.ch/cc/).

November 2025

Links

[1]. https://www.unibe.ch/research/services/academic_career_planning/career_steps/after_the_doctorate/post_doc/index_eng.html

[2] https://www.unibe.ch/unibe/portal/content/e152701/e322683/e325053/e916384/ul_rgl_postdoc_en_ger.pdf

[DMANET] Two PhD Positions in Computational Topology and Geometry at TU Graz

Graz University of Technology offers two PhD positions in the Institute
of Geometry. The research area is computational geometry and topology.
Possible topics include topological data analysis, connections of
discrete geometry and topology, design and analysis of algorithms in
computational topology.

We offer a 4-year university assistant position (30 h/week) with a net
salary of approximately 29,000 EUR per year. The earliest starting date
for both positions is Feb 1 2026.

We are looking for outstanding students with a master's degree in
Mathematics/Computer Science or a closely related field. Knowledge in at
least one of the fields computational geometry or computational topology
is a plus. Basic knowledge in algebraic topology, theoretical computer
science, and programming skills, in particular in C++ or python, are
also desirable.

The position includes teaching duties as teaching assistant, both for
students of mathematics and others. The ability to teach in English is
required. Being able to teach in German is an advantage.

The application deadline is Dec 4 2025. Applications must be send via
the online system. The link below contains more information on the
position and a link to the application form.

https://jobs.tugraz.at/en/jobs/6c8cf725-46ab-6433-5fbd-68fb653c632b

Please include the following in your application:
* a letter of application and motivation
* a detailed curriculum vitae
* a recent academic transcript
* a copy of the master thesis (or a current draft)
* a reference letter (for instance, by the Master thesis supervisor -
can be sent separately)
* email addresses of additional references (if applicable)

Further questions regarding the positions should be directed to Michael
Kerber (kerber@tugraz.at).
**********************************************************
*
* 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, November 4, 2025

[DMANET] Two 4-year PhD student positions in algorithms and complexity at Humboldt-Universität zu Berlin

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

[DMANET] PhD position in Algorithms and Extremal Combinatorics at the University of Bergen

There is a vacancy for a PhD Research Fellow in Algorithms and Extremal Combinatorics at the Department of Informatics of the University of Bergen, Norway. The position is for a fixed-term period of 3 years with the possibility of a 4th year with career-promoting work (e.g., teaching at the Department). The position is subject to financing by the Research Council of Norway (NFR) grant 355137 "From Extremal Combinatorics to Algorithms and Back".

This project bridges two foundational fields in computer science and mathematics: Theory of Algorithms and Extremal Combinatorics. By integrating these areas, the project seeks to develop innovative computational techniques and theoretical insights that extend the frontiers of both fields. It focuses on leveraging recent breakthroughs that combine algorithmic approaches with classical results in extremal combinatorics. The anticipated outcomes are twofold: advancing state-of-the-art parameterized and approximation algorithms to address challenging computational problems with high efficiency, and formulating new stability theorems in extremal combinatorics, driven by practical algorithmic applications.

For the position, we are looking for a researcher who will contribute to the success and visibility of the project. A successful candidate for this position will conduct research within algorithms and extremal combinatorics, as well as interact with other members of the algorithms research group. We are looking for excellent candidates with a background and experience in one or more of the following areas: graph algorithms, parameterized complexity, approximation algorithms, extremal combinatorics, structural graph theory, and related fields.

Qualifications and personal qualities

- Applicants must hold a master's degree or equivalent education in Mathematics (Combinatorics and/or Discrete Mathematics) or Computer Science (Algorithms). Master students can apply, provided they complete their final master's exam before 31.07.2026. It is a condition of employment that the master's degree has been awarded.)
- Competence in Discrete Mathematics and Algorithms is a requirement.
- Competence in Extremal Combinatorics and/or Parameterized Complexity is an advantage.
- A solid publication record at the top Computer Science conferences, such as STOC, FOCS, SODA, ICALP, ESA, or high-ranked journals, like TALG, JCTB, Combinatorica, or equivalent top venues, is an advantage.
- Applicants must be able to work independently and in a structured manner and demonstrate good collaborative skills.
- Applicants must have good written and oral English skills.
- Personal and relational qualities will be emphasized.
- Research experience, ambitions, and potential will also count when evaluating the candidates.

The application deadline is February 1, 2026.

For more details about the position and the application process, please see the official advertisement: https://www.jobbnorge.no/en/available-jobs/job/287363/phd-research-fellow-in-algorithms-and-extremal-combinatorics <https://www.jobbnorge.no/en/available-jobs/job/287363/phd-research-fellow-in-algorithms-and-extremal-combinatorics>

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

[DMANET] Call for applications for an FSMP postdoctoral fellowship with the Theory and Algorithmics of Graphs team (IRIF, Université Paris Cité)

🟢 *Call for applications for an FSMP postdoctoral fellowship with the
Theory and Algorithmics of Graphs team (IRIF, Université Paris Cité)*
------------------------------
The *Fondation Sciences Mathématiques de Paris (FSMP)* has opened its
*2025–2026
postdoctoral call*:

👉 https://sciencesmaths-paris.fr/en/nos-programmes/postdocs

The *Graph Theory and Algorithms group* (IRIF, Université Paris Cité) is
looking for *candidates interested in applying to this program with our
team*.

Our research focuses on *structural graph theory*, *structural parameters*
and *graph decompositions*, *coloring problems*, *parameterized and
fine-grained complexity*, as well as *approximation algorithms* for graph
problems, *problems in P* (ex. graph search), *geometric and temporal
graphs*, *connections between logic and graphs* and *combinatorial games on
graphs*.

⚠️ Interested candidates must:

*Identify a member of the group whose research aligns with theirs*
and *contact
them directly* to prepare a research proposal and the FSMP support
letter.
2.

*Get in touch with them by November 20, 2025*, well before the *official
FSMP application deadline* on *December 1, 2025 (11:59 PM, Paris time)*.
3.

*Not have defended their PhD in a founding or partner institution of the
FSMP* (full list here: https://sciencesmaths-paris.fr/en/fsmp
-en/institutions-labos).

*Selection and funding* are handled entirely by the FSMP.
👉 Learn more about our group:https://www.irif.fr/en/equipes/graphes/index

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

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

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

Monday, November 3, 2025

[DMANET] Karlsruhe High Quality Graph Partitioning

Release of KaHiP v3.21
------------------------------------

We are proud to announce the release of an extension of our graph
partitioning framework KaHiP (Karlsruhe High Quality Graph
Partitioning). KaHiP is a family of high quality graph partitioning
programs. It contains various graph partitioning algorithms that can be
configured to either achieve the best known partitions for many standard
benchmark instances or to be a good tradeoff between partition quality
and running time.

***
In this release, we now provide Python support, e.g. KaHIP can be
install and used via ``pip install kahip''.
***

The code is available under MIT Licence.

* github link
https://github.com/KaHIP/KaHIP

We are glad for any comments, stars and error reports (or even bug
fixes) that you send us.

Christian Schulz

[DMANET] PhD Opportunity – Explainable AI - University of Manchester & Manchester Airports Group

Dear colleagues,
We invite applications for a fully funded PhD studentship within the UKRI AI Centre for Doctoral Training (CDT) in Decision-Making for Complex Systems<https://www.ai-decisions-cdt.ac.uk/>, a joint initiative between the University of Manchester and the University of Cambridge.

Project title: Explainable AI for Passenger Flow and Commercial Decision-Making in Complex Airport Systems

Supervisors: Professor Julia Handl<https://research.manchester.ac.uk/en/persons/julia.handl> and Dr Ali Hassanzadeh<https://research.manchester.ac.uk/en/persons/ali.h> (University of Manchester)

Industry partner: Manchester Airports Group (MAG<https://www.magairports.com/>)

Application deadline: 5 December 2025

This project will develop advanced AI methods to support decision-making in complex, data-rich environments. Using large-scale, aggregated, and anonymised data from airport operations, retail transactions, and passenger movement, the research will focus on:

*
Modelling multi-modal spatio-temporal data under uncertainty
*
Developing explainable and probabilistic AI models (e.g., graph neural networks, Bayesian deep learning)
*
Building simulation-based decision support frameworks for operational and commercial optimisation

The successful candidate will work closely with MAG's data analytics team, gaining access to a unique real-world dataset and contributing to both academic and applied outcomes.
Applicants should hold (or expect to obtain) a first-class or upper second-class degree (or equivalent) in computer science, data science, engineering, or a related discipline, and have a strong interest in machine learning and AI for decision-making.
For further information and application details, please visit this link<https://www.findaphd.com/phds/project/explainable-ai-for-passenger-flow-and-commercial-decision-making-in-complex-airport-systems/?p177088> or email Ali Hassanzadeh at Ali.H@manchester.ac.uk.
Application Details:
https://www.findaphd.com/phds/project/explainable-ai-for-passenger-flow-and-commercial-decision-making-in-complex-airport-systems/?p177088
AI CDT website:
https://www.ai-decisions-cdt.ac.uk/

------------------
Ali Hassanzadeh, PhD | Assistant Professor in Management Science
Alliance Manchester Business School<https://www.alliancembs.manchester.ac.uk/research/management-sciences-and-marketing/>, The University of Manchester<https://www.manchester.ac.uk/>
ali.h [AT] manchester.ac.uk | Website<https://www.research.manchester.ac.uk/portal/ali.h.html>

[cid:632a355e-dd13-4e4e-970a-86b21c2c85ca]<https://outlook.office.com/bookwithme/user/ad1d956715ef4de795c8215dc7ce7469@manchester.ac.uk?anonymous&ep=bwmEmailSignature>
Book time to meet with me<https://outlook.office.com/bookwithme/user/ad1d956715ef4de795c8215dc7ce7469@manchester.ac.uk?anonymous&ep=bwmEmailSignature>

[DMANET] Open positions (WASP PhD student, postdoc, and ELLIIT research engineer) at Reasoning and Learning Lab, Linköping University, Sweden

I am looking for great people to join my lab. We are a dynamic,
interdisciplinary and excellent research environment in AI, ML, MAS, and
autonomous systems making significant scientific contributions and
publishing in high impact venues. Linköping is a growing AI cluster
combining research excellence in AI, about AI, and with AI together with
top-level research infrastructure including Berzelius (NVIDIA SuperPod),
Arrhenius (EuroHPC), and Mimer (AI Factory).

WASP PhD student in AI and cyber security:
https://liu.se/en/work-at-liu/vacancies/27831
AI4x Postdoc in AI/ML and Material Science:
https://liu.se/en/work-at-liu/vacancies/27826
ELLIIT Research Engineer in Large-Scale AI:
https://liu.se/jobba-pa-liu/lediga-jobb/27799

Please spread!

Cheers,
Fredrik
**********************************************************
*
* 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] GOL'26: New deadline November 10th. CFP “Emerging trends, challenges and innovations in transportation and logistics”

Dear Colleagues,
we are organizing an invited session titled "*Emerging trends, challenges
and innovations in transportation and logistics*" at the 8 th International
Conference on Logistics Operations Management-GOL'26- May 07–09, 2026, FEZ,
Morocco.
This special session aims to explore and disseminate recent theoretical
advances, technical applications, case studies and results related to the
modeling, optimization and resolution of problems on transportation and
logistics, highlighting the latestdevelopments to address the evolving
complexities
in managing the system.
We welcome research addressing these critical topics and emerging
challenges that are driving the transportation and logistics sector in
unexplored directions.
Topics under this session include (but not limited to)

- Green and sustainable transportation
- Resilience and risk management under disruption
- Infrastructure and policy innovations
- Collaborative and decentralized logistics
- Digital transformation in logistics and transportation
- Automated and AI-driven logistics
- Integrated multi-stakeholder systems
- Emerging issues in City Logistics
- Revenue management in logistics and transportation

To submit your paper of 6-10 pages please visit the Sciencesconf platform
at https://gol26.sciencesconf.org/.
All accepted papers will be published in the GOL'2026 book within Springer
and submitted for consideration to SCOPUS, and DBLP.
For further information, please do not hesitate to contact us.
Best wishes, and we look forward to seeing you soon!

The Session Chairs:

Prof. Maria Elena Bruni (mariaelena.bruni@unical.it)
Prof. Ioana Bilegan (ioana.bilegan@uphf.fr)
Prof. Guido Perboli (guido.perboli@polito.it)

-------------------------------------------------------------
Maria Elena Bruni
Associate Professor of Operations Research
University of Calabria (Italy)
Associate Member
Centre Interuniversitaire de Recherche sur les Réseaux d'Entreprise, la
Logistique et le Transport, CIRRELT, Montreal
Scopus <https://www.scopus.com/authid/detail.uri?authorId=14040099200>
-------------------------------------------------------------

[DMANET] [DMD2026] Discrete Mathematics Days 2026 - first announcement

Discrete Mathematics Days 2026 - First announcement

The Discrete Mathematics Days 2026 (DMD 2026) will be held at the
University of Granada, Spain from 29 June to 1 July 2026.

The main focus of this international conference is on current topics in
Discrete Mathematics, including (but not limited to):
- Coding Theory and Cryptography.
- Combinatorial Number Theory.
- Combinatorics.
- Discrete and Computational Geometry.
- Discrete Optimization.
- Graph Theory.
- Theoretical Computer Science.

The previous four editions were held in Alcalá de Henares in 2024
(https://dmd2024.web.uah.es), Santander in 2022 (postponed from 2020,
https://dmd2022.unican.es), Sevilla in 2018
(https://web.archive.org/web/20190417002813/http://congreso.us.es/dmd2018/)
and Barcelona in 2016
(https://web.archive.org/web/20170504215505/http://discretemath.upc.edu/jmda16),
inheriting the tradition of the Jornadas de Matemática Discreta y
Algorítmica (JMDA), the Spanish biennial meeting on Discrete Mathematics
started in 1998.

The program consists of four plenary talks, a number of shorter
contributed talks in two parallel sessions, and a poster session. The
plenary speakers are:

- Martina Juhnke (Universität Osnabrück)
- Kolja Knauer (Universitat de Barcelona)
- Lisa Sauermann (Universität Bonn)
- Dimitrios Thilikos (LIRMM, Montpellier)

The important dates are the following.

- Deadline for submitting extended abstracts: 7 April 2026 (23:59 CET)
- Communication of acceptance: 15 May 2026
- Deadline for submitting final versions of accepted contributions: 29
May 2026
- Deadline for early registration: 29 May 2026

A call for contributed talks and posters will be open soon. They will be
reviewed and approved by the Scientific Committee, consisting of:

- Aida Abiad, Eindhoven University of Technology (TU/e), Vrije
Universiteit Brussel.
- Marie Albenque, Université Paris Cité, CNRS.
- Julia Böttcher, London School of Economics and Political Science.
- Maria Bras-Amorós, Universitat Politècnica de Catalunya.
- Vida Dujmović, University of Ottawa.
- Alberto Espuny Díaz, University of Heidelberg.
- Delia Garijo (co-chair), Universidad de Sevilla.
- Andrew Goodall, Charles University.
- Gyula Károlyi, Eötvös Loránd University and Renyi Institute Budapest.
- Daniel Král', Leipzig University, Max Planck Institute for Mathematics
in the Sciences.
- Amanda Montejano, Universidad Nacional Autónoma de México.
- Eran Nevo, Universidad de Valladolid, Hebrew University.
- Marc Noy, Universitat Politècnica de Catalunya.
- Guillem Perarnau (co-chair), Universitat Politècnica de Catalunya.
- Gelasio Salazar, Universidad Autonoma de San Luis Potosi.
- Francisco Santos, Universidad de Cantabria.
- Alex Scott, University of Oxford.
- Julia Wolf, University of Cambridge.

A limited number of accommodation grants will be available for graduate
and PhD students presenting a talk or poster at the conference.

For more information please visit the conference website
https://dam-network.github.io/dmd2026

Sincerely,

The organising committee, consisting of:

- Pedro A. García-Sánchez, University of Granada, Spain (chair)
- Javier Lobillo Borrero, University of Granada, Spain
- Aureliano M. Robles-Pérez, University of Granada, Spain
- Evangelina Santos Aláez, University of Granada, Spain

PS: Apologies for possible multiple posting.

-- DMD 2026https://dam-network.github.io/dmd2026/

Sunday, November 2, 2025

[DMANET] 3-year postdoc in Freiberg connected to Lean

The Discrete Structures Group of Prof Johannes Carmesin is inviting
applications for a postdoc position that takes a leading role in the
ProofBench project, which develops a benchmark suite for evaluating AI
theorem provers.

To apply send a CV by email to "johannes.carmesin@gmail.com" and
additionally please follow the instructions at
https://tu-freiberg.de/media/18526/download

Duration: 3 years
Where: TU Freiberg, Germany
Application deadline: December 1st 2024 (extended)
Starting date: as soon as possible
Further information: https://j-carmesin.github.io/
**********************************************************
*
* 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, November 1, 2025

[DMANET] PIMS Postdoctoral Fellowship in Combinatorics at the University of Victoria

Dr. Natasha Morrison and Dr. Jonathan Noel are seeking candidates in the area of combinatorics to nominate for a Postdoctoral Fellowship from the Pacific Institute for the Mathematical Sciences (PIMS) to be held at the University of Victoria in Canada. If the nomination is successful, the salary will be at least $60,000 CAD. A small number of top applicants across all PIMS member universities and areas of mathematics will also receive a PIMS Simons Award of $10,000 CAD. The fellowship is for one year and is renewable, contingent on satisfactory progress, for an additional year. The starting date is flexible and may be July 1, 2026 or later.

Applications should be submitted through MathJobs at this link before November 15, 2025: https://www.mathjobs.org/jobs/list/27167. Interviews will take place during the second half of November. Candidates selected for nomination will then be directed to resubmit their application to PIMS for the second stage of the process by December 1. Informal inquiries can be made by e-mail to Natasha Morrison (nmorrison@uvic.ca) and Jonathan Noel (noelj@uvic.ca).

The University of Victoria has a thriving Discrete Mathematics Group with 5 research faculty, 2 teaching faculty, 4 adjunct faculty, 1 postdoc, an enthusiastic cohort of graduate and undergraduate research students, and a weekly seminar. We strongly value the experiences and qualities that people from diverse backgrounds bring to the group. As such, we particularly encourage applications from members of groups underrepresented in mathematics. An equity, diversity, and inclusion statement highlighting your experiences, current contributions and future plans for advancing EDI in mathematics will be required at the second stage of the process. We encourage candidates to include such a statement in the first stage application as well.

More information:
Mathjobs Link: https://www.mathjobs.org/jobs/list/27167
PIMS Postdoctoral Fellowships: https://www.pims.math.ca/programs/scientific/postdoctoral
Natasha Morrison: https://web.uvic.ca/~nmorrison/
Jonathan Noel: https://jonathannoel.ca/
UVic Math and Stats Department: https://www.uvic.ca/science/math-statistics/index.php
UVic Discrete Math Group: https://www.uvic.ca/science/math-statistics/research/home/discrete-math/index.php
UVic Discrete Math Seminar: https://www.uvic.ca/science/math-statistics/home/home/events/seminars/discrete-math/index.php

[DMANET] MSc Opportunity in Theoretical Computer Science - FLAReLab at StFX (Canada)

********************
MSc OPPORTUNITY IN THEORETICAL COMPUTER SCIENCE
St. Francis Xavier University, Antigonish, NS, Canada
Fully-funded two-year grad program, opportunity to continue to PhD
Start date: September 2026
Deadline: February 15, 2026
********************

[Please share widely]

The Formal Languages and Automata Research Lab (FLAReLab) at St. Francis Xavier University is seeking motivated students to join our MSc program. While the lab's research focus is formal language theory and automata theory, graduate students may choose to study any area of theoretical computer science adjacent to formal languages and automata.

FLAReLab offers opportunities for collaboration with theory researchers across Canada and around the world. Members of FLAReLab regularly travel both nationally and internationally to present their research to the theory community. Our lab's work is supported by a major grant from the Natural Sciences and Engineering Research Council of Canada (NSERC).

FUNDING:
This MSc opportunity comes with a funding package that fully covers the cost of tuition for two years as well as some living expenses. Students may also be eligible for federal/provincial scholarships, university scholarships, teaching assistantships, and other awards. FLAReLab has funding available for travel to conferences.

LOCATION:
St. Francis Xavier University (StFX) is located in Antigonish, the heart of northeastern Nova Scotia, Canada. The StFX campus offers a small, supportive environment nestled in a welcoming town surrounded by green forests, rolling hills, and the ocean breeze. Antigonish is situated close to Maritime cities including Halifax, Charlottetown, and Saint John, and it is served by Halifax Stanfield International Airport. Major Canadian cities like Montreal, Ottawa, and Toronto are all accessible by car, train, and plane.

DEADLINE:
The deadline for applications is February 15, 2026, for a September 2026 start date. Please indicate interest well in advance - some scholarship deadlines are as early as December 1, 2025.

WEBSITE:
The lab's website is available at http://taylorjsmith.xyz/flarelab/.

APPLY:
Application instructions can be found on the lab's website. For more information, please contact the director of FLAReLab, Taylor J. Smith, by email at tjsmith@stfx.ca.

--
Taylor J. Smith
Assistant Professor
Department of Computer Science
St. Francis Xavier University

[DMANET] Postdoc position in combinatorics and/or model theory at the Czech Academy of Sciences

The Institute of Computer Science of the Czech Academy of Sciences in
Prague is advertising a postdoctoral position, to join the Czech Science
Foundation project *Model theory, structural combinatorics, and algorithms*,
led by Samuel Braunfeld. Expertise in combinatorics alone (or model theory
alone) is fine.

The anticipated start date is in the fall of 2026 (negotiable), and would
provide funding until the end of 2028. Applications received by January 16,
2026 will be guaranteed full consideration, but later applications will
continue to be considered until the position is filled.

More information at the official job advertisement
<https://www.cs.cas.cz/job-offer/Postdoctoral-fellow-postdoctoral-researcher-Braunfeld-2025/en>
.

-Samuel Braunfeld

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

Friday, October 31, 2025

[DMANET] PhD Position in Robust Bilevel Optimization at the University of Technology Nuremberg (UTN) (Johannes Thürauf)

The Discrete Optimization Lab (Prof. Johannes Thürauf) is currently offering a fully funded doctoral research opportunity (3 years, 100%, TV-L E13) as part of the interdisciplinary project "Strategic Resilience for Future Energy Systems".

The successful candidate will conduct research in bilevel and robust optimization, with a particular focus on the emerging area of robust bilevel optimization.

Applications will be reviewed on a rolling basis. To receive full consideration, please apply by 9.12.2025. Applications received after that date may still be considered.

For more details about the position and the application process, please see the official advertisement:

Doctoral researcher (Ph.D.) positions at UTN with the topic of Bilevel and Robust Optimization (m/f/d) under

https://www.utn.de/karriere/angebote-fuer-promovierende/

To learn more about the ongoing research in the lab, please visit my personal website https://www.johannesthuerauf.com/ and the Discrete Optimization Lab website https://www.utn.de/en/departments/department-liberal-arts-and-sciences/discrete-optimization-lab/

Please feel free to share this announcement with any student who may be interested.
If you have any questions regarding the position, please do not hesitate to contact me at johannes.thuerauf@utn.de

**********************************************************
*
* 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, October 30, 2025

[DMANET] SMiLE Feb 2026 - Extended Submission Deadline 08-11 Feb' 2026 - KFUPM, Saudi Arabia

Due to several requests, we are pleased to announce that the submission deadline for SMiLE 2026 has been extended.
The new submission deadline is Saturday 15, November 2025.

***************************************************************************
2nd International Conference on Smart Mobility and Logistics Ecosystems
KFUPM, Dhahran, Kingdom of Saudi Arabia
February, 2026
***************************************************************************

Conference Website: https://smile.kfupm.edu.sa

Important Dates
- Paper Submission Extended Deadline 15 November 2025
- Acceptance Notification 15 December 2025
- Tutorials & Workshops 8 February 2026
- Conference Dates 9,10,11 February, 2026

About SMiLE 2026
Building on the success of the inaugural 1st International Conference on Smart Mobility and Logistics Ecosystems (SMiLE) conference, the IRC Smart Mobility and Logistics at KFUPM proudly invites researchers, industry leaders, and policymakers to the SMiLE 2026. The conference serves as a premier platform for advancing sustainable, intelligent, and resilient mobility and logistics ecosystems through interdisciplinary research, innovation, and collaboration.
Smart mobility and logistics are pivotal in enhancing transportation efficiency, reducing environmental impact, and optimizing urban traffic flow. By leveraging cutting-edge technologies such as IoT, AI, data analytics, autonomous vehicles, electric mobility, and hydrogen-powered solutions, these systems enable real-time monitoring, predictive analytics, and intelligent decision-making. Additionally, advancements in cybersecurity, quantum computing, digital twins, and human-machine collaboration are revolutionizing transportation networks, ensuring resilience, efficiency, and sustainability. These innovations drive the future of connected, automated, and intelligent mobility ecosystems, reducing congestion and emissions while shaping next-generation transport solutions.
SMiLE2026 invites submissions presenting novel and cutting edge research contributing to the scope of the conference.

For paper submission, https://easychair.org/conferences/?conf=smile2026
For registration, please visit https://smile.kfupm.edu.sa/

Keynote Speakers
* Dr. Pascal van Hentenryck, Director of the NSF Artificial Intelligence Institute for Advances in Optimization (AI4OPT), and the Director of Tech-AI, the AI hub at Georgia Tech.
* Dr. Hesam Rakha, Director of Center for Sustainable Mobility, Virginia
* Dr. Ansar Yasir, Micro-Mobility and Traffic, ITS
* Dr. Aboelmagd Noureldin, Professor and Canada Research Chair, Electrical and Computer Engineering, RMC/Queen's University

Conference Highlights
* Keynote Sessions by distinguished global experts in mobility, logistics, and AI
* Panel Discussions featuring leading academics and industry leaders on critical challenges and opportunities
* Industry Showcases & Demos of cutting-edge smart mobility and logistics solutions
* Networking & Collaboration Opportunities with researchers, startups, and policymakers
* Best Paper Awards to recognize outstanding research contributions
* Competitions /hackathon/ideathon etc (school, college & university levels)
* Social Events

Publications
All accepted papers will be published in the conference proceedings and submitted for publication in Procedia Transportation Research, hosted by Elsevier on www.elsevier.com and on the Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com).

Conference Tracks
SMiLE 2026 welcomes high-quality original research, case studies, and practical insights in the following key tracks:

* Smart and Resilient Transportation Systems
* Automation, Optimization, and Innovation in Logistics
* Cognitive Cities and Sustainable Transport Ecosystems
* Cognitive Human-Machine Teaming in Mobility and Logistics

Topics include, but not limited to:
1. Smart and Resilient Transportation Systems
* AI-powered Traffic Management and Congestion Control
* Connected, Assisted, and Autonomous Mobility Solutions
* Mobility-as-a-Service (MaaS) and Seamless Multimodal Transport
* Resilient, Secure, and Privacy-Focused Transportation Infrastructure
* AI-Driven Cybersecurity and Threat Mitigation in Transportation
* Predictive Maintenance using AI for Mobility Infrastructure
* Digital Twins and Simulation-Based Planning for Smart Mobility
* Shared Mobility, Ride-hailing, and Smart Micromobility Solutions
* Inclusive Mobility and Accessible Transport Solutions
* Public Transport Innovations and Smart Infrastructure
* AI, IoT, and Behavioral Analytics in Transportation
* Safety, Security, and Privacy in Next-Gen Mobility

2.Automation, Optimization, and Innovation in Logistics
* AI-Driven Resilient and Adaptive Logistics Networks
* Green supply chains and carbon-neutral logistics
* Automation and Robotics in Smart Warehousing and Distribution Centers
* Blockchain for Transparency and Trust in Logistics
* IoT-enabled smart logistics infrastructure
* UAVs for Logistics and Delivery Operations
* Urban Air Mobility (UAM) for Passenger and Freight Transport
* Satellite-based logistics and supply chain solutions
* Smart ports and autonomous maritime logistics
* Digital twins for supply chain efficiency
* Smart cities and intelligent transport infrastructure
* Optimization in Supply Chain Management, including AI and Quantum Computing
* Last-mile Delivery Innovations
* Real-time Freight Tracking and AI-Driven Transport Planning
* Track Platooning
* Cold Chain Logistics and Perishable Goods Transportation
* On-demand and Hyperlocal Logistics
* Cybersecurity and Risk Management in Smart Logistics

3. Cognitive Cities and Sustainable Transport Ecosystems
* Smart Road Infrastructure, Including Intelligent Intersections
* Connected and Autonomous Vehicles (CAV) Infrastructure and 5G/V2X mmunications
* Intelligent Traffic Management and Digitalized Transport Networks
* Urban Air Mobility (UAM) and Water-Based Transport Infrastructure
* Resilient and Cyber-Secure Transport Infrastructure
* Decarbonizing Transportation and Carbon-Neutral Mobility Solutions
* Electrification and Hydrogen Technology for Sustainable Mobility and Logistics
* Sustainable Supply Chain Management and Green Logistics
* Circular Economy and Climate-Resilient Transport Planning
* Smart Grid Integration for Future Transport and Logistics
* Public Policies and Innovations for Sustainable Transportation
* Smart Cities and Intelligent Transport Infrastructure
* Sustainable Multimodal Transport Strategies
* Digital Transformation and Emerging Technologies in Mobility
* Green Infrastructure and Sustainable Urban Mobility Planning
* Next-Generation Intelligent Transport Systems
* 5G & Beyond and Edge Computing for Mobility and Logistics Solutions

4. Cognitive Human-Machine Teaming in Mobility and Logistics
* AI-assisted decision-making for mobility and logistics
* Human-in-the-loop automation in transportation and logistics
* Ethics, trust, and safety in AI-human collaboration
* AI-driven predictive analytics for transport and logistics optimization
* AI-augmented cybersecurity strategies in transportation systems
* Quantum computing for AI-enhanced decision-making in mobility
* Human-centered AI for critical decision-making and operations
* Collaborative intelligence between humans and machines in logistics
* Cognitive systems and explainable AI in transport and logistics

**********************************************************************
DISCLAIMER: The information in this email and its attachments (if any) is intended for the addressee only and may contain confidential or privileged information. If you are not the intended recipient, please delete the email and its attachments from your system and notify the sender immediately. You should not retain, disclose, copy, or use this email or any of its contents for any purpose, nor disclose its contents to any other person. KFUPM is not responsible for changes made to this message after it was sent. Statements and opinions expressed in this e-mail are those of the sender, and do not necessarily reflect those of KFUPM. KFUPM is not liable for any effect or virus damage caused by this message.
إن المعلومات الواردة في هذا البريد الإلكتروني ومرفقاته إن وجدت، قد تكون خاصة أو سرية؛ فإذا لم تكن المقصود بهذه الرسالة؛ فيُرجى منك حذفها ومرفقاتها من نظامك وإخطار المرسل بخطأ وصولها إليك فورا. كما لا يجوز نسخ أي جزء منها أو مرفقاتها ، أو الإفصاح عن محتوياتها لأي شخص أو استعمالها لأي غرض آخر. إن جامعة الملك فهد للبترول والمعادن لا تتحمل مسؤولية التغييرات التي يتم إجراؤها على هذه الرسالة بعد إرسالها. وإن البيانات أو الآراء المعبر عنها في هذا البريد، هي بيانات تخص مُرسلها، ولا تعكس بالضرورة رأي وبيانات الجامعة. كما لا تتحمل الجامعة مسؤولية أي تأثير ينتج عن هذه الرسالة أوعن أي فيروس قد تحمله.

Friday, November 7, 2025

Thursday, November 6, 2025

Wednesday, November 5, 2025

Tuesday, November 4, 2025

Monday, November 3, 2025

Sunday, November 2, 2025

Saturday, November 1, 2025

Friday, October 31, 2025

Thursday, October 30, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive