Wednesday, February 4, 2026

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

[Apologies for duplicates of this message]

Eleventh IEEE Workshop on Smart Service Systems (SmartSys)

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

• 22nd June 2026

• Messina, Italy

Name of the Organizers:

Workshop Co-Chairs

• Nirmalya Roy, University of Maryland, Baltimore County

• Carlo Vallati, University of Pisa

• Gurdip Singh, George Mason University

TPC Co-Chairs

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

• Marco Pettorali, University of Pisa, Italy

Publicity chair

• Jacopo Sabatino, University of Florence, Italy

• Avijoy Chakma, Bowie State University, US

Scope (Call for Papers)

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

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

Topics of interest include, but are not limited to:

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

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

• Context and situational awareness of smart service
systems

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

• Novel architectures and interoperable solutions for
Internet of Things

• Models and methodologies for designing systems of
systems

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

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

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

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

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

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

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

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

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

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

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

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

• Fairness and Bias Mitigation in AI algorithms for
pervasive systems

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

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

Submission instructions

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

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

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

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

Important dates

Manuscript submission: March 9, 2026

Paper acceptance notification: April 29, 2026

Camera-ready paper submission: TBA

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

[DMANET] Fully Funded PhD Position in Algorithms & Complexity

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

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

-

Full *tuition fee waiver*
-

*Stipend for the full 3.5-year duration*
-

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

Background requirements

-

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

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

Solid mathematical maturity and enthusiasm for foundational research

Research focus

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

-

*Soft deadline:* end of *February*
-

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

*Intended start date:* September 2026

How to apply

-

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

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

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

Informal enquiries from prospective candidates are welcome.

--

*Sagnik Mukhopadhyay*

Associate Professor in Computer Science


University of Birmingham

School of Computer Science

birmingham.ac.uk, sagnikm.github.io

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

[DMANET] IFORS Vienna 2026 - Call For Abstracts

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


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


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


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


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


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


Plenaries, keynotes, tutorials & special sessions


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


Plenary speakers

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

Harald Ponweiser (ÖBB-Austrian Railways, Austria)

Katya Scheinberg (Georgia Institute of Technology, USA)

Karen Smilowitz (Northwestern University, USA)

Keynote speakers

Gabriele Eichfelder (Technische Universität Ilmenau, Germany)

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

Georgios Paschos (Amazon, Luxembourg)

Beril Toktay (Georgia Institute of Technology, USA)

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

Ming Xu (Tsinghua University, China)


Tutorial speakers

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

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

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

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

Axel Parmentier (Institut Polytechnique de Paris, France)

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

Veronica Piccialli (Sapienza Universita di Roma, Italy)

Tal Raviv (Tel Aviv University, Israel)

Special issues (publications)

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

Abstract submission

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

Abstracts should not exceed 600 characters.

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

Important dates

December 1, 2025: Opening of abstract submissions

March 15, 2026: Deadline for abstract submissions

April 25, 2026: Early bird registration deadline

May 1, 2026: Final registration deadline for authors

Registration

Early student registration fee: € 460.00

Standard student registration fee: € 520.00

Early regular registration fee: € 670.00

Late regular registration fee: € 860.00

Guest/accompanying person fee: €150.00

Conference banquet (optional extra): €150.00

The registration fee (regular and student) includes:


· Admission to all sessions and the exhibition

· Conference materials

· Coffee breaks throughout the conference

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

· A half-day excursion

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

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

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

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


Call for exhibitors


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


Andrés, Karl, Jan, and Richard

On behalf of the Program & Organizing Committees

IFORS 2026 Vienna

https://ifors2026.at/home


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

Tuesday, February 3, 2026

[DMANET] 2026 INFORMS-QSR Tutorial Series

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

Title: Data Science in Performance Quantification for Wind Turbine Generators

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

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

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


February 27, 2026 3:00pm (EST)

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

Kind regards,
The Organizing Committee:
Alan R. Vazquez, Tecnologico de Monterrey
Heeyoung Kim, KAIST
William Fisher, JMP
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] AAAC 2026 second call for papers

AAAC 2026 CALL FOR PAPERS


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

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

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

Invited Speakers

Donglei Du, University of New Brunswick

Ken-ichi Kawarabayashi, National Institute of Informatics

Program Committees

Hee-Kap Ahn, Pohang University of Science and Technology

Sang Won Bae, Kyonggi University

Ho-Lin Chen, National Taiwan University

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

Qizhi Fang, Ocean University of China

Minming Li, City University of Hong Kong

Chung-Shou Liao, National Tsing Hua University

Pinyan Lu, Shanghai University of Finance and Economics

Heejin Park, Hanyang University

Kunihiko Sadakane, The University of Tokyo

Xiaoming Sun, Chinese Academy of Sciences

Takeshi Tokuyama, Tohoku University

Ryuhei Uehara, Japan Advanced Institute of Science and Technology

Guochuan Zhang, Zhejiang University

Shengyu Zhang, The Chinese University of Hong Kong

Local Organizers

Bin Liu, Ocean University of China

Wenjing Liu, Ocean University of China

Han Xiao, Ocean University of China

Yulin Chang, Ocean University of China

Kaixin Gao, Ocean University of China

Topics

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

Submissions

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

Important Dates

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

Best Student Presentation Award

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

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

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

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

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

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

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

-

additive/arithmetic combinatorics
-

extremal combinatorics
-

finite fields and/or finite geometry
-

combinatorial number theory
-

analytic number theory

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

Best,
Chi Hoi Yip

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

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

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

July 13, 2026, Oldenburg Germany

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

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

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

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

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

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

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

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

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

The topics of interest include but are not limited to:

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

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

We invite four types of submissions:

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

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

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

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

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

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

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

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


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

[DMANET] CfP: 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)

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

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

[DMANET] CfP: 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

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

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

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

Two PhD Positions @ TU Wien

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

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

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

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

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

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

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

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

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

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

[DMANET] AofA 2026: call for papers

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

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

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

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

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

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

Important Dates:

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

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

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

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

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

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

Deadline for applications: 20th February 2026.

For further information about the procedure, requirements, conditions,
etc., contact Filip Murlak (f.murlak@uw.edu.pl) or Oskar Skibski (
o.skibski@uw.edu.pl).

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

[DMANET] DC Online Resources (IFORS)

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

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

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

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

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

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

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

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

Monday, February 2, 2026

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

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

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

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

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

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

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

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


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

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

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

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

-

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

Acceptance Notification: March 20, 2026
-

Camera Ready: TBD (AoE)
-

Workshop: May 26, 2026

Call for Papers:

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

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

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

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

PAPER SUBMISSION

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

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

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

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

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

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

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

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

-

Agentic AI Systems
-

Algorithmic mechanism design
-

Auctions
-

Behavioral Game Theory
-

Bounded rationality
-

Cooperative Games
-

Computational advertising
-

Computational aspects of equilibria
-

Computational social choice
-

Coalitions, coordination, collective action, and cooperation
-

Economic aspects of security and privacy
-

Economic aspects of distributed and network computing
-

Equilibrium computation
-

Empirical approaches to e-markets
-

Fairness (in ML & elsewhere)
-

Fair Division
-

Incentives in machine learning
-

Information and attention economics
-

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

Matching and Matching Markets
-

Negotiation
-

Preference aggregation and reasoning
-

Price differentiation and price dynamics
-

Social networks
-

Trading agent design and analysis
-

Uncertainty in AI and economic

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

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

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

IMPORTANT DATES

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

-

Submission Deadline: February 4, 2026 (AoE)
-

Acceptance Notification: March 20, 2026
-

Camera Ready: TBD (AoE)
-

Workshop: May 26, 2026

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

ORGANIZATION

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

Program Chairs

Ben Armstrong, Tulane University

Michael Curry, University of Illinois Chicago

Hadi Hosseini, Penn State University

Nicholas Mattei, Tulane University

Alan Tsang, Carleton University

Tomasz Wąs, University of Oxford


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

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

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

Institute of Mathematics
Technische Universität Berlin

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

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

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

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

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

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

Prof. Dr. Max Klimm
Discrete Optimization
Institute of Mathematics
TU Berlin
Straße des 17. Juni 136
10623 Berlin
Germany
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

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

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

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

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

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

--  Conference website --

https://numeration2026.sciencesconf.org/

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

-- Invited speakers (confirmed) --

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

-- Submission guidelines for contributed talks / posters --

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

*-- Registration is OPEN now !*

Registration fees :

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

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


-- Important dates --

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


-- Scientific Committee --

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


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

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


-- Past editions --

The previous "Numeration" conferences have been in:

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

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

[DMANET] PODC 2026 Call for workshops and tutorials

Apologies for multiple postings.
-----


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

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

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

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

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

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

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

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

[DMANET] PhD position in Berlin, deadline Feb 23

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

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

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

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


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


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

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

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

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


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

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

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

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

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

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

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

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

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


*** Call for contributions ***

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

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

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

We invite two kinds of contributions:

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

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

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

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

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

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

*** Registration and participation fees ***

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

*** Venue ***

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

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

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

*** Program Committee Chairs ***

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

***Program Committee***

To be announced…

*** Contacts ***

For more information write an email to overlay@uniud.it


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