Theory Announcements

Wednesday, April 2, 2025

[DMANET] UCNC 2025: second call for papers

[Apologies if you receive multiple copies of this email]
============================================================
UCNC 2025 - CALL FOR PAPERS

UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION 2025

UCNC 2025, September 1-5, 2025, Université Côte d'Azur, Valrose Campus, Nice, France

Website: https://webusers.i3s.univ-cotedazur.fr/UCNC2025/
* Regular & short papers
Submission deadline May 15, 2025
Notification of acceptance June 15, 2025
Final version for proceedings July 1, 2025

* SUBMISSIONS website: https://easychair.org/my/conference?conf=ucnc2025
* Late-breaking abstract & posters
Submission deadline for poster May 15, 2025
Notification of acceptance June 1, 2025

A one-page abstract for posters should be submitted together with the pdf poster
on easychair (zip format). All paper submissions should be in PDF format.

DEADLINES ARE FIRM.

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

BACKGROUND
----------
The International Conference on Unconventional Computation and Natural Computation (UCNC) series is a forum bringing together scientists
from many different backgrounds who are united in their interest in novel forms of computation, human-designed computation inspired by
nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work.
The 22nd International Conference on Unconventional Computation and Natural Computation (UCNC 2025) will be held at the
Université Côte d'Azur, Valrose Campus, Nice, France on September 1-5, 2025 and will continue the tradition of focusing on current important
theoretical and experimental results and their critical evaluation.

AUTHOR GUIDELINES
-----------------
Authors are invited to submit original research papers through the conference EasyChair link: https://easychair.org/conferences/?conf=UCNC2025

Papers must be submitted in Portable Document Format (PDF).
There are four paper categories: regular (up to 15 pages),
short (up to 6 pages), late-breaking abstracts (up to 3 pages)
and posters (1 page in A0 format plus one A4 page abstract).

Accepted regular and short papers will be published in the Springer Lecture Notes in Computer Science Series as post-proceedings. Authors of selected
papers will be invited to submit extended versions for publication in a special issue of Natural Computing.

Papers must not be under simultaneous consideration by any other conference with published proceedings. All accepted papers or posters must be
presented at the conference by at least one registered author.

At least one author of each accepted paper, late-breaking abstract and poster has to register, attend the conference and present the work.

More information about submissions can be found on the conference website.

Please note that these guidelines apply only to the main conference track; satellite workshops have their own submission procedures and publication
arrangements.

WORKSHOPS
===========
* Reaction Systems (Organizer: Ion Petre)
* Quantum Computing (Organizers: Mika Hirvensalo and Zornitza Prodanoff)

UCNC Topics of interest include (but are not restricted to):
===============================
* Molecular computing
* Quantum computing
* Optical computing
* Chaos computing
* Physarum computing
* Collision-based computing
* Self-assembling and self-organizing systems
* Super-Turing computation
* Cellular automata
* Neural computation
* Evolutionary computation
* Swarm intelligence
* Ant algorithms
* Artificial immune systems
* Artificial life
* Membrane computing
* Amorphous computing
* Computational systems biology
* Computational neuroscience
* Synthetic biology
* Cellular (in-vivo) computing

PROGRAM COMMITTEE (UCNC 2025)
=============================
* Cristian S. Calude, University of Auckland, New Zealand
* Ho-Lin Chen, National Taiwan University, Taiwan
* Da-Jung Cho, Ajou University, Republic of Korea
* Moreno Falaschi, University of Siena, Italy
* Paola Flocchini, University of Ottawa, Canada
* Enrico Formenti, Université Côte d'Azur, France — co-chair
* Giuditta Franco, University of Verona, Italy
* Daniela Genova, University of North Florida, USA
* Masami Hagiya, University of Tokyo, Japan
* Mika Hirvensalo, University of Turku, Finland
* Natasha Jonoska, University of South Florida, USA
* Jarkko Kari, University of Turku, Finland
* Jongmin Kim, Pohang University of Science and Technology, Republic of Korea
* Ian McQuillan, University of Saskatchewan, Canada
* Luca Manzoni, University of Trieste, Italy — co-chair
* Bruno Martin, Université Côte d'Azur, France
* Ion Petre, University of Turku, Finland
* Zornitza Prodanoff, University of North Florida, USA
* Friedrich Simmel, Technical University of Munich, Germany
* Susan Stepney, University of York, UK
* Yukiko Yamauchi, Kyushu University, Japan

ORGANIZING COMMITTEE (UCNC 2025)
================================
* Kenza Benjelloun, University of Trieste, Italy
* Christophe Crespelle, Université Côte d'Azur, France
* Enrico Formenti, Université Côte d'Azur, France — chair
* Sandrine Julia, Université Côte d'Azur, France
* Amélia Kunze, Université Côte d'Azur, France
* Davide La Torre, SKEMA Business School, France
* Bruno Martin, Université Côte d'Azur, France

STEERING COMMITTEE (UCNC)
=========================
* Thomas Bäck, University of Leiden, The Netherlands
* Cristian S. Calude, University of Auckland, New Zealand
* Enrico Formenti, Université Côte d'Azur, France — co- chair
* Lov K. Grover, Bell Labs, USA
* Mika Hirvensalo, University of Turku, Finland — co-chair
* Natasha Jonoska, University of South Florida, USA
* Jarkko Kari, University of Turku, Finland
* Seth Lloyd, Massachusetts Institute of Technology, USA
* Giancarlo Mauri, Università degli Studi di Milano-Bicocca, Italy
* Gheorghe Paun, Institute of Mathematics of the Romanian Academy, Romania
* Grzegorz Rozenberg, Leiden University, The Netherlands — Emeritus chair
* Arto Salomaa, University of Turku, Finland
* Shinnosuke Seki, University of Electro-Communications, Japan — co-chair
* Tomasso Toffoli, Boston University, USA
* Carme Torras, Institute of Robotics and Industrial Informatics, Spain
* Jan van Leeuwen, Utrecht University, The Netherlands

FURTHER INFORMATION (UCNC 2025)
==========================
Enrico Formenti (co-Chair)
Digital Systems for Humans (DS4H)
Université Côte d'Azur
Email: enrico.formenti@univ-cotedazur.fr
============================================================

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

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)

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

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
Performance Measurements and Metrics

Important Dates

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

Paper submission

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

Contact: ddp@socio.org.uk

[DMANET] Call for Papers: WEPA 2024 Special Issue in Discrete Applied Mathematics

Dear Colleagues,

We kindly invite you to submit your manuscripts related to enumeration
to the special issue of the workshop "WEPA 2024", on the journal
Discrete Applied Mathematics.

Contributions not presented at WEPA 2024 are also welcome, and all
submissions are reviewed according to the high standards of the journal.

The submission deadline is September 26, 2025; please find the full CFP
below and on the journal's webpage:
https://www.sciencedirect.com/special-issue/319890/wepa-2024-6th-workshop-on-enumeration-problems-and-applications

Please write to nadia.creignou@lis-lab.fr or giulia.punzi@unipi.it to
notify your interest.

Best regards,
Nadia Creignou and Giulia Punzi

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

*Journal*: Discrete Applied Mathematics

*Special Issue*: WEPA 2024 (Sixth International Workshop on Enumeration
Problems and Applications)

WEPA (Workshop on Enumeration Problems and Applications) is an
international forum for researchers in the area of design, analysis,
experimental evaluation, and engineering of algorithms for enumeration
problems. The objective of the workshop is to foster collaboration,
gathering researchers to present recent results and explore future
directions for enumeration algorithms with applications in biology, data
mining, logic, databases, and more. WEPA 2024 is the sixth edition of
this workshop, and was held in Kinugawa-Onsen, Nikko (Japan) on October
19–22, 2024.

We cordially invite the authors and participants of WEPA 2024, as well
as other researchers on enumeration algorithms, to contribute to this
special issue of /Discrete Applied Mathematics/. Submissions should
relate to the themes of WEPA, including but not restricted to:

- Combinatorial Enumeration and Counting

- Input-sensitive and Output-sensitive Algorithms

- Complexity of Enumeration Problems

- Approximate Enumeration and Counting

- Applications in Biology, Data Mining, Logic, and Databases

Submissions of contributions not presented at the workshop are welcome.
Contributions arising from abstracts presented in the conference should
be substantially extended, and should cite the conference paper where
appropriate. All articles will be thoroughly refereed according to the
high standards of /Discrete Applied Mathematics/.

*The guide for authors can be found at*:
https://www.elsevier.com/journals/discrete-applied-mathematics/0166-218x/guide-for-authors

Full papers must be submitted through the Elsevier Editorial Manager
(EM) system (https://www.editorialmanager.com/dam/default1.aspx ). When
submitting your paper, be sure to specify that the paper is a
contribution for the special issue of *WEPA 2024*, so that your paper is
assigned to the Guest Editors. Please see the Author Instructions on the
website if you have not yet submitted a paper through EM.

*DEADLINE: The deadline for submission is September 26, 2025*

Accepted papers will be published online individually, before print
publication.

We are looking forward to receiving your contributions.

The Guest Editors,

Prof. Nadia Creignou, Aix-Marseille Université

Dr. Giulia Punzi, University of Pisa

[DMANET] PhD position at KU Leuven and UGent

We are looking for a full-time PhD student to do research in the field of Operations Research under the supervision of prof. Dries Goossens, Department of Business Informatics and Operations Management (Faculty of Economics and Business Administration) of Ghent University, and profs. Jeroen Belien and Liesje De Boeck, Operations Management research group (Faculty of Economics and Business) of KU Leuven (campus Brussels). The PhD researcher will work on various topics that relate to optimization (OR) and education.

More details on the project and how to apply can be found at:
https://www.kuleuven.be/personeel/jobsite/jobs/60460533?lang=en

The deadline to apply is May 4, and the contract would start in fall 2025.

For more info, contact prof. dr. Jeroen Belien (jeroen.belien@kuleuven.be<mailto:jeroen.belien@kuleuven.be>) or prof. dr. Liesje De Boeck (liesje.deboeck@kuleuven.be<mailto:liesje.deboeck@kuleuven.be>) or prof. dr. Dries Goossens (dries.goossens@ugent.be<mailto:dries.goossens@ugent.be>)

Please circulate this offer to potential candidates and colleagues who are looking for PhD positions (and don't hesitate to contact us to inquire more).

[DMANET] VCLA International Student Awards - Second Call for Nominations

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:

- Outstanding Master Thesis Award*
- Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)*

*The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive).

----------------------------------
The main areas of interest are:
----------------------------------
- Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
- Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms.
- Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
- Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.

----------------------------------
Awards
----------------------------------
- The Outstanding Master Thesis Award: 1200 EUR.
- The Outstanding Undergraduate Thesis Award: 800 EUR.
- The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows.

----------------------------------
Eligibility
----------------------------------
- The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive).
- Students who obtained their degree at TU Wien are not eligible.

----------------------------------
Nomination Requirements
----------------------------------
Nominations must include:
- A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university.
- An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest.
- The CV of the nominated person, including publication list (if applicable).
- An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to vcla_awards (AT) tuwien.ac.at.
- The full thesis.

All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work.

----------------------------------
Instructions for submitting self-nominations
----------------------------------
- Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2025.
- Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis.
- The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to vcla_awards (AT) tuwien DOT ac DOT at.
- The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords.
- The nominated student must be listed as the only author in the submission form.

----------------------------------
Important dates
----------------------------------
- Submission deadline: April 20th, 2025 (anywhere on Earth)
- Notification of decision: Beginning of July, 2025

----------------------------------
Contact
----------------------------------
Please send all inquiries to vcla_awards@tuwien.ac.at<mailto:vcla_awards@tuwien.ac.at>.
----------------------------------
VCLA Award Committee 2025
----------------------------------
Shqiponja Ahmetaj (chair)
Alexis de Colnet
Katalin Fazekas
Simon Dominik Fink
Phuc Hung Hoang
Daniela Kaufmann
Matthias Lanzinger
Xinghan Liu
Anela Lolic (chair)
Sanja Lukumbuzya
Xavier Parent
Adrian Rebola Pardo
Martin Riener
Zeynep Saribatur
Sebastian Skritek
Martin Tappler
----------------------------------
Website with information on the award and the previous awardees
----------------------------------

https://www.vcla.at/vcla-awards/

[DMANET] [Extended Deadline] BCCA 2025: The 7th International Conference on Blockchain Computing and Applications, Dubrovnik, Croatia [Hybrid Conference]

*The 7th International Conference on Blockchain Computing and Applications
(BCCA 2025)*

14-17 October 2025 | Dubrovnik, Croatia

*Hybrid Conference*

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

*Sponsored by IEEE Croatia Section*

Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It plays a significant role in several areas,
such as the Internet of Things, supply-chain management, manufacturing,
cyber-physical systems, healthcare systems, etc. Unlike centralized
transaction processing solutions, blockchain uses a distributed ledger
mechanism to record data transactions on multiple devices; this will
prevent data breaches, identity theft, and a plethora of cyber-related
attacks, leading to sustainability in data privacy and security. This
conference aims to attract the work of both researchers and practitioners
in the area of cyber-security to share and exchange their experiences and
research studies in both academia and industry in the field of blockchain.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but are not limited to:

- Track 01: Large Language Models (LLMs) and Blockchain
- Track 02: Artificial Intelligence and Machine Learning
- Track 03: IoT and Cyber-Physical Systems
- Track 04: Big Data and Analytics
- Track 05: Security and Privacy on the Blockchain
- Track 06: Metaverse and Digital Twin
- Track 07: IoT Network Security
- Track 08: Blockchain Research & Applications for Innovative Networks
and Services
- Track 09: Quantum Computing and Blockchain

*Publication*

*IEEE is a technical sponsor of BCCA 2025*. All accepted papers in BCCA
2025 and the workshops co-located with it will be submitted to IEEEXplore,
dblp and Scopus for inclusion.

*Important Dates:*

- Papers due: March 15, 2025 *April 15, 2025 (Extended)*
- Acceptance notification: May 26, 2025
- Registration due: June 26, 2025
- Camera-ready paper due: July 26, 2025
- Workshop/Tutorial Proposal Submission: March 15, 2025 *April 15, 2025
(Extended)*
- Workshop/Tutorial Proposal Acceptance: April 20, 2025

*Main track Submission Guidelines:*

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

- *Long papers:* (7-8 pages).
- *Short papers:* (5-6 pages).
- *Poster papers:* (2 pages)

*Submission Link: *https://edas.info/N33458

*Organizing Committee*
*Honorary Chair*

- Vlatko Lipovac, University of Dubrovnik, Croatia
- Flavia Delicato, Fluminense Federal University, Brazil

*General Chair*

- Adriana Lipovac, University of Dubrovnik, Croatia

*Program Co-Chairs*

- Safa Otoum, Zayed University, UAE
- Müge Özçevik , Istanbul Technical University, Turkey
- Dusan Ramljak, Penn State Great Valley, USA

--Regards,

Tuesday, April 1, 2025

[DMANET] Postdoc Position in Online Algorithms at Oxford

A postdoc position is available at the University of Oxford to work on online algorithms and/or learning-augmented algorithms. The position is part of the ERC Starting Grant project "Challenges in Competitive Online Optimisation" led by Christian Coester, which aims to tackle central challenges in the fields of online algorithms and learning-augmented algorithms. Goals of the project include the advancement of algorithmic design and analysis techniques with potential impact on long-standing open problems in online algorithms, and the development of universal techniques for designing learning-augmented algorithms.

The start date is flexible (realistically September 2025 or later) with a contract until 31 August 2027.

Closing date for applications is 12 noon UK time on 22nd April 2025.

For more details and to apply visit https://my.corehr.com/pls/uoxrecruit/erq_jobspec_version_4.display_form?p_company=10&p_internal_external=E&p_display_in_irish=N&p_process_type=&p_applicant_no=&p_form_profile_detail=&p_display_apply_ind=Y&p_refresh_search=Y&p_recruitment_id=178943

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

[DMANET] DISC 2025 - Second Call for Papers

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

*DISC 2025 Call for Papers*

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

39th International Symposium on Distributed Computing
October 27th – October 31st, 2025
Berlin, Germany

https://www.disc-conference.org/wp/disc2025/

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

*DISC Conference Overview*

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

The International Symposium on Distributed Computing (DISC) is an
international forum on the theory, design, analysis, implementation and
application of distributed systems and networks. It is organized in
cooperation with the European Association for Theoretical Computer Science
(EATCS). The symposium was established *40 years ago*, in 1985, as a
biannual International Workshop on Distributed Algorithms on Graphs (WDAG).

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

*Important Dates*

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

*Paper registration:* May 20, 2025
*Submission deadline:* May 23, 2025

*Rebuttal phase:* July 7-14, 2025

*Notification:* August 7, 2025

All deadlines are at 23:59 AoE.

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

*Scope*

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

Submissions are sought in all areas of distributed algorithms and
distributed systems, including theory, design, implementation, modelling,
analysis, and application of distributed systems and networks. Topics of
interest include, but are not limited to:

- Biological and nature-inspired distributed algorithms
- Blockchain protocols
- Coding and reliable communication
- Communication networks: algorithms, protocols, and applications
- Complexity, lower bounds, and impossibility results
- Design and analysis of distributed algorithms
- Distributed and concurrent data structures
- Distributed algorithms for clouds and IoT
- Distributed graph algorithms
- Distributed machine learning and data science
- Distributed operating systems, middleware, database systems
- Distributed resource management
- Fault tolerance, reliability, self-organization, self-stabilization
- Formal methods for distributed computing: verification, synthesis and
testing
- Game-theoretic and knowledge-based approaches to distributed computing
- Internet and web applications, social networks and recommendation systems
- Massively-parallel, high-performance, cloud and grid computing
- Mobile agents, autonomous distributed systems, swarm robotics
- Multiprocessor and multi-core architectures and algorithms
- Overlay networks and peer-to-peer networks
- Population protocols and chemical reaction networks
- Quantum distributed algorithms
- Replication, consensus, and consistency
- Security in distributed computing, cryptographic protocols
- Synchronization, persistence and transactional memory
- Wireless, mobile, sensor and ad-hoc networks

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

*Submissions*

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

A submitted paper should clearly motivate the importance of the problem
being addressed, discuss prior work and its relationship to the paper,
explicitly and precisely state the paper's key contributions, and outline
the key technical ideas and methods used to achieve the main claims. A
submission should strive to be accessible to a broad audience, as well as
having sufficient details for experts in the area.

There are two types of submissions: regular papers and brief announcements.
Regular papers must report on original research that has not previously
been published (and may not be concurrently submitted to other journals or
conferences with proceedings). All ideas necessary for an expert to fully
verify the central claims in a paper, including experimental results,
should be included in the submission. A brief announcement may describe
work in progress or work presented elsewhere. A brief announcement may also
present a result that is short and elegant, but does not require a longer
paper. It may also be used to announce a software distribution or an
experimental result of interest that can be concisely described.

A paper that is not accepted as a regular paper may be invited as a brief
announcement.

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

*Submission format*
=====================================

Submissions must be in English in pdf format and they must be prepared
using the LaTeX style template for LIPIcs (
https://submission.dagstuhl.de/series/details/5#author) with

\documentclass[a4paper,anonymous,USenglish]{lipics-v2021}.

Submissions must be anonymous, without any author names, affiliations, or
email addresses. The contact information of the authors will be entered
separately in the submission metadata.

For regular papers, there is no page limit, and authors are encouraged to
use the "full version" of their paper as the submission. The initial 15
pages, excluding the title page and a table of contents, should contain a
clear presentation of the merits of the paper, including a discussion of
the paper's importance within the context of prior work and a description
of the key technical and conceptual ideas used to achieve its main claims.
(Illustrative figures are encouraged.) The submission must contain all
necessary details, including full proofs of all claims in the paper.

Although there is no bound on the length of a submission, material other
than the first 15 pages, excluding the title page and a table of contents,
will be read at the committee's discretion. Papers submitted as brief
announcements should comply with the above rules, replacing 15 pages with 5
pages.

Submissions not conforming to the submission guidelines and papers outside
of the scope of the conference will be rejected without consideration.

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

*Use of Large Language Models (LLMs)*
=====================================

The use of LLMs for submission preparation is permitted, although it is
highly recommended that they only be used for cosmetic changes, e.g.
proofreading of the text. The use of LLMs in technical parts should be
treated in the same way as any other software or system, and thus carefully
described and documented in the submission. Ultimately, the authors are
responsible for the content of their submission, and mis-use of LLM may
result in rejection. Any questions about the LLM use policy should be
directed to the PC chair, Dariusz Kowalski (dkowalski@augusta.edu).

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

*Anonymous Submissions*
=====================================

We will use a relaxed implementation of double-blind peer review.
Submissions must not reveal the identity of the authors in any way. In
particular, authors' names and affiliation should not appear in the
document itself. Authors should ensure that any references to their own
related work are in the third person (e.g., not "We build on our previous
work …" but rather "We build on the work of …"). The purpose of this
process 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.

You are free to disseminate your work through arXiv and other online
repositories and give presentations on your work as usual. Moreover,
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.

Brief announcements should also be submitted without author names and
affiliations so that a reviewer can form an initial judgment without bias,
but they can contain a reference to the full version of the work in the
bibliography.

Please feel free to ask the PC chair if you have any questions about the
double-blind policy of DISC 2025.

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

*Conflict of Interest*
=====================================

The submission form provides an opportunity to specify conflicts of
interest with any of the PC members and other member of research community.
A conflict of interest is limited to the following:

- A family member or close friend;

- A Ph.D. advisor or advisee (no time limit), or postdoctoral or
undergraduate mentor or mentee within the past five years;

- A person with the same affiliation;

- A person involved in an alleged incident of harassment;

- Frequent collaborators, or collaborators who have jointly published
papers within the last two years.

If you feel that you have a valid reason for a conflict of interest beyond
listed above, or any other issues related to the fair treatment of your
submission, contact the PC chair, Dariusz Kowalski (dkowalski@augusta.edu),
or the SafeTOC representative for DISC, listed at
https://safetoc.org/index.php/toc-advisors/.

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

*Participation at DISC*

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

It is expected that accepted papers and brief announcements be presented
in-person at the conference.

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

*Publication*

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

The proceedings will be published by LIPIcs. The final version of the paper
has to be formatted following the LIPIcs guidelines. Regular papers will
have 15 pages in the final proceedings (excluding references), and brief
announcements will have 5 pages in the proceedings (including everything).
If more space is needed, the authors are encouraged to post the full
version e.g. on arXiv and refer to it in their paper.

Accepted papers and brief announcements must be presented by one of the
authors, with a full registration and according to the final schedule.

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

The best paper at DISC will be considered for publication in the Journal of
the ACM.

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

*Awards*

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

Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award, at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.

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

*Program Committee*

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

Alkida Balliu, Gran Sasso Science Institute, Italy

Silvia Bonomi, La Sapienza, Italy

Sebastian Brandt, CISPA, Germany

Costas Busch, Augusta University, USA

Gregory Chockler, University of Surrey, UK

Gianluca De Marco, University of Salerno, Italy

Shlomi Dolev, Ben-Gurion University, Israel

Yuval Emek, Technion, Israel

Antonio Fernandez Anta, IMDEA Networks, Spain

Pawel Garncarek, University of Wroclaw, Poland

Ran Gelles, Bar-Ilan University, Israel

Chryssis Georgiou, University of Cyprus, Cyprus

Alexey Gotsman, IMDEA Software, Spain

Rachid Guerraoui, EPFL, Switzerland

Damien Imbs, Aix-Marseille University, France

Marek Klonowski, Wroclaw University of Science and Technology, Poland

Alex Kogan, Oracle, USA

Dariusz Kowalski, Augusta University, USA (Chair)

Shay Kutten, Technion, Israel

Jakub Lacki, Google Research, USA

Yannic Maus, TU Graz, Austria

Othon Michail, University of Liverpool, UK

Avery Miller, University of Manitoba, Canada

William K. Moses Jr., Durham University, UK

Junya Nakamura, Toyohaski University of Technology, Japan

Ruslan Nikolaev, Penn State, USA

Harumichi Nishimura, Nagoya University, Japan

Jan Olkowski, University of Maryland, USA

Dominik Pajak, Google, Poland

Gopal Pandurangan, University of Houston, USA

Boaz Patt-Shamir, Tel Aviv University, Israel

Matthieu Perrin, University of Nantes, France

Maria Potop-Butucaru, Sorbonne University, France

Tomasz Radzik, Kings College London, UK

Joel Rybicki, Humboldt University of Berlin, Germany

Thomas Sauerwald, Cambridge University, UK

Gokarna Sharma, Kent State University, USA

Igor Walukiewicz, CNRS, University of Bordeaux, France

Philipp Woelfel, University of Calgary, Canada

Xiaoming Sun, Chinese Academy of Science, China

Michelle Yeo, National University of Singapore, Singapore

Luca Zanolini, Ethereum, UK

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

*Conference Committee*

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

Stefan Schmid, TU Berlin, Germany (co-Chair)

Joel Rybicki, HU Berlin, Germany (co-Chair)

Yannic Maus, TU Graz, Austria (Workshops Chair)

William K. Moses Jr., Durham University, UK (Publicity Chair)

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

*Steering Committee*

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

Hagit Attiya, Technion, Israel (Chair)

Pierre Fraigniaud, CNRS and Université Paris Cité, France (Vice Chair)

Rotem Oshman, Tel Aviv University, Israel (2023 PC Chair)

Dan Alistarh, IST, Austria (2024 PC Chair)

Dariusz Kowalski, Augusta University, USA (2025 PC Chair)

Seth Gilbert, NUS, Singapore (Treasurer)

Yannic Maus, TU Graz, Austria (Member-at-large)

------
Regards,
William K. Moses Jr.
Publicity Chair, DISC 2025
https://sites.google.com/view/wkmjr

[DMANET] 12-month postdoctoral position at LIMOS, Clermont-Ferrand in "structure and/or algorithms for data complexity measures", funded by CNRS

Dear colleagues,
we are offering a 12-month postdoctoral position at LIMOS, Clermont-Ferrand, funded by CNRS.

* Topic: Algorithmic and/or structural studies of data complexity measures of graphs and hypergraphs (VC-dimension, Littlestone dimension, Teaching dimension, profile/neighbourhood complexity, etc)
Other topics in structural or algorithmic graph theory motivated by AI applications, may also be considered upon mutual agreement.

* Supervision: Florent Foucaud

* Where: LIMOS, Université Clermont Auvergne, team "Algorithms, Graphs, Complexity" (AGC, [ https://limos.fr/themes/2 | https://limos.fr/themes/2 ] ) in Clermont-Ferrand, France.
Clermont-Ferrand is a medium-sized city located in the heart of Auvergne, with natural beauty (volcanos, lakes, etc) within close reach and offers a relaxed and affordable yet lively environment.

* When: the starting date is September 1, 2025 (negotiable if you prefer to start earlier, but cannot be later than September 30, 2025).

* How long: 12 months

* Salary: starting at ~2990euros/month (gross) / ~2400euros/month (net), depending on experience

* How to apply: please apply on this portal ( [ https://emploi.cnrs.fr/Offres/CDD/UMR6158-FLOFOU-002/Default.aspx | https://emploi.cnrs.fr/Offres/CDD/UMR6158-FLOFOU-002/Default.aspx ] ) and join a CV (that includes full publications list and contact details of at least 2 references) and a short cover letter. We will start reviewing applications from May 5, until the position is filled.
A PhD degree in mathematics or computer science by the starting time is required. Ideally, the successful candidate has 1-3 years of postdoctoral experience by the start of the postdoc. We welcome applications from colleagues of all genders and cultural backgrounds.

The successful candidate is expected to engage in the scientific life of the AGC team / alcoloco working group ( [ https://alcoloco.isima.fr/ | https://alcoloco.isima.fr/ ] ) and the LIMOS laboratory (participating to seminars and discussions, engage in collaborations). Subject to availability, research interns can be co-supervised.

Feel free to contact me for any questions, and to forward this post to potential candidates.

Best regards,
Florent Foucaud
--
Maître de conférences
LIMOS, Université Clermont Auvergne
https://perso.limos.fr/ffoucaud/

[DMANET] PhD Fellowship position in Quantum-Inspired Evolutionary Algorithm

PhD Fellowship position in Quantum-Inspired Evolutionary Algorithm for Multi-Objective Integrative Optimization
We are looking for a highly motivated individual to join as a PhD Fellow at Oslo Metropolitan — OsloMet, Norway.
The Department of Computer Science at the Faculty of Technology, Art and Design (TKD) has a vacant PhD Fellowship position in the field of artificial intelligence with quantum computing. The project combines evolutionary algorithms (EAs) with quantum computing, focusing on its application in complex multi-objective optimization problems. The PhD candidate will be part of the Artificial Intelligence academic group.

Application Deadline: 1 May 2025
For more details about the position, including the benefits, application process and requirements, and to apply, please visit:
https://www.oslomet.no/en/work/job-openings/phd-fellowship-position-in-quantum-inspired-evolutionary-algorithm-for-multi-objective-integrative-optimization

Area of Research
The primary objective of this project is to formulate and implement a multi-objective quantum-inspired EAs (QEA) tailored specifically for classical computers, focusing on addressing the prevalent challenges in the domain of multi-objective integrative optimization (MIO) problems. Real-world optimization problems, prevalent in industries, are often complex, involving different interrelated optimization problems with multiple interconnected and conflicting objectives. Most of these involved independent optimization problems are interrelated, and combining them into a global integrative optimization problem is therefore necessary. This proposal considers formulating an MIO problem by combining k optimization problems, resulting in k objective functions. As a result, instead of seeking a single solution, the approach provides a set of alternatives (Pareto-optimal front) that reflect the trade-off between the objectives resulting from the MIO, allowing decision-makers to choose based on their preferences. This practical approach is expected to enhance the decision-making process in industries significantly.

Recently, the emergence of quantum-inspired EAs (QEAs) has opened up new avenues for enhancing the effectiveness of EAs by striking a better balance between exploration and exploitation. Drawing inspiration from quantum mechanics, QEAs integrate concepts such as superposition, quantum parallelism, entanglement, interference, coherence, and measurement into the existing EA framework. Recent advancements have underscored the significant advantages of QEAs over classical EAs, demonstrating success in solving complex NP-hard problems that were previously deemed computationally intractable for classical computers. However, existing QEAs are typically designed for single optimization problems and exhibit optimal efficiency on specialized quantum hardware rather than classical computers. They also encounter challenges in maintaining coherence and leveraging entanglement for efficient exploration, necessitating further exploration of quantum operators and encoding schemes that can adapt to diverse problem structures and objective functions.

This project aims to bridge this gap by developing a novel multi-objective QEA that is specifically designed for classical computing environments. By utilizing quantum-inspired techniques, the objective is to provide industries with a practical and efficient solution for tackling real-world complex multi-objective optimization challenges in areas such as manufacturing and logistics.

Contact: If you would like more information about the position, feel free to contact the Principal Supervisor: Kazi Shah Nawaz Ripon, email: kazi.ripon[at]oslomet.no

----------------------------
Kazi Shah Nawaz Ripon
Associate Professor
Department of Computer Science
OsloMet - Oslo Metropolitan University
Oslo, Norway

[DMANET] Postdoc in natural computing at LIS (Marseille, France)

Dear all,

ANR project ALARICE [1] is proposing a postdoc position at the interface
between computational models, discrete dynamical systems (such as
cellular automata, automata networks), algorithmic complexity,
finite-model theory, graph logics… Candidates with expertise in (at
least) two of these fields will be particularly considered.
The hired researcher will join the Natural Computing group [2] at LIS in
Marseille Luminy.

[1] https://alarice.lis-lab.fr/
[2] https://cana.lis-lab.fr/

Starting date: September 2025 (flexible).
Duration: 1 or 2 years.
Salary: 2600€-3370€ gross per month (2100€-2700€ net), depending on
experience.
Application: send a CV and a synthetic description of
past/present/future research projects by email to
<kevin.perrot@lis-lab.fr> before June 1st, 2025.
Feel free to ask details about the project or introduce yourself before
this deadline.
Notification: mid June 2025.
The candidate should have defended his PhD thesis, or already planned
the defense. We welcome all nationalities and genders.

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

[DMANET] PhD Position in Theoretical Computer Science for UK Home Students at Queen Mary University of London

One PhD position for UK Home students is available at the School for
Electronic Engineering and Computer Science, Queen Mary University of
London, supervised by Marc Roth. The project associated with the position
will be on the parameterised and fine-grained complexity of computational
counting problems arising in the analysis of large networks.

Detailed Project Description:
https://www.roth-marc.com/phd-studentship-vacancy

Application Deadline: 4 July 2025

*********************************************
How to apply

Queen Mary University is interested in developing the next generation of
outstanding researchers and decided to invest in specific research areas.

Applicants should work with Marc Roth and submit their application
following the instructions at: http://eecs.qmul.ac.uk/phd/how-to-apply/

The application should include the following:

- CV (max 2 pages)
- Cover letter (max 4,500 characters) stating clearly in the first page
whether you are eligible for a scholarship as a UK resident (
https://epsrc.ukri.org/skills/students/guidance-on-epsrc-studentships/eligibility
)
- Research proposal (max 500 words)
- 2 References
- Certificate of English Language (for students whose first language is
not English)
- Other Certificates

Please note that to qualify as a home student for the purpose of the
scholarships, a student must have no restrictions on how long they can stay
in the UK and have been ordinarily resident in the UK for at least 3 years
prior to the start of the studentship. For more information please see: (
https://epsrc.ukri.org/skills/students/guidance-on-epsrc-studentships/eligibility
)

For general enquiries contact Mrs Melissa Yeo at m.yeo@qmul.ac.uk
(administrative
enquiries) or Dr Arkaitz Zubiaga at a.zubiaga@qmul.ac.uk (academic
enquiries) with the subject "EECS 2025 PhD scholarships enquiry".

For informal project specific queries please contact Marc Roth at
m.roth@qmul.ac.uk.

Best,

Marc Roth (he/his)
Centre for Fundamental Computer Science
Queen Mary University of London

[DMANET] Save the Date: 1-2nd Sept 2025 Workshop on Random Simplicial Complexes and Hypergraphs at Nottingham Trent

We are pleased to announce a Workshop on Random Simplicial Complexes and Hypergraphs on 1-2nd September 2025 which will take place at Nottingham Trent University, Nottingham, UK.

Website: https://worsch25.github.io/

This workshop is aimed at bringing together researchers working on random models in simplicial complexes, hypergraphs and other higher order structures, and anyone interested in these structures. All are invited, registration is free and will open soon. More details to follow.

DISCLAIMER: This email is intended solely for the addressee. It may contain private and confidential information. If you are not the intended addressee, please take no action based on it nor show a copy to anyone. In this case, please reply to this email to highlight the error. Opinions and information in this email that do not relate to the official business of Nottingham Trent University shall be understood as neither given nor endorsed by the University. Nottingham Trent University has taken steps to ensure that this email and any attachments are virus-free, but we do advise that the recipient should check that the email and its attachments are actually virus free. This is in keeping with good computing practice.

[DMANET] EURO WISDOM YW4OR Webinar on Supply Chain Management under Uncertainty” April 11, 2025, 10:00 – 11:00 (CET)

EURO WISDOM YW4OR Webinar on Supply Chain Management under Uncertainty, April 11, 2025, 10:00 – 11:00 (CET)

Please join us
What: EURO WISDOM YW4OR Webinar on Supply Chain Management under Uncertainty
When: April 11, 2025, 10:00 – 11:00 (CET)
Where: Zoom - to receive the Zoom link register in this Google Form,
https://forms.gle/QjZwpLF8E2L1kT5fA

Agenda

YW4OR Speakers

Dr Özlem Mahmutoğulları, Eindhoven University of Technology, The Netherlands
Sustainable CO2-Based Synthesis Gas Supply Chain Design under Demand Uncertainty

Ms Maria Meneses, University of Lisbon (Instituto Superior Técnico), Portugal
Reactive-proactive Rescheduling in Blood Supply Chain Management

Dr Xiaoyan Xu, University of Southampton, United Kingdom
Decarbonization in Oil and Gas Systems: The Carbon Capture, Utilization and Storage
(CCUS) Scheme under Capacity Constraints

Expert panelist
Prof. Dr. Grit Walther, School of Business and Economics, RWTH Aachen University, Germany

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

**********************************************************
*
* 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] Fixed-term junior research position in the area of Machine Learning at Politecnico di Milano (Italy)

The School of Management at Politecnico di Milano (SoM) is looking for fixed-term junior research position (RTDa) in the area of Machine Learning.
The RTDa will join the Machine Learning & Big Data Analytics research group "door" http://www.door.polimi.it/ at SoM.
Eligible candidates should have a PhD and an excellent track record in research related to Machine Learning, demonstrated by relevant publications in leading journals.
The position is a fixed-term appointment for 3+2 years. Teaching in Bachelor or Master of Science is a duty. Knowledge of the Italian language is not required, but the ability to teach in English is mandatory.

Application details are available at the following link (Italian and English)
Italian: https://www.polimi.it/docenti-e-ricercatori/bandi-e-concorsi/bandi-e-concorsi-per-ricercatori/concorsi-a-tempo-determinato/r-d-22249
English: https://www.polimi.it/en/faculty-and-researchers/calls-and-competitions/calls-and-competitions-for-researchers/competitions-for-temporary-positions-for-researchers/r-d-22250

The deadline for the application is May 2nd, 2025.

Monday, March 31, 2025

[DMANET] [Opportunity] MATS Summer 2025 Applications Open

*TL;DR: Help advance AI alignment research at MATS Summer 2025 (June 16-Aug
22)! Applications <https://www.matsprogram.org/apply> close Apr 18.*

MATS is a twice-yearly, 10-week AI alignment
<https://en.wikipedia.org/wiki/AI_alignment>, security, and governance research
fellowship program <https://www.matsprogram.org/program> operating in
Berkeley, California and London, UK, with an optional 6-12 month extension
program for select scholars. Scholars are supported with a shared office
space, seminar program, support staff, accommodation, travel reimbursement,
and computing resources. Our last two programs supported ~80-90 scholars
and a diversity of research mentors <https://www.matsprogram.org/mentors>.
Our alumni <https://www.matsprogram.org/alumni> have been hired by top AI
research teams (e.g., Anthropic <https://www.anthropic.com/>, Google
DeepMind <https://deepmind.google/>, OpenAI <https://openai.com/>, UK AISI
<https://www.gov.uk/government/organisations/ai-safety-institute>, METR
<https://metr.org/>), founded research groups (e.g., Apollo Research
<https://www.apolloresearch.ai/>, Timaeus <https://timaeus.co/>, Atla
<https://www.atla-ai.com/>, CAIP <https://www.aipolicy.us/>, Leap Labs
<https://www.leap-labs.com/>), and maintain a dedicated support network for
new researchers.

The Summer 2025 Research Phase will run from *Jun 16-Aug 22, 2025*.
Scholars typically spend two hours per week meeting with their mentors,
with frequent asynchronous communication on Slack. Our Research Management
team complements mentors by offering dedicated 1-1 check-ins, research
coaching, debugging, and general executive help to unblock research
progress and accelerate researcher development

Ready to help advance AI alignment and security? *Apply
<https://www.matsprogram.org/apply> by Apr 18, 2025!* Visit our website
<https://www.matsprogram.org/> for detailed information on the program and
application process. Sign up for our office hours
<https://airtable.com/appZq2f1sM0tW9kH7/pag5MvrMWBPULUfFH/form> to meet
with our team about the application process and get any MATS related
questions answered.

Best Regards,

MATS Team

[DMANET] HALG 2025 -- Call for Participation (list of survey/invited talks)

The 10th IGAFIT Highlights of Algorithms conference (HALG 2025)
Zurich, June 4-6, 2025.
https://2025.highlightsofalgorithms.org/index.html

Early registration (by April 28th, 2025)
Hotel reservations (depending on hotel - earliest one by April 9)

The IGAFIT Highlights of Algorithms (HALG) conference is a forum for presenting the
highlights of recent developments in algorithms and for discussing potential
further advances in this area. The conference will provide a broad
picture of the latest research in algorithms through a series of invited talks, as
well as the possibility for all researchers and students to present their recent
results through a series of short talks and poster presentations.
Attending the Highlights of Algorithms conference will also be an opportunity for
networking and meeting leading researchers in algorithms.

Here is a partial list of the invited talks/surveys:

Shay Solomon - Survey on spanners
Sergei Vassilvitskii - Survey on learning-augmented algorithms
Mohsen Ghaffari - Survey on deterministic distributed algorithms
Sebastian Forster - Survey on dynamic algorithms
Yael Kalai - Survey on verifying quantum computation

Mihir Singhal - Optimal quantile estimation: beyond the comparison model
Louis Golowich - New Explicit Constant-Degree Lossless Expanders
Yasamin Nazari - On Dynamic Graph Algorithms with Predictions
Shuyi Yan - Edge-Weighted Online Stochastic Matching: Beating 1−1/e
Xi Chen - Computing a Fixed Point of Contraction Maps in Polynomial Queries
Ewin Tang - High-Temperature Gibbs States are Unentangled and Efficiently Preparable
Greg Bodwin - An Alternate Proof of Near-Optimal Light Spanners
Michal Feldman - Fair Division via Quantile Shares
Jeremy Fineman - Single-Source Shortest Paths with Negative Real Weights in Õ(𝑚𝑛^8/9) Time
Richard Hladik - Universal Optimality of Dijkstra via Beyond-Worst-Case Heaps
Christoph Grunau - Near-Optimal Deterministic Network Decomposition and Ruling Set, and Improved MIS
Max Probst Gutenberg - Almost-Linear Time Algorithms for Decremental Graphs: Min-Cost Flow and More via Duality
Soheil Behnezhad - Fully Dynamic Matching and Ordered Ruzsa-Szemer´edi Graphs
Oliver Hinder - The Price of Adaptivity in Stochastic Convex Optimization
Prasanna Ramakrishnan - Breaking the Metric Voting Distortion Barrier

**********************************************************
*
* 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] SMARTCOMP 2025 - Call for Posters/Demos/WIP - DEADLINE EXTENSION

*!! DEADLINE EXTENSION !!*

Please consider submitting your work to the *Posters, Demos, and
Work-in-Progress (WIP) track of SMARTCOMP 2025 (*https://www.cs.ucc.ie/
smartcomp2025/#/*)*. This track provides an excellent opportunity to
showcase early-stage research, novel ideas, and innovative applications to
an international audience.

**** Accepted Posters, Demos, and WIP papers will be published on IEEE
Xplore! ****

For details, topics of interest, and submission guidelines, please refer to
the full CFP below.

*Important Dates*

Paper submission: *23rd March 2025 14th April 2025*
-

Acceptance notification: *6th April 2025 28th April 2025*
-

Camera ready (tentative): *10th May 2025*

*SMARTCOMP 2025 - Call for Posters/Demos/WIP*

SMARTCOMP 2025 is the 11th edition of the premier conference on Smart
Computing. Smart computing is a multidisciplinary domain based on the
synergistic influence of advances in sensor-based technologies, the
Internet of Things, cyber-physical systems (CPS), edge computing, big data
analytics, machine learning, cognitive computing, and artificial
intelligence. Applications of smart computing can be found in different
societal domains including, but not limited to, transportation, energy,
environmental protection, smart and connected communities, healthcare,
banking, industrial systems, entertainment, and social media. Algorithmic
and system advancements in cloud computing, mobile/pervasive computing,
cyber-physical systems, sensor networking, and social computing are taking
smart computing to a new dimension and improving our ways of living.

The Posters and Work in Progress (WIP) session will provide a forum to
discuss novel ideas, preliminary results, present innovative applications
and tools, and bring about novel research questions, approaches, and
directions. The Demo session will focus on hands-on demonstrations of
preliminary works on novel platforms, implementations, and case studies. We
particularly welcome demos that present innovative designs or advancements
in CPS, providing attendees with the opportunity to experience cutting-edge
technology firsthand.

We encourage both academia and industry to contribute by sharing valuable
insights into real-world applications and innovative solutions in Smart
Computing. Industry submissions are invited to reflect practical
experiences, field trials, and emerging trends from an industrial
perspective, demonstrating the impact and applicability of Smart Computing
technologies.

Authors of papers that received favorable reviews but could not be accepted
to the Main track may be offered the opportunity to publish their submitted
work in the Posters/Demos/WIP track.

Accepted poster and demo papers will be published in IEEE Xplore, ensuring
their broad dissemination within the research community.

*Topics*

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

Future Smart Computing Paradigms
-

Models of Smart Environments
-

Algorithms for Smart Computing
-

AI and Machine Learning in Smart Computing
-

Security, Privacy, and Trust Issues in Smart Computing
-

Fairness and Socio-technical Issues of Smart Computing
-

Cyber-physical System Platforms for Smart Environments
-

Middleware Platforms for Smart Environments
-

Mobile and Ubiquitous Platforms for Smart Environments
-

Cloud, Edge and Fog Computing Platforms for Smart Systems
-

Data Architectures and Analytics for Smart Computing
-

Smart Computing for Smart and Connected Communities
-

Smart Green Computing
-

Social Computing and Smart Systems
-

Wearable Computing and IoT for Smart Systems
-

Architectures and Software for Smart Computing
-

Novel Communication Paradigms (e.g., 5G/6G, VLC, DSA) in smart computing
-

Quantum Computing in Smart Systems
-

Interdisciplinary Approaches to Smart Computing
-

Applications of Smart Computing include:
-

Smart healthcare and digital epidemiology
-

Smart agriculture
-

Smart infrastructures
-

Smart cities
-

Smart energy, transportation, water distribution systems
-

Smart factories
-

Smart workspace

*Submission Guidelines*

Posters, Demos, and WIP papers should be no more than 3 pages in length,
including figures, tables, and references.

All the submissions must be formatted according to the two-column IEEE
proceedings template. IEEE provides corresponding formatting templates at
IEEE proceedings template (
https://www.ieee.org/conferences/publishing/templates.html). Make sure to
use the conference mode of the template, i.e., LaTeX users must use the
conference option of the IEEEtran document class. While the submission
format is the same, the goals for Posters/WIP and Demos are different:

Posters/WIP: We welcome papers up to 3 pages discussing early or ongoing
research. Posters/WIP are intended to present ongoing research with a focus
on novel methodologies, preliminary results, or innovative concepts that
hold promise for future development, highlighting key ideas or research
directions in a concise format, fostering discussion and feedback on
emerging work/applications.
-

Demo: We welcome papers up to 3 pages focused on the specific component
that will be demonstrated to the audience and how the attendees will be
able to interact. They should also provide an overview of the background
research leading up to the demo.

All submitted Posters/WIP, and Demos will be subject to peer reviews by
SMARTCOMP Technical Program Committee members and other experts in the
field. At least one author of each accepted paper must register and attend
the conference to present the work.

Papers must be submitted electronically as a single PDF file on US Letter
size paper (not A4), with all fonts embedded (the PDF-A standard complies
with that), through EDAS. Select Posters/WIP or Demos Track at the
following link: https://edas.info/newPaper.php?c=33045

*Best Poster/Demo/WIP Award*

In recognition of outstanding contributions to the field, SMARTCOMP 2025
will present the Best Posters/Demos/WIP Award to the submission that
demonstrates exceptional quality, innovation, and potential impact in Smart
Computing. This award will honor the work that best exemplifies
forward-thinking approaches and technological advancements showcased during
the Posters/Demos/WIP presentation.

*Posters/Demos/WIP Co-Chairs*

Nasibeh Zohrabi (Penn State Brandywine, USA)
-

Francesca Righetti (University of Pisa, Italy)

[DMANET] [Fast Continuum 2025 Workshop (Co-located with IEEE SERVICES)] Submission Deadline in one week (Paper Submission: April 7, 2025)

********Fast Continuum 2025 Workshop Call for Papers********

in conjunction with IEEE QSW Conference, IEEE Cloud, IEEE Edge, part of
IEEE SERVICES 2025

July 7-12 2025, Helsinki, Finland

https://services.conferences.computer.org/2025/fastcontinuum-2025/

INTRODUCTION

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

As industries increasingly adopt distributed intelligence, new
challenges emerge in managing heterogeneous resources, ensuring
performance guarantees, and securing end-to-end application execution.
The computing continuum —a seamless integration of cloud, edge, IoT and,
in the very near future, quantum computers— aims at addressing these
challenges and has revolutionized the way we design, deploy, and
optimize modern applications.

The FastContinuum workshop invites researchers, industry experts, and
practitioners to contribute innovative solutions, share experiences, and
engage in discussions on the future of computing beyond conventional
cloud models. This workshop serves as a way for exploring emerging
trends, methodologies, and frameworks that facilitate intelligent,
adaptive, and high-performance computing across the continuum.

TOPICS OF INTEREST

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

* Computing Continuum Foundations

* Design principles and architecture of continuum systems

* Application scheduling and orchestration strategies

* Energy-efficient continuum computing

* Quantum computing and HPC as computing continuum components

* Performance & Optimization

* Modeling, evaluation, and performance optimization

* AI-driven optimizations

* Large Language Models requirements for the computing continuum

* Artificial Intelligence & Emerging Technologies

* Generative AI for designing and managing continuum software

* Machine Learning and AI applications in the continuum

* Augmented Reality and immersive computing

* Software & Infrastructure Innovations

* Microservices, Function as a Service (FaaS), and serverless computing

* Cyber-physical systems, IoT, digital twins, and industrial internet

* Data-intensive and real-time stream processing systems

* Security, Automation, & Resilience

* Infrastructure as Code and automation in the continuum

* DevSecOps for distributed applications

* Autonomous, resilient, and adaptive systems

IMPORTANT DATES

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

Workshop paper submissions: April 7, 2025

Notification of acceptance: May 16, 2025

Camera-ready copies and registration: May 30, 2025

Workshop date: TBD

SUBMISSION GUIDELINES

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

Authors are invited to submit original, unpublished papers that are not
being considered in another forum. We solicit full papers (max. 6 pages)
as well as short and demo papers (max. 4 pages). Short papers can
include reports about research activities not mature enough for a full
paper as well as new ideas and vision papers. All submissions must
conform to the standard IEEE template for conference proceedings:
https://www.ieee.org/conferences/publishing/templates.html. More
specifically, the double-column formats have to be used for all paper
submissions. Each paper submission will be reviewed by at least three
members of the program committee. Papers can be submitted via EasyChair:
https://easychair.org/my/conference?conf=2025ieeeservices,
"[FastContinuum] Workshop on Fast Continuum" track.

Papers will be published in the IEEE Services 2025 Companion Proceedings
volume (To be confirmed).

At least one author of each accepted paper is required to attend the
workshop and present the paper.

WORKSHOP GENERAL CHAIRS

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

Danilo Ardagna, Elisabetta Di Nitto (Politecnico di Milano, Italy)

WORKSHOP PROGRAM COMMITTEE CHAIRS

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

Juncal Alonso Ibarra (Tecnalia, Spain), Federica Filippini (University
of Milano-Bicocca, Italy)

PUBLICITY CHAIR

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

Marco Garlini (Politecnico di Milano, Italy)

PC COMMITTEE

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

* Vasilios Andrikopoulos, University of Groningen, The Netherlands

* Matija Cankar, COMSENSUS/JSI, Slovenia

* Marco Casiero, Microsoft, Italy

* Michele Chiari, Technischen Universität Wien, Austria

* Jean-Christophe Deprez, Centre d'Excellence en Technologies de
l'Information et de la Communication (CETIC), Belgium

* Karim Djemame, University of Leeds, UK

* Maria Fazio, University of Messina, Italy

* Francesc Lordan, Barcelona Supercomputing Center (BSC-CNS), Spain

* Fabrizio Magugliani, E4 Computer Engineering, Italy

* Dana Petcu, University of West Timisoara, Romania

* Alessandro Raganato, University of Milano-Bicocca, Italy

* Domenico Siracusa, University of Trento, Italy

* Jacopo Soldani, University of Pisa, Italy,

* Ettore Trevisiol, AWS, Italy

* Alessandro Tundo, Technische Universität Wien, Austria

* Indika Kumara, JADS, The Netherlands

* Alireza Furutanpey, Technischen Universität Wien, Austria (quantum)

* Radosław Piliszek, 7Bulls, Poland

* Josu Diaz de Arcaya, Tecnalia

[DMANET] DLT 2025 - Last Call for Papers

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

DLT 2025: The 29th International Conference on Developments in Language Theory

August 19-22, 2025, Seoul, South Korea

https://cida.uos.ac.kr/dlt2025/

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

NEWS: Extended submission deadline, Salomaa Award.

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

The series of International Conference on Developments in Language Theory provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others:

- grammars, acceptors, and transducers for words, trees, and graphs
- algebraic theories of automata
- algorithmic, combinatorial, and algebraic properties of words and languages
- relations between formal languages and artificial neural networks
- variable length codes
- symbolic dynamics
- cellular automata
- groups and semigroups generated by automata
- polyominoes and multidimensional patterns
- decidability questions
- image manipulation and compression
- efficient text algorithms
- relationships to cryptography, concurrency, complexity theory, and logic
- bio-inspired computing
- quantum computing

Invited Speakers:

- Kyungmin Bae, POSTECH, South Korea
- Christoph Haase, University of Oxford, UK
- Shunsuke Inenaga, Kyushu University, Japan
- Dora Giammarresi, University of Rome Tor Vergata, Italy

Program Committee:

- Golnaz Badkobeh (University of Warwick, UK)
- Valérie Berthé (CNRS IRIF, France)
- Marie-Pierre Béal (Université Gustave Eiffel, France)
- Emilie Charlier (University of Liege, Belgium)
- Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Hungary)
- Joel Day (Loughborough University, UK)
- Szilard Zsolt Fazekas (Akita University, Japan)
- Pamela Fleischmann (Christian-Albrechts-University of Kiel, Germany)
- Yo-Sub Han (Yonsei University, South Korea)
- Sang-Ki Ko (University of Seoul, South Korea) (co-chair)
- Florin Manea (University of Göttingen, Germany) (co-chair)
- Ian McQuillan (University of Saskatchewan, Canada)
- Nelma Moreira (University of Porto, Portugal)
- Carl-Fredrik Nyberg-Brodda (Korean Institute for Advanced Study, South Korea)
- Giovanni Pighizzini (University of Milan, Italy)
- Igor Potapov (University of Liverpool, UK)
- Markus Schmid (Humboldt-Universität zu Berlin, Germany)
- Marinella Sciortino (University of Palermo, Italy)
- Ryoma Sin'ya (Akita University, Japan)
- Taylor Smith (St. Francis Xavier University, Canada)
- Bianca Truthe (Justus-Liebig-Universität Gießen, Germany)
- Hsu-Chun Yen (National Taiwan University, Taiwan)

Important Dates:

- Submission deadline: April 14, 2025
- Notification: May 20, 2025
- Camera-ready version deadline: June 7, 2025
- Conference dates: August 19-22, 2025

Submission Guidelines:

Authors are invited to submit papers presenting original and unpublished research. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) Series. Simultaneous submission to journals or other conferences with published proceedings is not allowed. Submitted papers should not exceed 12 pages excluding bibliography and must follow the LNCS-style LaTeX2e (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ).
In order to facilitate the review process, all proofs omitted due to page limitations can be given in an appendix or made accessible through a reliable link to a freely available electronic preprint. Please note that the paper should be self-contained; reviewers are not required to read any additional pages, thus consulting the appendix is up to the reviewer. Papers should be submitted electronically in PDF through the EasyChair system:
https://easychair.org/my/conference?conf=dlt2025

2025 Salomaa Prize:

The 2025 Salomaa Prize committee, consisting of Jeffrey Shallit, Christian Choffrut, and Jürgen Dassow, has awarded the 2025 Salomaa Prize in Automata Theory, Formal Languages, and Related Topics to Georg Zetzsche:

"For the breadth and depth of his results in formal languages, automata theory, and logic, particularly the theory of downward closures, decidability in infinite-state systems, algorithmic group theory, and arithmetic theories, connecting formal languages and computation in the spirit of Arto Salomaa."

The prize will be awarded during the DLT 2025 conference.

============================================================================
All questions about submissions should be emailed to sangkiko@uos.ac.kr.
**********************************************************
*
* 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 Maritime Shipping Competition at AAMAS 2025

*Call for Participation: Maritime Shipping Competition (MSC) at the 24th
International Conference on Autonomous Agents and Multiagent Systems
(AAMAS 2025)*

Join us for the Maritime Shipping Competition (MSC)

Agent submission deadline: April 28th, 2025

Optional Warm-up Submission deadline April 14th, 2025

Event: Presentations and Winner announcement hosted as part of AAMAS
2025 in Detroit, Michigan, USA

Competition details:
https://jbuerman.github.io/Maritime-Shipping-Competition-AAMAS2025/

===

Join us in pushing the boundaries of digital solutions for maritime
transport and be part of an exciting challenge at AAMAS 2025!

We are excited to invite researchers and practitioners to participate in
the Maritime Shipping Competition (MSC), hosted as part of the 24th
International Conference on Autonomous Agents and Multiagent Systems
(AAMAS 2025), with final presentations taking place on 19th or 20th of
May 2025 in Detroit, Michigan, USA. This competition provides an
opportunity to showcase and compare innovative approaches in auction
bidding and transportation scheduling.

*About the Competition*

Maritime transportation is one of the backbones of international trade
and supply chains. While the sector has shown growth in recent years,
maritime transportation is also facing critical challenges around
geopolitical tensions, climate change and disruptions at key
chokepoints, e.g. the Panama and the Suez Canals. Shipping companies are
investigating digital solutions, including digital twin and multi-agent
technologies, to improve fleet utilisation, e.g. via transportation
scheduling, to reduce costs but also greenhouse gas emissions. Many of
these digital solutions are in their infancy and could benefit from
innovative applications of approaches from multiagent system, artificial
intelligence, scheduling, auction bidding and related technologies.

The competition will require to develop a software agent in Python that
operates the trade auctions and fleet transmutation scheduling for a
maritime shipping company. Participating will allow you to compete for
prizes.

We will run a warm-up competition to get early feedback and a final
competition with results being presented at AAMAS.

*Participation and Timeline*

We welcome contributions from teams up to five people across academia,
industry, and independent research communities. Participants are
required to submit an agent implemented in Python and a short 2-4 page
report.

* Warm-up Competition Submission Deadline: 14/04/2025
* Warm-up Competition Results Release: 21/04/2025
* Competition Submission Deadline: 28/04/2025
* Announcement of Presentation Slots: 05/05/2025
* Competition Results Presentation and Winner Announcement: 19 or
20/05/2025

Submissions should be made via msc.aamas2025@soton.ac.uk, following the
instructions provided at
https://jbuerman.github.io/Maritime-Shipping-Competition-AAMAS2025/.

All submission dates are 23:59h AoE (Anywhere on Earth).

*Competition Session at AAMAS*

All teams will have the opportunity to present their agent and strategy
at the session at AAMAS 2025. A presentation will be necessary to
compete for the innovative ideas prize.

*Awards & Recognition*

The competition will feature certificates and performance-based prizes
and a prize for an innovative ideas.

The first three teams according to the average tournament ranking will
receive a certificate and a cash prize. The overall winner will receive
£500, the runner-up will receive £300 and the team placing third will
receive £100.

Additionally, the team with the most interesting strategy agent prize
will receive £100. This prize will be judged on the day of the
competition at AAMAS after the presentations.

*How to Get Involved*

To participate, please visit
https://jbuerman.github.io/Maritime-Shipping-Competition-AAMAS2025/ for
detailed guidelines. For any inquiries, contact us at
msc.aamas2025@soton.ac.uk.

*Organising Committee*

Enrico Gerding, University of Southampton, UK
Enrico Marchioni, University of Southampton, UK
Baharak Rastegari, University of Southampton, UK
Jan Buermann, University of Southampton, UK

The competition and prizes are made possible thanks to the Centre for
Maritime Futures at the University of Southampton with support from
Shell plc.
**********************************************************
*
* 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/
*
**********************************************************

Theory Announcements

Wednesday, April 2, 2025

[DMANET] UCNC 2025: second call for papers

[DMANET] DDP 2025

[DMANET] Call for Papers: WEPA 2024 Special Issue in Discrete Applied Mathematics

[DMANET] PhD position at KU Leuven and UGent

[DMANET] VCLA International Student Awards - Second Call for Nominations

[DMANET] [Extended Deadline] BCCA 2025: The 7th International Conference on Blockchain Computing and Applications, Dubrovnik, Croatia [Hybrid Conference]

Tuesday, April 1, 2025

[DMANET] Postdoc Position in Online Algorithms at Oxford

[DMANET] DISC 2025 - Second Call for Papers

[DMANET] 12-month postdoctoral position at LIMOS, Clermont-Ferrand in "structure and/or algorithms for data complexity measures", funded by CNRS

[DMANET] PhD Fellowship position in Quantum-Inspired Evolutionary Algorithm

[DMANET] Postdoc in natural computing at LIS (Marseille, France)

[DMANET] PhD Position in Theoretical Computer Science for UK Home Students at Queen Mary University of London

[DMANET] Save the Date: 1-2nd Sept 2025 Workshop on Random Simplicial Complexes and Hypergraphs at Nottingham Trent

[DMANET] EURO WISDOM YW4OR Webinar on Supply Chain Management under Uncertainty” April 11, 2025, 10:00 – 11:00 (CET)

[DMANET] Fixed-term junior research position in the area of Machine Learning at Politecnico di Milano (Italy)

Monday, March 31, 2025

[DMANET] [Opportunity] MATS Summer 2025 Applications Open

[DMANET] HALG 2025 -- Call for Participation (list of survey/invited talks)

[DMANET] SMARTCOMP 2025 - Call for Posters/Demos/WIP - DEADLINE EXTENSION

[DMANET] [Fast Continuum 2025 Workshop (Co-located with IEEE SERVICES)] Submission Deadline in one week (Paper Submission: April 7, 2025)

[DMANET] DLT 2025 - Last Call for Papers

[DMANET] Call for Participation Maritime Shipping Competition at AAMAS 2025

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Wednesday, April 2, 2025

Tuesday, April 1, 2025

Monday, March 31, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive