Tuesday, February 3, 2026

[DMANET] PhD Positions in Symbolic AI @ TU Wien: Learning Abstractions for Generalized Reasoning (The LAGER Project)

Two PhD Positions @ TU Wien

The research groups Knowledge-Based Systems (KBS) and Database and AI
(DBAI) in Institute of Logic and Computation at TU Wien are seeking
exceptionally talented and motivated candidates for two PhD positions.

The positions are part of the LAGER project ("Learning abstractions for
generalized reasoning in AI") funded by the Vienna Science and Technology
Fund, led by Zeynep G. Saribatur, Thomas Eiter and Nysret Musliu.

The project tackles the challenge of equipping AI systems with the
human-like ability to generalize, such as identifying common problem
structures and generating solutions that work for diverse instances, for
solving real-world problems and generalization challenges. By focusing on
Answer Set Programming (ASP), the project will establish theoretical
foundations for generalized reasoning and develop domain-independent
methods for learning useful abstractions over ASP programs.

Candidates for the PhD positions should have a strong background in
symbolic AI and good programming skills. One PhD position is available for
an immediate start, and the other position is from July 1st, 2026.

The application should contain a research statement, a complete CV,
transcripts of completed studies, abstract of the applicant's MSc or BSc
thesis, and two recommendation letters, sent separately by each reference
person.

The applications should be sent to zeynep.saribatur@tuwien.ac.at. The
reference letters can be sent within two weeks from submission.

Applications will be processed on a regular basis and continue until the
positions are filled.

https://www.dbai.tuwien.ac.at/research/project/lager/

--
Zeynep G. Saribatur
Databases and Artificial Intelligence Group
Institute of Logic and Computation
TU Wien, Vienna, Austria

**********************************************************
*
* 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] AofA 2026: call for papers

The 37th International Conference on Probabilistic, Combinatorial and
Asymptotic Methods for the Analysis of Algorithms (AofA 2026) is planned
to take place from June 22nd to June 26th in Munich, Germany
(https://aofa2026.info/). We would be very pleased to welcome you!

Analysis of Algorithms is a field at the boundary of computer science
and mathematics. The goal is to obtain a precise understanding of the
asymptotic, average-case characteristics of algorithms and data
structures. A unifying theme is the use of probabilistic, combinatorial,
and analytic methods. The objects to be studied include random branching
processes, graphs, permutations, trees, and strings. We invite papers in

- analytic algorithmics and combinatorics,
- probabilistic analysis of algorithms and discrete structures and
- randomized algorithms.

Submissions will be made through EasyChair. The call for papers and
further submission instructions can be found on the conference webpage
here <https://aofa2026.info/calls/>.

Authors are invited to submit an extended abstract of up to 15 pages,
excluding the the front page, bibliography, and a brief appendix of up
to 5 pages. Further appendices can be included in addition to that, and
they will be read at the Program Committee's discretion, but will not be
included in the proceedings.

For the submission and the final version of the papers authors are
required to use the Leibniz International Proceedings in Informatics
(LIPIcs). Simultaneous submission to other conferences with published
proceedings or to journals is not allowed. PC members are allowed to
submit their works as well, except for PC chairs. At least one author of
each accepted paper is expected to register at the conference.

Important Dates:

* Deadline: March 1, 2026
* Acceptance notice: April 20, 2026
* Conference: June 22-26, 2026

Best regards
Konstantinos Panagiotou
**********************************************************
*
* 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] multiple tenure-track positions at the University of Warsaw

The Faculty of Mathematics, Informatics and Mechanics of the University of
Warsaw (MIM UW) invites applications for the positions of Assistant
Professor in Computer Science, starting on 1st October 2026 or 1st February
2027.

MIM UW is one of the leading Computer Science faculties in Europe. It is
known for talented students (e.g., two wins and multiple top tens in the
ACM International Collegiate Programming Contest) and strong research
teams, especially in algorithms, logic and automata, algorithmic economy,
and computational biology. There is also a growing number of successful
smaller groups in diverse areas including cryptography, databases and
knowledge representation, distributed systems, and machine learning. Seven
ERC grants in Computer Science are running at MIM UW at the moment.

In the current call, 7 positions are offered (follow the links for more
details):
1. Samuel Eilenberg Assistant Professor
<https://jobs.uw.edu.pl/en-gb/offer/WMIM_2026/programme/WMIM_1210_EK_02_2026/?from=registration:WMIM_2026>
(2
positions; reduced teaching and increased salary),
2. Assistant Professor
<https://jobs.uw.edu.pl/en-gb/offer/WMIM_2026/programme/WMIM_1210_EK_04_2026/?from=registration:WMIM_2026>
(3
positions; research and teaching),
3. Assistant Professor in Systems, Programming Languages or Machine Learning
<https://jobs.uw.edu.pl/en-gb/offer/WMIM_2026/programme/WMIM_1210_EK_05_2026/?from=registration:WMIM_2026>
(1
position; research and teaching; increased salary),
4. Assistant Professor
<https://jobs.uw.edu.pl/en-gb/offer/WMIM_2026/programme/WMIM_1210_EK_03_2026/?from=registration:WMIM_2026>
(1
position; teaching only).

Deadline for applications: 20th February 2026.

For further information about the procedure, requirements, conditions,
etc., contact Filip Murlak (f.murlak@uw.edu.pl) or Oskar Skibski (
o.skibski@uw.edu.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/
*
**********************************************************

[DMANET] DC Online Resources (IFORS)

As our material progresses, this is just a reminder every now and then.

To access information regarding IFORS Developing Countries resources, its regular updates – and to submit your possible "free" (not copyright protected) material, you may occasionally visit the link:

http://ifors.org/developing_countries/index.php?title=Main_Page .

With this open online resources page we aim to provide a platform to make research and applications of OR widely accessible to the entire OR community including researchers, academicians and scholars in the Developing Countries (DCs).

For this purpose we invite scholarly contributions spanning across all areas and sectors ranging from arts and science, to communication and education.

The International Federation of Operational Research Societies (https://www.ifors.org) is a 65-year-old organization which is currently composed of 54 national societies. Regional Groups of are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies) conferences are held every three years. The conference 2023 was held very successfully in Santiago, Chile; the next exciting IFORS conference will be celebrated in 2026 in Vienna. Please visit the following link for details regarding the same: https://www.ifors2026.at/home/.

Thank you very much for your attention. We look forward to your enthusiastic participation and scholarly contributions.

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

Monday, February 2, 2026

[DMANET] Faculty and Postdoc Positions in Chinese Academy of Sciences

The Center for Algorithms and Learning Theory (CALT) at the Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences, is excited to announce job openings for
- Full and Associate Professors, and
- Postdoctoral Researchers.

Newly established in August 2025, CALT is a center dedicated to excellent research in discrete mathematics, combinatorial optimization, algorithms, machine learning, and theoretical aspects of data science. With the generous support from the Chinese Academy of Sciences, the Center is determined to foster creative and collaborative environment, and produce world-class research with lasting societal impact.

These are full-time, research-focused positions. Ideal candidates are expected to have
- a Ph.D. in computer science, mathematics, or a closely related field,
- an outstanding publication record in top-tier international conferences and journals, and
- for faculty positions a demonstrated capacity for leadership, e.g., the record of securing significant research grants and industrial collaborations.

We offer a comprehensive and internationally competitive offer package, including
- a highly competitive annual base salary (≥400k CNY for postdocs, ≥700k CNY for full professors, and ≥1.1m CNY for chair professors),
- expert allowance from Shenzhen; e.g., a full professor could obtain the annual allowance of 240k - 600k CNY per year for up to 9 years,
- additional local government benefits, which could include a preferential personal income tax policy (maximum effective tax rate of 15%) depending on their personal circumstances, and
- generous research funding and travel support for the first two years.

To apply for the post, please submit the following documents to Professor He Sun (hsun@siat.ac.cn) as the Director of the Center:
- A cover letter
- A CV, including a full list of publications
- Contact information of two references

The application deadline is *20th February 2026*. Short-listed candidates will be invited for interview in early March 2026.

------------------------------
Professor He Sun
Associate Director of State Key Laboratory of Biomedical Imaging Science and System
Director of Center for Algorithms and Learning Theory
Shenzhen Institutes of Advanced Technology
Chinese Academy of Sciences
https://calt.siat.ac.cn/hsun.html


**********************************************************
*
* 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] Updated Deadline and Final Call: The 8th Games, Agents, and Incentives Workshop (GAIW)@AAMAS 2026

Call for Papers: The 8th Games, Agents, and Incentives Workshop
(GAIW)@AAMAS 2026

Webpage: https://gtep-workshops.github.io/gaiw2026/

-

Submission Deadline: February 4, 2026 Feb. 11th, 2026 (AoE)
-

Acceptance Notification: March 20, 2026
-

Camera Ready: TBD (AoE)
-

Workshop: May 26, 2026

Call for Papers:

We invite submissions to the 8th iteration of the Games, Agents and
Incentives Workshop, co-located with AAMAS 2026 in Paphos, Cyprus,
https://cyprusconferences.org/aamas2026/.

Games, Agents and Incentives is a confederated workshop which focuses on
agents and incentives in AI. In particular, it promotes approaches that
deal with game theory (cooperative and non-cooperative), social choice, and
agent-mediated e-commerce aspects of AI systems. The confederated workshop
merges multiple workshops that have been associated with AAMAS in the past,
which considered different aspects of the general interplay between AI and
economics including CoopMAS, AMEC, and EXPLORE.

Over the past two decades, the focus of agent incentives in decentralised
and centralised AI systems has increased dramatically. These issues come up
when designing preference aggregation mechanisms and markets; computing
equilibria and bidding strategies; facilitating cooperation among agents;
and fairly dividing resources.

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

PAPER SUBMISSION

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

Authors should submit full papers electronically in PDF format at:
https://openreview.net/group?id=ifaamas.org/AAMAS/2026/Workshop/GAIW

Formatting Guidelines: Please format papers according to the AAMAS 2026
format (https://cyprusconferences.org/aamas2026/submission-instructions/).

Paper Length: Papers can be at most 8 pages long in AAMAS format.
Additional pages may be used for references.

Supplemental material can be appended at the end of the paper. However,
reviewers are instructed to make their evaluations based on the main
submission, and are not obligated to consult the supplemental material.

Multiple Submissions: To widen participation and encourage discussion,
there will be no formal publication of workshop proceedings. We will,
however, post the accepted papers online to the benefit of the participants
to the workshop. Therefore, submission of preliminary work and papers to be
submitted or in preparation for submission to other major venues in the
field are encouraged.

Past Submissions: In order to strike a balance between new work and work
that may have been presented, but not widely seen, we ask that if authors
want to submit published work they do so non-anonymously and clearly
indicate when and where the work was published. We will only accept work
which has been published in the last calendar year (e.g., IJCAI 2025,
NeurIPS 2025, AAAI 2025, AAAI 2026 and any conference held strictly after
Jan 1, 2025).

We invite papers on topics of game theory, mechanism design, fair
allocation, computational social choice, and their applications to
multi-agent systems:

-

Agentic AI Systems
-

Algorithmic mechanism design
-

Auctions
-

Behavioral Game Theory
-

Bounded rationality
-

Cooperative Games
-

Computational advertising
-

Computational aspects of equilibria
-

Computational social choice
-

Coalitions, coordination, collective action, and cooperation
-

Economic aspects of security and privacy
-

Economic aspects of distributed and network computing
-

Equilibrium computation
-

Empirical approaches to e-markets
-

Fairness (in ML & elsewhere)
-

Fair Division
-

Incentives in machine learning
-

Information and attention economics
-

Learning in games (e.g., solution concepts and equilibria)
-

Matching and Matching Markets
-

Negotiation
-

Preference aggregation and reasoning
-

Price differentiation and price dynamics
-

Social networks
-

Trading agent design and analysis
-

Uncertainty in AI and economic

Best Presentation Award: The organizing committee of GAIW will be giving
two awards (first-place and runner up) for best paper presentations. The
award criteria include the clarity of presentation, the level of
engagement, the content, and discussion handling.

Inquiries: If you have any questions, direct them to alan.tsang@carleton.ca.

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

IMPORTANT DATES

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

-

Submission Deadline: February 4, 2026 (AoE)
-

Acceptance Notification: March 20, 2026
-

Camera Ready: TBD (AoE)
-

Workshop: May 26, 2026

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

ORGANIZATION

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

Program Chairs

Ben Armstrong, Tulane University

Michael Curry, University of Illinois Chicago

Hadi Hosseini, Penn State University

Nicholas Mattei, Tulane University

Alan Tsang, Carleton University

Tomasz Wąs, University of Oxford


--
*Nicholas Mattei*
Associate Professor, Tulane University
nsmattei@tulane.edu | www.nickmattei.net
Stanley Thomas Hall | 305B
+1 504 247 1416
Department of Computer Science
Tulane University
6823 St Charles Ave
New Orleans, LA 70118

**********************************************************
*
* 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] 5-year PhD position in Discrete Optimization at TU Berlin

Institute of Mathematics
Technische Universität Berlin

5 year PhD position in Discrete Optimization
Research Assistant (100% TV-L 13)
starting April 1, 2026, or later
application deadline: February 13, 2026

A PhD position is available in the "Discrete Optimization" group at TU Berlin (https://www3.math.tu-berlin.de/disco/) with ties to the "Combinatorial Optimization and Graph Algorithms" group (https://www3.math.tu-berlin.de/coga/). The main focus of these groups is on research and teaching in the areas of Discrete Mathematics and Combinatorial Optimization, in particular, network optimization, flows, algorithmic game theory, and mechanism design.

We are seeking candidates with an excellent academic degree (Master's degree or comparable) in mathematics or computer science, with profound knowledge in discrete mathematics. Successful candidates will contribute to the group's teaching and research.

Please send your application with the reference number II-23/26 and the usual documents (letter, CV, relevant certificates and degrees, combined in a single pdf file, max 5 MB) by email to kiefer@math.tu-berlin.de<mailto:kiefer@math.tu-berlin.de>.
The official job posting can be found here: https://www.jobs.tu-berlin.de/stellenausschreibungen/200603?language=en

The application deadline is February 13, 2026. Informal inquiries about the position can be directed at any time to klimm@tu-berlin.de<mailto:klimm@tu-berlin.de>
Please also send an email if you would like to apply but have difficulties in meeting the application deadline, or are still missing your final exam, but expect to obtain it soon.

Besides its many cultural attractions, Berlin offers a strong scientific landscape including three major universities, the DFG-funded mathematics research center MATH+ (https://mathplus.de<https://mathplus.de/>) as well as the international graduate program Berlin Mathematical School (www.math-berlin.de<http://www.math-berlin.de/>); these offer opportunities for joint research and support for PhD students (e.g., meetings, lecture series, international summer schools...).

Prof. Dr. Max Klimm
Discrete Optimization
Institute of Mathematics
TU Berlin
Straße des 17. Juni 136
10623 Berlin
Germany
**********************************************************
*
* 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] Numeration 2026, Nancy, June 1 - June 5, 2026 Second announcement - Registration is OPEN !

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

    Numeration 2026, Nancy, June 1 - June 5, 2026

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

Numeration 2026 is the 2026 edition of a series of events around
numeration systems and substitution systems. The central themes of this
conference include (but are not limited to): number theory, diophantine
approximation, fractal geometry, substitutions, combinatorics on words,
ergodic theory, dynamical systems, and theoretical computer science.

--  Conference website --

https://numeration2026.sciencesconf.org/

The conference begins on Monday, June 1 at around 9 a.m., and the
scientific program ends on Friday, June 5 at around 12:30 p.m. (12:30-2
p.m. lunch break, 2 p.m. official closing of the conference).

-- Invited speakers (confirmed) --

Michael Baake, Bielefeld University, Germany
Ayreena Bakhtawar, Polish Academy of Sciences, Poland
Colin Faverjon, University of Picardy Jules Verne, Amiens, France
Lukas Spiegelhofer, Technical University of Leoben, Austria
Manon Stipulanti, University of Liège, Belgium

-- Submission guidelines for contributed talks / posters --

* Authors are invited to submit an extended abstract (or a short
abstract containing a link to a preprint). Abstracts must be uploaded to
the website of the conference.
* If an abstract is not accepted for a contributed talk, the scientific
committee will decide whether it can be presented in the poster session.
* There are no proceedings and there is no special journal issue for
this conference, extended abstracts may cover work that has already been
published.

*-- Registration is OPEN now !*

Registration fees :

Early Bird : 88€ Student / 132€ Regular
Standard : 110€ Student / 165€ Regular

The registration fee includes conference fee, 5 lunches (Monday-Friday),
all coffee breaks, the gala dinner and the touristic afternoon.


-- Important dates --

** Submission deadline: 2 March 2026
** Acceptance notification: 30 March 2026
* Early Bird registration : before 7 April 2026
* Standard registration : after 7 April 2026
* Registration deadline : 4 May 2026
* Conference dates : 1-5 June 2026


-- Scientific Committee --

- Shigeki Akiyama, University of Tsukuba, Japan
- Valérie Berthé, IRIF, France
- Charlene Kalle, University of Leiden, Netherlands
- Lingmin Liao, University of Wuhan, China
- Edita Pelantová, Czech Technical University, Czech Republic
- Michel Rigo, University of Liège, Belgium
- Wolfgang Steiner, IRIF, France
- Cathy Swaenepoel, University of Paris Cité, France
- Jörg Thuswaldner, Technical University of Leoben, Austria


-- Organizing Committee (Contact : thomas.stoll@univ-lorraine.fr) --

- Cécile Dartyge (IECL, University of Lorraine, France)
- Damien Jamet (LORIA, University of Lorraine, France)
- Manfred Madritsch (Technical University of Leoben, Austria)
- Thomas Stoll (IECL, University of Lorraine, France)


-- Past editions --

The previous "Numeration" conferences have been in:

- Tsukuba (2025)
- Utrecht (2024)
- Liège (2023, 2011)
- Vienna (2019)
- Paris (2018)
- Rome (2017)
- Prague (2016, 2008)
- Nancy (2015)
- Debrecen (2014)
- Kyoto (2012)
- Leiden (2010)
- Marseille (2009)
- Graz (2007)
- Grenoble (2005)

**********************************************************
*
* 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] PODC 2026 Call for workshops and tutorials

Apologies for multiple postings.
-----


================================================
ACM PODC 2026: CALL FOR WORKSHOPS AND TUTORIALS
================================================
The 45th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2026) invites submission of proposals for workshops and tutorials to be held in conjunction with PODC 2026. PODC is the premier conference in the field of Distributed Computing. PODC workshops and tutorials provide a forum where researchers can exchange opinions, discuss new results and ideas, and provide in-depth presentations of topics of interest to the community.

PODC 2026 will be co-located with SPAA 2026 and ICALP 2026 and will be held in Egham, UK (near London), July 6-10, 2026. The days reserved for workshops and tutorials are Monday, July 6th and Friday, July 10th.

All proposals will be judged on their merits and a selection of the proposals will be accepted. Workshops and tutorial organizers are encouraged to submit proposals early to allow more time for organizational scheduling.

Website: https://www.podc.org
Mastodon: https://mathstodon.xyz/@podc_disc
X: https://twitter.com/podc_disc
================================================
DATES
================================================
- Proposal submission deadline: February 28, 2026 (AoE)
- Final notification of acceptance: March 14, 2026
- Dates of the workshops and tutorials: July 6th and July 10th, 2026
================================================
INSTRUCTIONS
================================================
The proposals should be sent by e-mail to the Workshop Chairs, Siddhartha Jayanti <siddhartha.visveswara.jayanti@dartmouth.edu> and Quanquan C. Liu <quanquan.liu@yale.edu>.
A proposal should include:

(1) Title of the workshop or tutorial
(2) A description of the subject matter and why it would be of interest to the PODC community
(3) Name(s) and contact information of the organizer(s)
(4) Proposed format (e.g., invited speakers only, or peer-reviewed papers with proceedings, etc.)
(5) Length (e.g., full-day, half-day, two hours)
(6) Estimated number of speakers and attendees
(7) Link to previous editions of the same workshop (if applicable)

If you have any questions, please don't hesitate to contact Siddhartha and Quanquan.
================================================
SCOPE
================================================
Potential topics for workshops and tutorials range all aspects of distributed computing, including traditional and emerging areas of study such as (but not restricted to):

- distributed algorithms: design, analysis, and complexity
- multiprocessor and multicore algorithms and architectures
- concurrency, concurrent and asynchronous algorithms, concurrent programming
- shared and transactional memory, synchronization protocols, concurrent programming
- fault-tolerance, reliability, availability, self-organization, self-stabilization
- formal methods, machine-verification, and model-checking in distributed computing
- specification, semantics, and verification of concurrent algorithms and systems
- distributed operating systems, middleware platforms, databases
- distributed computation on graphs and networks
- communication networks: algorithms, architectures, services, protocols, applications
- codes and reliable communication
- internet applications, social networks, recommendation systems
- peer-to-peer systems, overlay networks, distributed data management
- sensor, mesh, and ad hoc networks
- nanonetworks
- wireless networks, mobile computing, autonomous agents and robots
- dynamic, adaptive and machine learning-based distributed algorithms
- game-theoretic approaches to distributed computing
- distributed mechanisms design
- high-performance computing, cluster computing, cloud computing, and grid computing
- context-aware distributed systems
- security in distributed computing, cryptographic protocols
- distributed cryptocurrencies and blockchain protocols
- biological distributed algorithms
- optics-based distributed algorithms
- quantum distributed computing
- relativistic distributed 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] PhD position in Berlin, deadline Feb 23

There is a four year PhD position (75% E13 TV-L FU) in discrete methods in
algebraic geometry (Christian Haase) at Freie Universität Berlin. The
position involves teaching, after one year also in German.

Please consider applying if you have research experience in one or more of
the following subjects:
-- convex polytopes
-- algebraic geometry of toric varieties
-- combinatorial commutative algebra
-- tropical geometry
-- combinatorial Chow rings.

Apply via
https://www.fu-berlin-jobs.de/job/Research-assistant-(praedoc)-(mfd)-(613)/1288441301/
until Feb 23.

For questions, send me a mail: haase at math fu-berlin de.


--
Prof.Dr.Christian Haase Arnimallee 3 (Zi 036)
Mathematik D-14195 Berlin
Freie Universität Berlin Fon: +49 (0) 30 838-59184


**********************************************************
*
* 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: OVERLAY-26 @ FLoC - 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis - deadline: April 17, 2026

8th International Workshop on Artificial Intelligence and fOrmal VERification,
Logic, Automata, and sYnthesis (OVERLAY 2026), co-located with the 9th Federated
Logic Conference (FLoC 2026)

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


*********** FIRST CALL FOR PAPERS ***********

OVERLAY 2026 @ FLoC
July 18-19, 2026
Lisbon, Portugal
https://overlay.uniud.it/workshop/2026

Submission deadline: April 17, 2026
Notification: May 15, 2026
FLoC early registration deadline: June 1, 2026

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

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

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

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

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

This year's edition will be held on July 18-19, 2026, as part of FLoC 2026,
which will be held in Lisbon, Portugal.


*** Call for contributions ***

We accept contributions (see below for the format) focusing on the interaction
between Artificial Intelligence and Formal Methods and on the issue of
symbolic/sub-symbolic integration. Presentation of results recently published in
other scientific journals or conferences and invited talks will complement the
presentations of contributed papers.

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

automata theory
automated reasoning, satisfiability, theorem proving
automated planning and scheduling
controller and reactive synthesis
formal verification
game theory
hybrid and discrete systems
logics in computer science
neuro-symbolic artificial intelligence
logics for neural networks
neural networks for logic
runtime verification and monitoring
specification and verification of machine/deep learning systems
specification and verification of systems based on large language models
tools and applications

We invite two kinds of contributions:

- "regular" papers, presenting original research not published nor under review
elsewhere. Regular papers should not exceed nine (9) pages plus references
and, possibly, an appendix (that will not be published).

- "short" papers, presenting either original research or results already
published in other venues, write-ups on work-in-progress projects worth
discussing, etc.

All contributed papers, except if explicitly requested otherwise by the authors,
will be included in the Proceedings of the event, published at CEUR Workshop
Proceedings (https://ceur-ws.org).

Authors are asked to use the CEURART LaTeX style, available here:
https://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions must be in PDF format.
Instructions on how to proceed with the submission will be published on the
workshop's website soon.

*** Note on the use of Generative AI writing assistance tools ***

Please adopt the CEUR guidelines for Generative AI use at the following address:
https://ceur-ws.org/GenAI/Policy.html.

*** Registration and participation fees ***

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

*** Venue ***

The workshop will take place in Lisbon, in one of the venues of FLoC 2026
(https://www.floc26.org/venue), on July 18 and 19.

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

- Paper submission: April 17, 2026
- Acceptance notification: May 15, 2026
- Workshop: July 18-19, 2026

*** Program Committee Chairs ***

Luigi Bonassi - University of Oxford, UK
Nicola Gigante - Free University of Bozen-Bolzano, Italy

***Program Committee***

To be announced…

*** Contacts ***

For more information write an email to overlay@uniud.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] CfP 7th International Conference on Digital Age & Technological Advances for Sustainable Development (DATA'26)

*** Follow us on
*** DATA'26 Website: https://data.medi-asd.org/

Dear Colleagues,
The 7th International Conference on Digital Age & Technological Advances for Sustainable Development (DATA'26) will be held at Luiss University from 03 to 05 June 2026 in Rome, Italy. Organized by the Mediterranean Association of Sciences and Sustainable Development (Medi-ASD), this conference provides a multidisciplinary forum focused on promoting research that supports the United Nations Sustainable Development Goals (SDGs).

**Submissions and Publication**
All submitted papers must be original. Accepted and presented papers will be published in Springer Nature book series, including:
- Springer-LNISO: Lecture Notes in Information Systems and Organization.
- Springer-LNSS: Lecture Notes in Networks and Systems.
- ACM: International Conference Proceedings Series.

The conference is indexed by Scopus and ACM.

**Submission Platform**
- Submissions should be sent via the Microsoft CMT platform:
https://cmt3.research.microsoft.com/data2026.

**Important Dates**
- Paper Submission Deadline: 28 February 2026
- Notification of Acceptance: 05 April 2026
- Author Registration: 05 May 2026
- Camera-Ready Submission: 15 May 2026
- Conference Dates: 03–05 June 2026 (On-site and Virtual options available)

**Conference Theme and Topics**
The theme is "Computer Science and Digital Advances in Sustainable Development". We encourage submissions on topics including, but not limited to:
- AI for Sustainability
- Sustainable Civil & Agriculture Engineering
- Smart Grid Technologies
- Digital Manufacturing & Industry 4.0
- Digital Learning & EdTech
- Green and Sustainable Computing
- Digital Health Innovation

**Conference Chairs**
- Anouar Abdelhakim Boudhir, Abdelmalek Essaâdi University
- Irene Finocchi, Luiss University
- Paolo Spagnoletti, Luiss University

**Keynote Speakers**
- Agostino Inguscio, UNDP Italy Office & UNDP Rome Centre for Climate Action and Energy Transition, UNDP
- Oystein Saebo, Head of the Information Systems Department, University of Agder

The conference chairs, the program chairs and the organizing committee look forward to welcoming you to Rome!
The DATA'26 Conference Team Contact: data26@luiss.it | +212 625 254 026 (WhatsApp Only)
________________________________________
Alessio Martino, PhD
Assistant Professor of Computer Science
LUISS Guido Carli University
Department of AI, Data and Decision Sciences
Viale Romania 32, 00197 Rome, Italy<https://www.google.com/maps/place/Viale+Romania,+32,+00197+Roma+RM/@41.9250084,12.491102,17z/data=!3m1!4b1!4m5!3m4!1s0x132f61185c88b765:0xc1b3fadadd3515ae!8m2!3d41.9250044!4d12.4932907> (Room 508)
Phone: (+39) 06-85225957
E-mail: amartino@luiss.it<mailto:amartino@luiss.it>





La presente e-mail proviene da Luiss Guido Carli e s'intende inviata per scopi lavorativi. Tutte le informazioni ivi contenute, compresi eventuali allegati, sono da ritenersi esclusivamente confidenziali e riservati secondo i termini del vigente D.Lgs. 196/2003 in materia di privacy e del Regolamento europeo 679/2016 - GDPR. È vietato qualsiasi ulteriore utilizzo non autorizzato. Qualora la stessa Le fosse pervenuta per errore, La preghiamo di eliminarla immediatamente e di darcene tempestiva comunicazione. Grazie.

This e-mail message is sent by Luiss Guido Carli for business purposes. All informations contained therein, including any attachments, are for the sole use of the intended recipient and may contain confidential and privileged information pursuant to Legislative Decree 196/2003 and the European General Data Protection Regulation 679/2016 - GDPR -. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by soon reply this e-mail and destroy all copies of the original message. Thanks
**********************************************************
*
* 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] FMEC 2026: The 11th International Conference on Fog and Mobile Edge Computing, 15 - 18 September 2026 | Abu Dhabi, UAE

[Apologies if you got multiple copies of this invitation]

The 11th International Conference on Fog and Mobile Edge Computing (FMEC
2026)

https://emergingtechnet.org/FMEC2026/

15 - 18 September 2026 | Abu Dhabi, UAE

Hybrid Event and Technically Co-Sponsored by IEEE UAE Section

*FMEC 2026 CFP:*

Cloud computing provides a large range of services and virtually unlimited
available resources for users. New applications, such as virtual reality
and smart building control, have emerged due to the large number of
resources and services brought by cloud computing. However, the
delay-sensitive applications face the problem of large latency, especially
when several smart devices and objects are getting involved in human's life
such as the case of smart cities or Internet of Things. Therefore, cloud
computing is unable to meet the requirements of low latency, location
awareness, and mobility support. To solve this problem, researchers have
introduced a trusted and dependable solution through the Fog and the Mobile
Edge Computing (FMEC) to put the services and resources of the cloud closer
to users, which facilitate the leveraging of available services and
resources in the edge networks. By this, we are moving from the core (cloud
data centers) to the edge of the network closer to the users. FMEC
dependability is based on providing user centric service. The purpose of
Fog and the Mobile Edge Computing is to run the heavy real-time
applications at the network edge directly using the billions of connected
mobile devices.

Several features enable the Fog and the Mobile Edge Computing to be a
perfect paradigm to the aforementioned purpose, which are the dense
geographical deployment of servers, supporting mobility and the closeness
to users. As in every new technology, some challenges face the vision of
the Fog and the Mobile Edge Computing, which are the administrative
policies and security concerns (i.e. secure data storage, secure
computation, network security, data privacy, usage privacy, location
privacy, etc). FMEC 2026 conference aims to investigate the opportunities
and requirements for Mobile Edge Computing dominance. In addition, it seeks
for novel contributions that help mitigate Mobile Edge Computing
challenges. That is, the objective of FMEC 2026 is to provide a forum for
scientists, engineers, and researchers to discuss and exchange new ideas,
novel results and experience on all aspects of Fog and Mobile Edge
Computing (FMEC). FMEC 2026 is Technically Co-Sponsored by IEEE Florida
Section. Researchers are encouraged to submit original research
contributions in all major areas, which include, but not limited to the
following:

- Fog and Mobile Edge Computing in unmanned aerial vehicle
communications and applications
- Fog and Mobile Edge Computing in mission-critical systems
- Intelligent Transportation Systems
- Edge-cloud computing architectures, frameworks and platforms
- Edge-cloud networking and communication
- Quality of Service (QoS) improvement techniques
- Network virtualization for Edge-to-cloud systems
- FMEC and IoT Data Communication Protocols
- Industrial Fog and Mobile Edge Computing Applications
- Mobile Cloud Computing Systems and Applications
- FMEC in Environmental Sustainability
- Trustworthy AI for Edge and Fog Computing
- Security and Privacy in Fog and Mobile Edge Computing
- Decentralized Data Management and Streaming Systems in FMEC
- Data storage, processing, and management at FMEC platform
- Federated learning and distributed machine learning in the fog and on
the edge
- 5G and fog/edge computing
- Middleware and runtime systems for fog/edge infrastructures
- Energy-efficient fog/edge computing
- Edge/fog-to-cloud APIs and protocols
- Mobility, connectivity, heterogeneity support for edge/fog services
- Load balancing/scheduling in fog/edge computing
- Crowdsourcing and establishing trust on data sources
- Decision support systems for Edge-cloud computing
- AI-based or data-driven orchestration of workflows in Edge computing
- Automatic scheduling and deployment of workflows and services in Edge
computing
- Distributed management of Edge computing
- Mechanisms and data structures for the governance of Edge computing
- Interfaces, orchestration and optimization of the Networking-Computing
continuum
- In-network computing for the edge-cloud continuum
- Novel programming models for Edge computing
- Dynamic Edge/Fog environments
- Automatic deployment and continuous dynamic composition of Edge
services
- Semantic annotation of Edge/Fog services
- AI in Autonomous Urbanism

*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 FMEC 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 up to 8 pages and must follow the IEEE paper format. Please include
up to 7 keywords, complete postal and email address, and fax and phone
numbers of the corresponding author. 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 between 4
to 6 pages.

*Important Dates:*

- Paper Submission: *April 15, 2026*
- Notification to Authors: July 10, 2026
- Camera Ready Submission: July 30, 2026

*Contact:*

Please send any inquiry on FMEC to: emergingtechnetwork@gmail.com

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

Sunday, February 1, 2026

[DMANET] ISCO 2026 NEW DEADLINE FOR EXTENDED ABSTRACTS FEBRUARY 15

NEW DEADLINE FOR EXTENDED ABSTRACTS
FEBRUARY 15, 2026


ISCO 2026
CALL FOR PAPERS
9th International Symposium on Combinatorial Optimization (ISCO 2026)
May 6-8, 2026, İzmir-Kuşadası, Turkey
Spring School "Packing and Covering", May 4-5, 2026
https://isco2026.com.tr/

THEME AND SCOPE
ISCO is a biennial symposium whose aim is to bring together researchers from all the communities related to combinatorial optimization, including algorithms and complexity, mathematical programming and operations research. It is intended to be a forum for presenting original research in these areas and especially in their intersections. Quality papers on all aspects of combinatorial optimization, from mathematical foundations and theory of algorithms to computational studies and practical applications, are solicited.

SESSIONS
The conference is organized into plenary and parallel sessions. The conference language is English. Each speaker can give only one talk. Proposals for invited sessions are welcome. Researchers who are interested in organizing an invited session should contact Hakan Kutucu (hakankutucu@karabuk.edu.tr<mailto:hakankutucu@karabuk.edu.tr>).

SPRING SCHOOL
ISCO 2026 will be preceded by a school on "Packing and Covering". Gérard Cornuéjols, Carnegie Mellon University, and Ahmad Abdi, London School of Economics, will offer the school. They will give 16 hours of lectures on May 4 and 5, 2026.

PLENARY SPEAKERS
Miguel F. Anjos, Operational Research, University of Edinburgh, United Kingdom.
Tinaz Ekim, Industrial Engineering, Bogazici University, Turkey.
Hande Yaman Paternotte, Faculty of Economics and Business, KU Leuven, Belgium.
Sebastian Pokutta, Institute for Mathematics, Technische Universität Berlin, Germany.

SUBMISSION – PUBLICATION

Papers presenting original unpublished results in all areas of combinatorial optimization and its applications are welcome. Simultaneous submissions to other conferences with published proceedings or journals are not allowed. There are two types of submissions:

Regular papers up to 12 pages. The submission deadline is January 15, 2026. The proceedings will be published by a special volume of Lecture Notes in Computer Science (LNCS. For an accepted paper to be included in the proceedings, it should be presented at the conference by one of the authors. More information about the submission procedure are available in the web site of the conference.

Short papers up to 4 pages. The submission deadline is January 31, 2026. Accepted short papers will be included in a volume of local proceedings.

IMPORTANT DATES
Submission of regular papers: January 15, 2026
Submission of short papers: February 15, 2026
Notification: February 22, 2026
Early registration conference: March 1, 2026
Early registration school: March 1, 2026

CONFERENCE CHAIRS
Volker Kaibel, Otto-von-Guerricke Universität, Germany
Simge Küçükyavuz, Northwestern University, USA
Hakan Kutucu, Karabuk University, Turkey
A. Ridha Mahjoub, Kuwait University, Kuwait; University Paris-Dauphine, France

STEERING COMMITTEE
Mourad Baïou, LIMOS, CNRS, University Clermont-Auvergne, France
Pierre Fouilhoux, LIPN, Université Sorbonne Paris Nord, France
Luis Gouveia, University of Lisbon, Portugal
Jon Lee, Industrial and Operations Engineering, University of Michigan, USA
Ivana Ljubic, ESSEC Business School, Paris, France
Nelson Maculan, Universidad Federal do Rio de Janeiro, Brasil
A. Ridha Mahjoub, Kuwait University, Kuwait; University Paris-Dauphine, Paris, France
Giovanni Rinaldi, IASI, Rome, Italy)

ORGANIZING COMMITTEE
Onur Baysal, University of Malta, Malta
Mariem Ben Salem, ESPRIT, Tunis, Tunisia
Gulnaz Boruzanlı, Ege University, Izmir, Turkey
Korhan Günel, Aydın Adnan Menderes University, Izmir, Turkey
Hakan Kutucu, Karabuk University, Turkey

For more information on the Symposium and the School, see https://isco2026.com.tr/

Co-Chairs
Volker Kaibel
Simge Küçükyavuz
Hakan Kutucu
A. Ridha Mahjoub


**********************************************************
*
* 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] MAPSP 2026 - Call for Submissions *New Submission Deadline*

MAPSP 2026 - Call for Submissions

17th Workshop on Models and Algorithms for Planning and Scheduling Problems
(MAPSP 2026)

June 21-26, 2026

Redworth Hall Hotel, County Durham, UK

Website: https://mapsp2026.webspace.durham.ac.uk/

Contact: mapsp2026@gmail.com

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

MAPSP is a biennial workshop dedicated to building a community of
researchers interested in theoretical and practical aspects of scheduling,
planning, and timetabling. The 17th Workshop on Models and Algorithms for
Planning and Scheduling Problems (MAPSP 2024) will be organized at Redworth
Hall Hotel near Durham, UK. It will take place in the week of June 21–26,
2026.

Set amidst 26 acres of tranquil grounds, Redworth Hall combines historic
Jacobean charm with luxury. Amenities include a spa, a gym, and an indoor
swimming pool. Scientific sessions will take place in the Prince Bishop
Suite and in the magnificent Great Hall, where dinners will also be served.
The closest relevant airport is Newcastle International Airport (NCL) and
the nearest train station is Darlington. From there, the hotel can be
reached by bus or taxi.

The program will consist of invited plenary lectures and shorter
contributed talks. The invited speakers are yet to be confirmed.

Submission
-----------------------------------------------------------
We invite submissions describing research related to scheduling, planning,
or timetabling (broadly defined). Further we invite submissions describing
research in adjacent topical areas that would be of interest to researchers
in the MAPSP community. MAPSP submissions undergo a selection process based
on a light refereeing by the Program Committee. MAPSP does not publish
proceedings, other than a conference booklet (no ISSN). Hence, presenting
your contribution at MAPSP will not prevent you from submitting it to
journals or to other conferences. Similarly, it is acceptable to submit a
contribution that has already appeared elsewhere. It is expected that one
author of each submission will give a short (approximately 20 minutes) talk
at the workshop. MAPSP has a firm policy of only one talk per person.
Abstracts of 2–3 pages must be submitted using EasyChair using the MAPSP LaTeX
template. Please remember to specify the speaker in the abstract.

EasyChair Submission Link:
https://www.easychair.org/conferences/?conf=mapsp2026
MAPSP LaTeX Template: https://people.cs.pitt.edu/~kirk/MAPSP/mapsp
-template.tex

Important Dates
-----------------------------------------------------------
Submission deadline: February 7, 2026, 23:59 Anywhere on Earth February 12,
2026, 23:59 Anywhere on Earth
Notification: March 5, 2026
Early registration deadline: April 8, 2026
Conference: June 21-26, 2026

Program Committee
-----------------------------------------------------------
Alexander Lindermayr – TU Berlin
Alison Liu – Utrecht University
Arindam Khan – IISC Bangalore
Franziska Eberle – TU Berlin
Jens Schlöter – CWI
Lars Rohwedder – University of Southern Denmark (chair)
Marek Elias – Bocconi University
Moritz Buchem – Bremen University
Ruilong Zhang – TU Munich
Sami Davis – Simons Institute and UC Berkeley
Sander Borst – MPI Saarbrücken
Tjark Vredeveld – Maastricht University

Organizing Committee
-----------------------------------------------------------
Thomas Erlebach – Durham University
Prudence Wong – University of Liverpool

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

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