Theory Announcements

Tuesday, February 3, 2026

[DMANET] AAAC 2026 second call for papers

AAAC 2026 CALL FOR PAPERS

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

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

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

Invited Speakers

Donglei Du, University of New Brunswick

Ken-ichi Kawarabayashi, National Institute of Informatics

Program Committees

Hee-Kap Ahn, Pohang University of Science and Technology

Sang Won Bae, Kyonggi University

Ho-Lin Chen, National Taiwan University

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

Qizhi Fang, Ocean University of China

Minming Li, City University of Hong Kong

Chung-Shou Liao, National Tsing Hua University

Pinyan Lu, Shanghai University of Finance and Economics

Heejin Park, Hanyang University

Kunihiko Sadakane, The University of Tokyo

Xiaoming Sun, Chinese Academy of Sciences

Takeshi Tokuyama, Tohoku University

Ryuhei Uehara, Japan Advanced Institute of Science and Technology

Guochuan Zhang, Zhejiang University

Shengyu Zhang, The Chinese University of Hong Kong

Local Organizers

Bin Liu, Ocean University of China

Wenjing Liu, Ocean University of China

Han Xiao, Ocean University of China

Yulin Chang, Ocean University of China

Kaixin Gao, Ocean University of China

Topics

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

Submissions

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

Important Dates

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

Best Student Presentation Award

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

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

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

[DMANET] Fully funded Master/PhD positions in Discrete Math at HKUST

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

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

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

additive/arithmetic combinatorics
-

extremal combinatorics
-

finite fields and/or finite geometry
-

combinatorial number theory
-

analytic number theory

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

Best,
Chi Hoi Yip

[DMANET] SC-Square 2026: First Call for Papers

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

July 13, 2026, Oldenburg Germany

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

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

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

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

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

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

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

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

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

The topics of interest include but are not limited to:

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

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

We invite four types of submissions:

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

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

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

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

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

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

[DMANET] Call for Co-Guest Editors – Next-Generation Mathematical Solving Collection (Wiley)

Call for Co-Guest Editors – Next-Generation Mathematical Solving Collection (Wiley)
Wiley is launching an open call for Co-Guest Editors for the Next-Generation Mathematical Solving Collection, a multi-journal initiative focused on innovative approaches to mathematical modeling, solver design, and interdisciplinary applications with practical impact.
The collection aims to bridge theory and computation to address real-world challenges and will span several Wiley journals, including the Journal of Mathematics and the Journal of Applied Mathematics.
Who should apply

* Early- or mid-career scholars

* Strong expertise in applied mathematics or related fields

* Editorial experience preferred

* More than 7 publications in the past 3 years

What we offer

* Opportunity to shape a high-visibility multi-journal collection

* Collaboration with experienced editors

* Certificate from Wiley

* Potential consideration for future editorial board roles

How to apply

* CV (including ORCID)

* Statement of Interest (maximum 500 words, outlining editorial experience and areas of expertise)

Send applications to: Xin Cui (ccui@wiley.com)

Important dates

* Application deadline: 20 February 2026

* Selection notification: 28 February 2026

Due to limited availability, only selected applicants will be contacted.

[DMANET] CfP: UNIF'26 - The 40th International Workshop on Unification

====================================================
Call for Papers
UNIF 2026
The 40th International Workshop on Unification
July 24, 2026, Lisbon, Portugal
https://www.risc.jku.at/conferences/unif2026/
====================================================

UNIF 2026 is the 40th event in a series of international meetings
devoted to unification theory and its applications. Unification is
concerned with the problem of making two terms equal, finding solutions
for equations or making formulas equivalent. It is a fundamental process
used in a number of fields of computer science, including automated
reasoning, term rewriting, logic programming, natural language
processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas and trends. It is also a good opportunity for young researchers
and scientists working in related areas to get an overview of the state
of the art in unification theory.

Topics of interest to this forum include, but are not limited to:

- Syntactic and equational unification algorithms
- Matching and Constraint Solving
- Higher-Order Unification
- Unification in modal, fuzzy, temporal and description logics
- Anti-unification/generalization
- Semi-unification
- Disunification
- Narrowing
- Admissibility of Inference Rules
- Combination problems
- Formalization of unification and related techniques
- Complexity Issues
- Implementation techniques
- Applications

The 40th International Workshop on Unification is part of FLoC'26,
affiliated with FSCD 2026 and IJCAR 2026.

------------------------------------------
** Submission Instructions
-------------------------------------------
We call for submissions of extended abstracts (up to 5 pages) in
EasyChair LaTeX style, to be submitted electronically as PDF through the
submission site:

https://submissions.floc26.org/unif/

Abstracts will be evaluated by the Program Committee (if necessary with
support from external reviewers) regarding their significance for the
workshop. We will allow work presented/submitted in/to another conference.

Accepted abstracts will be presented at the workshop and included in the
informal proceedings of the workshop, available in electronic form as a
technical report in the RISC-Linz Report Series from the Research
Institute for Symbolic Computation, Johannes Kepler University.

Based on the number and quality of submissions we will decide whether to
organize a special journal issue.

-----------------------------
** Important Dates
------------------------------

May 7, 2026: paper submission deadline.
May 29, 2026: author notification.
June 13, 2026: camera-ready paper submission deadline.
July 24, 2026: UNIF 2026 in Lisbon.

-----------------------------
** Invited Speakers
------------------------------
Sandra Alves (University of Porto)
Maribel Fernandez (King's College London)

-----------------------------
** Program Committee
-----------------------------
Thaynara Arielly de Lima (Universidade Federal de Goiás)
Mauricio Ayala-Rincón (Universidade de Brasilía)
Franz Baader (TU Dresden)
Philippe Balbiani (IRIT)
Alexander Baumgartner (Universidad de O'Higgins, Chile)
David Cerna (Dynatrace Research Austria)
Rodrigo Da Cruz Silva Pina De Almeida (UvA Amsterdam)
Santiago Escobar (Universitat Politecnica de Valencia)
Oliver Fernández Gil (TU Dresden)
Mário Florido (University of Porto)
Silvio Ghilardi (Università degli Studi di Milano) co-chair
Pascual Julián Iranzo (University of Castilla - La Mancha)
Temur Kutsia (RISC, Johannes Kepler University Linz)
Paliath Narendran (University at Albany, SUNY)
Cleo Pau (RISC, Johannes Kepler University Linz) co-chair
Christophe Ringeissen (Université de Lorraine, CNRS, Inria, LORIA)
Viorica Sofronie-Stokkermans (University of Koblenz)
Sam van Gool (ENS Paris-Saclay)
Laurent Vigneron (Université de Lorraine, CNRS, Inria, LORIA)

[DMANET] WAIFI 2026 - EXTENSION SUBMISSION DEADLINE: March 15

Dear colleagues,

(apologies for multiple postings)

------------------------------------------
Due to numerous requests of authors, the DEADLINE for submissions has been EXTENDED to March 15th, 2026.
------------------------------------------

Important dates:

Submission deadline (EXTENDED): March 15th (23:59 AoE), 2026
Acceptance notification (MODIFIED): April 7th, 2026
Final version due (MODIFIED): April 16th, 2026

Before the submission deadline, authors will be required to submit the title, abstract, and keywords of their contribution.

Poster session:
A poster session will be organized as part of the workshop (more information will be posted on the workshop website).

The "International Workshop on the Arithmetic of Finite Fields (WAIFI) 2026", to be held in Santander, Spain, June 3-5, 2026, is a forum of mathematicians, computer scientists, engineers and physicists performing research on finite field arithmetic, interested in communicating the advances in the theory, applications, and implementations of finite fields. The workshop helps to bridge the gap between the mathematical theory of finite fields and their hardware/software implementations and technical applications, especially in cryptography and coding theory.

The topics of WAIFI 2026 include but are not limited to:

Theory of finite field arithmetic including:
Bases (canonical; normal; dual; etc.)
Polynomials (irreducible; primitive; permutation)
Boolean functions and special functions over finite fields
Algebraic curves over finite fields
Dynamical systems over finite fields
Hardware & Software implementations:
Design & implementation of finite field processors
Design & implementation of arithmetic for crypto algorithms and protocols
Pseudorandom number generators
Hardware/Software co-design in crypto and coding theory applications
Applications of finite fields in:
Cryptography such as Post Quantum Crypto and other algorithms and protocols
Coding theory (AG codes; LDPC codes; etc.)
Combinatorics (designs; arrays; etc.)
Finite geometry
General Chair:

Domingo Gómez Pérez, University of Cantabria, Spain

Program co-Chairs:

Lejla Batina, Radboud University, The Netherlands
Ferruh Ozbudak, Sabancı University, Türkiye

Program Committee:
Herivelto Martins Borges Filho, Universidade de São Paulo, Brazil.
Claude Carlet, Universities of Paris VIII (France) and Bergen (Norway)
Maria Corte-Real Santos, ENS Lyon, France
Thomas Decru, KU Leuven, Belgium
Sylvain Duquesne, U. Rennes, France
Ana Isabel Gómez Pérez, U. Rey Juan Carlos, Spain
Sophie Huczynska, U. St. Andrews, Scotland
José Luis Imaña, U. Complutense Madrid, Spain
Jorge Jiménez Urroz, U. Politécnica Madrid, Spain
Angshuman Karmakar, IIT Kanpur, India
Gohar Kyureghyan, U. Rostock, Germany
Edgar Martínez Moro, U. Valladolid, Spain
Sihem Mesnager, U. Paris VIII, France
Alessandro Neri, U. Naples Federico II, Italy
Svetla Nikova, KU Leuven, Belgium
Daniel Panario, Carleton University, Canada
Hilder Vitor Lima Pereira, Unicamp, Brazil
Håvard Raddum, U. Bergen, Norway
Francisco Rodríguez Henríquez, TII, UAE
Ana Salagean, U. Loughborough, UK
Amin Sakzad, Monash U., Australia
David Thomson, Carleton U., Canada
Alev Topuzoğlu, Sabancı U., Türkiye
Monika Trimoska, TU/e, The Netherlands
Qiang (Steven) Wang, Carleton U., Canada
Violetta Weger, Technical U. Munich, Germany
Nusa Zidaric, U. Leiden, The Netherlands

The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series.

The workshop website http://www.waifi.org <http://www.waifi.org/>, will be updated regularly with more information.

Kind regards,

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

[DMANET] Call for Papers - Springer Optimization and Its Applications edited book titled ‘Handbook of General Systems of Nonlinear Equations’ - Deadline May 1, 2026

Dear All,

This is the official first Call for Chapters in the forthcoming Springer Optimization and Its Applications edited book titled 'Handbook of General Systems of Nonlinear Equations'. The book will be edited by Michael J. Hirsch, Alexander Semenov, and Panos M. Pardalos.

Please reply to this email and let us know if you are interested in or plan to submit a contribution.

Important Dates:

May 1, 2026 – deadline to submit initial draft to editors July 1, 2026 – referee reports sent back to authors with acceptance decision September 30, 2026 – final versions of accepted chapters due to editors December 30, 2026 – final version of book submitted to Springer Early 2027 – final version of book released by Springer

Each chapter on average should be between 20 – 40 pages in length. Chapter templates can be found at the following link (use the "LaTeX template for contributed works"): https://www.springernature.com/gp/authors/publish-a-book/manuscript-guidelines

Chapter submissions and any questions should be sent to Michael J. Hirsch at mhirsch@iseatek.com.

Please share this announcement with interested colleagues.

With best regards,
Michael
-------------------------------------------------------------------
Michael J. Hirsch, Ph.D.
ISEA TEK, LLC
620 N. Wymore Rd., Suite 260
Maitland, FL 32751
mhirsch@iseatek.com www.iseatek.com
-------------------------------------------------------------------

[DMANET] CfP: ISGAIE 2026|| Extended deadline Feb 20, 2026 || May 20 - 22, 2026 - Casablanca, Morocco

===Please accept our apologies in case of multiple copies of this CFP====

*-----------------------------Call For Papers -------------------------*

The Third International Symposium on Generative AI and Education
(ISGAIE'2026)
May 20-22, 2026
Casablanca, Morocco

*Accepting Virtual Participation*https://research-conf.com/

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

*IMPORTANT DATES*
------------------------------------------------------------
Paper Submission deadline : *Feb 10, 2026 (extended deadline)*
Notification: April 5th, 2026
Camera-Ready: April 20th, 2026

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

*Submission link*
------------------------------------------------------------
https://cmt3.research.microsoft.com/ISGAIE2026

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

*Publication*------------------------------------------------------------
The conference proceedings will be published in the Springer Book
Series:* "Lecture
Notes on Data Engineering and Communications Technologies **(Approved)".* All
papers must meet high-quality standards to be considered by Springer and
included in the proceedings.
Indexed by SCOPUS, INSPEC, EI Compendex.

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

*KEYNOTE SPEAKERS :*
------------------------------------------------------------
The following eminent keynote speakers have confirmed their participation:
ISGAIE-2026 will accommodate an attractive technical program that features:

1. Prof. Mohammad Ilyas College of Engineering and Computer Science at
Florida Atlantic University, USA
2. Professor Will MA Professor & Director of the Centre for Innovative
Teaching and Learning (CITL), Hong Kong University, China
3. Prof. Aniss KOUBAA College of Engineering, Alfaisal University, Riyadh,
KSA

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

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

Authors are invited to submit previously unpublished papers to this book.
Topics include, but are not limited to:

Theoretical and Applied Aspects of Generative AI
-

Recent advances in Generative AI and their impact on education
-

The impact of Generative AI on learning and teaching
-

Transforming Education in the Age of Generative AI
-

Teaching Experiences, Pedagogy, and Practice
-

Generative AI for Training teachers and students
-

Generative AI for Assistive Technology
-

Generative AI for Adaptive Learning
-

Generative AI for Personalized Learning
-

Generative AI for Assessment Theories & Methodologies
-

Generative AI for Evaluating Learning Progress and Teaching Success
-

Generative AI for Automated Feedback Systems
-

Generative AI for Virtual Teaching Assistants
-

Generative AIand Collaborative learning
-

Train Generative AI on Contextual Understanding
-

Plagiarism, and the Role of Generative AI
-

Data Privacy and Ethical Considerations
-

Futuristic Ideas and Cases Studies
-

Etc

For more details, please visit our conference website:
https://research-conf.com/

If you have any enquiry, please contact us at: isgaie2025@@gmail.com.

Looking forward to your contributions.

Kind regards,
ISGAIE'26 Organizers

*Dr. M.Lahby*

Laboratory of Mathematics and Applications, University Hassan II, Ecole
Normale Supérieure (ENS) Casablanca, Morocco

mlahby@gmail.com
GSM : +212 6 65 29 23 76
In the world of Linux, who needs Windows and Gates

[DMANET] DOC2026 & YPOC2026 Workshops | Cagliari, May 21–22, 2026

*********************
DOC2026 and YPOC2026 workshops

May 21 - 22, 2026
Cagliari (Sardinia, Italy)

https://sites.google.com/view/doc2026/home-page

Registration deadline: April 20, 2026
Poster submission deadline: March 13, 2026

*********************
We are pleased to announce the DOC2026 and YPOC2026 workshops, which will take place in Cagliari (Sardinia, Italy) on May 21–22, 2026.

The Days of Optimization in Cagliari (DOC2026) workshop focuses on mathematical programming and optimization, bringing together leading international experts and early-career researchers to discuss recent advances and emerging research directions in the field. The event is part of the research activities of the INdAM research group at the University of Cagliari and aims to foster scientific exchange, collaboration, and the integration of young researchers within the international optimization community.

On May 22, the Young Perspective on Optimization in Cagliari (YPOC2026) workshop will take place at the same location, providing young researchers with the opportunity to present and discuss their work.

All talks are by invitation.

Plenary speakers:

Prof. Marianna De Santis
Prof. Fabio Furini
Prof. Martine Labbé
Prof. Leo Liberti

Poster session: The program will include invited talks as well as a poster session dedicated to PhD students and young researchers (submission deadline March 13, 2026).

Registration deadline: April 20, 2026

Further information on the workshops, registration, and venue is available on the official website:
https://sites.google.com/view/doc2026/home-page <https://www.google.com/url?q=https://sites.google.com/view/doc2026/home-page&source=gmail-imap&ust=1769776030000000&usg=AOvVaw2MUCSy_S5KCm3KhHYg423B>
We kindly ask you to circulate this announcement within your networks and among interested colleagues and students.

We look forward to welcoming you to Cagliari!

The Organizing Committee
DOC2026 – YPOC2026

[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

[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).

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

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

[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

[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)

[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

[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

[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

[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

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

[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

Theory Announcements

Tuesday, February 3, 2026

[DMANET] AAAC 2026 second call for papers

[DMANET] Fully funded Master/PhD positions in Discrete Math at HKUST

[DMANET] SC-Square 2026: First Call for Papers

[DMANET] Call for Co-Guest Editors – Next-Generation Mathematical Solving Collection (Wiley)

[DMANET] CfP: UNIF'26 - The 40th International Workshop on Unification

[DMANET] WAIFI 2026 - EXTENSION SUBMISSION DEADLINE: March 15

[DMANET] Call for Papers - Springer Optimization and Its Applications edited book titled ‘Handbook of General Systems of Nonlinear Equations’ - Deadline May 1, 2026

[DMANET] CfP: ISGAIE 2026|| Extended deadline Feb 20, 2026 || May 20 - 22, 2026 - Casablanca, Morocco

[DMANET] DOC2026 & YPOC2026 Workshops | Cagliari, May 21–22, 2026

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

[DMANET] AofA 2026: call for papers

[DMANET] multiple tenure-track positions at the University of Warsaw

[DMANET] DC Online Resources (IFORS)

Monday, February 2, 2026

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

[DMANET] Updated Deadline and Final Call: The 8th Games, Agents, and Incentives Workshop (GAIW)@AAMAS 2026

[DMANET] 5-year PhD position in Discrete Optimization at TU Berlin

[DMANET] Numeration 2026, Nancy, June 1 - June 5, 2026 Second announcement - Registration is OPEN !

[DMANET] PODC 2026 Call for workshops and tutorials

[DMANET] PhD position in Berlin, deadline Feb 23

[DMANET] CFP: OVERLAY-26 @ FLoC - 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis - deadline: April 17, 2026

[DMANET] CfP 7th International Conference on Digital Age & Technological Advances for Sustainable Development (DATA'26)

[DMANET] FMEC 2026: The 11th International Conference on Fog and Mobile Edge Computing, 15 - 18 September 2026 | Abu Dhabi, UAE

Sunday, February 1, 2026

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

[DMANET] MAPSP 2026 - Call for Submissions New Submission Deadline

Mailing Lists

Search This Blog

Blog Archive

Tuesday, February 3, 2026

Monday, February 2, 2026

Sunday, February 1, 2026

Mailing Lists

Subscribe To

Search This Blog

Blog Archive