Friday, February 6, 2026

[DMANET] Connecting everyone for IFORS session

OR Solutions: Setbacks and Successes Stories


Every OR practitioner has a story to tell.

Behind every model is a real problem, real people, imperfect data, and decisions that rarely unfold as planned. This stream invites papers that bring those stories to the foreground—sharing how Operations Research is actually practiced in real-world settings.

At the IFORS conference ( https://www.ifors2026.at/home/ ), we welcome contributions that showcase applied OR projects and the practical challenges involved in carrying them out. Of particular interest are experiences that illustrate how practitioners:

* Identified and framed opportunities for OR
* Engaged stakeholders and decision-makers
* Formulated, tested, and refined models
* Dealt with data limitations, organizational constraints, or shifting objectives
* Navigated the often-difficult path from analysis to implementation

Submissions ( https://www.euro-online.org/conf/ifors2026/ ) may reflect on topics such as:

* How the project began and how the problem was ultimately framed
* Assumptions that did not hold—and how the formulation evolved as a result
* Technical, organizational, or political challenges encountered along the way
* Strategies for "selling" OR: securing buy-in, managing expectations, and communicating value
* Lessons learned from successful implementations—or from attempts that fell short

This stream ( please use code 0f8f5aa9 ) aims to promote honest, experience-based insights into the practice of OR. We encourage both academics and practitioners to submit papers that reveal what happens beyond the equations—where OR meets reality.

With the breadth of work you have undertaken, your valuable experiences need to be shared. We invite you to contribute and help enrich the collective understanding of how OR truly happens on the ground.

Elise del Rosario

elise@jgdelrosario.com

Gerhard Wilhelm Weber

gerhard.weber@put.poznan.pl


**********************************************************
*
* 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, February 5, 2026

[DMANET] Simons-Berkeley Research Fellowships for Spring 2027

The Simons Institute for the Theory of Computing invites applications for
Simons-Berkeley Research Fellowships and Long-Term Visitors for the Spring
2027 semester.

Simons-Berkeley Research Fellowships are intended for exceptional
scientists to participate in at least one of the semester-long programs at
the institute. Long-term visitors must be active researchers in the field
and must be beyond their postdoctoral years. The Institute will host a
program on "Symmetry in Efficient Computation with Local Constraints" in
Spring 2027.

The application portal will open March 1, 2026 and the deadline for receipt
of both applications is April 1, 2026. For more information, see the call
for applications
<https://simons.berkeley.edu/research-fellowship-call-applications>
and the Long-Term
Visitor Application
<https://simons.berkeley.edu/long-term-visitor-application-call-applications>
.

Thanks for helping us spread the word about these opportunities.


--
Sampath Kannan
Associate Director
Simons Institute for the Theory of Computing

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

****Call for Graduate Symposium: 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.

The goal of the Diagrams 2026 Graduate Symposium is twofold. Firstly, the
Symposium will provide senior graduate students and recent Masters and
Doctoral graduates with the opportunity to present their research.
Established researchers will provide feedback and comments on each of the
presentations. Secondly, the Symposium will provide students with an
opportunity to network with each other as future colleagues.

In previous Diagrams Graduate Symposiums, lively and useful discussions
have enabled students to receive suggestions about their on-going research
and allowed more experienced participants to hear some fresh ideas and view
some of the new trends in the field.


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

Submission Requirements

Submissions that focus on any aspect of diagram research are welcome.
Topics of interest are the same as those given in the calls for papers for
the three conference tracks: Main, Philosophy, Psychology and Eduction.

Students who wish to present their work at the symposium must submit a
3-page report describing

– their thesis topic and the approach being taken,

– the work that has been completed,

– the expected contributions of the research,

– any necessary acknowledgements (for example, supervision team and source
funding)


Students should be the sole authors of their submission, and the
supervisor's name should be included in the acknowledgements section.

*The report must be submitted in Springer LNCS format.*

*Students who submit to the graduate symposium must ask their main or lead
supervisor to submit a short supporting statement.* The supporting
statement should confirm that the supervisor supports the student's
participation in the symposium and briefly explain why the student will
benefit.It is the student's responsibility to ensure that their supervisor
submits the supporting statement.

The supervisor's report should be sent to the Graduate Symposium Chair,

*Nathan Haydon nhaydon@uwaterloo.ca <nhaydon@uwaterloo.ca>.*

Submission should be made via EasyChair:
https://easychair.org/confer-ences/?conf=diagrams2026

*Grad Symposium Due Date: May 1, 2026Supervisor Report Due Date: May 8,
2026Notifications Sent: May 15, 2026*


For questions, please contact the Graduate Symposium Chair, Nathan Haydon
nhaydon@uwaterloo.ca.

More details and important dates can be found at
https://diagrams-conference.org/2026/calls-2/tutorials-2/
<https://diagrams-conference.org/2026/calls-2/tutorials-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/
*
**********************************************************

[DMANET] [CFP] UCNC 2026 - 23rd International Conference on Unconventional Computation and Natural Computation

============================================================
UCNC 2026 - CALL FOR PAPERS

UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION 2026

June 22-26, 2026
Trieste, Italy

Website: https://ucnc2026.units.it

* Regular and Short Papers
Submission deadline              March 13, 2026
Notification of acceptance          April 30, 2026
Final version for proceedings       May 8, 2026

* Posters and Late-Breaking Abstracts
Submission deadline for poster May 8, 2026
Notification of acceptance          May 29, 2026

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


BACKGROUND
==========
The International Conference Series on Unconventional Computation and Natural Computation (UCNC) provides a forum bringing together scientists from many different backgrounds who are interested in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes.

The 23rd International Conference on Unconventional Computation and Natural Computation (UCNC 2026) will be held at the University of Trieste in Trieste, Italy, from June 22, 2026 to June 26, 2026. It will continue the tradition of focusing on current important theoretical, applied and experimental developments and their critical evaluation.


AUTHORS GUIDELINES
==================
Accepted papers will be published in the Springer Lecture Notes in Computer Science Series (LNCS) as post-proceedings.
Authors are invited to submit original research papers through the EasyChair submission system: https://ucnc2026.units.it/submissions.html .
Regular papers should not exceed 16 pages, while short papers should not exceed 8 pages.
Papers must be submitted in Portable Document Format (PDF) and must be formatted in the LNCS style: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines .

Papers must not be under simultaneous consideration by any other conference with published proceedings.
All accepted papers, late-breaking abstracts, and posters must be presented at the conference by at least one registered author.

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

Authors of selected papers will be invited to submit extended versions for publication in a special issue of "Natural Computing", an international journal by Springer-Verlag.

WORKSHOPS
=========
* Reaction Systems
* Quantum Computing
* Cellular Automata and Boolean Automata Networks

UCNC Topics of interest
=======================
The topics of interests of UCNC 2026 include (but are not restricted to):
* Molecular computing
* Quantum computing
* Neural computation
* Evolutionary computation
* Optical computing
* Chaos computing
* Collision-based computing
* Self-assembling and self-organizing systems
* Super-Turing computation
* Cellular automata
* Boolean automata networks
* Discrete dynamical systems and symbolic dynamics
* Reaction systems
* Swarm intelligence
* Ant algorithms
* Artificial immune systems
* Artificial life
* Membrane computing
* Amorphous computing
* Physarium computing
* Computational systems biology
* Computational neuroscience
* Synthetic biology
* Cellular (in-vivo) computing

===================
Luca Manzoni (co-Chair), University of Trieste, Italy
Enrico Formenti (co-Chair), Université Côte d'Azur, France

For further information contact lmanzoni@units.it
===================

**********************************************************
*
* 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 Positions (fully-funded): Machine Learning & Combinatorial Optimization (TU Dresden)

The Chair of Machine Learning for Computer Vision of TU Dresden offers
two positions as

PhD Student (m/f/x) / Research Associate (Salary Level TV-L E13, 100%)
Machine Learning & Combinatorial Optimization

starting at the earliest possible date. The positions are limited to
three years.

Tasks:
- independent, curiosity-driven basic scientific research on fundamental
mathematical optimization problems in the fields of machine learning and
image analysis
- design and analysis of algorithms for the exact or approximate
solution of these problems
- Implementation, empirical analysis, and comparison of these algorithms
using data
- publication of research results at leading conferences and in leading
journals
- tasks in teaching and academic self-administration

Requirements:
- excellent university degree in mathematics, computer science, or physics
- extensive prior knowledge in discrete mathematics and in one area of
mathematical optimization (e.g.,
discrete optimization, convex optimization)
- strong interest in basic research using rigorous mathematical methods
- very good programming skills in C/C++
- very good command of written and spoken English

We offer:
- excellent supervision in an outstanding scientific environment
- unique opportunities for collaboration with local, national, and
international partners
- IT equipment tailored to individual needs and access to excellent HPC
infrastructure
- a modern working environment in a city of science and culture,
surrounded by a unique landscape

TUD strives to employ more women in academia and research. We therefore
expressly encourage women to apply. The University is a certified
family-friendly university. We welcome applications from candidates with
disabilities. If multiple candidates prove to be equally qualified,
those with disabilities or with equivalent status pursuant to the German
Social Code IX (SGB IX) will receive priority for employment.

Call: https://mlcv.cs.tu-dresden.de/job-offer-mlcv-en.pdf
Further information: https://mlcv.cs.tu-dresden.de/
Application deadline: **February 26, 2026**
Contact: mlcv@tu-dresden.de

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

[DMANET] [PhD position] Mathematical Phylogenetics at TU Delft

Dear all,

A full time four year PhD position is available at the Discrete Mathematics and Optimization group (https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/applied-mathematics/discrete-mathematics-optimization) of the Applied Mathematics department (DIAM) at TU Delft. The intended starting date is September 2026.

The PhD will be supervised by Yukihiro Murakami. Applicants should hold a Master's degree (or equivalent) in Mathematics or Computer Science or a closely related subject (such as Operations Research), with a solid foundation in graphs, networks, and algorithms. Biological knowledge is a plus, but not necessary. The deadline for the application is 22nd March, 2026.

For more details, please see
https://careers.tudelft.nl/job/Delft-PhD-Position-Discrete-Mathematics-and-Optimization-Mathematical-Phylogenetics-2628-CD/1352088157/

Best wishes,
Yuki Murakami

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

[DMANET] Call for workshop papers: LS-NoT@DCOSS-IoT 2026

(*Sorry for multiple receptions*)

** Call for workshop papers LS-NoT 2026 **
LS-NoT 2026: Long and Short Range Wireless Technologies Applied to IoT for Networks of Tomorrow
Co-located with DCOSS-IoT 2026.
Reykjavik, Iceland, June 22-24, 2026
---------------------------------------------------------------
Conference website: https://ls-not-workshop.github.io/ls-not-2026/
Submission link
Important Dates:
Paper submission deadline: Mars 1, 2026
Acceptance notification: April 30, 2026
Camera-ready deadline: May 22, 2026
---------------------------------------------------------------

Scope:
The boundaries between the physical and digital worlds are rapidly blurring, leading to complex systems that integrate smart components. This drive towards innovative futuristic applications across many sectors, aiming to improve societal quality of life. Examples include Smart Cities, precision agriculture, and mitigation of white rural areas, among many others.
At the heart of these Smart Systems lies the Internet of Things (IoT), which enables the collection of real-world data through sensing devices. IoT relies on wireless communications to self-organize and interface with core networks, serving as a bridge between the physical and digital domains. As we look towards the future, these wireless technologies must evolve to meet the demands of increasingly complex Smart Systems. This evolution is crucial to pave the way for tomorrow's interconnected world.
For these reasons, our workshop aims to discover and promote innovative solutions for both long-range and short-range IoT applications, with a focus on next-generation networks. These technologies include the next generation of the Internet (6G), Non-terrestrial Networks (NTN), Cognitive Radio Networks (CRN), Low-Power Wide-Area Networks (LPWAN), Vehicular Communications, and more.


Topics of Interest (but not only limited to):
6G Networks (including Tactile Internet)
Low-Power Wide-Area Networks (LPWAN)
Cognitive Radio Networks (CRN)
Non-Terrestrial Networks (NTN)
Satellite IoT Communication
Space-Air-Ground-Underwater Communications
UAV-based Wireless Networks
Hybrid Networks
Integrated Terrestrial-Satellite Networks
Bluetooth Low Energy (BLE)
Digital Twins
Visible Light Communication (VLC)
ZigBee
Near-Field Communication (NFC)
LoRa (including 2.4 GHz communications)
NB-IoT and LTE-M
Edge Computing Paradigms
Mobile and Multi-Access Edge Computing
Software-Defined Networking (SDN) for IoT
Industrial IoT (IIoT) Communications and Industry 4.0

---------------------------------------------------------------

Submission Guidelines:
All submission guidelines for the authors can be found on the website: https://ls-not-workshop.github.io/ls-not-2026/#authors
---------------------------------------------------------------

Publication:
DCOSS-IoT 2026 is technically co-sponsored by IEEE Computer Society and IEEE Technical Committee on Parallel Processing (TCPP). The Proceedings will be included in IEEE Xplore.
---------------------------------------------------------------

Questions and further information:
All questions and further need of information are invited to be emailed to any organizing committee members directly:
Damien Wohwe Sambo (damien.sambo@imt-nord-europe.fr)
Jana Koteich (jana.koteich@inria.fr)
Nina Tamdrari (nina.tamdrari@inria.fr)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] AIS 2026 CFP: IEEE co-sponsored 2nd International Conference on Artificial Intelligence Systems , 12 - 15 May, 2026 | San Antonio, USA.

[Apologies if you got multiple copies of this invitation]

*The 2nd International Conference on Artificial Intelligence Systems (AIS
2026*)

*Hybrid Event*

*https://ais-conference.org/2026/*

*12 - 15 May, 2026 | San Antonio, USA.*
*Technically Co-Sponsored by IEEE Lone Star Section*

*AIS 2026 CFP:*
Artificial Intelligence (AI) systems are computational frameworks designed
to perform tasks that typically require human intelligence, such as
learning, reasoning, problem-solving, perception, and decision-making.
These systems integrate algorithms, data, and computing power to enable
machines to adapt and improve their performance over time. AI systems
encompass a wide range of technologies, including machine learning, natural
language processing, computer vision, and autonomous robotics, and they are
increasingly applied in domains such as healthcare, finance, cybersecurity,
transportation, and smart cities. As they continue to evolve, AI systems
are not only transforming industries and enhancing human capabilities but
also raising important considerations around ethics, transparency, and
trustworthiness. The International Conference on Artificial Intelligence
Systems (AIS 2026) aims to bring together leading researchers, academics,
and practitioners from around the world to share their latest findings,
innovations, and applications in Artificial Intelligence and intelligent
systems. AIS 2026 provides a premier interdisciplinary platform for
presenting advances and exchanging insights on the theoretical foundations,
cutting-edge technologies, and real-world implementations of AI. AIS 2026
will feature keynote talks, technical paper sessions, workshops, and
tutorials covering a wide range of AI topics. We invite submissions of
high-quality research papers describing original and unpublished results in
all areas of Artificial Intelligence Systems. addresses the use of advanced
intelligent systems in providing cybersecurity solutions in many fields,
and the challenges, approaches, and future directions. We invite the
submission of original papers on all topics related to Intelligent Systems
with special interest in but not limited to:
· Machine Learning and Data-Driven Systems
· Natural Language and Multimodal AI Systems
· Generative AI, Foundation Models, and Large Language Models
· Computer Vision, Image and Video Processing
· Artificial Intelligence Systems Applications
· Artificial Intelligence Systems Security
· Computational Language and Human-Centered Systems
· Prompt Engineering and Fine-tuning
· Multimodal LLMs Systems
· Agentic AI Systems
*Submissions Guidelines and Proceedings*
Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper can be up to 8 pages
(including all figures, tables and references). Submitted papers must
present original unpublished research that is not currently under review
for any other conference or journal. Papers not following these guidelines
may be rejected without review. Also submissions received after the due
date, exceeding length limit, or not appropriately structured may also not
be considered. Authors may contact the Program Chair for further
information or clarification. All submissions are peer-reviewed by at least
three reviewers. Accepted papers will appear in the AIS Proceeding, and be
published by the IEEE Computer Society Conference Publishing Services and
be submitted to IEEE Xplore for inclusion.

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers must follow the IEEE paper format. And include up to 7 keywords.
Authors of accepted papers are expected to present their work at the
conference. Submitted papers that are deemed of good quality but that could
not be accepted as regular papers will be accepted as short papers. Length
of short papers can be up to 6 pages.
*Important Dates:*

- *Paper submission deadline: 20 February 2026*
- Notification of acceptance: 25 March 2026
- Camera-ready Submission: 10 April 2026


*Contact:*

Please send any inquiry on AIS to: info@gaclm.org

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

[DMANET] Postdoc position available in Computer Science

The Lane Department of Computer Science and Electrical Engineering at West Virginia University invites applications for a Postdoctoral Fellow in the general areas of theoretical computer science and algorithmic operations research, with an emphasis on computational complexity and game theory. A PhD in computer science and expertise in the areas of computational and game theory are required. The position is funded by NSF (Algorithmic Foundations) and is concerned with the designing efficient algorithms and establishing the computational complexity of selected quantified polyhedral programs.

Responsibilities will include but are not limited to the following: conducting research on quantified polyhedral programming and quantified circuits, attending research conferences, reading scientific literature to keep abreast of technological advances and current research findings and teaching one course in theoretical computer science. The position is funded for two years, starting August 15, 2026.

Applicants must submit a cover letter, curriculum vitae, and contact information for two professional references at this link: http://bit.ly/4bBAFb9. Contact K. Subramani (k.subramani@mail.wvu.edu) if you have questions.


K. Subramani

Professor

LDCSEE

West Virginia University

**********************************************************
*
* 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] IFORS 2026 Vienna: Call for sessions and abstracts on Passenger Air Transportation

Dear colleague,


We are happy to announce that there will be a stream about Passenger Air Transportation: Airlines and Airports at the 24th IFORS in Vienna in 2026.

In this stream we focus on OR techniques for challenges in the following (or related) areas:

* Fleet assignment, routing and scheduling
* Crew scheduling and crew pairing/rostering
* Airport operations, ground handling
* Runway scheduling, air traffic management
* Disruption management and recovery
* Maintenance planning
* Network design
* Revenue management

We cordially invite you to organize a session in this stream. A session has a length of one and a half hour and typically consist of three or four talks. Could you let us know if you are interested in organizing a session?

We are also open to receiving individual talks for these streams The submission of abstracts is open and will close on March 15, 2026. If you are interested in organizing a session or in presenting a talk, please contact us. We can provide you with a submission code to make sure that the talk lands in the right place.

More information on IFORS 2026 can be found below:

* Vienna, Austria, July 12 - 17, 2026

* https://ifors2026.at/home/

Please forward this mail to any colleagues who might be interested. Feel free to reach out to us in case you have any questions.


Marjan van den Akker (Utrecht University, J.M.vandenAkker@uu.nl) and Rainer Kolisch (Technical University of Munich, rainer.kolisch@tum.de)


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

Wednesday, February 4, 2026

[DMANET] Epistemic Planning Competition @IPC -- Call for Planners

[Apologies for cross-posting]


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

2026 INTERNATIONAL PLANNING COMPETITION
EPISTEMIC PLANNING TRACK

CALL FOR PLANNERS

https://sites.google.com/view/epistemic-competition/
eplanning.competition@gmail.com

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


We are delighted to announce the first Epistemic Planning track of the
International Planning Competition (IPC-26), hosted at the ICAPS 2026 conference
in Dublin. We invite researchers and practitioners in automated planning,
epistemic reasoning, and multi-agent systems to participate and to share this
call to all interested parties. The goals of the track are to promote epistemic
planning research, highlight challenges in the epistemic planning community, and
provide new and interesting problems as benchmarks for future research.

We welcome all interested researchers, students, developers, and practitioners
from any research area connected to epistemic planning. Relevant research fields
include, but are not limited to:
- Automated Planning;
- (Dynamic) Epistemic Logic;
- Knowledge Representation and Reasoning;
- Neuro-symbolic Reasoning; and
- Multi-Agent Systems.

The competition will be based on a novel language called the Epistemic Planning
Domain Definition Language, or EPDDL. A complete guideline for the language is
available here: https://arxiv.org/abs/2601.20969. To facilitate the
participation to a greater number of people, we also developed a full-fledged
parser/grounder for EPDDL and a basic planner available to everyone to build on
top of. Information can be found in the competition website linked above.

The competition is expected to encourage contributions that reflect current
approaches and practices in epistemic planning. Authors of selected entries will
be invited to provide written contributions which will be collected and
published in the proceedings of the track.

Below we provide the general information to compete in the epistemic planning
track. For all details on the structure of the track and planners evaluation
policies, please consult the official website of the track:
- https://sites.google.com/view/epistemic-competition/


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

| Event/Deadline | Date (AoE) |
|--------------------------------------| ------------------ |
| Demo problems provided (smoke tests) | February, 2026 |
| Team registration | March 12, 2026 |
| Domains submission | March 19, 2026 |
| Domain submission deadline | April 23, 2026 |
| Feature stop (final submission) | April 30, 2026 |
| Planner abstract submission | May 21, 2026 |
| Contest run | May - June, 2026 |
| Results announced | During ICAPS (TBA) |


----- Registration and Submission -----

To register a team, the participants need to send an e-mail with a subject
containing "Registration" to eplanning....@gmail.com<https://groups.google.com/>. The
e-mail must contain:
1. Names of participants,
2. E-mail contacts,
3. GitHub usernames.

Based on that, we will create private repositories under the ipc2026-epistemic
organization and add all participants as users with write access and
participants can commit to the repository as they wish until the "feature stop"
deadline (April 30, 2026).

The competitors must submit the source code of their planners that will be run
by the organizers on the actual competition domains/problems.

As in the previous IPC 2023, we will use the container technology Apptainer. We
prepared a demo submission, available at
https://github.com/a-burigana/plank/blob/main/Apptainer.demo_bfs, that showcases
how to set up the repository and Apptainer scripts.

More information about the submission policy can be found in the website.


----- Planner Abstract Submission -----

All competitors must submit an abstract (max. 300 words) and an up to 8-page
paper describing their planners. After the competition we ask the participants
to analyze the results of their planner and submit a finalized version of their
paper to be published in the proceedings of the track. An important requirement
for IPC 2026 competitors is to give the organizers the right to post their paper
and the source code of their planners on the official IPC 2026 web site.


----- Contacts and Info -----

Organizers:
- Alessandro Burigana
- Francesco Fabiano

Website:
- https://sites.google.com/view/epistemic-competition/

**********************************************************
*
* 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 Graph Theory at Chalmers University of Technology

The Department of Computer Science and Engineering at Chalmers University of Technology (Sweden) invites applications for a full-time PhD position in graph theory.

The successful candidate will join a research group active in structural and algorithmic graph theory. The specific research project will be defined collaboratively with the PhD student, based on their interests and skills, and in alignment with the group's research scope.

The application deadline is 1 March 2026, and the starting date is negotiable, though ideally no later than 1 September 2026.

More details about the position and the application procedure can be found at: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14438&rmlang=UK

Informal inquiries are welcome and should be sent to: galby@chalmers.se

**********************************************************
*
* 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] Discrete Laplacians workshop, 22-25 June at MPI-CBG, Dresden

Discrete Laplacians 2026
22-25 June '26 at MPI-CBG, Dresden
https://plan.events.mpg.de/e/discretelaplacians26
Workshop scope:
Discrete Laplacians appear broadly throughout mathematics and the applied sciences. They are a key concept in connecting continuous methods and theories to their discrete analogues, and underlie many of the modern tools in applied mathematics, data analysis, with numerous applications in biology, physics, social sciences and other disciplines.
This workshop aims to bring together researchers from a variety of subjects to present and discuss recent advances in the theory and use of discrete Laplacians. The workshop will focus on discrete Laplacians arising in graph theory, topology, probability, numerics, and data science & machine learning. The workshop is free to attend.

Abstract deadline: 1 March, 2026
Registration deadline: 17 May, 2026
Confirmed keynote speakers:
* Aida Abiad - TU Eindhoven, NL
* Francesca Arrigo - University of Strathclyde, UK
* Michael Schaub - RWTH Aachen, DE
* Kaibo Hu - University of Oxford, UK
* Adrien Kassel - ENS Lyon, FR
* Sebastian Engelke - University of Geneva, CH
Organisers: Karel Devriendt, Otto Sumray, Yu Tian, Giulio Zucal

**********************************************************
*
* 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 - GrAPL 2026: Workshop on Graphs: Architectures, Programming, and Learning - co-located with IPDPS 2026

[Please accept our apologies for multiple postings.]

CALL FOR PAPERS

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

GrAPL 2026: Workshop on Graphs, Architectures, Programming, and Learning
https://hpc.pnl.gov/grapl/

June 4, 2026
Co-Located with IPDPS 2026
New Orleans, LA, USA

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


Data analytics is one of the fastest growing segments of computer
science. Many real-world analytic workloads combine graph and machine
learning methods. Graphs play an important role in the synthesis and
analysis of relationships and organizational structures, furthering the
ability of machine-learning methods to identify signature features.
Given the difference in the parallel execution models of graph
algorithms and machine learning methods, current tools, runtime systems,
and architectures do not deliver consistently good performance across
data analysis workflows. In this workshop we are interested in graphs,
how their synthesis (representation) and analysis is supported in
hardware and software, and the ways graph algorithms interact with
machine learning. The workshop's scope is broad and encompasses the wide
range of methods used in large-scale data analytics workflows.

This workshop seeks papers on the theory, model-based analysis,
simulation, and analysis of operational data for graph analytics and
related machine learning applications. In particular, we are interested,
but not limited to the following topics:

* Provide tractability and performance analysis in terms of complexity,
time-to-solution, problem size, and quality of solution for systems that
deal with mixed data analytics workflows;
* Investigate novel solutions for accelerating graph learning-based
methods using methodologies such as graph neural networks and knowledge
graphs;
* Discuss graph programming models and associated frameworks such as
GraphBLAS, Galois, Pregel, the Boost Graph Library, GraphChi, etc., for
building large multi-attributed graphs;
* Discuss how frameworks for building graph algorithms interact with
those for building machine learning algorithms;
* Discuss the convergence of graph analytics, frameworks, and graph
databases;
* Discuss hardware platforms specialized for addressing large, dynamic,
multi-attributed graphs and associated machine learning;
* Discuss the problem domains and applications of graph methods, machine
learning methods, or both.

Besides regular papers, short papers (up to four pages) describing
work-in-progress or incomplete but sound, innovative ideas related to
the workshop theme are also encouraged.

MPORTANT DATES
---------------

NEW: Position or full paper submission: February 8, 2026 AoE
Notification: February 28, 2026
Camera-ready: March 6, 2026
Workshop: May 25, 2026


PAPER SUBMISSIONS
---------------


Submission site:
https://ssl.linklings.net/conferences/ipdps/?page=Submit&id=GrAPLWorkshopFullSubmission&site=ipdps2026

Authors can submit two types of papers: Short papers (up to 4 pages) and
long papers (up to 10 pages). All submissions must be single-spaced
double-column pages using 10-point size font on 8.5x11 inch pages (IEEE
conference style), including figures, tables, and references.

The templates are available at:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html.

ORGANIZATION
---------------

* General co-Chairs

Nesreen K. Ahmed (Outshift by CISCO), nesahmed@cisco.com
Manoj Kumar (IBM), manoj1@us.ibm.com

* Program co-Chairs

Kathrin Hanauer (University of Vienna), kathrin.hanauer@univie.ac.at
Marco Minutoli (AMD), marco.minutoli@amd.com

* GrAPL's Little Helpers

Tim Mattson (Intel)
Scott McMillan (CMU SEI)
Antonino Tumeo (PNNL)

* Technical Program Committee

Sameh Abdulah, KAUST, SA
Benjamin Brock, Intel, US
Umit V. Catalyurek, Georgia Institute of Technology and Amazon AWS, US
Fabio Checconi, Intel, US
S.M. Ferdous, Pacific Northwest National Laboratory, US
Md Taufique Hussain, Wake Forest University, US
Kamer Kaya, Sabancı University, TR
Jehandad Khan, AMD, US
Johannes Langguth, Simula, NO
Roger Pearce, Lawrence Livermore National Laboratory, Texas A&M
University, US
Mihail Popov, French Institute for Research in Computer Science and
Automation, FR
Bradley Rees, NVIDIA, US
Francesco Silvestri, University of Padova, IT
Bora Uçar, French National Center for Scientific Research, LIP, ENS de
Lyon, FR
Albert-Jan Yzelman, Huawei, CH

Other Members TBD
**********************************************************
*
* 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] First CfP and information: Highlights of Logic, Games and Automata 2026

# HIGHLIGHTS'26 (Vienna, Austria 7-11 September 2026) AND CREW (14-18
September)

**HIGHLIGHTS'26** is scheduled **from September 7 to September 11, 2026**
at **TU Wien**. It is co-organized by ISTA, TU Wien and Wolfgang Pauli
Institute. Highlights'26 will take place at the main building of TU Wien,
Karlsplatz 13, in the center of Vienna.

HIGHLIGHTS'26 will be followed by the **Highlights' Collaborative Research
Week (CREW)**, from **September 14 to 18, 2026**, at **ISTA**.

**HIGHLIGHTS'26** is the fourteenth in the series of international
conferences "Highlights of Logic, Games and Automata", aiming at
integrating the community working in algorithmic model theory, automata
theory, databases, games for logic and verification, logic and
verification. Papers from these areas are dispersed across many
conferences, which makes them difficult to follow. A visit to the
HIGHLIGHTS conference should offer a wide picture of the latest research in
the field and a chance to meet everybody in the community, not just those
who happen to publish in one particular proceedings volume. There are no
publications.

**HIGHLIGHTS'26** key features:

- HIGHLIGHTS is a conference without publications, where speakers give
short presentations of their best work.
- A chat of the conference is available during the event, and throughout
the year.
- There is an early round of submissions and notifications to help with
travel planning
- The _Highlights' Collaborative REsearch Week_ (**CREW**) offers means for
research collaborations/discussions between participants. CREW is scheduled
after the conference.
- The _Highlights Extended Stay Support Scheme_ (**HESSS**) helps
participants find collaborators and organise visits in the vicinity of
HIGHLIGHTS.

We encourage you to attend and present your best work - be it already
published or not - at **HIGHLIGHTS'26**.

## SCOPE

Representative areas include, but are not restricted to:

- Algebraic and categorical models of computation
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic, verification, and semantics
- Logic
- Verification

## IMPORTANT DATES AND INFORMATION

- HIGHLIGHTS'26 webpage: https://highlights-conference.org/2026/
- Registration to the chat at https://highlights-conference.org/2026/zulip
(no need if you did it last year)
- Registration page: TBA
- Early-submission deadline: April 17, 2026
- Early notification: May 08, 2026
- Regular-submission deadline: May 29, 2026
- Regular Notification: June 19, 2026
- Early-bird registration deadline: July 17, 2026
- Registration deadline: August 17, 2026
- Conference: September 7- 11, 2026.
- Highlights' Collaborative Research Week (CREW): September 14 - 16, 2026
- Registration fee: TBA (tentative 160 EUR)

## MODALITIES OF ATTENDANCE

**HIGHLIGHTS'26** is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.

Submission for a presentation at Highlights'26 is open to everyone, and
attendance to the conference is not a requirement. The selection procedure
will not take into account in-person attendance. Authors who do not intend
to attend Highlights'26 in-person must commit to this choice when
submitting their talk proposal. If accepted, authors of such talk proposals
will have the opportunity to share a prerecorded video of their talk, which
will be made available on the conference website.

Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.

More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Vienna and around. Several initiatives are here to
help you in this task:

- You can participate to the **Highlights' Collaborative Research Week**
(**[CREW](https://highlights-conference.org/2026/hcrw), September 14 -
18**) in the week after HIGHLIGHTS, in ISTA.
- You can use the **Highlights Extended Stay Support Scheme** (**[HESSS](
https://highlights-conference.org/2026/hesss)**) for finding collaborators
and organising visits.

## SUBMISSIONS AND GUIDELINES

Submissions should take the form of a short abstract describing the content
of the presentation and its interest. It should serve as a proposal for a
presentation. Hence, submissions should have a single author — the speaker.
They can concern any recently published, to be published, or ongoing work
of the speaker. We expect you to present your favourite result of the year,
so there should be at most one submission per speaker. The abstract should
list co-authors, if any. Optionally, an extended abstract of up to two
pages may be attached as a PDF file.

We encourage both young and senior researchers to present.

The **regular round of submissions is open until May 29, 2026**, with a
notification by June 19, 2026.

Submissions will not lead to publications. There are no formal proceedings
and we encourage the presentation of work published or presented elsewhere.

The talk (which is short, around 10 minutes) can be doubled with a poster.
Further information about poster submissions will be provided.

**Submission page:** https://easychair.org/conferences/?conf=highlights26

## HIGHLIGHTS' COLLABORATIVE RESEARCH WEEK (CREW)

**HIGHLIGHTS'26** will be followed by the _Highlights' Collaborative
Research Week_ (**CREW**), **from September 14 to 18 at the Institute of
Science and Technology Austria**.

Note that this is located outside of Vienna, ISTA being 20 km North of
Vienna. Special hosting arrangements on site during CREW will be made
available for a limited number of participants on a first-come-first-served
basis. Contact Léonard Brice (Leonard.brice@ista.ac.at) to avail the
accommodation at ISTA.

Participants to CREW are free to organise any scientific activity they
wish. Possibilities can be to
- meet someone in particular and work together,
- organise or attend a seminar/workshop/reading group,
- gather for solving open problems,
- solicit, offer and participate in a lecture.
Working spaces will be provided on site for these activities to take place.

We encourage participants to declare their intent to come and offer
activities in advance using the chat of highlights.

## HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS)

The **HESSS** is an incentive for collaborations between participants of
the conference and researchers working in research groups reachable by
train from the conference location. The objective is to foster interactions
with low carbon footprint. The mechanism is as follows:

- Research groups willing to participate in the scheme will be listed on
the webpage: https://highlights-conference.org/2026/hesss. These groups are
offering to fund collaborations between HIGHLIGHTS participants and their
members.
- The pair of a HIGHLIGHTS participant and a member of a listed research
group submit a proposal, which takes the form of an email containing names,
period of collaboration, and a sentence describing the planned activity. It
has to be sent to the **HESSS** contact person of the research unit.
- The decision of acceptance is up to the research group. In particular,
it may be subject to scientific scope, number of requests, or e.g.,
favouring distant participants.
- The only strict rule is that the visit should be around HIGHLIGHTS, and
no airplane should be taken by the visitor to travel from HIGHLIGHTS to the
visit location.


## INVITED SPEAKERS

### TUTORIALS
TBA

### KEYNOTE SPEAKERS
TBA

### PROGRAM COMMITTEE HIGHLIGHTS'26

A. R. Balasubramanian, MPI-SWS
Manuel Bodirsky, TU Dresden
Lorenzo Clemente, University of Warsaw (chair)
Javier Esparza, TU Müchen
Emmanuel Filiot, Univerté Libre de Bruxelles
Zeinab Galal, Kyoto University
Shankaranarayanan Krishna, IIT Bombay
Ugo dal Lago, University of Bologna
Nathan Lhote, Aix-Marseille University
Christof Löding, Aachen Uniersity
Rupak Majumdar, MPI-SWS
Tito Nguyen, CNRS, Aix-Marseille University
Karin Quaas, Leipzig University
Ocan Sankur, CNRS, Rennes University

### ORGANISING COMMITTEE

Laura Kovacs, TU Wien c/o WPI
Michael Sammler, ISTA

### STEERING COMMITTEE

- Antoine Amarilli (environmental chair)
- León Bohn (webmaster)
- Antonio Casares
- Supratik Chakraborty
- Thomas Colcombet (chair)
- Bartek Klin
- K. S. Thejaswini (publicity chair)
- Sophie Tison

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

[DMANET] Call for Presentations – IFORS 2026 Session on Multi-modal Delivery & Public Transportation

Dear colleagues,

The *24th Conference of the International Federation of Operational
Research Societies (IFORS 2026)* will take place in *Vienna, Austria, July
12–17, 2026*

https://www.ifors2026.at/home/

Within IFORS 2026, *as part of the stream "Vehicle Routing and related
problems"*, I am organizing the following session and would be very happy
to receive your submissions:

*Session title*
*Multi-modal delivery considering Public Transportation in Vehicle Routing
and related problems*

*Session invitation code:* *a1e64a18*

This session focuses on *vehicle routing and logistics problems integrating
public transportation systems*, including but not limited to:

-

Multi-modal and intermodal delivery systems
-

Freight-on-transit and passenger–freight integration
-

Synchronization of freight and public transport schedules
-

Urban logistics, last-mile delivery, and sustainability aspects
-

Exact methods, heuristics, metaheuristics, and real-world applications

Both methodological and applied contributions are welcome.
------------------------------
Abstract submission

-

Abstracts must be written in *English*
-

Maximum *600 characters* (no formulas or mathematical notation)
-

Each participant may present *one paper only*
-

The abstract *must be submitted by the presenting author*, who will
appear as first author (this cannot be changed later)

To submit an abstract, please visit:
https://www.euro-online.org/conf/ifors2026/

and use the *session invitation code: a1e64a18*.

A *EURO account* is required to submit an abstract.
------------------------------
Important dates

-

*March 15, 2026* – Abstract submission deadline
-

*April 25, 2026* – Early bird registration deadline
-

*May 1, 2026* – Final registration deadline for authors

------------------------------

I would be delighted to see you in Vienna and to discuss recent advances on
multi-modal delivery and public-transport-based logistics at IFORS 2026.

Best regards,
*Diego Delle Donne*

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

[Apologies for duplicates of this message]

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

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

[DMANET] Fully Funded PhD Position in Algorithms & Complexity

*Fully Funded PhD Position in Algorithms & Complexity*
*University of Birmingham – School of Computer Science*
*Start:* September 2026 | *Duration:* 3.5 years

I am seeking a *highly motivated PhD student* in *theoretical computer
science*, broadly in *algorithms and computational complexity*, to
begin in *September
2026*.
Funding

-

Full *tuition fee waiver*
-

*Stipend for the full 3.5-year duration*
-

*Travel funding* for conferences, workshops, and research visits

Background requirements

-

A *Master's degree* with specialisation in *algorithms or complexity
theory.*
-

*Exceptional Bachelor's graduates* with demonstrated theoretical
strength will also be considered
-

Solid mathematical maturity and enthusiasm for foundational research

Research focus

The successful candidate will work on problems aligned with my research
agenda in *algorithms and complexity theory*. Examples of themes and style
of work can be found here: https://sagnikm.github.io/
Application timeline

-

*Soft deadline:* end of *February*
-

Applications are reviewed *on a rolling basis* until the position is
filled
-

*Intended start date:* September 2026

How to apply

-

Submit an application via the official PhD in Computer Science page at
the University of Birmingham:

https://www.birmingham.ac.uk/study/postgraduate/subjects/computer-science-and-data-science-courses/computer-science-phd
-

*Please mention my name* as the intended supervisor in your application

Informal enquiries from prospective candidates are welcome.

--

*Sagnik Mukhopadhyay*

Associate Professor in Computer Science


University of Birmingham

School of Computer Science

birmingham.ac.uk, sagnikm.github.io

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

[DMANET] IFORS Vienna 2026 - Call For Abstracts

We are delighted to invite you to take part in the IFORS 2026 Conference, to be held in Vienna, Austria, from July 12 to 17, 2026.


The International Federation of Operational Research Societies (IFORS; [ https://www.ifors.org/ | https://www.ifors.org ] ) is a 60-year-old organization with currently 50 national member societies. One of its core activities is the IFORS Triennial Conferences ( https://www.ifors.org/ifors-triennial-conferences ).


The Program Committee, chaired by Andrés L. Medaglia (Universidad de los Andes, Colombia); and the Organizing Committee, led by Karl F. Doerner, Jan F. Ehmke and Richard F. Hartl (University of Vienna, Austria), are working closely together to create an unforgettable scientific experience.


The 24th IFORS conference offers the global Operational Research community an excellent opportunity to reunite in a vibrant city. Vienna's location in the heart of Europe, its excellent infrastructure, short distances, and exceptional quality of life are just some of the city's many strengths. In addition, Vienna impresses with its high standards of hospitality and an outstanding range of art and cultural events.


The University of Vienna, located in the city center and host of IFORS 2026, is the oldest university in the German-speaking world and the largest university in Austria. As a "universitas litterarum", it offers a broad range of subjects that promotes the development of innovative research areas and strengthens close connections between research fields.


We warmly welcome and encourage researchers, academics, practitioners, and students involved in Operational Research and related fields to submit their abstracts for review and contribute to this unique event!


Plenaries, keynotes, tutorials & special sessions


The scientific program includes outstanding plenaries, keynotes, and tutorials. In addition, excellent invited and contributed sessions, as well as a few special sessions and exciting social activities, will round out the program.


Plenary speakers

Miguel Anjos (EURO Plenary Speaker; University of Edinburgh, UK)

Harald Ponweiser (ÖBB-Austrian Railways, Austria)

Katya Scheinberg (Georgia Institute of Technology, USA)

Karen Smilowitz (Northwestern University, USA)

Keynote speakers

Gabriele Eichfelder (Technische Universität Ilmenau, Germany)

Radhika Kulkarni (SAS Institute Inc., NC, USA)

Georgios Paschos (Amazon, Luxembourg)

Beril Toktay (Georgia Institute of Technology, USA)

Asgeir Tomasgard (Norwegian University of Science and Technology, Norway)

Ming Xu (Tsinghua University, China)


Tutorial speakers

David E. Bernal-Neira (Purdue University, USA)

Katsuki Fujisawa (joint with Xun Shen and Pedro Galileo Romo) ([KF]: Tokyo Institute of Science, Japan; [XS]: Tokyo Institute of Agriculture and Technology, Tokyo Institute of Science, Japan); [PGR]: PGR, Inc.)

Andrés Gómez (University of Southern California, USA)

Rafael Martinelli (Pontifícia Universidade Católica do Rio de Janeiro, Brazil)

Axel Parmentier (Institut Polytechnique de Paris, France)

Georg Pflug (joint with Alois Pichler) (University of Vienna, Austria)

Veronica Piccialli (Sapienza Universita di Roma, Italy)

Tal Raviv (Tel Aviv University, Israel)

Special issues (publications)

We are pleased to announce that several high-impact journals have agreed to publish special issues dedicated to high-quality research presented at the IFORS 2026 conference in Vienna. Detailed Call for Papers (CfPs) for each special issue will be published at https://www.ifors2026.at/program/special-issues/ . Journals publishing special issues after the conference include International Transactions in Operational Research (Wiley), Central European Journal of Operations Research (Springer), Journal of Dynamics and Games (AIMS), Sustainability Analytics and Modeling (Elsevier), and OR Spectrum (Springer).

Abstract submission

Abstracts must be submitted (in English) by 15 March 2026 at 23:59 CET.

Abstracts should not exceed 600 characters.

Abstracts should be submitted using the following link https://www.euro-online.org/conf/ifors2026

Important dates

December 1, 2025: Opening of abstract submissions

March 15, 2026: Deadline for abstract submissions

April 25, 2026: Early bird registration deadline

May 1, 2026: Final registration deadline for authors

Registration

Early student registration fee: € 460.00

Standard student registration fee: € 520.00

Early regular registration fee: € 670.00

Late regular registration fee: € 860.00

Guest/accompanying person fee: €150.00

Conference banquet (optional extra): €150.00

The registration fee (regular and student) includes:


· Admission to all sessions and the exhibition

· Conference materials

· Coffee breaks throughout the conference

· Admission to the welcome reception on Sunday evening and the farewell party on Friday evening

· A half-day excursion

The guest/accompanying person fee only covers coffee breaks, welcome reception, farewell party, and the opening session.

Student registration fees are available to anyone currently studying a Master or PhD. Uploading confirmation of valid Master/PhD studies is mandatory.

The conference banquet will take place at the Hilton Hotel on Thursday, July 16, 2026. Attendance is available for booking as part of your conference registration and costs € 150.00. Attendees are required to make their own transport arrangements to and from the banquet venue.

For more information, please see https://www.ifors2026.at/registration/ .


Call for exhibitors


Parties interested in having a booth or exhibition area during the conference are kindly requested to contact the IFORS 2026 Conference Organizers at: ifors2026@univie.ac.at .


Andrés, Karl, Jan, and Richard

On behalf of the Program & Organizing Committees

IFORS 2026 Vienna

https://ifors2026.at/home


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

Tuesday, February 3, 2026

[DMANET] 2026 INFORMS-QSR Tutorial Series

On behalf of the Quality, Statistics, and Reliability (QSR) Section of INFORMS, we invite you to participate in the 2026 QSR Tutorial Series. The goal of the series is to provide QSR members and the general public with accessible, high-quality tutorials that expand their knowledge of emerging research areas and practical tools in quality, statistics, and reliability. The series consists of three tutorials that will take place via Zoom on February 27, March 27, and April 24. The information of the first tutorial is below. We look forward to seeing you there!

Title: Data Science in Performance Quantification for Wind Turbine Generators

In 2022, INFORMS awarded the speaker and his team the Impact Prize "for their key roles in the development and deployment of a new paradigm for the accurate quantification of wind turbine output that has accelerated engineering innovation in this field." Performance and efficiency analysis is, in fact, a research subject deeply rooted in the INFORMS communities. But performance quantification of wind turbines in their power production efficiencies faces the challenges that the variable inputs cannot be compared through randomized controlled experiments. The speaker's team developed nonparametric data science methods and borrowed ideas from causal inference, resulting in a pipeline of three key components that produce a competent and accurate quantification method of small and moderate changes in wind turbine production efficiency. This 2-hour tutorial will walk you through the details of the development, including how to use the functions in a R package specifically developed for wind energy applications.

Speaker: Dr. Yu Ding
Anderson-Interface Chair and Professor
H. Milton Stewart School of Industrial and Systems Engineering
Georgia Institute of Technology

Dr. Yu Ding is the Anderson-Interface Chair and Professor in the H. Milton Stewart School of Industrial and Systems Engineering at Georgia Tech. Prior to joining Georgia Tech, he was the Mike and Sugar Barnes Professor of Industrial and Systems Engineering at Texas A&M University. Dr. Ding's research is in the area of data and quality science and system informatics. He is the author of the CRC Press book, Data Science for Wind Energy, and a co-author of the Springer Nature book, Data Science for Nano Image Analysis. His research work is recognized by the 2019 IISE's Technical Innovation Award, 2022 INFORMS' Impact Prize, 2024 ASME's Blackall Machine Tool and Gage Award, and 2024 SME's S. M. Wu Research Implementation Award. Dr. Ding is the Editor-in-Chief of INFORMS Journal on Data Science and serves as IISE's Senior Vice President for International Operations. Dr. Ding served as the Editor-in-Chief of IISE Transactions for the term of 2021-2024 and Program Chair for IEEE CASE 2025. He is a Fellow of IISE, INFORMS, and ASME.


February 27, 2026 3:00pm (EST)

Zoom Link: https://kaist.zoom.us/j/87608794649

Kind regards,
The Organizing Committee:
Alan R. Vazquez, Tecnologico de Monterrey
Heeyoung Kim, KAIST
William Fisher, JMP
**********************************************************
*
* 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] AAAC 2026 second call for papers

AAAC 2026 CALL FOR PAPERS


The 17th Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2026) will take place on May 23 – 24, 2026, at Ocean University of China in Qingdao, China. We invite submissions of abstracts presenting original research or surveys of existing results in theoretical computer science. The meeting will be held in person, and at least one author of each accepted submission is required to register and present the talk on-site.

For more details about AAAC 2026, please visit the official conference website: http://math.ouc.edu.cn/aaac2026

Information about previous annual meetings can be found at http://www.aa-ac.org/

Invited Speakers

Donglei Du, University of New Brunswick

Ken-ichi Kawarabayashi, National Institute of Informatics

Program Committees

Hee-Kap Ahn, Pohang University of Science and Technology

Sang Won Bae, Kyonggi University

Ho-Lin Chen, National Taiwan University

Siu-Wing Cheng (Chair), The Hong Kong University of Science and Technology

Qizhi Fang, Ocean University of China

Minming Li, City University of Hong Kong

Chung-Shou Liao, National Tsing Hua University

Pinyan Lu, Shanghai University of Finance and Economics

Heejin Park, Hanyang University

Kunihiko Sadakane, The University of Tokyo

Xiaoming Sun, Chinese Academy of Sciences

Takeshi Tokuyama, Tohoku University

Ryuhei Uehara, Japan Advanced Institute of Science and Technology

Guochuan Zhang, Zhejiang University

Shengyu Zhang, The Chinese University of Hong Kong

Local Organizers

Bin Liu, Ocean University of China

Wenjing Liu, Ocean University of China

Han Xiao, Ocean University of China

Yulin Chang, Ocean University of China

Kaixin Gao, Ocean University of China

Topics

All areas of theoretical computer science, especially design and analysis of algorithms and complexity theory.

Submissions

Authors are invited to submit a single-page abstract (A4 size, PDF format) that may present original research results or surveys of existing results. Informal working notes containing all accepted abstracts will be distributed to conference participants. This distribution will not constitute prior publication and does not preclude future submissions of the work to journals or conferences. Submissions must be uploaded via the EasyChair Conference System by the deadline: https://easychair.org/conferences?conf=aaac2026

Important Dates

• First Call for Abstracts: January 2, 2026 (Friday), AoE
• Submission Deadline: February 20, 2026 (Friday), AoE
• Notification: March 27, 2026 (Friday), AoE
• Camera-ready Deadline: April 10, 2026 (Friday), AoE
• Early Registration Deadline: April 17, 2026 (Friday), AoE
• Conference Dates: May 23 (Saturday) – 24 (Sunday), 2026

Best Student Presentation Award

The Best Student Presentation Award will be presented to an outstanding conference presentation. To be eligible, the presenter must be a full-time student at the time of the conference. The award will be determined by PC members.

Disclaimer: This email (including any attachments) is for the use of the intended recipient only and may contain confidential information and/or copyright material. If you are not the intended recipient, please notify the sender immediately and delete this email and all copies from your system. Any unauthorized use, disclosure, reproduction, copying, distribution, or other form of unauthorized dissemination of the contents is expressly prohibited.

**********************************************************
*
* 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] Fully funded Master/PhD positions in Discrete Math at HKUST

The Department of Mathematics at the Hong Kong University of Science and
Technology (HKUST) invites applications for multiple MPhil (Master) and PhD
positions in discrete mathematics (combinatorics and/or number theory).
These positions are supported by the startup research grant of Dr. Chi Hoi
Yip (https://sites.google.com/view/kyle-chi-hoi-yip/home).

All admitted MPhil/PhD students will receive full financial support through
the HKUST Postgraduate Studentship and/or additional fellowships. The
support package includes a monthly living stipend. Program details and
funding information are available here:
https://www.math.hkust.edu.hk/pg/?menu=1

Applicants with interests in combinatorics and/or number theory are
encouraged to apply. Relevant backgrounds include (but are not limited to):

-

additive/arithmetic combinatorics
-

extremal combinatorics
-

finite fields and/or finite geometry
-

combinatorial number theory
-

analytic number theory

How to apply: Please email cyip30@gatech.edu with (i) your CV and (ii)
transcripts (unofficial is fine for initial contact). Informal inquiries
are also welcome.

Best,
Chi Hoi Yip

**********************************************************
*
* 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] SC-Square 2026: First Call for Papers

SC-Square 2026: 10th International Workshop on Satisfiability Checking and Symbolic Computation

July 13, 2026, Oldenburg Germany

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

The 11th SC-Square Workshop is a satellite event of ISSAC, held at the University of Oldenburg in Germany, from July 13 to 17, 2026.

SC-Square Workshop website:
https://www.sc-square.org/CSA/workshop11.html

ISSAC conference website:
https://www.issac-conference.org/2026/

Key Dates
Abstract submission: April 10, 2026
Submission deadline: April 17, 2026
Notification: May 22, 2026
Final version: June 1, 2026
Workshop date: July 13, 2026

Scope
Symbolic Computation is concerned with the efficient algorithmic determination of exact solutions to complicated mathematical problems. Satisfiability Checking has recently started to tackle similar problems but with different algorithmic and technological solutions.

The two communities share many central interests, but researchers from these two communities rarely interact. Also, the lack of common or compatible interfaces for tools is an obstacle to their fruitful combination. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. The aim of this workshop is to provide an opportunity to discuss, share knowledge and experience across both communities.

Invited Speakers
Anna Maria Bigatti<https://scholar.google.com/citations?user=iRTyqncAAAAJ&hl=it> (Università degli Studi di Genova, Italy)
Mahsa Shirmohammadi<https://www.irif.fr/~mahsa/> (CNRS, Université Paris Cité, France)

Submitting to the Workshop
The workshop series has emerged from an H2020 FETOPEN CSA project "SC-Square", which ran from 2016 to 2018. It has been continued aiming at building bridges between Satisfiability Checking and Symbolic Computation. It is open for submission and participation to everyone interested in the topics, whether or not they were members or associates of the original project.

The topics of interest include but are not limited to:

*
Computer Algebra and Symbolic Computation (CA)
*
Satisfiability Checking (SAT/SMT)
*
Algorithms for logical theories of arithmetics, including quantifier elimination and decision procedures
*
Computational Geometry
*
Algorithmic Group Theory
*
Formalized mathematics, especially in interactive theorem provers
*
Tools in SAT/SMT/CA, including tools that combine Symbolic Computation and Satisfiability Checking
*
Applications relying on Symbolic Computation or on Satisfiability Checking, including hybrid systems and controls

Submission guidelines
Submissions should be in English, formatted in Springer LNCS style and submitted via
https://hotcrp.software.imdea.org/scsquare/

We invite four types of submissions:

(1) FULL PAPERS on research, case studies or tool development should present unpublished work not submitted elsewhere (with a limit of 16 pages, not counting references)
(2) EXTENDED ABSTRACTS on research, case studies or tool development should present unpublished (potentially ongoing) work not submitted elsewhere (3–5 pages, not counting references)
(3) SHORT SURVEYS that describe/explain an existing body of work in an original way (5–8 pages, not counting references)
(4) PRESENTATION-ONLY submissions on already published work, work to be published elsewhere, or work in progress on SC-Square related open problems or future challenges. Please submit an abstract for approval by the PC (with a limit of 2 pages).

To receive the appropriate level of peer review, please select the relevant category for your paper on the submission site.

For consistency, all submissions must use the LNCS style. Current lncs latex files are available from "LaTeX2e Proceedings Templates download" at:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

We plan to publish the proceedings of the workshop in digital form, hosted with CEUR-WS (see http://ceur-ws.org/).
People from industry and business are warmly invited to submit papers to describe their problems, challenges, goals, and expectations for the SC-Square community.

Workshop Co-Chairs
Katherine Kosaian<https://sites.google.com/view/katherinekosaian> (University of Iowa, USA)
Alessio Mansutti<https://alessiomansutti.github.io/> (Imdea Software Institute, Spain)

Program Committee
Kyungmin Bae<http://sv.postech.ac.kr/kmbae/> (Pohang University of Science and Technology, South Korea)
Rizeng Chen<https://xiaxueqaq.github.io/> (Peking University, China)
Xin Chen<https://shinchern.github.io/> (University of New Mexico, US)
Ruiwen Dong<https://sites.google.com/view/ruiwen-dong/> (University of Oxford, UK)
Matthew England<https://matthewengland.coventry.domains/index.html> (Coventry University, UK)
Stéphane Graham-Lengrand<https://www.csl.sri.com/~sgl/> (SRI, US)
Alberto Griggio<https://es-static.fbk.eu/people/griggio/> (Fondazione Bruno Kessler, Italy)
Hoon Hong<https://hong.math.ncsu.edu/> (North Carolina State University, US)
Dejan Jovanovic<https://dddejan.github.io/> (AWS, US)
Ariel Kellison<https://ak-2485.github.io/> (Code Metal, US)
George Kenison<https://georgekenison.github.io/> (KU Leuven, Belgium)
Hanna Lachnitt<https://lachnitt.github.io/> (Stanford University, US)
Pierre Mathonet<https://scholar.google.com/citations?user=KSD99-cAAAAJ&hl=en> (Université de Liège, Belgium)
Guillaume Melquiond<https://guillaume.melquiond.fr/> (Inria and ENS Lyon, France)
Marc Moreno Maza<https://www.csd.uwo.ca/~mmorenom/homepage-moreno.html> (University of Western Ontario, Canada)
Mathias Preiner<https://cs.stanford.edu/~preiner/> (Stanford University, US)
Philipp Rümmer<http://www.philipp.ruemmer.org/> (University of Regensburg, Germany)
Mohab Safey El Din<https://perso.lip6.fr/Mohab.Safey/> (Sorbonne Université, France)
Žaneta SemaniÅ¡inová<https://tu-dresden.de/mn/math/algebra/das-institut/beschaeftigte/zaneta-semanisinova> (TU Dresden, Germany)
Zhikun She<https://scholar.google.com/citations?user=J8viQpMAAAAJ&hl=en> (Beihang University, China)

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