Tuesday, July 15, 2025

[DMANET] Nineteenth International Tbilisi Summer School in Logic and Language

===================================================================
Nineteenth International Tbilisi Summer School in Logic and Language
Kutaisi International University, Kutaisi, Georgia
September 4th-7th 2025 (https://www.logic.at/tbilisi25/)

co-located events: JELIA 2025 (https://viam.science.tsu.ge/jelia2025/)
TbiLLC 2025 (
https://events.illc.uva.nl/Tbilisi/Tbilisi2025/)

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

Lecturers & Topics

M. Baaz & M. Gamsakhurdia - Gödel Logics
S. Ghilardi - Categorical Logic: A Gentle Introduction
M. Jibladze - TBA
V. Marra - TBA
F. Honsell - Constructive Type Theories and Logical Frameworks


Excursion & Dinner
Free for all registered participants of JELIA 2025. Others have to pay 60
Euros

Registration & Inquiries
Registration is free. For any questions, please contact mariami@logic.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/
*
**********************************************************

[DMANET] Research Associate/Senior Research Associate at UNSW Sydney

Applications are invited for a Research Associate (Level A)/Senior Research Associate (Level B) at UNSW Sydney, funded by the ARC Discovery Project "Probabilistic methods for complex discrete structures". The Research Associate/Senior Research Associate will perform research in collaboration with Prof. Catherine Greenhill (UNSW), Dr Mikhail Isaev (UNSW), A/Prof. Anita Liebenau (UNSW), Prof. Brendan McKay (ANU) and Prof. Ian Wanless (Monash), guided by Prof. Greenhill.

This is a full-time fixed-term position for 2 years. The start date is 1 December 2025 or a mutually-agreed alternative. The project budget includes some funding for research travel for the Research Associate/Senior Research Associate.

The successful candidate will hold a PhD in mathematics or theoretical computer science by the start of the appointment, and will have experience in asymptotic, algorithmic or probabilistic combinatorics, or a closely-related area. Applicants should also be active researchers with good written and oral communication skills, and the ability to work effectively both independently and in a team.

Applicants should systematically address the selection criteria ("Skills and Experience") in their application and should nominate two referees. Further information on how to apply can be found at the link below. UNSW Sydney is an equal opportunity employer.

For more information, please contact Prof. Catherine Greenhill by email: c.greenhill@unsw.edu.au

Applications close: 31 August 2025

https://external-careers.jobs.unsw.edu.au/cw/en/job/533626/senior-research-associate-pure-mathematics

Confidential communication - This email and any files transmitted with it are confidential and are intended solely for the addressee. If you are not the intended recipient, please be advised that you have received this email in error and that any use, dissemination, forwarding, printing, or copying of this email and any file attachments is strictly prohibited. If you have received this email in error, please notify me immediately by return email and destroy this email.


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

Monday, July 14, 2025

[DMANET] First Workshop on Logic Statistical and Neural AI (LoStaN), co-located with JELIA 2025 on September 2-3, 2025 Kutaisi, Georgia.

First Workshop on Logic Statistical and Neural AI (LoStaN), co-located with
JELIA 2025 on September 2-3, 2025 Kutaisi, Georgia.
website: https://lostan-workshop.github.io/2025/

Important dates:
- Paper submission deadline: July 11th 20th, 2025, AoE
- Author Notification: July 25th 30th, 2025, AoE
- Workshop Date: September 2-3, 2025,

Topics of Interest:
We welcome contributions on theoretical foundations, practical
applications, and interdisciplinary approaches combining symbolic,
statistical, and neural methods in AI. Topics of interest include, but are
not limited to:

- Integration of logic and statistics into machine learning models
- Explainable AI (XAI) and interpretable machine learning via symbolic
methods
- Symbolic knoweldge extraction and injection from/into machine learning
models
- Neuro-symbolig approaches to AI
- Statistical relational learning and probabilistic logic
- Learning symbolic representations from data
- Inductive Logic Programming (ILP) and relational learning
- Causal reasoning and logic-based causal discovery
- Neuro-symbolic integration and hybrid AI systems
- Fairness, accountability, and transparency in hybrid AI systems
- Logic and learning for multi-agent systems
- Human-centric AI: reasoning, learning, and interaction
- Deep learning and knowledge extraction
- Formal methods for the verification of neural networks
- Benchmarking and evaluation of hybrid AI systems
- Applications in robotics, natural language understanding, bioinformatics,
etc.
- Toolkits and platforms for integrating logic, statistics, and neural
networks

Call for paper:
We invite the following types of contribution:
Full or short papers about approaches involving logic, statistical and
neural models, and their combination/integration.Full papers should be
limited to 14 pages, while short papers should be limited to 7 pages
(excluding references).
Position papers concerning the application of logic, statistical and
neural models in specific fields. Position papers should be limited to 7
pages(excluding references).
Survey papers, concerning any of the above. Survey papers should be limited
to 14 pages (excluding references).
Preliminary or already-published work can be submitted, provided that the
submission is clearly marked as such.
Authors are invited to submit original papers in PDF format here.

Organizers:
- Elena Umili, Sapienza University of Rome, Italy
- Federico Sabbatini, University of Urbino, Italy
- Giovanni Ciatto, University of Bologna, Italy
- Matteo Magnini, University of Bologna, Italy
- Yves Lesperance, York University, Canada
For any questions, please do reach out to the organizers.

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

[DMANET] [CFP] Extended Deadline: 7 August 2025 (FIRM) – The 3rd International Workshop on TwinNetApp in conjunction with IEEE GLOBECOM 2025 | Taipei, Taiwan

========================================
We apologize if you receive multiple copies of this CFPs.
We appreciate your help to contribute & forward this CFPs to your friends.
========================================
You are cordially invited to submit your latest research results to the TwinNetApp Workshop.


CALL FOR PAPERS
The Third International Workshop on Data Driven and AI-Enabled Digital Twin Networks and Applications (TwinNetApp) in conjunction with IEEE GLOBECOM 2025 | Taipei, Taiwan
Workshop Website: https://globecom25-twinnetapp.bcrg.uk/
Conference Website: https://globecom2025.ieee-globecom.org/

The next generation of technologies is envisioned to connect the physical and digital worlds. In this regard, Digital Twins (DT) is an emerging technology that has taken the world by storm due to its multiple benefits and deployment in interdisciplinary applications ranging from real-time remote monitoring to healthcare, industrial control systems and predictive maintenance in aerospace. DT connects the physical and digital worlds by building an accurate virtual replica of system objects in real-time. Real-time network monitoring, performance testing, optimization, and fast simulation are some examples that exploit DT advantages in the communication domain and beyond. DT delivers a new generation platform to analyze and test complex systems that is not currently available in traditional simulations and evaluations. Therefore, the use of DT is required in communication systems. Further, DT can deliver seamless analysis, monitoring, and predictions between digital and virtual counterparts of real-world systems, when it is used together with next-generation mobile communications (5G/6G), Virtual Reality (VR), Internet of Things (IoT), Artificial Intelligence (AI), Transfer Learning (TL), 3D models, Augmented Reality (AR), distributed computing and intelligent health applications. The workshop will invite authors to submit papers presenting new research on all aspects of DT networks, systems and applications. Topics of interest include, but are not limited to:

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


General Chairs
• Berk Canberk, Edinburgh Napier University, UK (B.Canberk@napier.ac.uk)
• Octavia Dobre, Memorial University, Canada (odobre@mun.ca) (IEEE Fellow)
• Marco Di Renzo, Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des Signaux et Systémes, France (marco.di-renzo@universite-paris-saclay.fr) (IEEE Fellow)

Industrial Chair
• Gökhan Yurdakul, GM of BTS Group (yurdakulg@btsgrp.com)

Important Dates
• Paper Submission Deadline: 15 July 2025 7 August 2025 (FIRM)
• Paper Acceptance Notification: 1 September 2025
• Camera Ready: 1 October 2025

Submission
The page length limit for all initial submissions for review is SIX (6) printed pages (10-point font) and must be written in English. Initial submissions longer than SIX (6) pages will be rejected without review.
Submission Link: https://edas.info/newPaper.php?c=33991&track=132200

Best Paper Award
The workshop will feature a Best Paper Award with a cash prize of 800 Dollars, sponsored by BTS Labs (https://btslabs.ai/).

Sincerely,
Yagmur
PhD Student, Edinburgh Napier University


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

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

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

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

**********************************************************
*
* 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] AMSI-MATRIX Winter School 2025 - travel and accomodation support available

Good day!

Have you got postgraduate students (or know of anybody) who would be interested in participating in the upcoming AMSI-MATRIX Winter School 2025<https://ws.amsi.org.au/> on mathematics for action: supporting decision-making for a better future hosted at MATRIX Creswick (Victoria, Australia) from 1-12 September?

We have two international travel and accommodation grants available to assist students from universities in the Asia-Pacific region attend the Winter School in person.

Participants will explore real-world applications of mathematical models, algorithms, and machine learning in fields such as healthcare, logistics and resource management, aligning with UN Sustainable Development Goals.


* The two-week event is designed for postgraduate students, early-career researchers and industry professionals in the mathematical sciences and related disciplines.
* Prerequisite: It is expected that participants will have sufficient basic background in statistics, linear algebra, differential equations, optimisation, and coding.

* Two International student grants of up to AUD$1500 per student for travel are available. Grant recipients will also receive two weeks accommodation booked and paid for by AMSI-MATRIX. Please advise applicants of any additional funding they can access from their home departments to support their attendance.

* Applicants are strongly encouraged to attend in person at MATRIX Creswick, Victoria to maximise their experience, however, can opt to join online. Note: not all elements of the program are available remotely.

Courses:

* Mathematics of Bushfire Management
Professor Jason Sharples, UNSW Canberra
* Optimising for Impact: Tools and Techniques for Sustainable Decision-Making

Dr Marcella Papini, University of Newcastle

* Emerging Computational Methods for Sustainable Decision-Making

Professor Hoong Chuin Lau, Singapore Management University

* Discrete Applied Mathematics and Applications in Personalised Medicine and Data Science

Professor Pablo Moscato, University of Newcastle


In addition to the above courses, the program includes participants talks, a careers session, networking activities and special lectures by Professor Craig T Simmons, Associate Professor Elham Mardaneh, Professor Kate-Smith Miles, and Professor Elena Prieto.


Could you please promote this opportunity to your postgraduate students and encourage them to apply by Friday 8 August.


Kind regards

P.

Pablo Moscato
Professor of Data Science
Research Strategy Coordinator
School of Information and Physical Sciences
The University of Newcastle,
Callaghan, 2308 NSW
Australia

UON Profile - https://www.newcastle.edu.au/profile/pablo-moscato
Linkedin - https://www.linkedin.com/in/pablo-moscato-0040052b/
Google Scholar - https://scholar.google.com.au/citations?user=cc3Ym4gAAAAJ&hl=en&oi=ao

<https://www.newcastle.edu.au/profile/pablo-moscato>
"Multi famam, conscientiam pauci verentur."

I acknowledge the Awabakal people as the traditional custodians of the land on which I work and live. I stand for equity and diversity and have taken the UON Gender Equality Leadership Pledge<https://www.newcastle.edu.au/current-staff/our-organisation/equitable-workplace/workplace-gender-equity/leadership-pledge>

[The University of Newcastle]<https://newcastle.edu.au/>
I acknowledge the Traditional Custodians of the land in which the University resides and pay my respect to Elders past and present.
I extend this acknowledgement to the Awabakal people of the land in which the Callaghan campus resides and which I work.
CRICOS Provider 00109J


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

** ICDT 2026 - Second Submission Round - Call for Papers **

ICDT is a series of international scientific conferences on research of
data management theory (https://databasetheory.org/icdt-pages). Since 2009,
it is annually and jointly held with EDBT (Extending DB Technology).

The 29th edition of ICDT <https://edbticdt2026.github.io/>, in 2026, will
take place in Tampere, Finland.


** Second Submission Cycle **

September 3, 2025: Abstract submission

September 10, 2025: Paper submission

December 1, 2025: Notification

Papers rejected in the first submission cycle cannot be submitted to the
second submission cycle unless explicitly permitted by the reviewers.

** Topics of Interest **

We welcome research papers on every topic related to the principles and
theory of data management, provided that there is a clear connection to
foundational aspects. This includes, for example, articles on "classical"
data management topics such as:

The theoretical investigation of various aspects of underlying data
management systems (e.g., Indexes, Concurrency and recovery, Distributed
and parallel databases, Cloud computing, Privacy and security, Graph
databases, Data streams and sketching, Data-centric (business) process
management and workflows, Data and knowledge integration and exchange, Data
provenance, Views, Data warehouses, Domain-specific databases - multimedia,
scientific, spatial, temporal, text data, ...),

The design and study of data models and query languages,

The development and analysis of algorithms for data management.

but also includes papers exploring existing or identifying new connections
between data management and other areas, such as the areas of:

knowledge representation, semantic web, web services,

information retrieval and data mining,

machine learning/AI,

distributed computing,

theoretical computer science.

In all of the above, a clear emphasis on foundational aspects is expected.
You may want to check https://dblp.org/db/conf/icdt/index.html to get an
overview of previous editions of ICDT.

The Program Committee reserves the right to desk reject a submission when
it is regarded to be out of scope.

** Program Committee **

** ICDT 2026 Program Committee Chair **

Balder ten Cate, ILLC, University of Amsterdam

** ICDT 2026 Program Committee Members **

Antonella Poggi, University of Rome Sapienza

Batya Kenig, Technion

Carsten Lutz, University of Leipzig

Cristina Sirangelo, CNRS, Université Paris Cité

Diego Figueira, CNRS, Univ Bordeaux

Dominik Freydenberger, Loughborough University

Emanuel Sallinger, TU Wien

Floris Geerts, University of Antwerp

Francesco Scarcello, Università della Calabria

Hubie Chen, King's College London

Jeff M. Phillips, University of Utah

Liat Peterfreund, Hebrew University of Jerusalem

Luc Segoufin, INRIA, ENS Ulm

Mahmoud Abo Khamis, RelationalAI

Marco Calautti, Università degli Studi di Milano

Markus Schmid, Humboldt-Universität zu Berlin

Martin Grohe, RWTH Aachen University

Matthias Niewerth, Bayreuth University

Miika Hannula, University of Tartu

Sanjay Krishnan, University of Chicago

Sebastian Rudolph, TU Dresden

Stavros Sintos, University of Illinois Chicago

Stefan Mengel, CNRS, Université d'Artois

** Submission Instructions **

All submissions will be electronic via EasyChair. Link:
https://easychair.org/conferences/?conf=icdt202
<https://easychair.org/conferences/?conf=icdt2025>6

Papers must be written in English and provide sufficient detail to allow
the program committee to assess their merits. Papers must be submitted as
PDF documents, using the LIPIcs style (
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors).

** Tracks **

1. ** Regular Research Papers (15 pages) **

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops. Papers
must be at most 15 pages, excluding references. Additional details may be
included in a clearly marked appendix, which, however, will be read at the
discretion of the program committee (online appendices are not allowed).
Papers not conforming to these requirements may be rejected without further
consideration.

2. ** Database Theory in Action (4 pages) **

Continuing with the idea of broadening the scope of ICDT and showcase the
impact of database theory, ICDT 2026's "Database Theory in Action" track
calls for short papers illustrating interesting applications of database
theory in other domains or in solving real-world problems. These papers
will be 4 pages + references, and can be based on a previously published
paper at another venue.

In particular, we invite papers that demonstrate novel and important
connections between database theory and neighboring communities such as
Database Systems, Operating Systems, Programming Languages, Machine
Learning, Artificial Intelligence, Knowledge Representation, Distributed
Computing, and Industry.

At the discretion of the program committee, there may be invited papers to
this track as well.

The title of the papers submitted to this track must start with "Database
Theory in Action:". These papers should also include clear pointers to all
relevant previous publications, websites, tools, repositories, etc.

The proceedings will appear in the Leibniz International Proceedings in
Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees
that the proceedings will be available online and free of charge, while the
authors retain the rights over their work.

At least one author of each accepted paper is expected to register at the
conference and to present the paper.

** Anonymous Submission **

>From 2024, ICDT has adopted anonymous submission (only for regular track
papers, submissions should not be anonymous for the "database theory in
action" track), in line with other leading conferences in the database
community such as SIGMOD and PODS. The intent of anonymous submission is to
ensure that the identity of the authors is not presented to the reviewers
during the review process. Specifically, submitted papers must not list
authors or affiliations, and must not include acknowledgments to funding
sources, or other colleagues or collaborators. References to the authors'
own prior work must not be distinguished from other references. Where this
is not possible (for instance, when referring to a specific system to which
the authors have privileged access), anonymized citations are permissible.
For more background on the motivation for anonymous submissions, and the
mechanisms to achieve it, please consult [Snodgrass, 2007]
https://www2.cs.arizona.edu/~rts/pubs/TODS07.pdf

Simultaneously, the authors may make their submissions available to the
community via pre-print services such as ArXiv and through talks. We do
require that work is not labeled as "under submission at ICDT" or indicates
that it is under review, but otherwise place no restrictions on sharing
results. This does not conflict with the anonymous submission requirement.

**Awards**

An award will be given to the Best Paper. Also, an award will be given to
the Best Newcomer Paper written by newcomers to the field of database
theory. The latter award will preferentially be given to a paper written
only by students; in that case the award will be called Best Student-Paper
Award. The program committee reserves the following rights: not to give any
award; to split an award among several papers; and to define the notion of
a newcomer.

Following a recent decision by the ICDT council, papers authored or
co-authored by program committee members may be eligible for the best paper
award, in which case the programme committee will take care to follow a
selection procedure that avoids any conflicts of interest.

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


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

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

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

Friday, 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.


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

[DMANET] [CFP - 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>


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


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


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

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

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

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


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

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