Theory Announcements: 2025

Tuesday, November 25, 2025

[DMANET] CfP: WiL 2026 – 10th Women in Logic Workshop, 24–25 July 2026, Lisbon (Portugal)

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

Call for Contributions

WiL 2026: 10th Women in Logic Workshop

July 24-25, 2026

Affiliated with FLOC 2026

https://sites.google.com/view/wil2026

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

We are pleased to call for submissions to WiL 2026, the "10th International
Workshop for Women in Logic", which will take place in Lisbon on 24–25 July
2026, as a satellite event of FLoC 2026.

The Women in Logic workshop (WiL) provides an opportunity to highlight and
increase awareness of the valuable contributions made by women in the field
of logic and computer science. Its main goal is to promote and showcase
excellent research led by women, ultimately fostering greater visibility
and representation within the community.

Previous editions of Women in Logic have taken place in Reykjavík (2017),
Oxford (2018), Vancouver (2019), Paris (2020), Rome (2021), Haifa (2022),
Rome (2023), Tallinn (2024), and Birmingham (2025).

* Submissions *

Abstracts should be written in English (max 2 pages excluding references),
and prepared using the Easychair style (
https://easychair.org/publications/for_authors). The abstracts should be
uploaded to the WiL 2026 Easychair page

https://easychair.org/my/conference?conf=wil2026

as a PDF file before the submission deadline on May 5, 2026, anywhere on
Earth.

Topics of interest include but are not limited to: automata theory,
automated deduction, categorical models and logics, concurrency and
distributed computation, constraint programming, constructive mathematics,
database theory, decision procedures, description logics, domain theory,
finite model theory, formal aspects of program analysis, formal methods,
foundations of computability, games and logic, higher-order logic, lambda
and combinatory calculi, linear logic, logic in artificial intelligence,
logic programming, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language semantics,
proof theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.

* Important Dates *

Abstract Submission: May 5, 2026

Paper Notification: May 15, 2026

Grant Application: May 17 2026

Grant Notification: May 19, 2026

Early Registration: TBA

Contribution for Informal Proceedings: June 25, 2026

Workshop: July 24-25, 2026

* Invited Speakers *

Valeria de Paiva (Topos Institute)

Raheleh Jalali (University of Bath)

More TBA

* Program Committee *

Sandra Alves (Porto University)

Huimin Dong (Co-chair, TU Wien)

Amy Felty (University of Ottawa)

Nina Gierasimczuk (Technical University of Denmark)

Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de México)

Delia Kesner (Université Paris Cité)

Fenrong Liu (Tsinghua University)

Anela Lolic (Co-chair, TU Wien)

Daniele Nantes-Sobrinho (UNB, Brazil)

Aybüke Özgün (University of Amsterdam)

Anja Petkovic Komel (Ethereum Foundation / TU Wien)

Elaine Pimentel (Co-chair, UCL)

Tephilla Prince (IIT Dharwad)

Sara Uckelman (Durhan University)

More TBA

* Grants *

A limited number of travel grants is available for students/young
researchers who would not otherwise have resources to attend WiL, and whose
attendance would benefit both the applicant and the event.

* Special Issue – 10 Years of the Women in Logic Workshop *

We are delighted to pre-announce a special 10th Anniversary Edition of
Women in Logic, which will be published in the Journal of Logic and
Computation. This celebratory issue will highlight a decade of
contributions by women to the development of logic and its applications,
showcasing both established and emerging voices in the community.

The call for papers will be launched soon, and we warmly encourage
submissions from researchers working across all areas of logic. This
special edition represents an important milestone in the ongoing effort to
increase visibility, representation, and opportunities for women within the
field.

More details: https://sites.google.com/view/wil2026/call-for-papers

**********************************************************
*
* 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/Associate Professor positions in Algorithms at University of Southern Denmark

The Department of Mathematics and Computer Science (https://www.sdu.dk/en/om_sdu/institutter_centre/imada_matematik_og_datalogi) (IMADA), SDU, Odense/Vejle, Denmark, invites applications for positions in Algorithms at the levels of assistant and associate professor. Applicants are asked to state in their letter of application on which level and to which campus they wish to apply. The intended starting date is 1 August 2026 with room for flexibility. The application deadline is 10 January 2026.

The current focus areas of the Algorithms research conducted at IMADA include combinatorial optimization, online algorithms, graph theory, data structures, complexity theory, cryptology, and algorithmic cheminformatics. We are interested in strong applicants who can contribute to these topics or complement them with new and promising directions, including applications of algorithms. (Read about the algorithms group: https://algorithms.sdu.dk/.)

We are looking for candidates

* with a PhD and research background in Computer Science with a focus on Algorithms.

* with a strong track record of publications in top-level conferences and journals, relative to academic age.

* who can contribute to teaching and advising in the department's Bachelor, Master's, and PhD programs in Computer Science.

For applicants for a position of tenure-track assistant professor, we expect a research track record that shows considerable potential. Such an appointment as assistant professor leads to an assessment for a position as tenured associate professor before the end of the sixth year of employment. Contingent on a positive academic assessment, the assistant professor will transit into a tenured position as associate professor. A tenure-track assistant professor can request assessment for tenure earlier.

For applicants for a position of associate professor, we expect a recognized research track record of more than four years after the PhD and demonstrated ability to direct independent research projects and obtain external funding. In addition, applicants are expected to have substantial experience in teaching and supervision. The associate professorship position is a tenured position.

Fluency in English is required, whereas knowledge of Danish is not a prerequisite for application. More than half of the research staff members in computer science have international backgrounds. Successful applicants will be offered Danish courses by the university.

For further information and questions on the positions, please contact Head of Section, Professor Kim Skak Larsen (kslarsen@imada.sdu.dk).

Odense and Vejle provide family-friendly living conditions with the perfect combination of a historic city centers with an urban feel and yet a close proximity to beaches and recreational areas. The beautiful locations come with easy access by train or highway to the bigger cities of Aarhus and Copenhagen.

More information and directions for applying can be found at:
https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3319?lastSelectedFacet=CATEGORIES&selectedCategoriesFacet=300000002425904

[DMANET] FUN 2026: First Call for Papers

The 13th International Conference on Fun with Algorithms (FUN 2026) will be held in Island of Porquerolles, France, on May 18-22 2026, at Hôtel Club Igesa Porquerolles.

FUN is a series of conferences dedicated to the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area.
Fun is a notion that can be judged from different perspectives, and be defined in many different manners. The conference defines fun in a broad sense, including aspects such as elegance, simplicity, amusement, surprise, originality, etc.
The topics of interest include all aspects of algorithm design and analysis, and of computational complexity, under all types of models.

Conference website:
https://fun2026.limos.fr/

Important dates:
Submission deadline: January 6, 2026 (End of Day, Anywhere on Earth (AoE))
Notification date: February 17, 2026
Final version due: March 3, 2026
Conference date: May 18 - May 22, 2026

Submission instructions

Submissions should be made via the FUN2026 Easychair submission server. (TBA)
Submissions can have unlimited length, and authors are encouraged to submit complete papers, in A4 or letter format, 11pt, single column, with reasonable margins. The first ten pages of the submitted papers must include a self-contained description of the results, of their motivations and impact. Papers submitted for review should represent original, previously unpublished work. At the time the paper is submitted to the conference, and for the entire review period, the paper (or essentially the same paper) must not be under review by any other conference with published proceedings or by a scientific journal.
At least one author of each accepted paper is expected to physically attend the conference and present the paper.
Conference proceedings will be published by LIPIcs, Schloss Dagstuhl – Leibniz Center for Informatics, Volume TBA. Authors of accepted papers will be asked to submit the final, camera-ready version of their paper in LIPIcs style not later than March 3, 2026. The page limit is 20 pages maximum, in total, i.e., including title, authors, affiliation, figures, bibliography, etc.

PROGRAM COMMITTEE

* Aaron Williams, Williams College, USA.
* Bernardo Subercaseaux, Carnegie Mellon University, USA.
* Danny Krizanc, Wesleyan University, USA.
* Della H. Hendrickson, Massachusetts Institute of Technology, USA.
* Emily Fox, University of Illinois Urbana-Champaign, USA.
* Flaminia L. Luccio, Università Ca' Foscari Venezia, Italy.
* Florian Galliot, Université d'Aix-Marseille, France.
* Greg Aloupis, Northestern University, USA.
* John Iacono (chair), Université libre de Bruxelles, Belgium.
* Kévin Perrot, Université d'Aix-Marseille, France.
* Luciano Gualà, Università degli Studi di Roma Tor Vergata, Italy.
* Luisa Gargano, Università degli Studi di Salerno, Italy.
* Maarten Löffler, Utrecht University, Netherlands.
* Markus Holzer, Justus-Liebig-Universität Gießen, Germany.
* Martin Seybold, Université libre de Bruxelles, Belgium.
* Mirela Damian, Villanova University, USA.
* Shantanu Das, Université d'Aix-Marseille, France.
* Shikha Singh, Williams College, USA.
* Valentin Polishchuk, Linköpings universitet, Sweden.
* Yuichi Sudo, Hosei University, Japan.

STEERING COMMITTEE

* Flavio Chierichetti, Università di Roma, Italy.
* Irene Finocchi, Luiss Guido Carli, Italy.
* Pierre Fraigniaud, Institut de Recherche en Informatique Fondamentale, France.
* Linda Pagli, Università di Pisa, Italy.
* Giuseppe Prencipe, Università di Pisa, Italy.
* Paolo Boldi, Università di Milano, Italy.
* Nicola Santoro, Carleton University, Canada.
* Tami Tamir, Reichman University, Israel.
* Yushi Uno, Osaka Metropolitan University, Japan.

[DMANET] Full-time academic position in Algebra and Combinatorics at ULB (Brussels, Belgium)

The Department of Mathematics at Université libre de Bruxelles (ULB) is seeking to hire a new faculty member within the Algebra and Combinatorics research group. The Algebra and Combinatorics group currently has 4 permanent members (Samuel Fiorini, Dimitri Leemans, Špela Špenko and Joost Vercruysse), as well as a number of postdocs and PhD students.

Application deadline: 31 January 2026
Start date: 01 October 2026

More details about the opening can be found at the following URL:

https://cwfront.ulb.ac.be/vacacad/vacancies/download/10158

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

[DMANET] [Scheduling seminar] Hoogeveen, J.A. (Utrecht University) | November 26 | Planning shunting operations at railway hubs

Dear scheduling researcher,

We are delighted to announce the talk given by Han Hoogeveen (Utrecht
University). The title is "Planning shunting operations at railway
hubs". The seminar will take place on Zoom on Wednesday, November 26 at
14:00 UTC.
Join Zoom Meeting
https://cesnet.zoom.us/j/97711129359?pwd=8bUbSE56gVa8UilLUasEbVT8QX2HnU.1
Meeting ID: 977 1112 9359
Passcode: 599095

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

The abstract follows.
At night, trains are parked on shunting yards. Here cleaning and small
maintenance takes place, after which the trains have to leave in the
morning at the planned departure time and in the desired composition,
which may require splitting and coupling during their stay at the yard.
As NS (Dutch Railways) continues to expand its fleet while the available
yard space remains fixed, the shunting yards are becoming increasingly
congested, with occupation rates reaching up to 90%. Consequently,
planning all train movements and related activities has become a complex
challenge. In this talk, I will discuss the main challenges encountered
in planning the shunting yards and the algorithms that we have designed
to tackle these problems. First, I want to discuss the shunting problem
on a single yard. We solve this problem using local search; our
algorithm is the first one that is capable of solving real-world problem
instances of the complete shunting and scheduling problem. Next, I want
to extend the problem to the entire station area, which requires that we
distribute the trains over two (or more) shunting yards, while avoiding
interference with through traffic and respecting the capacity of the
separate shunting yards. The main difficulty here is that the capacity
of the shunting yard is not known; we use data analysis to estimate it.
Finally, I want to discuss the problem of assigning shunting tasks to
train drivers. This is a variant of the technician routing problem
without skills, but with synchronization. We have developed an algorithm
for this that is based on a novel decomposition approach.

The next talk in our series will be:
Laurent Houssin (ENAC, Université de Toulouse) | December 10 | Flow-shop
and job-shop robust scheduling problems with budgeted uncertainty
For more details, please visit https://schedulingseminar.com/

With kind regards

Zdenek Hanzalek, Michael Pinedo and Guohua Wan

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

[DMANET] Probability and Analysis 2026 — Registration and Call for Talks

Dear Colleagues,

We would be grateful if you could consider or forward the following
information to your collaborators or students.

The conference Probability and Analysis 2026 will be held on 11–15 May 2026
in Będlewo, Poland. We accept talks and posters.

The conference highlights recent developments at the intersection of
probability and analysis, with sessions devoted to Markov processes,
complex stochastic systems, PDEs and stochastic PDEs, harmonic analysis and
martingales, and integrable probability.

Further information and the registration form are available at:
https://panda2026.pwr.edu.pl/

We look forward to seeing you in Będlewo.

With best regards,
Krzysztof Bogdan
on behalf of the Organizers

Monday, November 24, 2025

[DMANET] Neel Nanda's MATS Summer 2026 Applications Open!

Applications are now open for Neel Nanda's ML Alignment & Theory Scholars
(MATS) Summer 2026 Stream!

MATS is an independent research and educational seminar program that
connects talented scholars with leading mentors in AI alignment, security,
and governance. Neel Nanda's stream applications open earlier than the
others to accommodate a unique, intensive training phase.

Accepted applicants will first participate in a five-week exploration
program, after which a subset will be selected to continue into the full
MATS program.

Timeline:

Applications due December 23
-

Decisions released ~January 12
-

Exploration phase February 2 - March 6 (5 week online program for top ~32
candidates)
-

Research phase decisions mid-March
-

Research phase June 1 - August 21 (12 week in-person program for top ~8
candidates)

Applications for all other streams will open in late December, and you can
fill out this form
<https://forms.matsprogram.org/summer2026eoi?utm_source=apply_page&utm_medium=website>
to hear about the full application launch. For full details on the program
and how to apply, visit our website <http://matsprogram.org/apply>.

--
*Vivian Ha *
*Operations Generalist *
ML Alignment and Theory Scholars (MATS) <https://www.matsprogram.org/>
vivian@matsprogram.org
*[image: https://www.matsprogram.org/] <https://www.matsprogram.org/>*

[DMANET] WALCOM 2026 - Call for participation

Call for Participation - WALCOM 2026

The 20th International Conference and Workshops on Algorithms and
Computation
March 4-6, 2026, Perugia, Italy
https://mozart.diei.unipg.it/walcom2026

The International Conference and Workshop on Algorithms and Computation
(WALCOM) provides an international forum for researchers working in the
areas of algorithms and computation. WALCOM 2026 will be held from March
4th to March 6th, 2026, in Perugia, Italy.

Invited Speakers
----------------

Paolo Ferragina, Scuola Superiore Sant'Anna, Pisa, Italy
Petra Mutzel, Universität Bonn, Germany
Bart Jansen, Eindhoven University of Technology, the Netherlands

Accepted Papers
---------------

The list of accepted papers is available at:

https://mozart.diei.unipg.it/walcom2026/accepted-papers.html

Registration
------------

The early registration deadline is January 15, 2026. Reduced
registration fees are
available for students. Registration can be done at:

https://mozart.diei.unipg.it/walcom2026/registration.html

Venue and Accommodation
-----------------------
The 20th International Conference and Workshops on Algorithms and
Computation (WALCOM 2026) will be located at the Department of
Engineering of the University of Perugia, Perugia,Italy. Travel
information and suggestions for the accommodation can be found at:

https://mozart.diei.unipg.it/walcom2026/travel-accommodation.html

[DMANET] Deadline Approaching: PhD Position in Bilevel and Robust Optimization at the University of Technology Nuremberg (UTN)

Deadline Approaching: PhD Position in Bilevel and Robust Optimization at the University of Technology Nuremberg (UTN)

The Discrete Optimization Lab (Prof. Johannes Thürauf) is currently offering a fully funded doctoral research opportunity (3 years, 100%, TV-L E13) as part of the interdisciplinary project "Strategic Resilience for Future Energy Systems".

The successful candidate will conduct research in bilevel and robust optimization, with a particular focus on the emerging area of robust bilevel optimization.

Applications will be reviewed on a rolling basis. To receive full consideration, please apply by 9.12.2025.

For more details about the position and the application process, please see the official advertisement:

Doctoral researcher (Ph.D.) positions at UTN with the topic of Bilevel and Robust Optimization (m/f/d) under

https://www.utn.de/karriere/angebote-fuer-promovierende/

If you have any questions regarding the position, please do not hesitate to contact me at johannes.thuerauf@utn.de

[DMANET] [Internship Offer] Pickup and Delivery Problem for a Remanufacturing Plant (LIMOS, France)

Dear colleagues,

Please find below a 5-month internship offer at LIMOS (Université Clermont
Auvergne), starting from April 2026.

Internship title: Pickup and Delivery Problem for a Remanufacturing Plant
Duration: 5 months
Period: Starting April 2026

Context: This internship is part of a research project focused on an
integrated problem involving the collection, repair, and delivery of
products in a remanufacturing context, a crucial component of the circular
economy. The objective is to study a simplified version of the
Remanufacturing Pickup and Delivery Inventory Routing Problem (R-PDIRP),
including:
- the collection of products from customers,
- their repair under capacity constraints,
- and their final delivery.
The work includes a literature review, instance generation, and the
sequential resolution of subproblems using mathematical modeling and/or
heuristics.

Desired profile:
- Master's student (or equivalent) in computer science, industrial
engineering, or a related field;
- Strong programming skills (C++, Python, or Java);
- Good knowledge of mathematical modeling (MIP) and heuristic design.

The internship may lead to a PhD opportunity.

Applications (CV + motivation letter + transcript of records) should be
sent to: Philippe Lacomme (philippe.lacomme@uca.fr) and Katyanne Farias (
katyanne.farias_de_araujo@uca.fr).

Please feel free to share this offer with potentially interested students.

Best regards,

Katyanne FARIAS
Assistant Professor
SIGMA Clermont
Research Laboratory, LIMOS UMR 6158 CNRS

[DMANET] 27th International Conference on Distributed Computing and Networking (ICDCN 2026): Call for Participation

======================================================================
Call for Participation
======================================================================

27th International Conference on Distributed Computing and Networking (ICDCN 2026)
http://icdcn.org/

Nara, Japan
January 6-9, 2026
Nara Kasugano International Forum IRAKA

-------------------------------------------------
* Registration is now open (early registration deadline is ** November 30 **)
https://sites.google.com/view/icdcn2026/participate/registration

* Program Schedule (Tentative): https://sites.google.com/view/icdcn2026/program/program-schedule

* Main Features:

** Two Distinguished Keynotes for the Conference:
- Prof. Robert E. Tarjan (Princeton University, USA, Turing Awardee)
- Prof. Seth Gibert (National University of Singapore, Singapore)
** One Joint Keynote for All Workshops:
- Prof. Kaoru Ota (Tohoku University / Muroran Institute of Technology, Japan)

** 12 Full Papers and 11 Short Papers for the Main Track (https://sites.google.com/view/icdcn2026/program/accepted-papers?authuser=0)
** Panel Session (TBA)
** 19 Papers for Posters and Demos
** 7 papers for Doctoral Symposium
** Three Tutorials on Cutting Edge Topics:
** Four workshops with 18 Papers: https://sites.google.com/view/icdcn2026/workshops

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

[DMANET] SCIP Optimization Suite 10.0.0

Hello everyone,

A new major release of the SCIP Optimization Suite has been released,
including GCG 4.0.0, PaPILO 3.0.0, SCIP 10.0.0, SoPlex 8.0.0, UG 1.0.0
(no longer beta), and ZIMPL 3.7.0.

The new release is available in source code or precompiled form at

https://www.scipopt.org/index.php#download

Next to exact MILP solving, plenty of new features and other
improvements have been added. Read about them in the release report:

https://optimization-online.org/2025/11/the-scip-optimization-suite-10-0/

To also get an overview on API changes, bugfixes, etc, the CHANGELOGs of
the individual projects can be consulted:
- GCG: https://github.com/scipopt/gcg/blob/v40-bugfix/CHANGELOG
- PaPILO: https://github.com/scipopt/papilo/blob/v3.0.0/CHANGELOG
- SCIP: https://www.scipopt.org/doc/html/RN10.php
- SoPlex: https://soplex.zib.de/doc-8.0.0/html/CHANGELOG.php
- ZIMPL: https://github.com/scipopt/zimpl/blob/v3.7.0/CHANGELOG

To give feedback, check out the options given at
https://www.scipopt.org/index.php#contact.

Thank you,
Stefan
**********************************************************
*
* 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] [AI-SEC 2026][Deadline Extended] CFP - The 2nd International Workshop on Artificial Intelligence for Cybersecurity, Victoria University of Wellington, New Zealand (Hybrid conference), April 8-10 2026

[Apologies if you receive multiple copies of this CfP.]

********************************************************************************
The 2nd International Workshop on Artificial Intelligence for Cybersecurity (AI-SEC-2026), in conjunction with the 40th International Conference on Advanced Information Networking and Applications (AINA-2026) Conference, Victoria University of Wellington, New Zealand (remote participation is possible), April 8-10, 2026.
https://sites.google.com/community.unipa.it/ai-sec2026
********************************************************************************

About the Workshop: The AI-SEC 2026 workshop aims to bring together researchers, industry professionals, and practitioners to discuss the latest advancements in artificial intelligence for cybersecurity. The workshop will focus on innovative AI techniques and real-world applications that strengthen system and network security, counter evolving cyber threats, and ensure the robustness of AI models in distributed environments. Topics of Interest: All topics related to the contribution of artificial intelligence approaches to network and distributed system security are welcome. These include, but are not limited to:
• AI for the detection of threats and anomalies in Software-defined Networking
• AI-Enhanced security for Mobile Ad-hoc Networks and Wearable Systems
• AI-assisted techniques for security in web applications
• Detection and mitigation of AI-enabled cyberattacks
• AI-assisted techniques for network intrusion detection
• Security in IoT and pervasive networks with AI
• AI-assisted authentication and network access control
• Network forensic analysis using AI
• AI-powered malware detection in distributed settings
• AI-based context-aware network diagnostic and threat detection
• AI for data security and privacy in distributed systems
• Vulnerability assessment of AI and related technologies in distributed computing systems
• AI for physical layer and cross-layer security
• Applications of AI methods for wireless and mobile security
• AI-based fault tolerance in distributed systems
• AI-enhanced Trust Management in Multi-agent Systems

SUBMISSION GUIDELINES
We welcome research papers up to 10 pages. Submissions should be made in PDF format following the Lecture Notes Style of Springer Proceedings (template available here: https://voyager.ce.fit.ac.jp/conf/aina/2026/public/For-the-authors-LECTURE-NOTES-TEMPLATES.zip). For detailed submission instructions, please visit https://voyager.ce.fit.ac.jp/conf/aina/2026/Papersummit.

Paper submission link: https://edas.info/newPaper.php?c=34048&track=132262.

All accepted papers will be included in the conference proceedings of the Lecture Notes series published by Springer. Proceedings will be sent by Springer for indexing in SCOPUS. Authors of accepted papers will be given instructions for submitting the camera-ready version and the copyright form.

IMPORTANT DATES
Submission Deadline: [Extended] December 25, 2025
Authors Notification: January 15, 2026
Author Registration: January 31, 2026
Final Manuscript: January 31, 2026

[DMANET] Final Call for Submissions - WAGS@FSTTCS'25 - Deadline Extended!

*Apologies for multiple postings*

Dear Colleagues,

Please see below the final call for submissions for Workshop on Automata
and Games for Synthesis, and note that the submission deadline is extended
to *1st December AOE.* Please distribute the call, consider submitting and
encourage your fellow researchers and students to submit their best work of
the year!

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

Call for Participations

Workshop on Automata and Games for Synthesis
<https://sites.google.com/view/wagsfsttcs2025/home>

Goa, India

December 20th, 2025

Co-located with Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) 2025 <https://www.fsttcs.org.in/2025/>

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

Submission of contributed talks at: https://forms.gle/baHEbDRh5eJbfgbA8

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

Workshop website: https://sites.google.com/view/wagsfsttcs2025

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

About the workshop

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

The second iteration of the *Workshop on Automata and Games for Synthesis*
is an on-site event happening on December 20, 2025, in Goa, India. It is
co-located with Foundations of Software Technology and Theoretical Computer
Science (FSTTCS) 2025, the premier international computer science
conference in India, and held annually in December since 1981. Automated
synthesis of systems from specifications has been a longstanding goal of
computer science. The workshop focuses on various aspects by which automata
and game solving are used to tackle problems motivated by synthesis.

The workshop will feature three invited speakers and some sessions with
short presentations. For the short presentations, *students, postdocs, and
early-career researchers* are encouraged to talk about their research in 10–15
minute sessions (exact length will depend on the number of contributions).
For submission, we solicit a title and an abstract for the talk (please
find the Google Form link below).

The workshop does not have proceedings; therefore previously published
talks or ongoing work are both encouraged to be presented. Topics for
presentation at the workshop include, but are not limited to, the following:

Automata Theory

Reactive Synthesis

Games on Finite and Infinite Graphs

Computational aspects of Game Theory

Concurrency and Distributed computation

Formal Languages

Games and Automata for Verification

Specification and Verification of Finite and Infinite-state Systems

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

Important dates and information

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

Submission Deadline

: *December 1, 2025 (AoE)*

Notification

Final Notification

: Sent on a rolling basis, let us know if you need it before the early-bird
registration deadline of FSTTCS ends (on *November 30th AOE*).

: December 3rd, 2025

Workshop

: December 20, 2025

Submission of contributed talks at: https://forms.gle/baHEbDRh5eJbfgbA8

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

Invited speakers

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

Orna Kupferman (Hebrew University)

B. Srivathsan (Chennai Mathematical Institute)

Aditya Prakash (LIS, Aix-Marseille Université)

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

Organisers

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

Sougata Bose

Suman Sadhukhan

K.S. Thejaswini

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

Program

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

The detailed program will be available here
<https://sites.google.com/view/wagsfsttcs2025/schedule> closer to the
workshop.

For any queries, contact the organisers: sougata.bose@umons.ac.be,
suman.sadhukhan00@gmail.com, thejaswini.k.s@ista.ac.at

Best regards,

Suman Sadhukhan

Sunday, November 23, 2025

[DMANET] SEA 2026 Preliminary Call for Papers

*SEA 2026: 24th Symposium on Experimental Algorithms*

IDA Conference center, Copenhagen, Denmark

June 22-24, 2026

https://sea2026.github.io/

*Preliminary Call for Papers*

*Topics*

SEA aims to attract papers that highlight the role of experimentation and
algorithm engineering techniques in the design and analysis of algorithms
and data structures. The symposium also welcomes works that explore novel
applications of algorithms in other disciplines. Submissions should present
significant results supported by sound experimental evaluation, address
methodological aspects in the design and interpretation of experiments,
investigate the use of (meta-)heuristics, or offer application-driven case
studies that advance the understanding of the complexity of a problem.

Topics include, but are not limited to:

Algorithm Engineering

Algorithmic Libraries and Software Repositories

Algorithmic Cryptography and Security

Algorithmic Natural Language Processing

Algorithmics for Databases

Analysis of Algorithms

Approximation Algorithms

Bioinformatics and Computational Biology

Branch-and-Bound Algorithms

Combinatorial Problems and Structures

Communication Networks

Computational Geometry

Computational Optimization

Compressed space algorithms and data structures

Data Structures

Distributed and Parallel Algorithms

Graph Algorithms

Heuristic Algorithms

Integer Programming

Logistics and Operations Management

Machine Learning and Data Mining

Mathematical Programming

Multiple Criteria Decision Making

Network Analysis

Online Problems

Randomized Algorithms

Semidefinite Programming

String Algorithms

Streaming and External Memory Algorithms

*Important Dates*

Deadline for submissions: January 23, 2026 (AoE)

Author notification: March 31, 2026

*Submission and Proceedings*

The conference proceedings will be published in the Leibniz International
Proceedings in Informatics (LIPIcs).

Authors should submit a paper not exceeding 12 pages, excluding
bibliography, front page, and a brief appendix of up to 5 pages.

SEA will implement a double-blind review process, and all papers have to be
fully anonymized. Non-anonymized papers will be desk-rejected.

Submissions will be through EasyChair (
https://easychair.org/conferences/?conf=sea2026)

Simultaneous submission to other conferences with published proceedings or
to journals is not allowed.

At least one author of each accepted paper will have to register for the
conference.

*Program Committee Co-chairs*

Martin Aumüller, IT University of Copenhagen

Irene Finocchi, LUISS Guido Carli University

*Organising Committee Chair*

Holger Dell, IT University of Copenhagen

*Contact Information*

All questions about submissions should be emailed to sea2026@easychair.org

Saturday, November 22, 2025

[DMANET] SECOND CFP 9th International Symposium on Combinatorial Optimlization

SECOND CALL OF PAPERS

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 December 15, 2025. 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: December 15, 2025
Submission of short papers: January30, 2026
Notification: February 15, 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

Friday, November 21, 2025

[DMANET] two Assistant Professor positions, Mathematics of Operations Research, Leiden University

The Mathematical Institute at Leiden University, the Netherlands, has two openings for the post of Assistant Professor in Mathematics of Operations Research, see https://careers.universiteitleiden.nl/job/Assistant-Professor-in-Mathematics-of-Operations-Research/16105-en_US/.

The posts will strengthen the active research group in Probability, Operations Research and Dynamics. More information about the group can be found at https://www.universiteitleiden.nl/en/science/mathematics/probability-theory.

If you would like more information about what the job entails, please contact Prof.dr. Michel Mandjes, at m.r.h.mandjes@math.leidenuniv.nl .
You can apply until 5 December 2025.

[DMANET] PhD-Position in Engineering a Graph Algorithms Library, Uni Rostock

We announce an opening for a PhD- or PostDoc-position in Engineering a new Graph Algorithms Library for full 3 years. The position begins as soon as possible and comes with social security and the competitive salary TV-L E13 100% according to the German public sector.

The PhD-position will be hosted at the Institute for Computer Science at the University of Rostock and be supervised by Jens M. Schmidt. We want to design and implement a new graph library specialized on very basic data structures and algorithms with a focus on speed and highly optimized and scalable platform-independent code. This shall be done from an algorithm engineering perspective, be supported by continuous testing and profiling of the written code, and adaptive to the particular algorithm that is called. Hence, candidates should have an excellent background in algorithm engineering, C++-programming (ideally stackoverflow is your regular friend) and first experiences with template metaprogramming. The position comes with a teaching load of 4 SWS, which is generally conducted in German, so that a basic knowledge of the German language is required. Solid English mathematical writing skills are desirable.

Applicants should submit their application until January 11th 2026 on the official application portal [1] containing
- a curriculum vitae
- a list of publications (if there are any)
- a summary of the (possibly preliminary) thesis, max. 1 page
- a list of courses and grades, and
- names and emails of one or two references (including thesis advisor)

Informal inquiries about the position can be made by writing to jens.schmidt (ät) uni-rostock.de.

[1] https://jobs.uni-rostock.de/jobposting/b44e709b473a74d67ce15b177e2cf4b0c4943b3f0?ref=homepage

Thursday, November 20, 2025

[DMANET] Academic positions in Mathematical, Statistical, and Computational aspects of AI and ML

The Faculty of Mathematics and the Institute for Mathematical and Computational Engineering (IMC) from the Pontificia Universidad Católica de Chile (PUC Chile) are offering up to two full-time professor positions at the assistant or associate level. The successful candidate will have a joint appointment between the Faculty of Mathematics and the IMC.

We welcome applications from highly qualified candidates with a track record of excellent research and a solid commitment to excellence in teaching and supervision.

This position is intended for those researchers interested in advancing the mathematical, statistical, and computational aspects of modern artificial intelligence, machine learning, and its applications. Candidates conducting research in areas including pure and computational mathematics, mathematical modelling, statistics, optimization, and theoretical computer science, that exhibit a convincing path towards AI research are also encouraged to apply.

The successful candidate will contribute to teaching courses at the Institute for Mathematical and Computational Engineering and the Faculty of Mathematics.

The typical teaching load is three semester-long courses a year, at the graduate or undergraduate level, split between the two academic units. Command of Spanish is not required for applying. The applicant's position and salary will be adjusted according to the policies and regulations at PUC, on the applicant's starting date. These will be determined according to the previous experience of the candidate.

PUC is committed to the values of diversity regarding origin, gender, and ethnicity to build a more diverse and inclusive community. For the current call, women are especially encouraged to apply.

The deadline for the applications is December 16th, 2025.

More information about the application process can be found in the following links:

IMC: https://imc.uc.cl/open-positions-in-mathematical-statistical-and-computational-aspects-of-artificial-intelligence-and-machine-learning/
MathJobs: https://www.mathjobs.org/jobs/list/27675

[DMANET] Call for Nominations: Autonomous Agents Award 2026

Nominations are solicited for the 2026 ACM SIGAI Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to recognize researchers in autonomous agents whose current work is an important influence on the field. The award is an official ACM award, funded by an endowment created by ACM SIGAI from the proceeds of previous Autonomous Agents conferences. The recipient of the award will receive a monetary prize and a certificate, and will be invited to present a plenary talk at the AAMAS 2026 conference.

***************
How to Nominate
***************

Anyone can make a nomination. Nominations should be made by filling out the below google form, and should consist of a short (< 1 page) statement that emphasizes not only the research contributions that the individual has made that merit the award but also how the individual's current work is an important influence on the field.

NOTE: a candidate can only be considered for the award if they are explicitly nominated. If you believe that someone deserves the award, then NOMINATE THEM -- don't assume that somebody else will!

Nomination Link: https://urldefense.com/v3/__https://forms.gle/RNLZgbbaPQe6TDsb6__;!!PDiH4ENfjr2_Jw!CZcCd9LkjolHdOAXUViCJD-YawpimHnI-gzctltSFrZ24vuBLrFhRxhjZM5d-zHliizVkc3ahODwXNWSY7l9mlaxB5BZaQbd9SqWuCObClA$ [forms[.]gle] [forms.gle]

***************
Important Dates
***************

15 December 2025 -- Deadline for nominations
1 February 2026 -- Announcement of winner
25-29 May 2026 -- AAMAS-2026 conference in Paphos, Cyprus

For any questions please contact Edith Elkind (Award Chair, edith.elkind@northwestern.edu) or Louise Dennis (SIGAI Vice Chair, louise.dennis@manchester.ac.uk).

--
Dr. Louise Dennis (She/Her). Room LF21 Kilburn, Department of Computer Science, University of Manchester, UK.

While I may send emails outside of office hours, I do not expect replies except within office hours.

[DMANET] Postdoc Position at LiU and SU in Sweden

We are seeking an outstanding postdoc to lead a project at the interface of computational mathematics, data science, and materials science. You will develop methods and software to enable new quantitative characterization of nanoscale materials, with a focus on the spatial arrangement of nanoparticles on porous materials. This work is a collaboration between the Hellmuth group (computational mathematics, Stockholm University) and the CATSA group (materials science, Linköping University).

Details can be found here:
https://liu.se/en/work-at-liu/vacancies/27747

Contact persons
*Marc Hellmuth, Associate Professor (Stockholm University)
<marc.hellmuth@math.su.se>

*Alexander Holm
Biträdande universitetslektor
<alexander.holm@liu.se>

Deadline for Application: December 1, 2025.

[DMANET] [CFP] The 35th International Conference on Computer Communications and Networks (ICCCN 2026) July 27 - 30, 2026, Honolulu, Hawaii USA

*** Please accept our apologies if you receive multiple copies of this CFP
***

CALL FOR PAPERS (ICCCN 2026)

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

The 35th International Conference on Computer Communications and Networks
(ICCCN 2026)
July 27 - 30, 2026, Honolulu, Hawaii USA
http://www.icccn.org/icccn26/
****************************************************************************************

ICCCN 2026 is Technically Co-Sponsored by the IEEE and IEEE Communication
Society.

The paper submission site will be opened in December 2025.

IMPORTANT DATES: Paper submission due: February 13, 2026

ICCCN is one of the leading international conferences for presenting novel
ideas and fundamental advances in the fields of computer communications and
networks. ICCCN serves to foster communication among researchers and
practitioners with a common interest in improving computer communications
and networking through scientific and technological innovation.

ICCCN 2026 will be conducted in person.

Scope:

The primary focus of the ICCCN 2026 conference is on new and original
research results in the areas of design, implementation, and applications
of computer communications and networks. ICCCN 2026 covers the following
technical Tracks (the detailed Track scope and descriptions are posted at
http://www.icccn.org/icccn26/committeesandtracks/technical-tracks/index.html
):

Track 1: Infrastructure Networking Technologies
• Dimitrios Pezaros, University of Glasgow, UK
• Ananthram Swami, DEVCOM Army Research Laboratory
• Feng Wang, Arizona State University

Track 2: Network Architecture, Algorithm, Protocol, and Evaluation
• Berk Canberk, Edinburgh Napier University, United Kingdom
• Kanchana Thilakarathna, University of Sydney
• Murat Yuksel, University of Central Florida

Track 3: IoT and Cyber-Physical Systems
• Fatemeh Afghah, Clemson University, USA
• Chiu Tan, Temple University
• Lei Xie, Nanjing University, China

Track 4: Edge and Cloud Computing
• Oliver Bringmann, Eberhard Karls Universität Tübingen, Germany
• Virginia Pilloni, University of Cagliari, Italy
• Yifan Zhang, Binghamton University

Track 5: Mobile/Pervasive Communications, Networking and Sensing
• Hao Han, Nanjing University of Aeronautics and Astronautics, China
• Tamer Nadeem, Virginia Commonwealth University
• Wei Wang, San Diego State University, USA

Track 6: Social Networks, Extended Reality, and Metaverse
• Bin Li, Penn State University, USA
• Yao Liu, Rutgers University
• Muhammad Shahzad, North Carolina State University

Track 7: AI/ML for Networks & Networks for AI/ML
• Ahmed Alkhateeb, Arizona State University
• Longfei Shangguan, University of Pittsburgh
• Cheng Zhang, Texas A&M University
• Yanfu Zhang, William & Mary

Track 8: Security, Privacy, and Trust
• Xinwen Fu, University of Massachusetts at Lowell
• Isabel Wagner, University of Basel, Switzerland
• Shucheng Yu, Yeshiva University, USA
• Chuan Yue, Colorado School of Mines

Track 9: Emerging Topics in Networking (e.g., Quantum Networking,
Distributed Quantum Computing, Distributed Machine Learning)
• Trung Q. Duong, Memorial University, Canada
• Nirmalaya Roy, UMBC, USA
• Jindi Wu, DePaul University, USA

PAPER SUBMISSION:

MAIN CONFERENCE:

Submitted manuscripts must be formatted in standard IEEE camera-ready
format (double-column, 10-pt font) and must be submitted via EasyChair (
https://easychair.org/conferences/?conf=icccn2026; this site will accept
paper submissions soon in due time) as PDF files (formatted for 8.5×11-inch
paper). The manuscripts should be no longer than 8 pages including all
figures/tables and references. Submitted papers should not be previously
published in or be under consideration for publication in another
conference or journal. Paper titles and/or author names cannot be changed
and/or added to the papers after the submission deadline or in the
camera-ready version if accepted. The Program Committee reserves the right
to not review papers that either exceed the length specification or have
been submitted or published elsewhere. Submissions must include a title,
abstract, keywords, author(s) and affiliation(s) with postal and e-mail
addresses. Note: ICCCN'26 will select Best Paper and a runner-up paper to
recognize the research quality and excellence. The Program Committee
reserves the right to recommend some borderline conference papers to be
accepted as short papers in the conference (the short papers should be no
longer than 6 pages including all figures/tables and references).

REVIEW and PUBLICATION of MANUSCRIPTS:

Submitted papers will be reviewed by the TPC and judged on originality,
technical correctness, relevance, and quality of presentation (the review
process is single-blind). An accepted paper must be presented at the
conference venue by a registered author at the full registration rate. Each
full registration covers up to two conference papers authored by the
registered author. If the originally registered author is unable to attend
the conference due to extenuating circumstances, he/she must explicitly ask
for the transfer of registration to one of the other authors of the paper.
Please note that an author's registration cannot be transferred to a
nonauthor presenter under any circumstances. Accepted and presented
(onsite) papers will be published in the conference proceedings and IEEE
Xplore.

WORKSHOPS:

ICCCN 2026 workshops are exciting forums to present, discuss, and formulate
specialize topics and emerging hot research topics (new areas, new problems
or new methods). The workshops offer a perspective distinct from and
complementary to the research themes of the main conference. Workshop
papers should be no longer than 6 pages including all figures/tables and
references. The detailed info can be found in each workshop's Call for
Papers from (http://www.icccn.org/icccn26/workshop/list-of-workshops/). For
any questions or additional information, please contact the Workshop
General or Workshop Program Chairs.

POSTER PAPERS:

ICCCN 2026 provides an opportunity to present in-progress work in the
fields of computer communications and networks. Topics of interest are the
same as the research topics in the ICCCN 2026 main conference Call for
Papers. Early implementations, prototypes, work-in-progress
systems/applications as well as commercial products that are related to the
topics are welcome. Presenting a poster is an effective way to obtain early
and valuable feedback from a knowledgeable crowd at the conference. Posters
must be formatted in standard IEEE camera-ready format (double-column,
10-pt font). Each poster submission must be no longer than 2 pages
including all figures/tables and references.

IMPORTANT DATES: All times below are 11:59 pm (Hawaii, USA);

Conference and Poster papers:
• Paper submission due: February 13, 2026
• Poster Paper submission due: March 29, 2026
• Acceptance Notification: April 24, 2026
• Conference date: July 27 -30, 2026

Workshop papers:
• Paper submission due: March 1, 2026
• Acceptance Notification: April 29, 2026
• Workshop date: July 29 - 30, 2026

All (conference/poster/workshops) Camera-Ready Papers Due: May 11, 2026
(Hard deadline)

Please refer to "Author Information" posted at the conference website for
more info on paper submission, presentation and related rules/policies.

Submission Link: https://easychair.org/conferences/?conf=icccn2026

CONFERENCE ORGANIZING COMMITTEE

Executive Chair: Krishna Kant, Temple University, USA (kkant@temple.edu)

General Chair: Ruidong Li, Kanazawa University, Japan (liruidong@ieee.org)

TPC Co-Chairs:
Qun Li, William & Mary, USA (liqun@cs.wm.edu)
Danda Rawat, Howard University, USA (danda.rawat@howard.edu)

Workshops General Chair:
Kewei Sha, University of North Texas, USA (comersha@gmail.com)

Poster Chair:
Wenjia Li, New York Institute of Technology, USA (wli20@nyit.edu)

Local Arrangement Chair:
Prof. Yi Zhu, Hawai'i Pacific University, USA (yzhu@hpu.edu)

Publications Co-Chairs:
Wei Tong, Nanjing University,China (wtong@nju.edu.cn)
Zhengrui Qin, Northwest Missouri State University, USA (zqin@nwmissouri.edu)

Publicity Co-Chairs:
(America) Mostafa Fouda, Idaho State University, ID, USA (mfouda@ieee.org)
(Europe) Zhengxin Yu, Lancaster University, U.K. (z.yu8@lancaster.ac.uk)
(Asia) Qiao Xiang, Xiamen University, China (qiaoxiang@xmu.edu.cn)
(Oceania) Wei Xiang, La Trobe University, Australia (W.Xiang@latrobe.edu.au)

Publicity Chair for Workshops:
Zongxin Xie from Kennesaw State University, USA (zxie1@kennesaw.edu)

[DMANET] Full Professor (W2) in Industrial Mathematics

RWTH Aachen University is inviting applications for the position of full
professor (W2) in the area of

Industrial Mathematics

to be filled as soon as possible. Candidates are expected to have
distinguished expertise and a visible research agenda in the field of
applied mathematics with implementation-oriented industrial relevance.
Relevant research topics include data-integrated simulation methods,
methods for artificial intelligence, modeling, optimization, optimal
control, inverse problems or imaging.

More details of the position and how to apply can be found at RWTH
appointment portal:

https://berufungsportal.rwth-aachen.de/

Deadline for application is December 22, 2025.

Kind regards,

Arie Koster

--
Prof. Dr. Arie M.C.A. Koster
Professor for Discrete Optimization
RWTH Aachen University
Pontdriesch 10-12, room 306 (2.0G), D-52062 Aachen
T: +49 (0)241 80-94995 (Secretary) -94524 (Direct) - F: +49 (0)241 80-92136
email <mailto:koster@math2.rwth-aachen.de> | www
<http://www.math2.rwth-aachen.de/koster/> | Google scholar
<https://scholar.google.com/citations?user=AAsK4wwAAAAJ&hl=en> | X
<https://x.com/ArieMCAKoster> | LinkedIn
<https://www.linkedin.com/in/ariekoster/>
**********************************************************
*
* 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] Applications Open — International Summer School on Generative AI (June 22–26, 2026)

Dear colleagues,

We are pleased to announce that applications are now open for *the
International Summer School on Generative AI: From NLP to LLMs to Agentic
AI — Theory, Applications, and Practice*, taking place June 22–26, 2026 at
Sapienza Università di Roma (Rome, Italy) in a hybrid format (in-person &
online).

The school offers an intensive program covering foundational concepts and
the state of the art in Natural Language Processing, Large Language Models,
and Agentic AI. Sessions include lectures, keynotes, and hands-on labs led
by experts from academia and industry, including the University of
Cambridge, Trent University, Napoli University, Malaga University, IBM,
Microsoft, Google, Red Hat, Inria, and others.

Why This Summer School is a Career Investment:

Learn from the Pioneers: Move beyond theory. Our curriculum is taught by
the very researchers and engineers driving innovation at the world's most
influential tech giants and academic institutions.

Network with the Best: Connect with a global cohort of high-caliber peers
and faculty, building professional relationships that will propel your
career forward.

Master the Cutting Edge: Dive deep into the architectures and methodologies
powering the next generation of AI.

*Highlights*

Trace the evolution from NLP → LLMs → Agentic AI
-

Join practice-oriented sessions and group projects
-

Connect with a diverse, international community of researchers and
innovators

*Capacity & admissions*

*Limited in-person seats: 50*
- *The** school is equevilant to **5 ECTS credits (**University
certificate**)*
-

*Rolling admissions* (applications reviewed as received) — early
applications are encouraged

Don't just keep up with the AI revolution—lead it.
👉 Learn more and apply now, visit the official page here:
https://intelligent-systems.net/school/index.php

We would be grateful if you could share this announcement with interested
students, researchers, and professionals in your network.

Regards,
Jamal Toutouh
On behalf of the summer school Organizing Committee
International Summer School on Generative AI
https://intelligent-systems.net/school/
----

*Prof. Jamal Toutouh*Vice Dean & Tenured Professor
- University of Málaga – jamal@uma.es – https://neo.lcc.uma.es/new/
Research Affiliate
- Massachusetts Institute of Technology – toutouh@mit.edu –
http://alfagroup.csail.mit.edu/

🌐 website: jamal.es
🐦 twitter: @jamtou

---

Wednesday, November 19, 2025

[DMANET] SOFSEM 2026 -- Call for Posters

51st International Conference on Current Trends in Theory and Practice
of Computer Science

February 9–13, 2026, Kraków, Poland

https://sofsem.uj.edu.pl

Poster Deadline: December 1, 2025 AoE
Poster Notification: December 8, 2025
Poster Camery-Ready: December 15, 2025

If you have some late-breaking or preliminary results, or want to give
your Ph.D. students a first chance to participate in a conference,
consider submitting (via Easychair) a 2-page abstract (LNCS style,
including references). Additionally, you can (but you don't have to)
upload a draft of the poster itself, in order to get feedback from
members of the program committee.

Poster abstracts will appear in the conference proceedings (LNCS) but
will not be considered properly reviewed publications, so full papers
can later be submitted to other conferences.

Posters must be presented in the poster session of the conference.

Early registration fees will be ~500 EUR (full) and ~400 EUR (student),
including lunches. Affordable accommodation (~55 EUR single, ~66 EUR
double room per night) in the immediate vicinity of the conference
location is available.

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

Invited Speakers

* Jarosław Błasiok, ETH Zurich, CH
* Jarosław Byrka, University of Wrocław, PL
* Sandra Kiefer, University of Oxford, UK
* Linda Kleist, Potsdam University, DE
* Jukka Suomela, Aalto University, FI
* Philip Wadler, University of Edinburgh, UK

Tradition

SOFSEM is an annual winter conference devoted to the theory and
practice of computer science. The conference traditionally focuses on
the latest results and developments of fundamental research in
computer science (informatics), inspired by the algorithmic challenges
of our time. SOFSEM has a long tradition as a high-quality research
conference, and a venue where researchers from academia and industry
in all stages of their career can share their insights.

Topics

The program committee encourages submission of original research
papers in all areas of foundations of computer science and artificial
intelligence, including e.g.

– algorithm engineering,
– algorithms and data structures,
– theory of machine learning and data science,
– automata, languages, rewriting systems,
– combinatorial optimization,
– combinatorics on words,
– computability, decidability, models of computation,
– computational complexity,
– computational geometry,
– cryptography and security,
– logic in computer science,
– games and online algorithms,
– graph drawing,
– graph algorithms,
– mathematical programming,
– network science,
– parallel and distributed computing,
– parameterized complexity,
– probabilistic and analytic methods in computer science,
– quantum computing,
– robotics,

and other relevant theory topics in computing and AI.

[DMANET] ISSAC 2026 - First Call for Papers

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

ISSAC 2026
International Symposium on Symbolic and Algebraic Computation
July 13th to 17th, 2026
Carl von Ossietzky Universität of Oldenburg, Germany
https://www.issac-conference.org/2026/

--------------------------------------------------------------------------------------
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2026 will be the 51st meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, short communications, software demonstrations and vendor exhibits with a center-piece of contributed research papers.

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

* Abstract submission deadline: January 23, 2026, 23:59 (anywhere on Earth)
* Paper submission deadline: January 30, 2026, 23:59 (anywhere on Earth)
* First notification of acceptance/rejection: April 17, 2026
* End of rebuttal phase: April 24, 2026
* Final notification after rebuttal phase: May 1, 2026
* Camera-ready copy due: May 8, 2026

Submission Instructions
-----------------------

ISSAC 2026 invites the submission of original research contributions to be considered for publication and presentation at the conference. Papers should not duplicate work published or submitted for consideration elsewhere.

Papers must be in English and should not exceed 8 pages in the ACM two-column style, found at:
http://www.acm.org/publications/proceedings-template
which can be downloaded from:
https://portalparts.acm.org/hippo/latex_templates/acmart-primary.zip

However, two additional pages may be used for bibliographical references, and/or for experimental results (tables, figures), experimental data (e.g. input or output systems for a solver) and computer program code (library code, scripts, worksheets, Makefiles, etc.). The portion of the paper before these two additional pages must be self-contained.

Extended abstracts are not allowed. At least one author of each accepted paper must register for the conference and present the paper.

Submission instructions will be published soon on the conference website.

Topics
------

All areas of computer algebra and symbolic mathematical computation are of interest. These include, but are not limited to:

- Algorithmic aspects:

* Exact and symbolic linear, polynomial and differential algebra
* Symbolic-numeric, homotopy, perturbation and series methods
* Computational algebraic geometry, polynomial and semialgebraic optimization
* Computational group theory and number theory, quantifier elimination and logic
* Computer arithmetic
* Summation, recurrence equations, integration, solution of ODEs & PDEs
* Symbolic methods in other areas of pure and applied mathematics
* AI methods and symbolic computation
* Complexity of algebraic algorithms and algebraic complexity

- Software aspects:

* Design of symbolic computation packages and systems
* Language design and type systems for symbolic computation
* Data representation
* Considerations for modern hardware
* Algorithm implementation and performance tuning
* Mathematical user interfaces
* Use with systems such as digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation

- Application aspects:

* Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact.

- Satellite Workshops/Conferences:

* The organizing committee of ISSAC 2026 invites proposals for Satellite Events aimed at enriching the conference program, attracting a broader audience, and promoting new developments and original research results in all areas of symbolic mathematical computation.

Current Satellite Events:
* Satisfiability Checking and Symbolic Computation Workshop 2026: https://www.sc-square.org/CSA/workshop11.html

Organizing Committee
--------------------

* General Chair: Christoph Koutschan, RICAM, Austrian Academy of Sciences, Austria
* Program Committee Chairs: Alin Bostan, Inria and Sorbonne University, France
Clément Pernet, Grenoble INP - UGA, France
* Local Arrangements Chair: Anne Frühbis-Krüger, Carl von Ossietzky Universität of Oldenburg, Germany
* Treasurer: Florian Hess, Carl von Ossietzky Universität of Oldenburg, Germany
* Publicity Chair: Ali Kemal Uncu, University of Bath, UK
* Short Communications Chair: Hao Du, Beijing University of Posts and Telecommunications, China
* Software Presentations Chair: Katsusuke Nabeshima, Tokyo University of Science, Japan

Program Committee
-----------------

Alin Bostan Inria and Sorbonne University, France
Christopher Brown US Naval Academy, United States of America
Claus Fieker University of Kaiserslautern, Germany
Ruyong Feng Chinese Academy of Sciences, China
Mark Giesbrecht University of Waterloo, Canada
Martin Helmer Swansea University, United Kingdom
Mioara Joldes CNRS and LAAS, France
Irina Kogan NCSU, United States of America
Diane Maclagan University of Warwick, United Kingdom
Stephen Melczer University of Waterloo, Canada
Fatemeh Mohammadi KU Leuven, Belgium
Clément Pernet Grenoble INP - UGA, France
Veronika Pillwein RISC JKU, Austria
Adrien Poteaux University of Lille, France
Daniel Robertz RWTH Aachen University, Germany
Mahsa Shirmohammadi CNRS and IRIF, France
Gilles Villard CNRS and ENS Lyon, France
John Voight University of Sydney, Australia
Kazuhiro Yokoyama Rikkyo University, Japan
Lihong Zhi Chinese Academy of Sciences, China

---

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM's new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.

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

[DMANET] SMARTCOMP 2026: Call for Research Papers

Call for Research Papers

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: 1st February 2026

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

Theory Announcements

Tuesday, November 25, 2025

[DMANET] CfP: WiL 2026 – 10th Women in Logic Workshop, 24–25 July 2026, Lisbon (Portugal)

[DMANET] Assistant/Associate Professor positions in Algorithms at University of Southern Denmark

[DMANET] FUN 2026: First Call for Papers

[DMANET] Full-time academic position in Algebra and Combinatorics at ULB (Brussels, Belgium)

[DMANET] [Scheduling seminar] Hoogeveen, J.A. (Utrecht University) | November 26 | Planning shunting operations at railway hubs

[DMANET] Probability and Analysis 2026 — Registration and Call for Talks

Monday, November 24, 2025

[DMANET] Neel Nanda's MATS Summer 2026 Applications Open!

[DMANET] WALCOM 2026 - Call for participation

[DMANET] Deadline Approaching: PhD Position in Bilevel and Robust Optimization at the University of Technology Nuremberg (UTN)

[DMANET] [Internship Offer] Pickup and Delivery Problem for a Remanufacturing Plant (LIMOS, France)

[DMANET] 27th International Conference on Distributed Computing and Networking (ICDCN 2026): Call for Participation

[DMANET] SCIP Optimization Suite 10.0.0

[DMANET] [AI-SEC 2026][Deadline Extended] CFP - The 2nd International Workshop on Artificial Intelligence for Cybersecurity, Victoria University of Wellington, New Zealand (Hybrid conference), April 8-10 2026

[DMANET] Final Call for Submissions - WAGS@FSTTCS'25 - Deadline Extended!

Sunday, November 23, 2025

[DMANET] SEA 2026 Preliminary Call for Papers

Saturday, November 22, 2025

[DMANET] SECOND CFP 9th International Symposium on Combinatorial Optimlization

Friday, November 21, 2025

[DMANET] two Assistant Professor positions, Mathematics of Operations Research, Leiden University

[DMANET] PhD-Position in Engineering a Graph Algorithms Library, Uni Rostock

Thursday, November 20, 2025

[DMANET] Academic positions in Mathematical, Statistical, and Computational aspects of AI and ML

[DMANET] Call for Nominations: Autonomous Agents Award 2026

[DMANET] Postdoc Position at LiU and SU in Sweden

[DMANET] [CFP] The 35th International Conference on Computer Communications and Networks (ICCCN 2026) July 27 - 30, 2026, Honolulu, Hawaii USA

[DMANET] Full Professor (W2) in Industrial Mathematics

[DMANET] Applications Open — International Summer School on Generative AI (June 22–26, 2026)

Wednesday, November 19, 2025

[DMANET] SOFSEM 2026 -- Call for Posters

[DMANET] ISSAC 2026 - First Call for Papers

[DMANET] SMARTCOMP 2026: Call for Research Papers

Mailing Lists

Search This Blog

Blog Archive

Tuesday, November 25, 2025

Monday, November 24, 2025

Sunday, November 23, 2025

Saturday, November 22, 2025

Friday, November 21, 2025

Thursday, November 20, 2025

Wednesday, November 19, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive