Theory Announcements: 2025

Monday, July 14, 2025

[DMANET] Call for participation – Workshop on "Innovative Bridge Safety Management" – September 26, 2025, University of Brescia

Dear colleagues,

We would like to kindly ask you to share the announcement of the following
event through the DMaNet mailing list.

Event title:
Gestione innovativa della sicurezza dei ponti: rischio strutturale e da
traffico veicolare

Date:
Friday, September 26, 2025

Location:
University of Brescia, Brescia, Italy

Description:
The workshop will focus on innovative approaches for the real-time
assessment and management of structural and traffic-related risks on
bridges, with particular attention to heavy traffic.
The event is part of the activities of MOST Spoke 7 "CCAM and Smart
Infrastructure" and will include contributions from transport engineering,
structural engineering, telecommunications, statistics, and operations
research.

Institutional representatives, academics, and technical experts will join
the discussion on advanced solutions for the safety and management of road
infrastructures.

Program and registration:
Full details and registration form are available at:
https://most-spoke7-workshop.github.io/GESTIONE-INNOVATIVA-DELLA-SICUREZZA-DEI-PONTI-RISCHIO-STRUTTURALE-E-DA-TRAFFICO-VEICOLARE/

Contact:

segreteria.workshop.spoke7@unibs.it

Thank you very much for your kind support.

Best regards,
The Organizing committee

Informativa sulla Privacy: https://www.unibs.it/it/node/1452
<https://www.unibs.it/it/node/1452>

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

Sunday, July 13, 2025

[DMANET] CCCG/WADS 2025 - Second Call for Participation - Early Registration July 15

We apologize if you have received multiple copies of this Call for Participation.

Second Call for Participation: CCCG and WADS 2025, August 11 - 15, York University, Toronto, Canada

Please find the PDF version here:
https://cccg-wads-2025.eecs.yorku.ca/CCCG_WADS_2025___Call_for_Participation.pdf

===================
Overview
===================
The 19th Algorithms and Data Structures Symposium (WADS 2025) and the 37th Canadian Conference on Computational Geometry (CCCG 2025) will take place at York University (Keele Campus) in Toronto from August 11th to August 15th, 2025.
Find details on the conference's website:
https://cccg-wads-2025.eecs.yorku.ca/

CCCG 2025.
The 37th Canadian Conference on Computational Geometry (CCCG 2025) will be held from August 13 to 15, 2025. CCCG provides a platform to present and discuss new theoretical and applied results in discrete and computational geometry. It focuses on the design of efficient algorithms, the development of innovative software, and the study of the mathematical foundations of computational problems involving geometric constraints.
https://sites.google.com/view/cccgwads-2025/cccg-2025

WADS 2025.
The 19th Algorithms and Data Structures Symposium (WADS 2025) will take place from August 11 to 13.
The conference features original research on the theory and application of algorithms and data structures in all areas, including approximation algorithms, parametrized algorithms, distributed algorithms, parallel algorithms, external-memory algorithms, data structures, computational geometry and topology, exponential time algorithms, online algorithms, randomized algorithms, streaming algorithms, and sub-linear algorithms.
https://sites.google.com/view/cccgwads-2025/wads-2025

===================
Registration
===================
Registration is now open. The early registration deadline is July 15.
A reduced registration fee is available for participants attending both CCCG and WADS.
Detailed instructions are available at:
https://sites.google.com/view/cccgwads-2025/registration

Registration is processed through Eventbrite:
https://www.eventbrite.ca/e/cccg-wads-2025-registration-1357085953619

===================
Invited Speakers
===================
Day 1 (WADS): Prosenjit Bose, Carleton University
Day 2 (WADS): Hsien-Chih Chang, Dartmouth College
Day 3 (CCCG/WADS): Piotr Indyk, MIT (Paul Erdos Memorial talk)
Day 4 (CCCG): David Mount, University of Maryland (Godfried Toussaint Memorial talk)
Day 5 (CCCG): Birgit Vogtenhuber, Graz University of Technology (Ferran Hurtado Memorial talk)
Bios are available at:
https://sites.google.com/view/cccgwads-2025/invited-speakers

===================
Accepted Papers
===================
The list of accepted papers for presentation at CCCG 2025 is available here:
https://sites.google.com/view/cccgwads-2025/cccg-2025/cccg-accepted-papers

The list of accepted papers for presentation at WADS 2025 is available here:
https://sites.google.com/view/cccgwads-2025/wads-2025/wads-accepted-papers

===================
Local Information
===================
For information about accommodations, transportation, and local activities, please consult:
https://sites.google.com/view/cccgwads-2025/local-information

===================
Organizing Committee
===================
Shahin Kamali (York University)
Eric Ruppert (York University)

Shahin Kamali PhD (he/him)
Associate Professor
Electrical Engineering and Computer Science

kamalis@yorku.ca<mailto:kamalis@yorku.ca> | lassonde.yorku.ca<http://lassonde.yorku.ca/>
Lassonde School of Engineering | York University, Toronto
LAS-3052B - 4700 Keele Street Toronto ON, Canada M3J 1P3
[Lassonde School of Engineering | York University Logo]
We recognize that many Indigenous Nations have longstanding relationships with the territories upon which York University campuses are located that precede the establishment of York University. York University acknowledges its presence on the traditional territory of many Indigenous Nations. The area known as Tkaronto has been care taken by the Anishinabek Nation, the Haudenosaunee Confederacy, and the Huron-Wendat. It is now home to many First Nation, Inuit and Métis communities. We acknowledge the current treaty holders, the Mississaugas of the Credit First Nation. This territory is subject of the Dish with One Spoon Wampum Belt Covenant, an agreement to peaceably share and care for the Great Lakes region.

Saturday, July 12, 2025

[DMANET] WABI 2025 Call for Participation

If you haven't signed up to attend WABI, the early registration deadline,
and the poster abstract deadline are both soon! The list of accepted
papers, and the keynote speakers have been announced. Please find details
below.

WABI 2025: Abstract Deadline and Call for Participation

WABI 2025, 25th Conference on Algorithms in Bioinformatics

August 20 - 22, 2025, University of Maryland, College Park, MD, USA

https://wabiconf.github.io/2025/

WABI is an international conference covering research in algorithmic work
in bioinformatics, computational biology and systems biology. The emphasis
is mainly on discrete algorithms and machine learning methods that address
important problems in molecular biology, that are founded on sound models,
that are computationally efficient, and that provide evidence of their
potential usefulness in practice, preferably by testing on appropriately
chosen simulated or real datasets.

Poster abstract deadline and early registration July 20, 2025

Accepted papers:

https://wabiconf.github.io/2025/talks/

Keynote talks:

Recursive Parsing and Grammar Compression in the Era of Pangenomics
<https://wabiconf.github.io/2025/talks/talk2/>, Christina Boucher,
University of Florida
We are what we index; a primer for the Wheeler Graph era
<https://wabiconf.github.io/2025/talks/talk1/>, Ben Langmead, Johns Hopkins
University

--
Rob Patro
Associate Professor of Computer Science
University of Maryland

Brendan Iribe Center, Room 3220
8125 Paint Branch Dr., College Park, MD 20742

*Note*: As this e-mail address relies on the GSuite service, the privacy
and security of relevant communications cannot be guaranteed. *Please* consider
encrypting your e-mails to me using my public key, which is available at:
https://keys.openpgp.org/vks/v1/by-fingerprint/C0FD5074006F54C51BEAFC2A2D6286B5B7CFD930

[DMANET] Postdoc, Institut Polytechnique de Paris, stochastic/robust optimization

A postdoc position is available at Telecom SudParis, Institut
Polytechnique de Paris, Palaiseau, France, for a duration of 12
months, with a possible 6 month extension, in the context of a french
national-funded project with Taiwan. The expected starting date is
October 1st 2025, or as per agreement.

The objective of the work is to optimize a dynamic resource allocation
policy of a system receiving multiple flows with different traffic
characteristics and quality of service requirements, with uncertain
parameters. Stochastic and robust optimization approaches, potentially
including a learning component, will be considered and compared.

The candidate should have a PhD in optimization, operations research
or a closely related field. Furthermore, the candidate should have good
programming skills. A very good level of spoken and written English is
also required.

Interested candidates can apply by replying to this email, and include
a copy of their resume as well as transcripts of grades.

Contact: walid.benameur@telecom-sudparis.eu and
tijani.chahed@telecom-sudparis.eu
**********************************************************
*
* 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] HIGHLIGHTS '25: Registrations deadline 14 July

This is a kind reminder that the deadline for the early registration
for HIGHLIGHTS'25 is *next Monday, 14 July.*

See details below.

On Tue, 1 Jul 2025 at 14:41, Highlights Communication (Antonio Casares) <
info@highlights-conference.org> wrote:

> ================================================
> HIGHLIGHTS '25 (Saarbrücken, Germany 1-5 September 2025) AND HCRW (6-12
> September)
> ================================================
> Registration for HIGHLIGHTS '25 is open now.
> The early-bird registration is *open until Monday 14 July*. The *early-bird
> registration fee is 110€* (covering lunch and coffee breaks). Online
> attendance is free.
>
> *Registration page:* https://pretix.eu/uds-kwt/high2025/
>
> *Highlights' Collaborative Research Weak:*
> If you consider staying for HCRW, please indicate it in the registration
> form, and share your plans in the Zulip chat (registration at
> https://highlights-conference.org/2025/zulip).
> There are no fees for participation in HCRW.
>
> *Accommodation:*
> The local organizers of Highlights have negotiated quotas for
> accommodation in Saarbrücken in two hotels. Check the Zulip channel or the
> webpage for details.
>
> For more details, see the full Call for Presentations below.
> ================================================HIGHLIGHTS'25,
> (Saarbrücken, Germany 1-5 September 2025) AND HCRW (6-12 September)
>
> *HIGHLIGHTS'25* is scheduled *from September 1 to September 5, 2025* at
> the *Saarland University in Saarbrücken, Germany*. It will be followed by
> the *Highlights Collaborative Research Week (HCRW)*, from *September 6 to
> 12, 2025*.
>
> *HIGHLIGHTS'25* is the thirteenth in the series of international
> conferences "Highlights of Logic, Games and Automata", aiming at
> integrating the community working in algorithmic model theory, automata
> theory, databases, games for logic and verification, logic and
> verification. Papers from these areas are dispersed across many
> conferences, which makes them difficult to follow. A visit to the
> HIGHLIGHTS conference should offer a wide picture of the latest research in
> the field and a chance to meet everybody in the community, not just those
> who happen to publish in one particular proceedings volume. There are no
> publications.
>
> *HIGHLIGHTS'25* key features:
>
> - HIGHLIGHTS is a conference without publications, where speakers give
> short presentations of their best work.
> - A chat of the conference is available during the event, and
> throughout the year.
> - T̶h̶e̶r̶e̶ ̶i̶s̶ ̶a̶n̶ ̶e̶a̶r̶l̶y̶ ̶r̶o̶u̶n̶d̶ ̶o̶f̶
> ̶s̶u̶b̶m̶i̶s̶s̶i̶o̶n̶s̶ ̶a̶n̶d̶ ̶n̶o̶t̶i̶f̶i̶c̶a̶t̶i̶o̶n̶s̶ ̶t̶o̶ ̶h̶e̶l̶p̶
> ̶w̶i̶t̶h̶ ̶t̶r̶a̶v̶e̶l̶ ̶p̶l̶a̶n̶n̶i̶n̶g̶.̶
> - The *Highlights' Collaborative Research Week* (*HCRW*) offers means
> for research collaborations/discussions between participants. HCRW is
> scheduled after the conference.
> - The *Highlights Extended Stay Support Scheme* (*HESSS*) helps
> participants find collaborators and organise visits in the vicinity of
> HIGHLIGHTS.
>
> We encourage you to attend and present your best work - be it already
> published or not - at *HIGHLIGHTS'25*.
> SCOPE
>
> Representative areas include, but are not restricted to:
>
> - Algebraic models of computation
> - Algorithmic model theory
> - Automata theory
> - Databases
> - Games for logic and verification
> - Logic
> - Verification
>
> IMPORTANT DATES AND INFORMATION
>
> - HIGHLIGHTS'25 webpage: https://highlights-conference.org/2025/
> - Registration to the chat at
> https://highlights-conference.org/2025/zulip (no need if you did it
> last year)
> - Registration page: https://pretix.eu/uds-kwt/high2025/
> - Early-bird registration deadline: July 14 2025
> - Conference: September 1 - 5, 2025.
> - *Highlights' Collaborative Research Week* (*HCRW*): September 6 -
> 12, 2025.
> - Registration fee: 110€
>
> MODALITIES OF ATTENDANCE
>
> *HIGHLIGHTS'25* is an event that will take place on-site (barring
> unforeseen circumstances), and the preferred form of participation is in
> person. Remote attendance via a video stream will also be offered, but with
> limited possible interactions for these participants.
>
> Submission for a presentation at Highlights'25 is open to everyone, and
> attendance to the conference is not a requirement. The selection procedure
> will not take into account in-person attendance. Authors who do not intend
> to attend Highlights'25 in-person must commit to this choice when
> submitting their talk proposal. If accepted, authors of such talk proposals
> will have the opportunity to share a prerecorded video of their talk, which
> will be made available on the conference website.
>
> Before coming from far away, please review how your trip and international
> flights are contributing to climate change. We encourage you to take the
> train as much as possible, possibly taking the opportunity for visiting
> colleagues on the way and thus decomposing the travel into smaller pieces.
>
> More generally, we encourage you to make the most of your stay. This means
> extending your journey to the previous and/or following weeks for more
> scientific activities in Saarbrücken and around. Several initiatives are
> here to help you in this task:
>
> - You can participate in the *Highlights' Collaborative Research Week*
> (*HCRW <https://highlights-conference.org/2025/hcrw>, September 6 - 12*)
> in the week after HIGHLIGHTS, in Saarbrücken.
> - You can use the *Highlights Extended Stay Support Scheme* (*HESSS
> <https://highlights-conference.org/2025/hesss>*) for finding
> collaborators and organising visits.
>
> HIGHLIGHTS COLLABORATIVE RESEARCH WEEK (HCRW)
>
> *HIGHLIGHTS'25* will be followed by the *Highlights' Collaborative
> Research Week* (*HCRW*), *from September 6 to 12 at the University of
> Saarbrücken*.
>
> Participants to HCRW are free to organise any scientific activity they
> wish. Possibilities can be to
>
> - meet someone in particular and work together,
> - organise or attend a seminar/workshop/reading group,
> - gather for solving open problems,
> - solicit, offer and participate in a lecture.
> Working spaces will be provided on site for these activities to take
> place.
>
> We encourage participants to declare their intent to come and offer
> activities in advance using the chat of highlights.
> INVITED SPEAKERS TUTORIALS
>
> - Christof Löding
> - Szymon Toruńczyk
>
> KEYNOTE SPEAKERS
>
> - Shaull Almagor
> - Yu-Fang Chen
> - Liat Peterfreund
> - Mahsa Shirmohammadi
>
> COMMITTEES PROGRAM COMMITTEE HIGHLIGHTS'25
>
> - Luca Aceto (Reykjavik University, Iceland, and Gran Sasso Science
> Institute, L'Aquila, Italy)
> - Christel Baier (TU Dresden, Germany), chair
> - Marie van den Bogaard (Universite Gustav Eiffel, France)
> - Michael Blondin (University of Sherbrooke, Canada)
> - Agata Ciabattoni (TU Vienna, Austria)
> - Wojciech Czerwiński (University of Warsaw, Poland)
> - Anuj Dawar (University of Cambridge, UK)
> - Dana Fisman (Ben-Gurion University, Israel)
> - Marianna Girlando (University of Amsterdam, NL)
> - Ichiro Hasuo (National Institute of Informatics, Tokyo, Japan)
> - Antoine Mottet (TU Hamburg, Germany)
> - B. Srivathsan (Chennai Mathematical Institute, India)
> - Patrick Totzke (University of Liverpool, UK)
> - Mahesh Viswanathan (University of Illinois at Urbana-Champaign, US)
> - Thomas Zeume (Ruhr University, Germany)
>
> ORGANISING COMMITTEE
>
> - Benjamin Kaminski
> - Tobias Gürtler
> - Ānrán Wáng
> - Natalia Weis
>
> STEERING COMMITTEE
>
> - Antoine Amarilli (environmental chair)
> - León Bohn (webmaster)
> - Antonio Casares (publicity chair)
> - Supratik Chakraborty
> - Thomas Colcombet (chair)
> - Bartek Klin
> - Sławek Lasota
> - Sophie Tison
>
>

Friday, July 11, 2025

[DMANET] Symbolic Computation and Machine Learning (Call for Papers)

--------------------------------------------------------------
SCML: A PUBLISHING FORUM FOR SYMBOLIC COMPUTATION AND MACHINE LEARNING
An initiative of the Research Institute for Symbolic Computation (RISC)
https://scml.risc.jku.at
-----------------------------------------------------------------------

CONTINUOUS CALL FOR PAPERS

The SCML publishing forum is dedicated to all research that strives to
combine Symbolic Computation (SC) and Machine Learning (ML) as two major
approaches to "Artificial Intelligence", in particular the application
of ML to SC, the application of SC to ML, and the hybrid combination of
SC and ML to solving problems. We consider submissions that explore the
interaction between the two fields - not standalone works on either SC
or ML.

Examples of topics in the scope of SCML are (this list is not
exhaustive, we expect that it will grow rapidly with the evolution of
the field):

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

SCML primarily solicits papers that present original research results
but also accepts survey and position papers that add a new perspective
to the interplay of SC and ML.

SUBMISSION

SCML papers can be *continuously submitted* (see the link below)
and enter the reviewing process immediately after their submission.
The final versions of accepted papers are published in the electronic

* RISC Proceedings on Symbolic Computation and Machine Learning.

They are archived with a DOI and are freely available for download from
the SCML web page under a Creative Commons License. Authors of accepted
papers are expected to present them at a subsequent SCML workshop. These

* SCML workshops

take place in semi-regular intervals in purely online form (via Zoom),
typically in half a day. Authors of accepted SCML papers that present
original research may be invited to submit extended versions of their
papers to the

* SCML Track of the Journal of Symbolic Computation.

CONTACT

* Web Page & Submission: https://scml.risc.jku.at
* SCML Managing Editors: scml@risc.jku.at
* Steering Committee, Editorial Board, Scientific Committee:
see the web page.

[DMANET] [CFP - Deadline Extended] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2025), co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025)

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

*********** FINAL CALL FOR PAPERS ***********

OVERLAY 2025 @ ECAI
26th October, 2025
Bologna, Italy
https://overlay.uniud.it/workshop/2025

NEW DEADLINE: July 19th, 2025

We are looking for:
- CONTRIBUTED PAPERS (5 pages + references + appendix; camera-ready version may be up to 8 pages + references + appendix)
- PRESENTATION ONLY PAPERS (no constraints, not included in OVERLAY proceedings, and the work must have been recently published in another scientific journal or conference)

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

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

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

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

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

This year's edition will be held on October 25th or 26th, 2025, as a workshop co-located with ECAI 2025, which is scheduled to be held in Bologna, Italy.

*** Call for contributions ***

We accept extended abstracts (5 pages + references + appendix) focusing on the interaction between Artificial Intelligence and Formal Methods and on the issue of symbolic/sub-symbolic integration. Presentation of results recently published in other scientific journals or conferences and invited talks will complement the presentations of contributed papers.

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

automata theory
automated reasoning
automated planning and scheduling
controller synthesis
formal specification languages
formal verification
game theory
hybrid and discrete systems
logics in computer science
neuro-symbolic approaches
logics for neural networks
neural networks for logic
reactive synthesis
runtime verification and monitoring
satisfiability modulo theories and theorem proving
specification and verification of machine/deep learning systems
tools and applications

Contributed papers can present recent results at the border of the two fields, new research directions, challenges and perspectives. Additionally, presentations of results recently published in other scientific journals or conferences are also welcome; however, these will not be included in the proceedings.

We plan to include all contributed papers in the Proceedings of the event, published at CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings indexed by DBLP and Scopus.

Submitted contributed papers should not exceed five (5) pages plus references and appendix. Authors are asked to use the CEURART LaTeX style, available here: https://ceur-ws.org/Vol-XXX/CEURART.zip. Authors of accepted papers will have the possibility to extend their submissions for the final camera-ready version to eight (8) pages plus references and appendix. Note that the appendix will not be included in the proceedings and reviewers will consult it at their own discretion. No constraints are present for presentation only papers (submitting either a one page abstract or the already published full paper, highlighting the original venue, is ok).

Submissions must be in PDF format and will be handled via the EasyChair Conference system at the following address: https://easychair.org/my/conference?conf=overlay2025.

*** Registration and participation fees ***

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

*** Venue ***

The workshop will take place in Bologna, in one of the venues of ECAI 2025 (https://ecai2025.org/venues/), the 26th of October 2025.

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

- Paper submission: July 19th, 2025
- Acceptance notification: August 8th, 2025
- Camera-ready submission: September 17th, 2025
- Workshop: October 26th, 2025

*** Program Committee Chairs ***

Angelo Montanari - University of Udine, Italy
Andrea Orlandini - National Research Council of Italy, Italy
Nicola Saccomanno - University of Udine, Italy
Stefano Tonetta - Fondazione Bruno Kessler, Italy

***Program Committee***

Raul Barbosa - University of Coimbra, Portugal
Saddek Bensalem - VERIMAG, France
Alberto Bombardelli - Fondazione Bruno Kessler, Italy
Laura Bozzelli - Federico II University of Naples, Italy
Davide Bresolin - University of Padua, Italy
Alessandro Burigana - Free University of Bozen-Bolzano, Italy
Görschwin Fey - Hamburg University of Technology, Germany
Mirco Giacobbe - University of Birmingham, United Kingdom
Alessandro Gianola - INESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal
Nicola Gigante - Free University of Bozen-Bolzano, Italy
Laura Giordano - University of Eastern Piedmont, Italy
Martin Leucker - University of Luebeck, Germany
Federico Mari - University of Rome Foro Italico, Italy
Andrea Micheli - Fondazione Bruno Kessler, Italy
Sergio Mover - Ecole Polytechnique, France
Carla Piazza - University of Udine, Italy
Ingo Pill - Graz University of Technology, Austria
Michel Reniers - Eindhoven University of Technology, Netherlands
Sabina Rossi - Ca' Foscari University of Venice, Italy
Sasha Rubin - The University of Sydney, Australia
Cesar Sanchez - IMDEA Software Institute, Spain
Enrico Tronci - Sapienza University of Rome, Italy
Sarah Winkler - Free University of Bozen-Bolzano, Italy
Matteo Zavatteri - University of Padova, Italy
Martin Zimmermann - Aalborg University, Denmark

*** Contacts ***

For more information email overlay2025@easychair.org<mailto:overlay2025@easychair.org>

[DMANET] DDP 2025 Final Call

Fifth International Conference on Digital Data Processing (DDP 2025)
University of Bedfordshire. Luton. (Near London) UK.
August 18-20, 2025
(www.socio.org.uk/ddp)
(IEEE Publication)
(Virtual Presentation/Physical)

As technology advances in different sub-domains of computing, data-driven models are becoming increasingly important. The data-dependent world now faces many challenges in terms of data accuracy and data privacy. High-impact advancements include machine learning, artificial intelligence, deep learning and many more. Data is growing exponentially in terms of diversity and complexity. One organization or industry processes over a few million transactions per hour and stores hundreds of billions of data. We live in a world with a great need for more efficient data analysis and processing. Data analytics can reveal hidden patterns, complex relationships, internal information relations, and even segmentation. Data applications have opened up new possibilities in every aspect of our lives. Studying data and its structure, dynamics, and modern data technologies is an ongoing process. There is a great deal of literature and research on data management, but it does not address the data processing needs. Many studies focus on developing models and systems for analysing large datasets.

Data analysis leads to application domains that have a systematic impact on decisions. The knowledge gained from the data analysis enables the generation of critical information for multiple domains. In this conference, we review and discuss the latest trends in data management, the opportunities and challenges, and how they have affected organizations' ability to develop effective business and technology strategies and stay up-to-date in data technology. We also highlight current open research directions in data analytics that need further attention.

The proposed conference will discuss topics not limited to

Data applications in various domains and activities
Data in cloud
Real-world data processing
Data inaccuracy and reliability issues
Data Ecosystem
Business Analytics
New data analytics techniques
Physical and management challenges
Synthetic data
Data synthesis
Crowdsourcing and Sensing
Data modelling
Deep learning techniques
Data fusion
Descriptive analytics, Diagnostic analytics, Predictive Analytics, and Prescriptive analytics
Machine learning impact on data processing
Network optimization
Data in Biomedical Engineering
Data in Materials science and mechanics
Data handling and applications in domains
Wireless Networking Data Management
Data of Electronic & Embedded Systems
Multi-media Systems Data
Artificial Intelligence Models and Systems Data
E-Computing Data
Renewable Energies Data

General Chair

General Chair
Ezendu Ariwa
Warwick University, UK

Program Chairs
Youshan Zhang, Yeshiva University, USA
Simon Fong, University of Macau, Macau
Duong Van Hieu, Tien Giang University, Vietnam

Program Co-chairs
Martin Lopez Nores, University of Vigo, Spain
Frankie Wilson, University of Oxford. UK

Publicity Chair
Mohsin Beniysa, Abdelmalek Essaâdi University, Morocco

Publications

All accepted and presented papers will be submitted to IEEE Xplore for publication and indexing.

The DDP 2025 has co-located workshops.

Modified versions of the papers will appear in the following journals.

Journal of Digital Information Management
International Journal of Computational Linguistics
Open Information Science

Important Dates

Submission of Papers: July 15, 2025
Notification of Acceptance/Rejection: August 10, 2025
Camera-ready: August 31, 2025
Registration: August 15, 2025
Conference Dates: August 18-20, 2025
Post-Conference Proceedings Release: November 30, 2025

We'll be able to bring the post-conference proceedings only. Based on the review of the submissions, we issue a notification, and the authors can present using PPT files, for which a full-text camera-ready version is not required. With the help of feedback received during the conference and reviews, the authors can update their papers and submit the camera-ready.

Paper submission

Papers should follow the IEEE template. Submissions at http://socio.org.uk/ddp/paper-submission/

Contact: ddp@socio.org.uk

[DMANET] Postdoc positions in discrete geometry and related areas, Charles University, Prague

Two postdoc positions in discrete geometry and related areas are available
at the Department of Applied Mathematics of Faculty of Mathematics and
Physics at Charles University, Prague.

Starting date: January 1, 2026 (negotiable)

Duration: one year with a possibility of extension of another year

Salary: 64 000 - 68 000 CZK/month + health insurance covered

The positions are funded and supported by a five year project "DiGeo:
Fundamental Questions in Discrete Geometry" (2023-2027) funded by the
Science Foundation of the Czech Republic. Each of the positions also comes
with travel funding.

The project is focused on problems in various areas of and related to
discrete geometry, including convexity questions for point sets,
visibility, graph drawing, crossing numbers of graphs, semialgebraic
hypergraphs, and Delauney graphs.

The project involves Martin Balko, Vit Jelinek, Jan Kratochvil, Jan Kyncl,
Maria Saumell, Pavel Valtr, and a group of PhD students.

Qualification requirements: Ph.D. degree obtained before the starting date
and no more than 6 years ago.

Please send applications by email to digeo@kam.mff.cuni.cz
(with Cc. to valtr@kam.mff.cuni.cz), including:
- a cover letter with a research proposal (2-3 pages),
- a detailed CV (2-3 pages),
- a list of publications,
- proofs of education and awarding of academic titles
- a list of citations preferably by WoS; an additional list of
citations not included in WoS may be added, but is not mandatory

The applicant must also arrange for 2-3 letters of recommendation to be
sent as well to digeo@kam.mff.cuni.cz (with Cc. to valtr@kam.mff.cuni.cz).

Application deadline: July 31, 2025. (If possible, we ask candidates to
inform us about the intention to apply and/or send us a draft of the
application before July 20, 2025.)

Informal inquires:
Pavel Valtr, email <valtr at kam.mff.cuni.cz>.

Information about the project:
https://kam.mff.cuni.cz/digeo/
---------------------------------
**********************************************************
*
* 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] GECCO Job Market

GECCO Job Market

https://gecco-2025.sigevo.org/Job-Market

The GECCO Job Market is an event where people offering jobs can
advertise open positions and meet with potential candidates. Any kind of
positions are eligible (PhD, Postdoc, Professor, Engineer, etc.) - from
the academia as well as the industry.

The Job Market will be organized as a hybrid event during GECCO on
Thursday, July 17, from 15:30 to 17:00. After brief presentations of the
available positions, participants will have the possibility to join
face-to-face meetings for further discussions.

To participate with a job offer, create a new ad at the SIGEVO web site

https://sig.sigevo.org/Job-Ads

Make sure to check the "GECCO availability" option that confirms your
attendance at the job market (either onsite or online). In addition,
prepare one slide describing the job and send it to

Boris Naujoks (email address: boris.naujoks (at) th-koeln.de) or
Elena Raponi (email address: e.raponi (at) liacs.leidenuniv.nl)

by Monday, July 14 (AoE).

And keep in mind: You are very welcome to join even if you don't have a
formal vacancy yet but expect to hire soon and would like to meet
potential candidates. Likewise, students and researchers who are already
on the job market or planning to start their job search soon are warmly
encouraged to attend and begin building connections!

IMPORTANT DATES

Monday, July 14: Deadline for submitting the ad and sending the slide

Thursday, July 17, 15:30-17:00: Job Market at GECCO 2025 (hybrid session)

LINKS

https://sig.sigevo.org/Job-Ads SIGEVO web site

https://gecco-2025.sigevo.org/Job-Market GECCO job market site

Elena Raponi, Boris Naujoks

Organizers of the GECCO Job Market

[DMANET] Postdoctoral Position in Complexity Theory at Warwick (Deadline: 31/July)

Dear all,

A* postdoctoral position in complexity theory* is available at the *University
of Warwick (UK)*. For more details, please visit:
https://www.dcs.warwick.ac.uk/~igorcarb/position.html (*Deadline:*
31/July).

I would greatly appreciate it if you could forward this advertisement to
any potential candidates.

Igor Carboni Oliveira
DCS & DIMAP - University of Warwick
https://www.dcs.warwick.ac.uk/~igorcarb/

[DMANET] Two postdoc positions in Algebraic Graph Theory and Algebraic Geometry - University of Primorska, Slovenia

The Departments of Mathematics at the University of Primorska (FAMNIT and
IAM) invite applications for *two postdoctoral researcher positions* in:
1. Algebraic Graph Theory & Permutation Groups

*Supervisor:* Prof. Klavdija Kutnar
*Project Focus:* Extensions of the Erdős-Ko-Rado theorem to transitive
permutation groups, including derangement graphs and vertex-transitive
graphs.
*Requirements:* PhD in mathematics or related field. Expertise in algebraic
combinatorics, group theory, or graph theory. Familiarity with GAP or MAGMA
is desirable.
*Term:* 18 months
*Start Date:* Flexible between October 2025 and October 2026
*More details: *https://www.famnit.upr.si/en/news/postdoc-position-in-2
2. Galois Geometry & Group Actions

*Supervisor:* Prof. Michel Lavrauw
*Project Focus:* High-dimensional actions of classical groups in Galois
geometry, with applications to tensor decompositions, secant varieties, and
algebraic geometry over finite fields.
*Requirements:* PhD in mathematics or related area (algebra, finite
geometry, or algebraic geometry). Experience with GAP and projective
geometry is a plus.
*Term:* 1 year
*Start Date:* Flexible between September 2025 and October 2026
*More details: *https://www.famnit.upr.si/en/news/postdoc-position-in-1

Informal inquiries:

Prof. Michel Lavrauw (michel.lavrauw@upr.si)
-

Prof. Klavdija Kutnar (klavdija.kutnar@upr.si)

Thursday, July 10, 2025

[DMANET] ALENEX '26: deadline 23 July, Vancouver, Canada, final CFP

ALENEX 2026 Call for Papers

The aim of ALENEX is to provide a forum for the presentation of original
research in the design, implementation, and experimental evaluation of
algorithms and data structures. Typical submissions will include an
extensive experimental analysis of nontrivial algorithmic results, ideally
bridging the gap between theory and practice. We also invite submissions
that address methodological issues and standards in the experimental
evaluation of algorithms and data structures.

We welcome submissions on a broad range of topics within algorithm
engineering and the experimental analysis of algorithms and data
structures, including but not limited to the following:
● Combinatorial optimization and mathematical programming, including
scheduling and resource allocation problems
● Computational biology and bioinformatics
● Data science and data management, including databases
● Design and analysis of application-inspired exact, approximation,
randomized, streaming, and learning-augmented algorithms
● Graph and hypergraph algorithms, including problems arising in
network science and complex networks
● String algorithms and data structures
● Computational geometry
● Interaction between algorithms and modern computing platforms,
including challenges arising from memory hierarchies, accelerators, and
novel memory technologies
● Parallel and distributed computing, including algorithms,
architectures, distributed systems, and all parallelism ranging from
instruction-level and multi-core all the way to clouds and Exascale
computing
● Machine learning and statistical methods for solving combinatorial
problems
● Other applications arising from security, computational finance,
computational chemistry/physics, quantum computing, etc.

Proceedings will be posted online in January 2026. ALENEX is supported by
SIAM.

Since researchers in all fields are approaching the problem of learning
detailed information about the performance of particular algorithms, we
expect that interesting synergies will develop between the co-located
conferences.

The following conferences will be held jointly:
● ACM-SIAM Symposium on Discrete Algorithms (SODA)
● SIAM Symposium on Algorithm Engineering and Experiments (ALENEX)
● SIAM Symposium on Simplicity in Algorithms (SOSA)

Important Dates
Full Paper Submission: July 23, 2025 (was July 18)
Author Notification: August 30, 2025
AE submission (for accepted papers): September 6, 2025
AE author notification: October 8, 2025
Camera ready submission: October 15, 2025

Program Committee Chairs
Simon J. Puglisi (University of Helsinki)
Nate Veldt (Texas A&M University)

Program Committee
Aydin Buluc (Lawrence Berkeley National Laboratory, U.S.)
Sarah Cannon (Claremont McKenna College, U.S.)
Laxman Dhulipala (University of Maryland, U.S.)
Jonas Ellert (ENS Paris, France)
S M Ferdous (Pacific Northwest National Laboratory, U.S.)
Assefaw Gebremedhin (Washington State University, U.S.)
Yan Gu (UC Riverside, U.S.)
Inge Li Gørtz (Technical University of Denmark, Denmark)
Christian Komusiewicz (University of Jena, Germany)
Quanquan C. Liu (Princeton University, U.S.)
Joel Mackenzie (University of Queensland, Australia)
Prashant Pandey (Northeastern University, U.S.)
Frank Sommer (TU Wien, Austria)
Sabine Storandt (University of Konstanz, Germany)
David Tench (Lawrence Berkeley National Laboratory, U.S.)
Helen Xu (Georgia Institute of Technology, U.S.)

Steering Committee Chair
Martin Farach-Colton, New York University, U.S.

Steering Committee
Kathrin Hanauer (University of Vienna, Austria)
Solon Pissis (CWI, Netherlands)
Julian Shun (Massachusetts Institute of Technology, U.S.)
Paolo Ferragina (University of Pisa, Italy)
Alex Pothen (Purdue University, U.S.)
Helen Xu (Georgia Institute of Technology, U.S.)

The EasyChair submission site is available:

https://easychair.org/my/conference?conf=alenex26

For questions, please contact ALENEX'26 co-chairs, Simon Puglisi
(simon.puglisi@helsinki.fi) and Nate Veldt (nveldt@tamu.edu).

[DMANET] STACS 2026: First Call for Papers

The 43nd International Symposium on Theoretical Aspects of Computer Science is planned to take place from March 10th to March 13th in Grenoble, France (https://stacs2026.imag.fr/).

STACS 2026 will consist of two tracks, A and B. Track A focuses on algorithms, data structures, and complexity, while track B focuses on automata, logic, semantics, and theory of programming.

Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Topics covered by the tracks include, but are not limited to, the following:

Track A. Algorithms, Data Structures, and Complexity

Design of algorithms
Approximation algorithms
Online algorithms
Distributed/parallel algorithms
Parameterized algorithms
Randomized algorithms
Analysis of algorithms
Combinatorics of data structures
Computational geometry
Cryptography
Algorithms for machine learning
Algorithmic game theory
Quantum algorithms
Computational and structural complexity theory
Parameterized complexity
Randomness in computation

Track B. Automata, Logic, Semantics and Theory of Programming

Automata theory
Games and multi-agent systems
Algebraic and categorical methods
Models of computation
Concurrency
Timed systems
Finite model theory
Database theory
Semantics
Type systems
Program analysis
Specification and verification
Rewriting and deduction
Learning theory
Logical aspects of computability and complexity

Important Dates

Submission deadline: 25 September 2025, 23:59 AoE
Rebuttal: 17-21 November 2025
Notification: 12 December 2025
Conference: 10-13 March 2026

Submissions

Format of submissions

Submissions should be made through EasyChair at https://easychair.org/conferences/?conf=stacs2026

Authors are invited to submit an extended abstract or a full paper with at most 15 pages; this page limit excludes the title page, the references section, and a possible appendix. The title page should contain the title of the paper and the abstract, but no author information. The first section of the paper should start on the next page, and the appendix, if any, should also start on the next page after the bibliography.

In preparation of submissions, the usage of the LIPIcs style file is mandatory; no changes to font size, page geometry, etc. are permitted. Please refer to LIPIcs author instructions. Submissions submitted after the deadline will not be considered, and submissions not adhering to the expected format risk rejection without consideration of the content.
Submissions should be made to appropriate tracks. The PCs reserve the right to reassign a paper to a different track, if deemed necessary.
The extended abstract should contain a succinct statement of the considered issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. This should be followed by a rigorous derivation of the claimed results. Proofs omitted due to space constraints should be put into an appendix, to be read by the program committee members at their discretion. It is allowed and encouraged to provide the anonymized full version of the paper as the appendix.

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.

Double-blind reviewing

As in the previous years, STACS 2025 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas.

Rebuttal

There will be a rebuttal period for authors. Authors will receive the reviews of their submissions and have a few days to prepare and submit rebuttals. These rebuttals become part of the PC discussions, but entail no specific responses. Rebuttals will be handled through EasyChair.

Conference

At least one author of each accepted paper is expected to register at the conference. For authors who cannot present their paper in person, a possibility for remote presentation will be offered.

[DMANET] full professor in Montpellier, France

Dear Colleagues

A full professor position will be available at the CS laboratory (LIRMM) from the University of Montpellier, starting fall 2026. Full professor means that one needs to be currently doing research in France and have the Hdr, or working outside France and have several years of experience after completing PhD, having already advised a couple of PhD students.

The recruited person might join the research team MAORE (https://www.lirmm.fr/teams-en/maore-en/), which focuses on Operations Research, with some expertize in robust optimization and quantum OR, and since more recently, routing in delay-tolerant networks. The team is (ideally) looking for a researcher interested in network optimization to stregthen our skills on this topic. We welcome applications from individuals of all genders, particularly women and other underrepresented groups. Interested researchers can contact me to obtain more informations poss@lirmm.fr.

Best regards,

Michaël.
**********************************************************
*
* 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] International Conference on Dynamics in Logistics (LDIC 2026): Call for Papers

*LDIC 2026 - Call for Papers*
http://www.ldic-conference.org

The 10th edition of the International Conference on Dynamics in
Logistics (LDIC 2026) will be held in Bremen (Germany) from February 25
to 27, 2026.

================================
Scope of the Conference
================================
Dynamics of logistic processes and networks are at the heart of the
conference. We invite empirical, theoretical, methodological, and
practice-oriented contributions addressing the modeling, planning,
optimization and control of processes in supply chains, logistic
networks, production systems, and material flow systems and facilities.

LDIC 2026 provides a forum for the discussion of advances in that
matter. The conference addresses scientists in logistics, operations
research, engineering, and computer science. It aims at bringing
together researchers and practitioners interested in dynamics in logistics.

================================
Topics
================================
Topics of interest include, but are not limited to the following within
production, logistics, and supply chain management:

•    Dynamics and complexity
•    Modeling and optimization
•    Uncertainty, risk, resilience, and performance
•    Supply chain management and global disruptions
•    Strategic decision making, auctions, game theory
•    Multi-modal transportation networks
•    Maritime logistics and port operations
•    Sustainable and green logistics
•    Urban and last mile logistics
•    Humanitarian logistics, disaster management
•    Smart production and material flow systems
•    Digitalization, cyber-physical systems, and digital twins
•    Artificial intelligence, data science, and IT platforms
•    New work in logistics, human-technology interaction
•    Industry 5.0 / Logistics 5.0

================================
Submission and Publication
================================
Authors are invited to submit their contribution in one of the following
formats:
• A full paper with up to fifteen pages – excluding author details
and references – which will be considered for publication in Springer's
"Lecture Notes in Logistics", one of the most downloaded Springer books,
indexed by Scopus, Web of Science (ISI), ACM DL, and DBLP. Full papers
must contain original research, which must not yet have been published
elsewhere. Full papers will be double-blind peer-reviewed.
• An abstract (for presentation only) with up to 250 words –
excluding author details and references – which will appear in the Book
of Abstracts that will be provided to participants at the conference.

The submission system – including author instructions and Springer's
template – will open soon.

================================
Deadlines for full papers
================================
•    Submission of full papers: October 1, 2025
•    Notification of review results: November 15, 2025
•    Submission of revised, camera-ready full paper: December 10, 2025
•    Publication of conference proceedings: February 2026

================================
Deadlines for abstracts (for presentation only)
================================
• Submission of abstracts before December 1, 2025
• Notification of acceptance: before December 15, 2025

================================
Program Chairs
================================
Matthias Klumpp, Bremen (Germany)
Nicole Megow, Bremen (Germany)

================================
Program Committee
================================
Till Becker, Emden/Leer (Germany)
Alexandra Brintrup, Cambridge (UK)
Udo Buscher, Dresden (Germany)
Malte Fliedner, Hamburg (Germany)
Michael Freitag, Bremen (Germany)
Christoph Glock, Darmstadt (Germany)
Eric Grosse, Saarbrücken (Germany)
Alexander Hübner, München (Germany)
Susana Relvas, Lisbon (Portugal)
Hamid Reza Karimi, Milan (Italy)
Anne Lange, Frankfurt/M. (Germany)
Alena Otto, Passau (Germany)
Jürgen Pannek, Braunschweig (Germany)
Sara Perotti, Milan (Italy)
Daniel Schmand, Bremen (Germany)
Jörn Schönberger, Dresden (Germany)
Christian Thies, Hamburg (Germany)
Hendro Wicaksono, Bremen (Germany)

================================
Local Organization Committee
================================
Daniel Schmand (Chair)
Michael Freitag
Aleksandra Himstedt
Michael Mesterharm
Petra Tienken
Hendro Wicaksono

E-Mail: info@ldic-conference.org

Website: http://www.ldic-conference.org

[DMANET] Deadline Extension for Applications - YAMC 2025

Dear all,

This email is to announce that the *application deadline* for the fifth
"Conference of Young Applied Mathematicians" has been extended to *July 31,
2025*. This extension is due to some unforeseen issues we experienced with
the website.

For further details, please visit the website: www.yamc.it/

For anyone interested in taking part in this conference, this is the link
for the application form: Application Form
<https://docs.google.com/forms/d/e/1FAIpQLSfZImrutdOe17MTAuDj-XnQXpV9dhgjGtfetH1Mnh5CRV_u9w/viewform?usp=header>

Please keep in mind that we have limited spots. It will still be possible
to apply after the early registration closes until all the spots are
filled.

For any questions, please contact us at info@yamc.it

Thank you and best regards,
The organizers

[DMANET] PhD studentship in Algorithms and complexity (UK home students only)

Subject: PhD studentship in Algorithms and complexity (UK home students
only)

The Algorithms group at the University of Leeds (UK) is offering a fully
funded 3.5-year PhD studentship on Parameterized Complexity and
Approximation. Parameterized Complexity is a vastly growing area within
theoretical computer science that allows for the development of exact and
approximation algorithms for computationally hard problems by exploiting
the structure of inputs and doing a multivariate complexity analysis. The
goal of this project is to develop more efficient parameterized
approximation algorithms and preprocessing algorithms (also known as
kernelization) for a wide range of NP-hard graph problems.
Requirements: Applicants should have at least a first class or an upper
second class British Bachelors Honours degree (or equivalent) in an
appropriate discipline, i.e., computer science or mathematics. Applicants
are expected to have excellent mathematical skills as well as an interest
in discrete algorithms.
For details and application process please visit
https://www.findaphd.com/phds/project/phd-studentship-in-algorithms-and-complexity/?p181498

Closing date: 4 Aug 2025

Contact details: Fahad Panolan (f.panolan@leeds.ac.uk)

[DMANET] Register Now: PhD School on Machine Learning and Optimization, CWI Amsterdam, 2-4 September 2025

NB: This School is tailored to PhD students, postdocs and early-career researchers!

Dear PhD students, postdocs, and junior researchers,

We are pleased to invite you to the International PhD School on Machine Learning and Optimization, organized as part of the CWI Research Semester Programme on Learning Enhanced Optimization. This three-day event will take place from 2 to 4 September 2025 at CWI, Science Park 125, Amsterdam, The Netherlands.

About the PhD School:
As computation increasingly moves into real-time, data-driven, and uncertain settings, classic algorithmic paradigms are being reimagined through the lenses of learning theory, incentive design, and machine-learned predictions. This PhD School delves into the theoretical and algorithmic foundations of integrating such novel techniques into algorithm design. The school combines lectures with collaborative group works.

It is tailored for PhD students in theoretical computer science, algorithms, machine learning, operations research and related fields. Advanced Master's students and early-career researchers or postdocs with a strong theoretical background are also warmly encouraged to participate.

Lecturers & Topics:
Each day features two in-depth lectures by renowned researchers, followed by collaborative group work and discussions. The schedule is as follows:

Day 1: Tuesday, 2 September
Anupam Gupta (New York University)
Topic: Learning for Online Algorithms: The Multiplicative Weights Method

Day 2: Wednesday, 3 September
Michal Feldman (Tel Aviv University)
Topic: Algorithmic Contract Design

Day 3: Thursday, 4 September
Ola Svensson (EPFL)
Topic: Algorithms with Predictions for Faster Execution and Better Decisions

How to Register:
Registration is now open!

To facilitate catering during the event, a registration fee of 60 Euro per participant is required; this fee covers lunches and refreshments for the duration of the school.

Please make sure to secure your spot by registering at

https://cwi-business-society.weticket.io/registration-for-international-phd-school-machine-learning-and-optimization

The registration deadline is August 24, 2025.

Please note that registration will be processed on a first-come, first-served basis and will close once full capacity is reached.

For more information about the PhD School, please visit the official event page:

https://www.cwi.nl/en/events/cwi-research-semester-programmes/phd-school-machine-learning-and-optimization/

Should you have any questions, feel free to contact us at events@cwi.nl.

We look forward to your participation in this exciting event!

Best regards,
Guido Schäfer
(on behalf of the PhD School organizers)

[DMANET] CfP: NMR 2025 --- Deadline extension

/*** Deadline Extension ***

New deadlines:
Paper registration: July 15, 2025
Paper submission: July 22, 2025
/*
*
=============================
*** NMR 2025: Call for Papers ***

November 11-13, 2025, Melbourne,
Australia

* New deadlines: July 15 & 22, 2025 *
=============================

*-- The 23rd International Workshop on Nonmonotonic Reasoning (NMR 2025) --*

*When: *November 11-13, 2025
*Where: *Melbourne, Australia
*Website: *https://nmr.krportal.org/2025
*Submissions website: *https://easychair.org/conferences/?conf=nmr2025

NMR 2025 is part of the 22th International Conference on Principles of
Knowledge Representation and Reasoning (KR2025), https://kr.org/KR2025/.

NMR is the premier forum for results in the area of nonmonotonic
reasoning. Its aim is to bring together active researchers in this broad
field within knowledge representation and reasoning (KRR), including
belief revision, uncertain reasoning, reasoning about actions, planning,
logic programming, preferences, deontic reasoning, argumentation,
causality, and many other related topics including systems and
applications (see NMR page, https://nmr.krportal.org).

NMR aims to foster connections between the different subareas of
nonmonotonic reasoning and provide a forum for emerging topics. We
especially invite papers on systems and applications, as well as
position papers and papers addressing benchmark issues. The workshop
will be structured by topical sessions fitting to the scopes of accepted
papers.

The workshop will be held in Melbourne, Australia, in November 11-13,
2025. Workshop activities will include invited talks and presentations
of technical papers.

*-- Important Dates -- *

All dates are 'Anywhere on Earth', namely 23:59 UTC-12.

- Paper registration:*July 15, 2025 *(instead of July 10, 2025)
- Paper submission:*July 22, 2025* (instead of July 17, 2025)
- Notification: August 28, 2025
- Camera-ready: October 4, 2025
- Workshop: November 11-13, 2025

*
-- Submission Information -- *

Papers should be at most*14 pages in 1-column CEUR style * including
references, figures, and appendices, if any. The author kit can be found
on the NMR 2025 website (https://nmr.krportal.org/2025). Papers must be
submitted in PDF only.

Please submit via Easychair to:
https://easychair.org/conferences/?conf=nmr2025

Papers already published or accepted for publication at other
conferences are also welcome, provided that the original publication is
mentioned in a footnote on the first page and the submission at NMR
falls within the authors' rights. In the same vein, papers under review
for other conferences can be submitted with a similar indication on
their front page.

*
-- Workshop Proceedings -- *

The accepted papers will be made available electronically in the CEUR
Workshop Proceedings series (http://ceur-ws.org/). The copyright of
papers remain with the authors.

*
-- Workshop Co-Chairs -- *

Anna Rapberger, Imperial College London, UK
Sebastian Rudolph, Technische Universität Dresden, Germany

*-- Local Chair -- *

Son Tran, Deakin University, Australia

*-- Further Information -- *

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

[DMANET] postdoc at IRISA Rennes

IRISA (University of Rennes) and LIX (École Polytechnique, close to
Paris) are looking for outstanding candidates for a postdoctoral
position in Computer Science. The position is funded by the ANR project
EVARISTE (https://anr.fr/Projet-ANR-24-CE23-1621, English version here
<https://anr.fr/en/funded-projects-and-impact/funded-projects/project/funded/project/b2d9d3668f92a3b9fbbf7866072501ef-8144b02212/?tx_anrprojects_funded%5Bcontroller%5D=Funded&cHash=75025f33602a4addeb42981d811785d4>).
The initial appointment is for one year, with the possibility for an
extension. The position is open at IRISA Rennes, but the research is
supposed to be performed in strict collaboration with LIX. This may
involve several visits to LIX (École Polytechnique) during the course of
the postdoc.

Applicants must hold a PhD in Computer Science or a closely-related
discipline, and have (in order of preference) experience in:

- combinatorial optimization
- programming in C/C++
- complexity theory
- distributed computing

Moreover, knowledge in distance geometry will be considered as a plus.

Applicants should submit their CV (with the list of publications) via
email, accompanied by a motivation statement and the name of at least
two academic references (with their email addresses), to:

- Antonio Mucherino (antonio.mucherino@irisa.fr)
- Leo Liberti (liberti@lix.polytechnique.fr)

The position will remain open until filled.

Wednesday, July 9, 2025

[DMANET] Postdoctoral position at Tecnologico de Monterrey

Post-Doctoral Position at the Interface of Data Science and Biological Applications

If you promote the transformation of others and contribute to projects with high social impact, this opportunity is for you.

Our university is part of the Top 10 best universities in Latin America and the Top 50 best private universities in the world, according to the QS Word University Ranking. It is also considered the No. 1 University in Mexico and No. 4 in Latin America according to the Times Higher Education.

Job Requirements:

• PhD degree in statistics, data science, bioinformatics, computer science, machine-learning, operations research, or a related field.

• Advance English (Toefl 550 or above) and excellent written and oral communication skills.

• At least 4 years of experience in the development and application of statistical methods for planning and analyzing research studies in medicine, biotechnology, food technology, or related fields, and in the manipulation of public genomic databases.

• At least 3 years of experience in programming with Python, R or an equivalent language.

• Have at least 1 publication in a Q1 journal indexed in Scopus or Web of Science in statistics, biostatistics, bioinformatics, operations research, data science, machine learning, computing science, or related areas.

• Availability to travel.

Job responsibilities:

• Perform statistical analyses, design experiments and clinical trials, and develop algorithms for constructing novel experimental plans to support research and innovation efforts.

• Develop software to automate the generation of experimental designs and statistical analyses.

• Write high-quality scientific papers

• Write competitive grant proposals to secure external funds.

• Mentor undergraduate and graduate students.
What We Offer:

• Competitive salary and benefits package.

• Computing equipment.

• Funding to attend 1 national or international conference.

• Opportunities for professional growth and development.

• Collaborative research environment with a multidisciplinary team of experts in biotechnology, medicine, and statistics.

• Opportunities to collaborate with our international partners, including the University of California, Los Angeles, USA, and KU Leuven, Belgium.
Application
The application must be written in English and attached documents should be in Word or PDF format. Applications will begin immediately and continue until the position is filled. Candidates must have availability for online interviews with faculty from Tecnologico de Monterrey. We are an equal opportunity employer and welcome applications from diverse candidates. A full application must include:

1. Cover letter highlighting qualifications and motivation (max 2 pages).

2. Curriculum vitae (CV) with list of published papers.

3. Verified copy of doctoral degree certificate.

4. Verified copies of other diplomas and a list of completed academic courses with grades.

5. Two recommendation letters.
The position is expected to begin in August; however, we are flexible and willing to accommodate later start dates depending on the candidate's circumstances.
About Monterrey
Monterrey, the capital of the state of Nuevo León in northeastern Mexico, is a dynamic and cosmopolitan city known for its strong industrial base, stunning natural surroundings, and high quality of life. As one of Mexico's most important economic and academic centers, Monterrey offers an excellent environment for professionals, researchers, and families alike. Highlights of life in Monterrey include landscapes ideal for outdoor activities, art museums and music festivals, career and entrepreneurial opportunities, and a growing gastronomic scene.

Alan R. Vazquez<https://alanrvazquez.netlify.app/>
Assistant Professor
School of Engineering and Sciences - Industrial Engineering
Tecnologico de Monterrey - Monterrey Campus

**********************************************************
*
* 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] M-PREF 2025 - 2nd Round of Submissions

======================================================================
M-PREF 2025: CFP - Second Round of Submissions
======================================================================

16th Multidisciplinary Workshop on Advances in Preference Handling

October 25, 2025, Bologna, Italy
in conjunction with ECAI 2025

https://mpref2025.mpref.org

======================================================================
Second Round of Submissions July 15 - August 1, 2025
======================================================================

IMPORTANT

We have received requests for allowing M-PREF 2025 paper
submissions after the author notification dates of ECAI 2025 and
COMSOC 2025. We are therefore opening the M-PREF 2025 submission
web site for a second round of submissions from July 15 to
August 1, 2025. This is in addition to our original round of
submissions, which will be handled as announced. Papers
submitted in the second round will be reviewed in the same way
as the papers submitted in the first round, but author
notification will only be begin of September, just before the
early registration deadline of ECAI.

TOPICS

The workshop on Advances in Preference Handling addresses all
computational aspects of preference handling. This includes methods
for the elicitation, learning, modeling, representation, aggregation,
and management of preferences and for reasoning about preferences. The
workshop studies the usage of preferences in computational tasks from
decision making, database querying, web search, personalized human-
computer interaction, personalized recommender systems, e-commerce,
multi-agent systems, game theory, social choice, combinatorial
optimization, planning and robotics, automated problem solving,
perception and natural language understanding and other computational
tasks involving choices. The workshop seeks to improve the overall
understanding of and best methodologies for preferences in order to
realize their benefits in the multiplicity of tasks for which they are
used. Another important goal is to provide cross-fertilization between
the numerous sub-fields that work with preferences.

- Preference handling in artificial intelligence
- Preference handling in database systems
- Preference handling in multi-agent systems
- Applications of preferences
- Preference elicitation and learning
- Preference representation and modeling
- Properties and semantics of preferences
- Practical preferences

FORMAT

The program will consist of presentations of peer-reviewed papers,
panel discussions about future challenges, and an invited talk.

SUBMISSION

We invite interested researchers to submit papers on any computational
aspect of preference handling.

The purpose of workshop presentations is to get early feedback on new
ideas and to stimulate discussions between researchers interested in
preference handling. As such, there will be no formal proceedings, but
we may post accepted papers on the workshop website for the benefit of
the workshop participants if the authors agree to this and the paper
has not already been published.

**Original submissions**: Submissions about unpublished ideas will be
reviewed by a double-blind process (so, should be anonymous). Papers
should be formatted according to the ECAI formatting instructions and
not exceed 7 pages (plus 1 extra page for references). Supplementary
material such as a technical appendix or code and data is not
required, but can be provided.

**Multiple submissions**: Authors who are seeking a broader forum for
already published work and who are interested in giving a presentation
to the workshop's audience may submit their work non-anonymously while
indicating where this work has been published. We will only accept
work which has been published in the last calendar year (e.g., AAAI
2025, IJCAI 2025, and any conference held after June 2024).

FORMATTING INSTRUCTIONS

https://ecai2025.org/wp-content/uploads/2025/04/ecai-template.zip

SUBMISSION WEBSITE

https://chairingtool.com/conferences/MPREFH25/main-track

IMPORTANT DATES

First round of submissions:
- Submission deadline: June 17, 2025
- Author notification: July 15, 2025
- Camera-ready: July 29, 2025

Second round of submissions:
- Submission deadline: August 1, 2025
- Author notification: September 1, 2025
- Camera-ready: September 15, 2025

M-PREF Workshop: October 25, 2025.

WORKSHOP ORGANIZERS

Ulrich Junker, France
Khaled Belahcène, Université Paris-Saclay, France
Nimrod Talmon, Ben-Gurion University, Israel

CONTACT EMAIL

inquiries@mpref2025.mpref.org

WORKSHOP URL

https://mpref2025.mpref.org

[DMANET] RAMOO 2025 im Straubing: Program and registration are available

Dear colleagues,

the next edition of the workshop "Recent Advances in Multi-Objective Optimization" (RAMOO) will take place at the Straubing Campus of the Technical University of Munich on 11 and 12 September 2025. The Campus (https://www.cs.tum.de/en/) is located in the beautiful city of Straubing in Lower Bavaria directly at the Danube River (i.e., not in Munich).

The full program and the registration are now available on the RAMOO website (https://moo.univie.ac.at/). For logistical reasons, please register by 10 August. The registration is free of charge.

We have reserved rooms for 10-12 September at special discounted rates at Hotel Wenisch (https://www.genusshotel-wenisch.de/), which is about a 15-minute walk from the Campus and about a 10-minute walk from the train station. There are different kinds of single rooms available at special rates of about €80-95 per night that can be booked by email (info@genusshotel-wenisch.de) or phone (+49 9421 99310) mentioning the keyword "RAMOO 2025 TUM Campus Straubing". Please note that these special rates are only available for bookings made by 10 August.

We are looking forward to welcoming you in Straubing in September!

Best regards,
Clemens Thielen
--
Prof. Dr. Clemens Thielen
Professorship of Optimization and Sustainable Decision Making
TUM Campus Straubing for Biotechnology and Sustainability
Technical University of Munich (TUM)

Am Essigberg 3 | 94315 Straubing | Germany
Phone: +49 9421 187 175
Web: http://odm.cs.tum.de

[DMANET] [CFP] Special Issue in Accelerated HPC in the Cloud-Edge Continuum (JNDC, SpringerNature)

Dear Colleague,
International Journal of Networked and Distributed Computing<https://link.springer.com/journal/44227> is soliciting papers for a new Open Access Topical Collection on the "Accelerated HPC in the Cloud-Edge Continuum<https://link.springer.com/collections/acgdigcdec?utm_medium=email&utm_source=generic&utm_content=null&utm_term=null&utm_campaign=APSR_44227_CON1_GL_PHSS_03HEQ_acgdigcdec>".
The International Journal of Networked and Distributed Computing is an international peer-reviewed open-access journal that publishes articles on both theory and practice, which address foundations, crucial challenges, state-of-the-art solutions, and implications on all aspects of networked and distributed computing.
I am the Guest Editor and would like to invite you to contribute to our Collection. I believe that your contribution would elevate the level of interest in the Topical Collection.
Please find below the Scope of the collection:
The Accelerated HPC in the Cloud-Edge Continuum (AHPC3) aims at bringing together Cloud, Edge computing and HPC experts from academia and industry to identify new challenges, discuss novel systems, methods and approaches for in Hybrid and accelerated HPC Cloud-Edge infrastructures and architectures, as well as to promote this vision toward academia and industry stakeholders.

All articles published by JNDC are made freely and permanently accessible online immediately upon publication. You can access the topical collection via this link<https://link.springer.com/journal/44227/collections>.

To submit your manuscript<https://www.editorialmanager.com/jndc/default.aspx> for consideration at JNDC as part of this Collection, please follow the steps detailed on this page<https://link.springer.com/journal/44227/submission-guidelines>. When submitting your manuscript, please select the relevant collection name as a response to the question "Are you submitting this manuscript to a Special Issue?" under the Additional Information section. Authors should also express their interest in the Collection in their cover letter.

All manuscripts submitted to a collection are assessed according to the standard Journal editorial criteria and peer review process and are subject to all standard journal policies. If accepted for publication, an APC - article processing charge<https://link.springer.com/journal/44227/how-to-publish-with-us#Fees%2520and%2520funding> applies (with a standard waiver policy<https://www.springernature.com/gp/open-research/policies/journal-policies/apc-waiver-countries>). Please be aware that recently, in Springer Nature, the marketing pilot for Indian manuscripts includes discounts ranging from 60% to 90%.
This topical collection is a great opportunity to highlight this important area of research, and we hope you will be able to contribute.

Best regards,

Valerio Besozzi, Guest Editor of the AHPC3 Collection

International Journal of Networked and Distributed Computing

Theory Announcements

Monday, July 14, 2025

[DMANET] Call for participation – Workshop on "Innovative Bridge Safety Management" – September 26, 2025, University of Brescia

Sunday, July 13, 2025

[DMANET] CCCG/WADS 2025 - Second Call for Participation - Early Registration July 15

Saturday, July 12, 2025

[DMANET] WABI 2025 Call for Participation

[DMANET] Postdoc, Institut Polytechnique de Paris, stochastic/robust optimization

[DMANET] HIGHLIGHTS '25: Registrations deadline 14 July

Friday, July 11, 2025

[DMANET] Symbolic Computation and Machine Learning (Call for Papers)

[DMANET] [CFP - Deadline Extended] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

[DMANET] DDP 2025 Final Call

[DMANET] Postdoc positions in discrete geometry and related areas, Charles University, Prague

[DMANET] GECCO Job Market

[DMANET] Postdoctoral Position in Complexity Theory at Warwick (Deadline: 31/July)

[DMANET] Two postdoc positions in Algebraic Graph Theory and Algebraic Geometry - University of Primorska, Slovenia

Thursday, July 10, 2025

[DMANET] ALENEX '26: deadline 23 July, Vancouver, Canada, final CFP

[DMANET] STACS 2026: First Call for Papers

[DMANET] full professor in Montpellier, France

[DMANET] International Conference on Dynamics in Logistics (LDIC 2026): Call for Papers

[DMANET] Deadline Extension for Applications - YAMC 2025

[DMANET] PhD studentship in Algorithms and complexity (UK home students only)

[DMANET] Register Now: PhD School on Machine Learning and Optimization, CWI Amsterdam, 2-4 September 2025

[DMANET] CfP: NMR 2025 --- Deadline extension

[DMANET] postdoc at IRISA Rennes

Wednesday, July 9, 2025

[DMANET] Postdoctoral position at Tecnologico de Monterrey

[DMANET] M-PREF 2025 - 2nd Round of Submissions

[DMANET] RAMOO 2025 im Straubing: Program and registration are available

[DMANET] [CFP] Special Issue in Accelerated HPC in the Cloud-Edge Continuum (JNDC, SpringerNature)

Mailing Lists

Search This Blog

Blog Archive

Monday, July 14, 2025

Sunday, July 13, 2025

Saturday, July 12, 2025

Friday, July 11, 2025

Thursday, July 10, 2025

Wednesday, July 9, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive