Saturday, January 31, 2026

[DMANET] PODC 2026 Second Call for Papers

The 45th ACM Symposium on Principles of Distributed Computing
July 6-10, 2026, Royal Holloway, University of London

======================================
DATES (all times are AoE)
======================================

All deadlines are at 23:59 AoE in the year 2026.

Abstract submission: February 11, 2026
Full paper submission: February 16, 2026
Notification: April 29, 2026


======================================
websites:
======================================

submission site: https://podc26.hotcrp.com/

conference site: https://www.podc.org

======================================
SCOPE
======================================

The ACM Symposium on Principles of Distributed Computing is an
international forum on the theory, design, analysis, implementation
and application of distributed systems and networks. We solicit papers
in all areas of distributed computing. Papers from all viewpoints,
including theory, practice, and experimentation, are welcome.
The goal of the conference is to improve understanding of the principles
underlying distributed computing. Topics of interest include,
but are not limited to the following (in alphabetical order).

- biological distributed algorithms and systems
- coding and reliable communication
- combinatorics and topology of distributed computing
- communication networks
- concurrency, synchronization, and persistence
- design and analysis of concurrent and distributed algorithms and data structures
- distributed and cloud storage, replication and consistency
- distributed computing for machine learning, artificial intelligence and big data
- distributed graph algorithms
- distributed ledgers and decentralized finance protocols
- distributed operating systems, middleware, and databases
- distributed resource management and scheduling
- fault-tolerance, reliability, self-organization, and self-stabilization
- game-theoretic approaches to distributed computing
- high-performance, cluster, cloud and grid computing
- internet applications
- lower bounds and impossibility results for distributed computing
- mobile computing, population protocols and autonomous agents
- models and languages for distributed computing
- multiprocessor and multi-core architectures and algorithms
- peer-to-peer systems, overlay networks, and social networks
- quantum and optics based distributed computing
- security and cryptography in distributed computing
- specifications, semantics, verification, and formal methods for
distributed systems
- system-on-chip and network-on-chip architectures
- transactional memory
- wireless, sensor, mesh, and ad hoc networks

======================================
PAPER SUBMISSION
======================================

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.

Regular Papers: A regular paper must report on original research that
has not been previously published. It is not permitted to submit the
same material concurrently to journals or conferences with proceedings.
Format and length requirements for submissions are stated below.

Brief Announcements: A brief announcement may describe work in progress
or work presented elsewhere. A brief announcement may also report on
original research results that can be fully presented in the limited
space available. The title of a brief announcement must begin with
Brief Announcement: .

Use of AI tools: If any AI tools were used in preparing a submission
(beyond copyediting or use of internet search tools), the nature of the
usage should be disclosed in the submission for the sake of transparency.
If AI tools are used, authors remain accountable for the content of the
paper, including avoiding plagiarism and providing appropriate citations
of sources.

Submission format: All submissions should be typeset using 11-point or
larger fonts, in a single-column, single-spaced format with ample spacing
throughout and 1-inch margins all around, on letter-size
(8 1/2 x 11 inch) paper.

Alternatively, submissions can be prepared using the official ACM Master
article LaTeX template acmart.cls, version 1.80 or greater,
using the following documentclass instruction:

\documentclass[acmsmall,nonacm,anonymous]{acmart}

The template is available at
https://www.acm.org/publications/proceedings-template.

The following instructions equally apply in both cases.

Regular submissions should start with a title page consisting of the
title of the submission, no author information (see paragraph on
double-blind reviewing below), and a brief abstract summarizing the
submission s contributions. There is no page limit and authors are
encouraged to use the full version of their paper as the submission.
Each submission should contain within the initial 10 pages following the
title page a clear presentation of the merits of the submission,
including a discussion of the submission s importance within the context
of prior work and a description of the key technical and conceptual ideas
used to achieve its main claims. A submission should include all
information necessary for an expert to fully evaluate the paper s
central claims, including full proofs and experimental results,
where applicable. Although there is no bound on the length of a
submission, material other than the abstract and the first 10 pages
will be read at the committee s discretion. Authors are encouraged to put
the references at the very end of the submission.

Brief announcement submissions must have a length of at most 5 pages
including title, abstract, and references.

Submissions not conforming to the rules stated in this call and
submissions outside the scope of the conference may be rejected without
consideration.

Best practices for citations: Alphabetical orderings of authors can lead
to biases. Therefore, authors are encouraged to avoid et al. in
citations, and instead mention all author names.

======================================
AWARDS
======================================

All regular papers are eligible for the best paper award. A regular paper
is eligible for the best student paper award if the author(s) principally
responsible for the paper s contributions are full-time students at the
time of submission. The program committee may decline to make these
awards or may split them.


======================================
DOUBLE-BLIND REVIEWING
======================================

The conference will employ a lightweight double-blind reviewing process.
Submissions should not reveal the identity of the authors in any way.
In particular, authors names, affiliations, and email addresses should
not appear anywhere in the submission. Nothing should be done in the name
of anonymity that weakens the submission or makes the job of reviewing the
submission more difficult. In particular, important references should
not be omitted or anonymized. In addition, authors are free to disseminate
their ideas or draft versions of their submission as they normally would.
For example, authors may post drafts of their submissions on the web,
submit them to arXiv, and give talks on their research ideas.
Authors with further questions on double-blind reviewing are encouraged
to contact the PC chair by email.


======================================
CONFLICT OF INTEREST
======================================

Indications of conflicts of interest will be required in the submission
form.
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. (It is not
required that the incident be reported.)
- 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 not
listed above, contact the PC chair or one of the SafeTOC Advocates
affiliated with this conference (Faith Ellen, Idit Keidar and
Andrea Richa). The PC chair may request that a SafeTOC advocate
confidentially verify the reason for a conflict of interest.

======================================
PUBLICATION
======================================

Accepted regular papers of up to 10 pages and brief announcements of
up to 3 pages in two-column ACM proceedings format will be included in
the conference proceedings. They must be formatted with the ACM Master
templates using

\documentclass[sigconf]{acmart}.


If more space is needed for an accepted paper than is available in the
proceedings, a full version must be made available publicly, e.g.
on arXiv, by the due date for the proceedings version, and the proceedings
version must refer to the full version.

The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of the conference. The official publication date
affects the deadline for any patent filings related to published work.

It is expected that papers that are published at PODC 2026 will be
presented by one of the authors in person at the conference.
In exceptional circumstances (e.g., because of visa issues),
a limited number of exceptions can be approved by the PC chair.
A paid conference registration by one of the authors of each accepted
paper will be required in any case.

Extended and revised versions of selected papers will be considered for
a special issue of the journal Distributed Computing. Up to two selected
papers will be considered for publication in the Journal of the ACM.


======================================
Open Access and Article Processing Charge
======================================

Starting January 1, 2026, ACM will fully transition to Open Access.
All ACM publications, including the PODC 2026 conference proceedings,
will be 100% Open Access. Authors will have two primary options for
publishing Open Access articles with ACM: the ACM Open institutional
model or by paying Article Processing Charges (APCs). If a corresponding
author s institution is on the list of institutions participating
in ACM Open, then there will be no APC. Otherwise, each paper will
require an APC of
- $250 for ACM/SIG members, or
- $350 for non-members,

unless the authors qualify for a financial waiver. For information
on waivers and discounts, see
https://www.acm.org/publications/policies/policy-on-discretionary-
open-access-apc-waivers
. Geographic waivers and discounts apply to
authors from certain countries. Discretionary waivers are rare and
are granted based on specific criteria set by ACM.

**********************************************************
*
* 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] Diagrams 2026: Call for Workshops

****Call for Workshops: Diagrams 2026* ***


15th International Conference on the Theory and Application of Diagrams

August 24–28, 2026

Tallinn University of Technology, Tallinn, Estonia

https://diagrams-conference.org/2026/

*** Highlights ***

- Proceedings published by Springer

- Graduate Symposium

- Three Tracks: Main
<https://diagrams-conference.org/2026/calls/main-track/>, Philosophy
<https://diagrams-conference.org/2026/calls/philosophy-of-diagrams/>,
and Psychology
and Education
<https://diagrams-conference.org/2026/calls/psychology-and-education/>

- Best Paper and Best Student Paper awards

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

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research and more to meet and share their perspectives on
the theory and application of diagrams.

We invite proposals for half-day or full-day workshops. *These workshops
will be held on the first (August 24, 2026) and the last (August 28, 2026)
conference day.* They will occur at the main conference venue at Tallinn
University of Technology in Estonia.


Workshops are expected to address topics of interest to the Diagrams 2026
conference attendees. These include, but are not limited to, the issues of
interest found on the Call pages for the main tracks, philosophy track and
psychology & education track. Examples of previous Workshops include:


- International Workshop on Set Visualisation and Reasoning
- The International Workshop on Euler Diagrams
- Technology-Enhanced Diagrams Research
- Accessible Graphics: Graphics for Vision-Impaired People
- Diagrams and Mathematical Practice
- Peirce's Philosophy of Notation
- The Diagrammatic Turn in Quantum Physics

At least one of the organizers of an accepted Workshop submission will be
expected to attend the conference.


*****************************************************************
SUBMISSION


A Workshop proposal must contain:
1. A single page listing:
1.the title of the workshop,
2.the names and contact information for all organizers,
3.brief biographies of the main organizers.
2. A description of the topic and rationale for the workshop, including a
brief descrip-tion of why the workshop will be relevant to Diagrams 2026
conference attendees.
3. A Call for Participation document of up to 500 words that can be used
to advertise the workshop on the Diagrams 2026 website.

Submission date for workshop proposals: *March 31, 2026.*


More details and important dates can be found at
https://diagrams-conference.org/2026/calls-2/workshops-2/


--
Publicity Chair, Diagrams Conference 2024
Reetu Bhattacharjee, PhD
Department of Philosophy
University of Münster

**********************************************************
*
* 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, January 30, 2026

[DMANET] Jobs - ๐—™๐˜‚๐—น๐—น๐˜† ๐—ณ๐˜‚๐—ป๐—ฑ๐—ฒ๐—ฑ ๐—ฃ๐—ต๐—— ๐—ฟ๐—ฒ๐˜€๐—ฒ๐—ฎ๐—ฟ๐—ฐ๐—ต๐—ฒ๐—ฟ ๐—ฝ๐—ผ๐˜€๐—ถ๐˜๐—ถ๐—ผ๐—ป๐˜€ ๐—ถ๐—ป ๐—”๐—œ & ๐— ๐—ฒ๐—ฑ๐—ถ๐—ฐ๐—ฎ๐—น ๐—ฅ๐—ผ๐—ฏ๐—ผ๐˜๐—ถ๐—ฐ๐˜€ ๐—ฎ๐˜ ๐—ง๐—จ ๐—›๐—ฎ๐—บ๐—ฏ๐˜‚๐—ฟ๐—ด

๐Ÿ“ฃ ๐—™๐˜‚๐—น๐—น๐˜† ๐—ณ๐˜‚๐—ป๐—ฑ๐—ฒ๐—ฑ ๐—ฃ๐—ต๐—— ๐—ฟ๐—ฒ๐˜€๐—ฒ๐—ฎ๐—ฟ๐—ฐ๐—ต๐—ฒ๐—ฟ
๐—ฝ๐—ผ๐˜€๐—ถ๐˜๐—ถ๐—ผ๐—ป๐˜€ ๐—ถ๐—ป ๐—”๐—œ & ๐— ๐—ฒ๐—ฑ๐—ถ๐—ฐ๐—ฎ๐—น ๐—ฅ๐—ผ๐—ฏ๐—ผ๐˜๐—ถ๐—ฐ๐˜€ ๐—ฎ๐˜ ๐—ง๐—จ ๐—›๐—ฎ๐—บ๐—ฏ๐˜‚๐—ฟ๐—ด

The Institute of Medical Technology and Intelligent Systems at Hamburg
University of Technology has a research focus on AI and robotics methods
in medicine.

Currently, we are hiring researchers for two exciting projects in
collaboration with clinical partners. The positions are fully funded
(TV-L 13, app. 57 kEUR gross salary) for three years. Please, note that
• the positions require a master's degree with excellent grades in
computer science or related fields, e.g., engineering, robotics, applied
mathematics
• the projects require very good programming and deep learning skills,
particularly Python and PyTorch
• we expect candidates to take advantage of the opportunity to work
towards a PhD
• very good understanding of medical image processing and proficiency in
English are also required

Please, click below to get ๐Ÿค“ further information and ๐Ÿ“ฉ️ to apply (by
feb 9th)

➡️๐—ฃ๐—ฟ๐—ผ๐—ท๐—ฒ๐—ฐ๐˜ ๐Ÿญ) guiding robotic surgery, focusing on prostate tumor
localization, including image processing and robotic instrument
localization
https://stellenportal.tuhh.de/uc94y

➡️ ๐—ฃ๐—ฟ๐—ผ๐—ท๐—ฒ๐—ฐ๐˜ ๐Ÿฎ) guiding the treatment during ear, nose, throat
(ENT) surgery, including image processing to identify tissue types and
motion
https://stellenportal.tuhh.de/e9rdb

Don't hesitate contacting Alexander Schlaefer (schlaefer@tuhh.de) for
further information.

*#PhD* *#AI* *#MedicalRobotics* *#ImageProcessing* *#ENT* *#Surgery*
*#Robotics*

Prof. Dr.-Ing. Alexander Schlaefer

Institute of Medical Technology and Intelligent Systems
Hamburg University of Technology
+49 (0) 40 30601-3050
www.tuhh.de/mtec
**********************************************************
*
* 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] Deadline Extended -- SMARTCOMP 2026: Call for Research Papers

|| Deadline Extended until 16th February 2026 (AoE) ||

Call for Research Papers
Great News: IEEE SMARTCOMP is now ranked B in ICORE Conference Portal!!
SMARTCOMP 2026, the 12th edition of the premier conference on smart computing, will be held in Messina, Italy from 22nd to 25th June 2026.
Smart computing is a multidisciplinary domain enabled by advances in sensor-based technologies, Internet of Things, cyber-physical systems, edge computing, big data analytics, machine learning, cognitive computing, ambient intelligence, and artificial intelligence.
Applications of smart computing can be found in diverse societal domains, including transportation, energy, environmental protection, smart and connected communities, healthcare, industrial systems, precision farming, and entertainment. Algorithmic and systems advancements in edge, fog, or cloud computing, mobile and pervasive computing, sensor networking, and social computing are accelerating such innovation while expanding its influence in everyday ways of living.
SMARTCOMP 2026 welcomes novel, cutting-edge and creative research contributions. Authors should discuss the importance, timeliness, and significance of their work as well as limitations, implications, future opportunities and open research directions.
Main Research Track
SMARTCOMP 2026 solicits papers that address the core challenges of smart computing, focusing on the design and development of scalable, dependable systems, and on leveraging computing technologies to enhance resource sustainability and enhance sustainable quality of human life.
Topics of interest include - but are not limited- to the following:

* Emerging Smart Computing Paradigms
* Algorithms for Smart Computing
* AI and Machine Learning in Smart Computing
* Mobile and Ubiquitous Smart Systems, Wearable Computing and IoT
* Intelligent Cyber-Physical Systems
* Cloud, Edge, and Fog based Smart Computing Platforms
* Data Engineering and Analytics for Smart Computing
* Distributed Sensing, AI, and Computation
* Middleware for Smart Systems
* Novel Communication Paradigms in Smart Computing
* Low Power Communication and Computing for Smart Systems
* Social Computing and Smart Systems
* Quantum Computing in Smart Systems
* Security, Privacy, and Trust in Smart Computing
* Fairness and Socio-technical Aspects of Smart Computing
* Interdisciplinary Approaches to Smart Computing
* Novel applications of Smart Computing in emerging and high potential fields (e.g. Smart Communities, Health, Industry, Transport, Energy, Space, Agrifood, ...)
Important Dates
Paper Submission: 16th February 2026 (Extended)
Acceptance Notification: 15th April 2026
Camera Ready (tentative): 22th April 2026
Conference: 22 to 25 June 2026
All deadlines are Anywhere on Earth.
Submission Guidelines
Paper submissions must be no longer than 8 pages including references and formatted using the two-column IEEE proceedings template. All submitted papers following these requirements will be peer reviewed by the Technical Program Committee. All presented papers will be published in the conference proceedings and submitted to the IEEEXplore Digital Library.
The conference will be in-person and no virtual or remote presentations will be permitted.
Accepted papers must be presented in person by one of the authors under full registration. Failure to meet this requirement will result in the exclusion of the paper from the final proceedings, the conference program, and the IEEE Digital Library.
Authors of accepted papers are responsible to obtain an Italian visa, if required, in a timely manner so as to meet the above expectations.
The conference applies a single-blind review process.
Submit your paper here<https://smartcomp2026research.edas.info/newPaper.php?c=34461>.
https://smartcomp2026research.edas.info/newPaper.php?c=34461
Paper registration opens on November 1st, 2025
One additional page for the camera-ready version can be purchased after the paper review and selection.
________________________________
BEST PAPER AWARD and Editorial Follow-Ups
The authors of the best paper will receive an award in recognition to their contribution to the field.
Extended versions of selected high-quality papers accepted to the main conference will be considered for publication in Elsevier's Pervasive and Mobile Computing journal (IF: 3.5)<https://www.sciencedirect.com/journal/pervasive-and-mobile-computing>
Technical Program Committee Co-Chairs
Daniela Nicklas
George Roussos
Contact Information
For any questions about the conference, please contact the TPC Co-Chairs at: smartcomp26-tpc-chairs.mobi@uni-bamberg.de<mailto:smartcomp26-tpc-chairs.mobi@uni-bamberg.de>


Thanks & Regards,
Debasree Das

----

Debasree Das
Research Assistant
Chair of Mobile Systems
University of Bamberg
Webpage: https://debasree08.github.io/debasree/
An der Webrei 5
96047 Bamberg
Room: WE5/05.131

**********************************************************
*
* 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] MFCS 2026 - First Call for Papers

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

MFCS 2026 - First Call for Papers

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

The 51th conference on Mathematical Foundations of Computer Science (MFCS) will take place in:

Paris, France August 24th-28th, 2026

MFCS is among the conferences with the longest history in the field — the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Poland, and Slovakia; since 2013, the conference has traveled around Europe.

The conference will be preceded, on August 23, by the Young Research Forum Workshop intended for students and postdocs.


NEW: Up to 10 papers will be accepted by the program committee, for which no presence onsite is required.

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

Important dates and information

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

Submissions: April 24th, 2026

Author notification: June 19th, 2026

Camera-ready version: June 26th, 2026

Conference: August 24th-28th, 2026 (YRF Workshop on August 23rd, afternoon)

Deadlines are firm; late submissions will not be considered. All dates are AoE.

Conference website: https://mfcs2026.irif.fr/

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

Submission guidelines

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

1) Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessible in an on-line repository such as arXiv.

2) Submissions take the form of an extended abstract of up-to 12 pages (LIPIcs document class), excluding title page, references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of a full version of the submission, and it will be read at the discretion of program committee members. The extended abstract has to present the merits of the paper and its main contributions clearly, and describe the key concepts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be verified.

3) Submissions authored or co-authored by members of the program committee are allowed.

4) At the time of submission, authors may declare that they are unable to attend the conference in Paris and therefore cannot give an in-person presentation. This choice will not influence the evaluation of submissions by the Program Committee. The Program Committee will rank all papers irrespective of their presentation status. Approximately 80 papers will be selected for in-person presentation, and up to 10 papers will be accepted without presentation. All accepted papers will be published in the same proceedings. This option is intended for authors who wish to publish their results at the conference but, for various reasons (e.g., family or financial constraints), are unable to attend the conference in person.

5) At least one author of each accepted paper with presentation is expected to register for the conference, and give the talk in-person. At least one author of each accepted paper without in-person presentation is expected to register for the conference for a reduced fee, and for each such paper the authors are expected to provide a pre-recorded video of the paper presentation that will be made available on-line during the conference. (Pre-recorded videos of the other papers are optional.)

6) Papers authored only by students should be marked as such at the time of submission in order to be eligible for the best student paper award.

7) MFCS proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. The camera-ready version of accepted papers will need to comply with the LIPIcs style.

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

MFCS 2025 Programme Committee

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

Michal Koucký (Charles University, Czech Republic) - chair
Daniela Petriศ™an (Université Paris Cité, IRIF, France) - co-chair

C. Aiswarya (Chennai Mathematical Institute, India)
Christel Baier (Technische Universität Dresden, Germany)
Ivona Bezáková (Rochester Institute of Technology, USA)
Markus Bläser (Saarland University, Germany)
Achim Blumensath (Masaryk University, Czech Republic)
Martin Böhm (University of Wrocล‚aw, Poland)
Édouard Bonnet (CNRS, ENS de Lyon, France)
Joshua Brakensiek (University of California, Berkeley, USA)
André Chailloux (Inria de Paris, France)
Panagiotis Charalampopoulos (King's College London, UK)
Lorenzo Clemente (University of Warsaw, Poland)
Ugo Dal Lago (University of Bologna, Italy)
Debarati Das (Pennsylvania State University, USA)
Samir Datta (Chennai Mathematical Institute, India)
Jakub Gajarský (Masaryk University and University of Warsaw, Czech Republic/Poland)
Anna Gál (University of Texas at Austin, USA)
Sumegha Garg (Rutgers University, USA)
Mayank Goswami (City University of New York, USA)
Florian Horn (Université Paris Cité, IRIF, CNRS, France)
Duลกan Knop (Czech Technical University, Czech Republic)
Hanna Komlos (Max Planck Institute for Informatics, Germany)
Stephan Kreutzer (TU Berlin, Germany)
Bruno Loff (University of Lisbon, Portugal)
Wolfgang Merkle (Heidelberg University, Germany)
Igor Carboni Oliveira (University of Warwick, UK)
Kristýna Pekárková (AGH University of Krakow, Poland)
Thomas Place (University of Bordeaux, LABRI, France)
Cécilia Pradic (Swansea University, UK)
Jakub Przybyล‚o (AGH University of Krakow, Poland)
Colin Riba (ENS de Lyon, LIP, France)
Kilian Risse (Lund University, Sweden)
Robert Robere (McGill University, Canada)
Michaล‚ Skrzypczak (University of Warsaw, Poland)
Paweล‚ Sobociล„ski (TalTech, Estonia)
Henning Urbat (FAU Erlangen-Nürnberg, Germany)
Pavel Veselý (Charles University, Czech Republic)
Philip Wellnitz (National Institute of Informatics, Japan)
Sarah Winter (Université Paris Cite, IRIF, CNRS, France)
James Worrell (University of Oxford, UK)
Standa ลฝivný (University of Oxford, 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] Assistant Professor in Operations Research at Aalto University, Finland

The Department of Mathematics and Systems Analysis at Aalto University
invites applications for a tenure-track position at the assistant
professor level. This is a unique opportunity for talented individuals
with a doctorate in operations research or a closely related field to
contribute to our leading role in systems and operations research in
Finland. We welcome applications in all areas of operations research,
including but not limited to:
    - optimization,
    - mathematical programming,
    - analytics,
    - data-driven decision-making,
    - stochastic modelling, and
    - systems analysis.

The Department of Mathematics and Systems Analysis is an international
highly regarded academic community of more than 100 employees, with
around 20 professors, 10 lecturers, 20 postdocs, and 60 doctoral
students. We seek applicants whose research and teaching profiles
complement the department and strengthen the research area in systems
and operations research by combining theoretical and methodological
contributions with applied research.

Our department has a welcoming culture which nurtures innovativeness and
communication among our international and diverse faculty. We warmly
encourage qualified candidates from all backgrounds to join our
community. We offer competitive salaries and start-up packages to new
faculty. The contract includes occupational health care benefits. For
international hires, we offer relocation services.

For more information and the application form visit:
https://www.aalto.fi/en/open-positions/assistant-professor-operations-research

The call is open until March 15, 2026.
**********************************************************
*
* 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] FICO Xpress Best Paper Award 2026 - Deadline Extended

Dear colleagues,

The Xpress Best Paper Award 2026 nomination deadline has been extended to Feb 14, 2026!
We invite you to nominate or self-nominate papers.
The Xpress Best Paper Award acknowledges outstanding papers in the named areas in which the usage of FICO Xpress Optimization products played a significant role.
Papers published in the two years between January 1, 2024, and December 31, 2025, will qualify for the fourth edition awarded in 2026.
The award includes a $1,500 cash prize.

Detailed information can be found at this blog https://community.fico.com/s/blog-post/a5Q4w000000403KEAQ/fico4407 or the award homepage https://www.i2damo.de/de/xpress-best-paper-award .
Also, see these blogs about the winners of the past three years:
- https://community.fico.com/s/blog-post/a5QQi0000067HNFMA2/fico6140
- https://community.fico.com/s/blog-post/a5QQi000002rzAfMAI/fico5205
- https://community.fico.com/s/blog-post/a5Q4w000001UfWLEA0/fico4101
Please feel free to contact me with any questions.

Best regards,
Timo Berthold, on behalf of the award committee

PD Dr. Timo Berthold * Software Engineering - Director * FICO
Fair Isaac Deutschland GmbH
Takustr. 7, 14195 Berlin, Germany
www.fico.com<http://www.fico.com/>

[A close up of a sign Description automatically generated]


Register Court (Registergericht): Amtsgericht Darmstadt, HRB 105180
Managing Director (Geschäftsführer): Dean Sanderson

This email and any files transmitted with it are confidential, proprietary and intended solely for the individual or entity to whom they are addressed. If you have received this email in error please delete it immediately.


**********************************************************
*
* 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] Doctoral student in Theoretical Computer Science

The research group for theoretical computer science at Hamburg University of Technology is currently looking for a doctoral student in the area of constraint satisfaction and quantum information. Our group investigates the computational complexity of so-called constraint satisfaction problems and related problems that capture many problems from theory and practice. The current opening is in particular focused on the area of non-local games and the possible advantage provided by quantum entanglement.

The position is a full-time position on the echelon E13 of the German public salary scale (100% TV-L E13, at least 2700 euros per month after taxes) for a duration of 3 years, with a possibility of extension. The successful applicant is expected to contribute to the research done at the group in the area of constraint satisfaction and quantum information, and to work towards the obtention of a doctoral degree. The starting date is as soon as possible.

The successful applicant holds or is about to finish a Master's degree in mathematics or computer science (with a focus on theoretical computer science). They are motivated by academic research and have a broad background in computer science or mathematics.
They should be motivated to do research in the fields of computational complexity and non-local games with quantum resources.
Informal inquiries are encouraged and should be directed to Antoine Mottet (antoine.mottet@tuhh.de).
The documents to be provided are:
– a cover letter,
– a short CV,
– copies of university degrees and transcripts,
– a copy of the thesis produced towards the obtention of a Master's degree in mathematics or theoretical computer science (in case the applicant has not finished their Master's thesis, provide an abstract of the topic of the thesis),
– a letter of reference.

The application should be submitted by February 16 at the address https://stellenportal.tuhh.de/6fuc1.

**********************************************************
*
* 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, January 29, 2026

[DMANET] SAND 2026 - Final Call for Papers

======================================
SAND 2026: Final Call for Papers
======================================

The 5th Symposium on Algorithmic Foundations of Dynamic Networks
July 1-3, 2026
Le Havre, France
https://litis.univ-lehavre.fr/sand2026/

======================================
Dates
======================================

Abstract registration: February 18, 2026, 23:59 AoE
Full paper submission: February 24, 2026, 23:59 AoE
Notification: April 22, 2026
Camera-ready version: May 2, 2026
Conference: July 1-3, 2026

======================================
Scope
======================================

The Symposium on Algorithmic Foundations of Dynamic Networks is a primary venue for original research on the fundamental aspects of computing in dynamic networks and dynamic computational processes. Broadly, the conference and its community aim to improve understanding of the role of dynamics in computing. We seek high-quality contributions related to this aim from all viewpoints, including theory, design, analysis, and applications, and welcome both conceptual and technical contributions, as well as novel ideas and new problems.

Topics of interest include, but are not limited to:

- Bio-inspired, physical, and chemical dynamic models
- Boolean networks
- Complex systems, financial, social, and transportation networks
- Computability and complexity within dynamic networks
- Continuous models of dynamic networks
- Distributed computation in dynamic networks
- Dynamic graph algorithms
- Dynamically reconfigurable networks and graph reconfiguration
- Dynamics of games, puzzles, and gadget systems
- Fault tolerance, network self-organization, and formation
- Geometric dynamic models
- Information spreading, gossiping, and epidemics
- IoT, cloud, edge, and fog computing
- Learning approaches for dynamic networks
- Multilayer, peer-to-peer, and overlay networks
- New models for dynamic networks
- Offline and online algorithms for dynamic networks
- Population protocols and chemical reaction networks
- Randomness in dynamic networks
- Reconfigurable and swarm robotics, programmable matter, and DNA self-assembly
- Streaming models
- Temporal data and dynamic network analysis
- Temporal graphs
- Wireless networks, mobile computing, and autonomous agents

======================================
Paper Submission
======================================

Papers should be submitted electronically through Easychair
(https://easychair.org/conferences/?conf=sand2026).

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.

SAND accepts two types of submissions: regular papers and brief announcements.

A regular paper submission must be original research and report on novel results that have not appeared or been concurrently submitted to a journal or a conference with published proceedings. Every regular paper submission must be at most *15 pages*, excluding references, plus an (optional) appendix. The main part of the submission (i.e. the *15 pages*) 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. There is no guarantee that the reviewers will read the (optional) appendix; this will only be read at the discretion of the Program Committee. The appendix can contain missing proofs from the main text, or it can just be the full version of the paper, this decision is left to the authors.

A brief announcement submission may report on preliminary work or work presented elsewhere. The title of a brief announcement submission should begin with "Brief Announcement: ". Papers submitted as brief announcements should include presentation of their merits within *5 pages* plus at most 1 extra page of references, plus an (optional) appendix (as described above).

The program committee may decide that some of the regular papers not selected for publication are suitable for publication in the brief announcement format. The authors of any such paper will be asked to prepare a brief announcement final version out of their original regular submission. By default, every regular paper submission will be considered as a potential brief announcement, if it is not accepted as a regular paper. Any authors who *do not* wish their regular paper submission to be considered for the brief announcement format in case of rejection, are asked to clearly indicate this on the first page of their submission, for example by adding above or below the title "NOT eligible for brief announcement".

======================================
Instructions for Double-Blind Review
======================================

The reviewing process is double-blind, the authors' names must not be included in the paper, and the writing of the manuscript should be done in such a way to not de-anonymize authors (e.g., instead of, our result [1], they should use, the result of [1]). We assume that reviewers do not actively try to recognize the authors. Therefore, authors are allowed to publish their results on pre-print services before or at any point of the submission/reviewing process. Non-anonymous submissions will be rejected.

======================================
Publication
======================================

The conference proceedings will be published by LIPIcs. The final version of the paper must be formatted following the LIPIcs guidelines (https://submission.dagstuhl.de/documentation/authors). Papers accepted in full will have 15 pages in the final proceedings (excluding references). Any papers accepted in the brief announcement format will have 5 pages in the final proceedings plus at most 1 extra page of references.

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

For every accepted regular paper and brief announcement, at least one of the authors must fully register and present the paper during the conference and according to the conference program. Any paper accepted but not presented will be withdrawn from the final proceedings.

======================================
Awards
======================================

All regular papers are eligible for the best paper award. Regular papers co-authored by at least one full-time student may also be eligible for the best student paper award. For a paper to be considered for the best student paper award, at least one author who is a full-time student at the time of submission should have made a significant contribution to the paper. In case the authors think that their paper is eligible for the best student paper award, they should clearly indicate this on the first page of their submission, for example by adding above or below the title "Eligible for the best student paper award".

======================================
Organization
======================================

Program Chairs:
- George Mertzios, Durham University, UK
- Andrea Richa, Arizona State University, USA

Program Committee:
- Duncan Adamson, University of St Andrews, UK
- James Aspnes, Yale University, USA
- John Augustine, IIT Madras, India
- Luca Becchetti, Sapienza University of Rome, Italy
- Petra Berenbrink, University of Hamburg, Germany
- Arnaud Casteigts, University of Geneva, Switzerland
- Bernard Chazelle, Princeton University, USA
- Shantanu Das, LIS, Aix-Marseille University, France
- Joshua Daymude, Arizona State University, USA
- Giuseppe Antonio Di Luna, Sapienza University of Rome, Italy
- David Doty, University of California, Davis, USA
- Yuval Emek, Technion Institute of Technology, Israel
- Thomas Erlebach, Durham University, UK
- Javier Esparza, Technical University of Munich, Germany
- George Giakkoupis, INRIA, France
- Olga Goussevskaia, Federal University of Minas Gerais, Brazil
- Giuseppe Italiano, Luiss University, Rome, Italy
- Bart de Keijzer, King's College University of London, UK
- Othon Michail, University of Liverpool, UK
- Nils Morawietz, University of Bordeaux, France
- William K. Moses Jr., Durham University, UK
- Thomas Nowak, ENS Paris-Saclay, France
- Fukuhito Ooshita, Fukui University of Technology, Japan
- Matthew Patitz, University of Arkansas, USA
- Maria Potop-Butucaru, LIP6, Sorbonne University, France
- Rajmohan Rajaraman, Northeastern University, USA
- Dana Randall, Georgia Institute of Technology, USA
- Christian Scheideler, Paderborn University, Germany
- Ana Silva, Federal University of Ceará, Brazil
- Paul Spirakis, University of Liverpool, UK
- Yukiko Yamauchi, Kyushu University, Japan
- Isabella Ziccardi, IRIF, Paris Cité University, France

Organizing Committee:

- Stefan Balev, University of Le Havre Normandy, France
- Julien Baudry, University of Le Havre Normandy, France
- Antoine Dutot, University of Le Havre Normandy, France
- Frederic Guinand, University of Le Havre Normandy, France
- Antoine Huchet, University of Le Havre Normandy, France
- Théo Morel, University of Le Havre Normandy, France
- Yoann Pigné, University of Le Havre Normandy, France
- Eric Sanlaville, University of Le Havre Normandy, France (chair)
- Antoine Toullalan, University of Le Havre Normandy, France

Steering Committee:

- Othon Michail, University of Liverpool, UK (SC chair)
- Arnaud Casteigts, University of Geneva, Switzerland (SC vice chair)
- George Mertzios, Durham University, UK (PC chair 2026)
- Andrea Richa, Arizona State University, USA (PC chair 2026)
- Kitty Meeks, University of Glasgow, UK (PC chair 2025)
- Christian Scheideler, Paderborn University, Germany (PC chair 2025)
- Eric Sanlaville, University of Le Havre Normandy (General chair 2026)

Advisory Board:

- James Aspnes, Yale University, USA
- Luca Becchetti, University of Rome Sapienza, Italy
- Arnaud Casteigts, University of Geneva, Switzerland
- Giuseppe Antonio Di Luna, University of Rome Sapienza, Italy
- Paola Flocchini, University of Ottawa, Canada
- George Mertzios, Durham University, UK
- Othon Michail, University of Liverpool, UK
- Rotem Oshman, Tel Aviv University, Israel
- Nicola Santoro, Carleton University, Canada
- Paul Spirakis, University of Liverpool, UK
- Viktor Zamaraev, University of Liverpool, UK

--

Andrea W. Richa

President's Professor

School of Computing and Augmented Intelligence (SCAI)

BSS@Biodesign Institute and Barrett Honors Faculty

Arizona State University

699 S Mill Ave #440, Tempe AZ 85281

https://sops.engineering.asu.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] Extended Deadline: ESWI 2026 on Health Care - 15.02.26

Dear colleagues,

we extend the deadline for application until February 15th, 2026, and are looking forward to your applications.

Best regards,

Gréanne Leeftink and Christina Büsing

https://www.utwente.nl/en/choir/research/ESWI-Aachen-Twente/

-----Ursprüngliche Nachricht-----
An: dmanet@zpr.uni-koeln.de
Betreff: [DMANET] Registration Open — ESWI 2026 on Health Care: Call for Participation

Dear colleagues,

We are excited to announce that registration is now open for the ORAHS ESWI 2026, the EURO Summer/Winter Institute on Data-driven Healthcare under Uncertainty, taking place 20 September – 2 October 2026 in Aachen, Germany.

The ORAHS ESWI 2026 is jointly organized by CHOIR at the University of Twente and the COMBI group at RWTH Aachen University. The two-week program offers PhD students and PostDocs a unique opportunity to deepen their skills in operational research for healthcare — with a focus on uncertainty, data, and real-world impact.

What to expect: keynote lectures by leading experts, hands-on workshops on real healthcare problems, small-team project work, mentorship & career development sessions - plus a vibrant social and cultural program in and around Aachen.

If you are interested, please register: the application is now open and the deadline is 30 January 2026.

We look forward to your applications and to welcoming you in Aachen for the ESWI 2026!

Best regards,

Gréanne Leeftink and Christina Büsing

https://www.utwente.nl/en/choir/research/ESWI-Aachen-Twente/

Prof. Dr. Christina Büsing

Phone: +49 241-8093441

RWTH Aachen University

Lehr- und Forschungsgebiet Kombinatorische Optimierung

Im Süsterfeld 9, Raum 199

D-52072 Aachen

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

**********************************************************
*
* 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] COCOON 2026 Call For Papers

The 32nd International Computing and Combinatorics Conference (COCOON
2026) will be held in Singapore from 23 to 25 July 2026. More
information can be found at the conference website:
https://event.ntu.edu.sg/cocoon2026.

Original research papers in the areas of algorithms, theory of
computation, computational complexity, and combinatorics related to
computing are solicited. Submissions presenting experimental or applied
work are also welcome, provided that they make a clear algorithmic
contribution and offer insights of interest to the theory and algorithms
community. Special consideration will be given to research that is
motivated by real-world problems. Such submissions are expected to
include rigorous justification, careful evaluation, or convincing
evidence of the effectiveness of the proposed algorithms.

Important Dates

Paper submission: 27 February 2026
Notification: 6 May 2026
Camera-ready: 29 May 2026
Conference: 23-25 July 2026

All deadlines are at 23:59 AoE (Anywhere on Earth, UTC-12).

Invited Speakers

Yuichi Yoshida, National Institute of Informatics, Japan
Seth Pettie, University of Michigan, USA

Topics of Interest

The topics of interest include (but are not limited to) the following:

Algorithms and Data Structures
Algorithmic Game Theory and Mechanism Design
Approximation Algorithms and Online Algorithms
Automata, Languages, Logic, and Computability
Combinatorics Related to Algorithms and Complexity
Complexity Theory
Computational Learning Theory and Knowledge Discovery
Cryptography, Reliability and Security
Database Theory
Computational Biology and Bioinformatics
Computational Algebra, Geometry, and Number Theory
Exact and Parameterized Algorithms
Graph Drawing and Information Visualization
Graph Theory, Communication Networks
Optimization
Parallel and Distributed Computing
Quantum Computing

Paper Submission

Each submission should contain a clear and scholarly exposition of
ideas, techniques, and results, including the motivation and a careful
comparison with related work. Papers will be evaluated on the basis of
originality, technical depth, correctness, significance, and clarity of
presentation.

Each submission is limited to twelve (12) single-column pages in
Springer LNCS format; see LNCS author guidelines at
http://www.springer.com/la/computer-science/lncs/conference-proceedings-guidelines.

The page limit includes figures and references but excludes an optional
appendix. Proofs omitted due to space constraints must be placed in the
appendix (after references, in the same file), which may be read by the
program committee members at their discretion. Appendices of accepted
papers will not be published in the proceedings.

The conference employs a lightweight double-blind reviewing process.
Submissions must not reveal the identity of the authors in any way.
Authors are expected to follow standard double-blind practices commonly
used in theory conferences. Nothing should be done in the name of
anonymity that weakens the submission or hinders the reviewing process;
in particular, references must not be omitted or anonymized. Code and
data may be provided via anonymous download links or an anonymized
GitHub repository.

All submissions must be made electronically through EasyChair:
https://easychair.org/conferences?conf=cocoon2026.

The submission server will open approximately one month before the
submission deadline.

Proceedings

There must be one full registration associated with every accepted
paper, regardless of whether the presenter qualifies for a discounted
registration.

Accepted papers must be presented in-person in order to appear in the
proceedings, which will be published by Springer-Verlag in the Lecture
Notes in Computer Science (LNCS) series, as in the previous COCOON
conferences: https://link.springer.com/conference/cocoon.

Awards

Awards will be given for the Best Paper and Best Student Paper. To be
eligible for the Best Student Paper Award, all authors must be full-time
students at the time of submission. Authors should indicate eligibility
in the final line of the abstract. The programme committee reserves the
right to withhold these awards or to split them among multiple recipients.

Programme Committee Co-chairs

Yi Li, Nanyang Technological University, Singapore
Frank Stephen, National University of Singapore, Singapore
Xiaoming Sun, Chinese Academy of Sciences, China

Programme Committee

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

[DMANET] 2nd Call for Papers of QEST+FORMAT 2026

=======================================
2nd Call for Papers QEST+FORMATS 2026
September 2-4, 2026, Liverpool, UK

https://www.qest-formats.org/
https://confest-2026.github.io/


=======================================
Dates:

Abstract submission: April 3, 2026
Paper submission: April 10, 2026
Artifact submission: April 17, 2026
Author notification: May 24, 2026
Camera-ready submission: June 14, 2026


=======================================
Scope and Topics

The two flagship conferences QEST (International Conference on
Quantitative Evaluation of SysTems) and FORMATS (International
Conference on Formal Modeling and Analysis of Timed Systems) are
pursuing a strategic process of joining forces and sparking a new
joint conference for quantitative modelling, analysis, and
verification. This culminated in 2024 in the first QEST+FORMATS joint
conference. In 2026, the two conferences will form the third
QEST+FORMATS joint conference, which will be held on 2-4 September
2026 in Liverpool, UK, as part of the CONFEST 2026 umbrella
conference.

The joint conference is the leading forum for the quantitative
evaluation and verification of systems. QEST+FORMATS aims to promote
the study of fundamental and practical aspects of systems with
quantitative nature (such as probability, timing, and cost). It aims
to bring together researchers from different disciplines who share
interests in the modelling, design, and analysis of computational
systems. Systems of interest include biological and chemical systems;
computer networks; critical infrastructures; cyber-physical systems;
data-driven AI systems; energy systems; hardware and software systems;
industrial systems; mobility networks; and quantum systems. The
QEST+FORMATS joint conference also aims to attract researchers
interested in real-time issues in hardware design, performance
analysis, real-time software, scheduling, semantics and verification
of timed, hybrid, and probabilistic systems. In general, the
conference aims to attract experts in quantitative and timed systems
from any domain.

Topics and scientific areas of interest include:

--- Models and metrics for the correctness, performance, reliability,
safety, and security of systems (stochastic, probabilistic, quantum,
and non-deterministic models including Markov chains, automata, Petri
nets, process algebra, and their variations);

--- Languages and methods for the specification of quantitative
properties of systems;

--- Techniques, algorithms, and data structures for the analysis,
evaluation, and verification of the above models, e.g., for model
checking, testing, constraint solving, scheduling, optimization, and
worst-case execution time analysis;

--- Quantitative and probabilistic aspects of programming;

--- Data-driven and machine-learning techniques for the analysis,
prediction, and verification of quantitative properties of systems;

--- Case studies that highlight the role of quantitative
specification, modelling, and evaluation in the design and analysis of
systems, with emphasis on emerging problems and technologies, or novel
domains;

--- Software tools to support the practical application of research
results in all of the above areas.


=======================================
Confirmed Invited Speakers

Ezio Bartocci, TU Wien, Austria
Jane Hillston, University of Edinburgh, UK
Kim Guldstrand Larsen, Aalborg University, Denmark


=======================================
Submissions

QEST+FORMATS 2026 considers three types of submissions (authors will
be able to specify the type of contribution upon submission):

--- Research papers: Theoretical and methodological contributions that
advance the understanding of a topic or issue, or describe the
development of new analysis processes and techniques.

--- Case study papers: Contributions that present practical
applications of quantitative methods to challenging real-world case
studies. Case study papers shall provide detailed evaluation and
insights, and highlight the value added to the domain experts.

--- Tool papers: Contributions introducing new tools or significant
improvements of existing ones, and the formalisms they support. These
papers shall focus on the software architecture, practical
implementation, and evaluation (e.g., usability, scalability, and
effectiveness). Tool papers must be accompanied by an artifact in the
Artifact Evaluation as detailed below.

All three types of papers can be regular or short:
--- Regular papers must not exceed 16 pages, excluding references.
--- Short papers should be limited to 7 pages, also excluding references.
--- All papers can have an appendix containing supporting material. Note
that reviewers are not required to read the appendix to fully assess the
merits of the paper.

We are considering additional presentation-only submission types;
details will be provided in the later CfPs.

All papers must be submitted in Springer's LNCS format and will
undergo a rigorous single-blind review process. All submitted papers
must be unpublished and not be submitted for publication elsewhere.
Papers should be submitted electronically using EasyChair (Track:
QEST+FORMATS 2026).

Springer encourages authors to include their ORCIDs in their papers.
Authors should consult Springer's authors' guidelines and use
Springer's LaTeX templates for the preparation of their papers.
Submitted papers not complying with the above guidelines may be
rejected without undergoing review.

We are considering awards for best papers and best artifacts.


=======================================
Publications

All accepted papers need to be presented and discussed at the
conference by one of the authors. Similarly to last year, the
QEST+FORMATS 2026 proceedings will be published in the Springer LNCS
series indexed by ISI Web of Science, Scopus, ACM Digital Library,
DBLP, Google Scholar. All submitted papers will be evaluated by at
least three reviewers on the basis of their originality, technical
quality, scientific or practical contribution to the state of the art,
methodology, clarity, and adequacy of references.


=======================================
Special Issue

We are working on a special issue in a Q1 journal. A selection of the
best papers will be invited to submit an extended version of their
work to a special issue in an internationally recognized journal.

=======================================
Artifact Evaluation

Reproducibility of experimental results is crucial to foster an
atmosphere of trustworthy, open, and reusable research. To improve and
reward reproducibility, QEST+FORMATS 2026 will include a dedicated
Artifact Evaluation (AE). Submission of an artifact is mandatory for
tool papers (both regular and short), and optional but encouraged for
research and case study papers where it can support the results
presented in the paper. More details will follow.

**********************************************************
*
* 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] 4th WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL REASONING

*******************************************************************************************
4th WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL
REASONING (PCCR 2026)
-- co-located with FLoC 2026
--

July 24-25, 2026, Lisbon,
Portugal

Website: PCCR26 <https://algorithms.leeds.ac.uk/pccr2026/>
Submission link: HotCrp <https://submissions.floc26.org/pcrr>
Submission deadline: May 15, 2026
Theme: Parameterized complexity of problems in Logic, AI, and ML.


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

--------------------------------------- AIMS AND SCOPE
---------------------------------------

This workshop aims to support a fruitful exchange of ideas between the
research on parameterized complexity (PC) on one side and the research
on problems in computational reasoning (Logic and probabilistic
reasoning), Artificial Intelligence (AI), and Machine Learning (ML) on the
other.

Topics of interest include but are not limited to:

- Parameterized complexity of problems in Logic, Artificial Intelligence,
Computational Social Choice, and Machine Learning.

- Recent developments in PC and the above areas plus introduction of new
problems that might benefit from the PC approach.

- Various (structural) parameteriziations such as decompositions,
backdoor sets, and hybrid parameterizations.

- Theory and practice of parameterized algorithms.

The workshop will feature invited and contributed talks with surveys and
new
technical results, an open problem session, and a panel discussion on
future
research directions. Apart from talks on parameterized complexity we are
also interested in presentations that highlight structural parameters that
have
not been studied within the framework of parameterized complexity so far.

------------------------------------------ CALL FOR PAPERS
-----------------------------------------

If you would like to give a talk at the workshop, please submit a short
abstract of
your talk via HotCrp <https://submissions.floc26.org/pcrr> by the
submission deadline in PDF format. The abstract and talk
can be based on published or unpublished results, and we welcome overview
and
survey talks, besides regular technical talks. Contributed talks are
expected to be
around 30 minutes each.

----------------------------------------- IMPORTANT DATES
------------------------------------------

- Early registration starts ends: 1 June 2026
- Workshop paper submission deadline: 15 May 2026 (HotCrp
<https://submissions.floc26.org/pcrr>)
- Workshop accepted paper notifications: 25 May 2026

----------------------------------- WORKSHOP ORGANIZATION
----------------------------------

- Sebastian Ordyniak, University of Leeds, United Kingdom (
sordyniak@gmail.com)
- Fahad Panolan, University of Leeds, United Kingdom (F.Panolan@leeds.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] PhD Position in Topological Combinatorics

PhD Position in Topological Combinatorics
University of Nottingham Ningbo China
The School of Mathematical Sciences at the University of Nottingham Ningbo China is pleased to announce an opening for a PhD position in Topological Combinatorics, commencing in September 2026. The successful candidate will be supervised by Dr. Hamid Reza Daneshpajouh.
Candidate Profile:
We are seeking highly motivated individuals with:

* A solid academic foundation in mathematics, preferably with expertise at the intersection of topology and combinatorics.
* Alternatively, a strong background in discrete mathematics coupled with a demonstrated desire to expand their research into topological combinatorics.
* Excellent analytical skills and a proven capacity for independent study.

How to Apply:
Interested applicants must submit a complete application through the official University of Nottingham Ningbo China's portal by 31 March 2025. To be considered, applicants must meet the minimum entry requirements for both the PhD programme and the Faculty Scholarship (if applying for funding). Only complete applications that fulfil these criteria will be forwarded to the interview panel.
For further information regarding eligibility criteria, funding opportunities, and the application process, please visit [How to Apply - University of Nottingham Ningbo China<https://www.nottingham.edu.cn/en/graduateschool/how-to-apply/how-to-apply.aspx>].
Informal enquiries may also be directed to the PGR Director of the School of Mathematical Sciences:
Dr. Hamid Reza Daneshpajouh: Hamid-Reza.Daneshpajouh@nottingham.edu.cn<mailto:Hamid-Reza.Daneshpajouh@nottingham.edu.cn>

**********************************************************
*
* 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] [Scheduling seminar] Petr Vilim (OptalCP) and Vilem Heinz (CTU in Prague) | February 4 | OptalCP: Constraint Programming with Parallel Search and Reinforcement Learning-Based Acceleration

Dear scheduling researcher,

We are delighted to announce the talk given by Petr Vilim (OptalCP) and
Vilem Heinz (CTU in Prague). The title is " OptalCP: Constraint
Programming with Parallel Search and Reinforcement Learning-Based
Acceleration ". The seminar will take place on Zoom on Wednesday,
February 4 at 14:00 UTC.
Join Zoom Meeting
https://cesnet.zoom.us/j/92404900677?pwd=HV03FRygB2sDF5X7xI7IL68aIU9XX9.1
Meeting ID: 924 0490 0677
Passcode: 249708

You can follow the seminar online or offline on our Youtube channel as
well:
https://www.youtube.com/channel/UCUoCNnaAfw5NAntItILFn4A

The abstract follows.
Constraint Programming (CP) is a powerful paradigm for solving hard
combinatorial optimization problems, especially in scheduling. In this
talk, we introduce OptalCP, a modern CP solver designed for scheduling,
and explain why its design is both practical and effective for
real-world instances. We begin with an overview of what CP is and how
models are defined using variables, domains, and constraints. We then
break down the essential components of a solver—propagation and
search—and show how OptalCP combines efficient propagation algorithms
with parallel search strategies: LNS, failure-directed search, and user
heuristics, all exchanging solutions to find better results faster. The
main part focuses on OptalCP's internal solving strategy: Large
Neighborhood Search (LNS) for fast improvements, Failure-Directed Search
(FDS) for strong reasoning and bounds, and efficient propagation
algorithms for aggressive pruning. We explain why combining these
approaches is crucial. To demonstrate, we will show the solver on a live
example. In the last part, we present research results showing how
reinforcement learning - specifically multi-armed bandits (MAB) - can
accelerate complete CP search by reducing the explored search tree. This
approach achieves state-of-the-art performance on classical JobShop and
RCPSP scheduling benchmarks.

The next talk in our series will be Christian Blum (IIIA-CSIC) |
February 18 | CMSA: A Hybrid Metaheuristic for Combinatorial Optimization.
For more details, please visit https://schedulingseminar.com/

With kind regards

Zdenek Hanzalek, Michael Pinedo and Guohua Wan

--
Zdenek Hanzalek
Industrial Informatics Department,
Czech Institute of Informatics, Robotics and Cybernetics,
Czech Technical University in Prague,
Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic
https://rtime.ciirc.cvut.cz/~hanzalek/

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

Wednesday, January 28, 2026

[DMANET] Last call for papers - International Network Optimization Conference 2026 (INOC2026)

Last days to submit!

- Submission deadlines:
Short paper submission deadline: January 30.
Extended abstracts deadline: February 7.

- Registration will open on Februry 14.

We have the pleasure to announce our confirmed plenary speakers:

- William Cook, University of Waterloo, Canada
- Jannis Kurtz, University of Amsterdam, The Netherlands
- Angelika Wiegele, Alpen-Adria-Universität Klagenfurt, Austria


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Contact
-------

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

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

[DMANET] IFORS2026: Call for Sessions on Freight Transportation

Dear colleague,____

We are pleased to announce a set of *stream**son freight
transportation* at the *24th IFORS Conferenc**e* to be held in *Vienna
in 2026*.____

1. *Emerging Delivery Ideas and Alternative Modes*: organized by Ann
Campbell (*ann-campbell@uiowa.edu*)____

2. *Freight Network Design and related problems*: organized by Michel
Gendreau (*michel.gendreau@cirrelt.net
<mailto:michel.gendreau@cirrelt.edu>*)
3. *Vehicle Routing and related problems*: organized by Claudia
Archetti (*claudia.archetti@unibs.it*)____

We cordially invite you to *organize a session* within one of
thesestreams. As a session organizer, you will be responsible for
selecting abstract submissions and/or inviting speakers to present their
work. Each session will last *90 minutes* and will typically consist of
*three to four talks*.____

If you are interested in organizing a session, please let us know *by
February 15, 2026*, by emailinga *tentative title* for your proposed
session to the *organizer of the appropriate stream* (Ann, Michel, or
Claudia). Once approved, the session will be included in the electronic
Abstract Submission System, allowing you to conveniently invite
speakers.____

We also welcome *individual talk submissions* to this stream. Abstract
submission is open and will close on *March 15, 2026*.____

If you are interested in presenting a talk, please contact the
appropriate stream organizer. We will provide you with a *submission
code* to ensure that your contribution is correctly assigned to the
stream.____

Further information about *IFORS 2026* is available at:
*Vienna, Austria, July 12–17, 2026*
https://ifors2026.at/home/____

If you know colleagues who may be interested in organizing a session
within this stream, please feel free to forward this invitation. Should
you have any questions, do not hesitate to contact us.____

Best regards,____

*AreaChairs*____

Claudia Archetti____

Michel Gendreau
Ann Campbell


--


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

[DMANET] CFP: IEEE SmartSys 2026 @ SMARTCOMP - June 2026, Italy

[Sorry for cross-posting]

Eleventh IEEE Workshop on Smart Service Systems (SmartSys)

• Co-located with the IEEE International Conference on
Smart Computing (SMARTCOMP 2026)

• 22nd June 2026

• Messina, Italy

Name of the Organizers:

Workshop Co-Chairs

• Nirmalya Roy, University of Maryland, Baltimore County

• Carlo Vallati, University of Pisa

• Gurdip Singh, George Mason University

TPC Co-Chairs

• Mohamed Nafea, Missouri University of Science &
Technology, US

• Marco Pettorali, University of Pisa, Italy

Publicity chair

• Jacopo Sabatino, University of Florence, Italy

• Avijoy Chakma, Bowie State University, US

Bio of the Organizers:

• Nirmalya Roy: Dr. Nirmalya Roy is currently an
Associate Professor in the Information Systems department at the University
of Maryland, Baltimore County (UMBC). He has been awarded NSF, office of
Naval Research, Constellation E2: Energy to Educate and UMB-UMBC Research
and Innovation Partnership grants. His current research interests include
pervasive healthcare, sensor-driven smarth ealth technologies, design and
modeling of smart environments, and green building energy analytics. He is
a recipient of Mark Weiser Best paper award in IEEE PerCom 2006 conference,
Best paper award in QShine 2009 conference, Best paper award nomination in
IEEE PerCom 2011 conference and Institute for Infocomm 2011 Best Research
paper award. He is currently leading the UMB-UMBC Research and Innovation
project on Smart Health, NSF Cyber-Physical System Green Building Energy
Analytics project and Constellation Energy Education project at UMBC. Prior
to joining UMBC, he was a Clinical Assistant Professor in the School of
Electrical Engineering and Computer Science department at Washington State
University. He worked as a Research Staff Member in the Institute for
Infocomm Research (I2R) in Singapore from 2010 to 2011 and as a
postdoctoral fellow in the Electrical and Computer Engineering department
at the University of Texas at Austin from 2008 to 2009. He received his MS
and PhD degrees in Computer Science and Engineering from the University of
Texas at Arlington in 2004 and 2008, respectively. He received his B.E.
degree in Computer Science and Engineering in 2001 from Jadavpur
University, India. More information about him can be found at
http://mpsc.umbc.edu/nroy.

• Carlo Vallati: Carlo Vallati is Associate Professor at
the Department of Information Engineering of the University of Pisa. He
received a Master's Degree (magna cum laude) and a PhD in Computer Systems
Engineering in 2008 and 2012, respectively, from the University of Pisa. In
2010, he visited the Computer Science department of the University of
California at Davis. He is co-author of +60 peer-reviewed papers in
international journals and conference proceedings. He has been involved in
the project BETaaS, Building the Environment for the Things as a Service,
funded by the European Union under the 7th Framework Program and in several
research, projects supported by private industries. He has served as a
program committee member for more than 30 international conferences and
workshops and as Workshop Chair for the IEEE IoT-SoS and IEEE SmartSys
workshops. He is currently serving as TPC Co-Chair for IEEE SMARTCOMP 2020
and on the editorial board of two international journals, the "Journal of
Reliable Intelligent Environments", Springer and "Applied Sciences", MDPI.
He is the coordinator of the Cloud Computing, Big Data and Cybersecurity
Crosslab founded in the framework of the Departments of Excellence
("Dipartimenti di Eccellenza") funded by the Italian Ministry of Education,
University and Research ("Ministero dell'Istruzione dell'Università e della
Ricerca").

• Gurdip Singh: Dr. Gurdip Singh is the Professor and
Divisional Dean in the School of Computing at George Mason University. He
was the Director, Division of Computer and Network Systems (CNS) in the
Computer and Information Science Engineering (CISE). He was the Associate
Dean in the College of Engineering and Computer Science at Syracuse
University. He was a Program Director at National Science Foundation in the
Computer and Network Systems Division of the CISE Directorate. He has
worked with the Computer Systems Research (CSR) program and the
Cyber-Physical Systems program. He has also worked in the Engineering and
Social and Behavioral Sciences Directorate on the Partnership for
Innovations (PFI) program, Critical Resilient Interdependent Systems and
Processes (CRIPSP) and the Research Coordination Networks (RCN) program. He
was the Head of the Computing and Information Sciences Department at Kansas
State University from July, 2009 to July, 2014. At Kansas-State, he led the
Pervasive Sensor Network Laboratory (PerSNL) which has focused on
developing tools and methodologies for designing applications and
middleware for real-time embedded systems and sensor networks. His research
has been funded by NSF, DARPA, AFOSR, and several industrial partners. He
was the Director of a multidisciplinary Center for Sensors and Sensor
Systems which was funded under the K-State Targeted Excellence Program. He
was the recipient of the Frankenhoff Outstanding Research Award in 2007,
NSF CAREER Award in 1995 and NSF Research Initiation Award in 1992. He
received the B.Tech degree in Computer Science from Indian Institute of
Technology, New Delhi in 1986 and the M.S. and Ph.D. degrees in Computer
Science from State University of New York at Stony Brook in 1989 and 1991
respectively.

• Mohamed Nafea: Dr. Nafea is an assistant professor in
computer engineering at Missouri S&T. Before joining S&T, he was an
assistant professor at University of Detroit and before that he spent a
year as a postdoc at Georgia Tech. He received his Ph.D.in electrical
engineering and master's in mathematics from Penn State, University Park in
2018 and 2017, respectively. His research lies at the intersection of
statistical learning, information and data sciences, and causal reasoning,
and aims to solve problems in responsible artificial intelligence including
issues of fairness, explainability, privacy, and safety of learning
systems. He is a recipient of the 2023 NSF CRII award in support of his
research in fair ML.

• Marco Pettorali: Marco Pettorali is an Assistant
Professor at the Department of Information Engineering, University of Pisa.
He received his Ph.D. in Information Engineering in 2025 from the
University of Pisa. His research interests include the Cloud-to-Things
Continuum (C2TC), Industrial Internet of Things (IIoT), and wireless sensor
networks (WSNs) for industrial applications.

Scope (Call for Papers)

Technology succeeds when it provides benefits to the society either
directly or indirectly. Understanding the societal and economic impact and
human-centered aspects of a smart system or technology in advance and
designing the system a-priori with potential value-added services help spur
the discoveries of new tools, methodologies and innovative services. Smart
service systems span across a variety of socio-technical facets comprising
of devices, people, organizations, environments and technologies to sense,
actuate, control and assess the physical, cyber and societal artifacts of
the human service systems. Besides the systems being self-adaptive and
fault-tolerant, need to be designed in such a way that it can continuously
increase the quality and productivity, the compliance and sustainability of
the smart services it offers. While human-centered perspective and
cognitive learning help create multi-facet value added services and
catalyze the sustained economic growth of smart service systems,
understanding the multi-modal sensing, control, heterogeneity and
interdependency between different physical, virtual and logical components
of such a complex system will enable the realization of new transformative
smarter service systems. If successful, this can help improve the
quality-of-experience of the customers, quality-of-life of the citizens and
quality-of returns of the stakeholders and investors.

Nurturing the development of smart service systems seeks for inter- and
trans-disciplinary crosscutting research threads spanning systems and
operations engineering spanning systems and operations engineering from
system and operational engineering, computer science and information
systems, social and behavioral science, computational modeling and
industrial engineering etc. The goal of this workshop is to bring together
practitioners and researchers from both academia and industry in order to
provide have a forum for discussion and technical presentations on the
foundational theories, models, and design on the fundamental knowledge and
principles of smart service systems that enable the value co-creation in
sensing, actuating, data analytics, learning, cognition, and control of for
human centric cyber-physical-social systems and future of work.

Topics of interest include, but are not limited to:

• Innovative tools, methodologies and solutions for
smart service systems; example includes personalized healthcare, smart
energy, smart cities, smart manufacturing, intelligent transportation,
education, precision medicine and agriculture, national security etc.

• Information extraction and interpretation from
sensors, actuators, smart phones, wearable devices (e.g., smart watches),
and humans

• Context and situational awareness of smart service
systems

• Design of people-centric services and technologies for
providing better services such as food, transportation and places to live

• Novel architectures and interoperable solutions for
Internet of Things

• Models and methodologies for designing systems of
systems

• Big data analytics approaches for providing better
customer services, and innovating new types of sustainable services

• Edge AI and federated learning approaches enabling
real-time, privacy-preserving intelligence in distributed smart service
systems.

• Modeling, analysis, co-production, and co-evolution of
human activity, behavior and interaction for the effective adaptation and
percolation of longitudinal smart service systems

• Role of machine learning, artificial intelligence,
robotics, pervasive computing, blockchain, control theory, information and
communications technologies

• Role of formal methods in computer networks,
cyber-physical systems, Internet-of-Things and machine learning

• Design and developments of intelligent systems,
intelligent enterprises and cyber-physical-social-systems

• Design of inter-dependent complex global systems such
as healthcare, smart grid, computer networks, logistics and supply-chains,
financial markets etc.

• Smart infrastructure and testbed to support the
integration of autonomous systems and innovative applications

• Digital twins for modeling, monitoring, and optimizing
human-centric cyber-physical-social smart services.

• Design and implementation of analytical methods,
simulation software and experimental testbeds to evaluate the key
performance indicators of smart services

• Design of approaches for trustworthiness of
human-centered smart systems and algorithms

• Design and implementation of persuasive smart systems
and smart systems for behavior change support

• Fairness and Bias Mitigation in AI algorithms for
pervasive systems

• Fair, explainable, interpretable, trustworthy, and
private, AI systems with social/societal impact in areas of interest.

• Leveraging Human-in-the-Loop Feedback for Enhanced
Context-Awareness in pervasive systems

Submission instructions

Authors are invited to submit regular (full) papers for presentation at the
workshop, describing original, previously unpublished work, which is not
currently under review by another workshop, conference, or journal. Regular
papers should present novel perspectives within the general scope of the
workshop.

Papers may be no more than 6 pages in length. Papers in excess of page
limits shall not be considered for review or publication. All papers must
be typeset in double-column IEEE format using 10pt fonts on US letter
paper, with all fonts embedded. The IEEE LaTeX and Microsoft Word
templates, as well as related information, can be found at the IEEE
Computer Society website. Submissions must be made via EDAS.

Each accepted paper will require a full SMARTCOM registration (no
registration is available for workshops only).

Submission link: https://edas.info/newPaper.php?c=34470

Important dates

Manuscript submission: March 9, 2026

Paper acceptance notification: April 29, 2026

Camera-ready paper submission: TBA

Workshop date: June 22, 2026

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