[DMANET] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning

*** Please accept our apologies if you receive multiple copies of this CFP *** ==================================================== LPNMR 2026 - Preliminary Call for Papers 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026) Klagenfurt, Austria | September 7-11, 2026 Website: https://lpnmr2026.aics.aau.at Contact us: lpnmr2026@easychair.org Submission: https://easychair.org/conferences/?conf=lpnmr2026 ==================================================== ==================================================== IMPORTANT DATES ==================================================== - Paper registration: April 30, 2026 - Submission deadline: May 7, 2026 - Final notification: June 11, 2026 - Final versions due: July 2, 2026 - Conference: September 7-11, 2026 ==================================================== AIMS AND SCOPE ==================================================== LPNMR 2026 is the eighteenth in the series of international conferences on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2026 aims to bring together researchers from LPNMR and neighboring areas in order to share research experiences, promote collaboration and identify directions for joint future research. ==================================================== TOPICS ==================================================== Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to: - Foundations of LPNMR: Semantics of new and existing languages; Action languages; Causality; Formalization of Commonsense Reasoning and understanding its laws and nature; Relationships among formalisms; Complexity and expressive power; Inference algorithms and heuristics for LPNMR systems; Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; Updates, revision, and other operations on LPNMR systems; Uncertainty in LPNMR systems - Implementation of LPNMR systems: System descriptions, comparisons, and evaluations; Algorithms and novel techniques for efficient evaluation; LPNMR benchmarks; Systems using LPNMR subsystems - Applications of LPNMR: Use of LPNMR in Commonsense Reasoning and other areas of knowledge representation; LPNMR languages and algorithms in planning, diagnosis, and argumentation; Reasoning with preferences, decision making, and policies; Applications of LPNMR languages in data integration and exchange systems; Software engineering and model checking; Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; Integration of LPNMR systems with other computational paradigms ==================================================== SUBMISSION AND PUBLICATION ==================================================== LPNMR 2026 welcomes submissions of long papers (up to 15 pages) or short papers (up to 8 pages) in the following categories: - Technical papers - System papers - Application papers The indicated number of pages includes the title page, figures, tables, references, and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines LPNMR 2026 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to workshops (e.g., ASPOCP 2026) with a limited audience and without archival proceedings. ==================================================== FAST JOURNAL TRACK FOR BEST PAPERS ==================================================== Two award-winning papers (Best Paper Award and Best Student Paper Award of LPNMR 2026) will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors. Additionally, about 5-7 high-quality papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming. ==================================================== VENUE ==================================================== LPNMR 2026 will be held on the campus of the University of Klagenfurt in September 2026. Klagenfurt is the capital of the state Carinthia in the south of Austria. The name Klagenfurt was first mentioned in the late 12th century and legend has it that Klagenfurt was founded after a couple of brave men had slain the abominable Lindwurm, a winged dragon. The city is located next to the lake Woerthersee, one of the most beautiful lakes in Austria, surrounded by several forest-covered hills and mountains. Being a small city, with a Renaissance-style city center reflecting 800 years of history and with an Italian influence, Klagenfurt is a pleasant place to live and work. ==================================================== ORGANISING COMMITTEE ==================================================== General Chair: Wolfgang Faber, University of Klagenfurt, Austria Program Co-chairs: Martin Gebser, University of Klagenfurt, Austria Yanhong Annie Liu, Stony Brook University, USA ********************************************************** * * 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] DeepLearn 2026: early registration April 25

****************************************************** 13th INTERNATIONAL SCHOOL ON DEEP LEARNING DeepLearn 2026 Orléans, France July 20-24, 2026 https://deeplearn.irdta.eu/2026/ ****************************************************** Co-organized by: University of Orléans Centre Val de Loire Doctoral College Institute for Research Development, Training and Advice – IRDTA Luxembourg/London ****************************************************** Early registration: April 25, 2026 ****************************************************** SCOPE: DeepLearn 2026 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning. Previous events were held in Bilbao, Genova, Warsaw, Las Palmas de Gran Canaria, Guimarães, Luleå, Bournemouth, Bari, and Porto. Deep learning is a branch of artificial intelligence covering a spectrum of current frontier research and industrial innovation that provides more efficient algorithms to deal with large-scale data in a huge variety of environments: computer vision, neurosciences, speech recognition, language processing, human-computer interaction, drug discovery, biomedicine and healthcare, medical image analysis, recommender systems, advertising, fraud detection, robotics, games, business and finance, biotechnology, physics and astrophysics, biometrics, communications, climate sciences, geographic information systems, signal processing, genomics, materials design, video technology, social systems, earth and sustainability, mathematical proofs, etc. etc. The field is also raising a number of relevant questions about efficiency and robustness of the algorithms, explainability, transparency, interpretability, risks and safety, as well as important ethical concerns at the frontier of current knowledge that deserve careful multidisciplinary discussion. Most deep learning subareas will be displayed and main challenges identified through 16 four-hour and a half courses, 2 keynote lectures, 1 round table, and a hackathon competition among participants. Renowned academics and industry pioneers will lecture and share their views with the audience. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Face to face interaction and networking will be main ingredients of the event. It will be also possible to fully participate in vivo remotely. ADDRESSED TO: Graduates, postgraduates and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees, hence people less or more advanced in their career will be welcome as well. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2026 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen to and discuss with major researchers, industry leaders and innovators. VENUE: DeepLearn 2026 will take place in Orléans, located in the heart of the Loire Valley, which was declared by UNESCO a World Heritage Site in 2000. The venue will be: University of Orléans Faculty of Law, Economics and Management 11 rue de Blois 45100 Orléans, France https://www.univ-orleans.fr/en STRUCTURE: 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. All lectures will be videorecorded. Participants will be able to watch them again for 45 days after the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. Also companies will be able to present their industrial developments for 10 minutes. The school will include a hackathon, where participants will be able to work in teams to tackle several machine learning challenges. Full live online participation will be possible. The organizers highlight, however, the importance of face to face interaction and networking in this kind of research training event. KEYNOTE SPEAKERS: Yingbin Liang (Ohio State University), Convergence Theory: How Fast Do Discrete Diffusion Models Generate? Le Song (Mohamed bin Zayed University of Artificial Intelligence), Towards AI-Driven Digital Organism: A System of Multiscale Foundation Models for Biology PROFESSORS AND COURSES: Nitesh Chawla (University of Notre Dame), [intermediate] Learning from Imbalanced Data Yuejie Chi (Yale University), [introductory/intermediate] Statistical and Algorithmic Foundations of Reinforcement Learning Bo Han (Hong Kong Baptist University), [introductory/intermediate] Trustworthy Machine Learning from Data to Models Jiawei Han (University of Illinois Urbana-Champaign), [intermediate] Structure-Guided, Theme-Based Knowledge Discovery with Large Language Models Mingyi Hong (University of Minnesota), [intermediate] Modern Optimization Algorithms for Large Language Models Cho-Jui Hsieh (University of California Los Angeles), [intermediate/advanced] Optimizers for Large Language Model Training Furong Huang (University of Maryland), [advanced] Generative AI Agents Tara Javidi (University of California San Diego), [intermediate] Active Physical Intelligence for Industrial Scale Monitoring Yan Liu (University of Southern California), [intermediate] Time Series Foundation Models: From Forecasting to Reasoning Zhijin Qin (Tsinghua University), [intermediate/advanced] Semantic Communications Aarti Singh (Carnegie Mellon University), [intermediate] Human Centered AI: Challenges and Opportunities Suvrit Sra (Technical University of Munich), [introductory/intermediate] Introduction to the Theory of Learning with Transformers Ivor Tsang (A*STAR Centre for Frontier AI Research), [introductory/intermediate] Long-Horizon Agentic Intelligence Ming-Hsuan Yang (University of California Merced), [advanced] Recent Advances in Multimodal Understanding and Generation Tong Zhang (University of Illinois Urbana-Champaign), [introductory/intermediate] Reinforcement Learning for Large Language Models Jun Zhu (Tsinghua University), [introductory/advanced] Generative Models: from Virtual to Physical World OPEN SESSION: An open session will collect 5-minute voluntary oral presentations of work in progress by participants. They should submit a half-page abstract containing the title, authors, and summary of the research to david@irdta.eu by July 12, 2026. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People in charge of the demonstration must register for the event. Abstracts have to be submitted to david@irdta.eu by July 12, 2026. HACKATHON: A hackathon will take place, where participants can voluntarily work in teams to tackle several machine learning challenges. They will be coordinated by Professor Sergei V. Gleyzer (University of Alabama). The challenges will be released 2 weeks before the beginning of the school. A jury will judge the submissions and the winners of each challenge will be announced by the end of August 2026. The winning teams will receive a modest monetary prize and the runners-up will get a certificate. SPONSORS: Companies/institutions/organizations willing to be sponsors of the event can download the sponsorship leaflet from https://deeplearn.irdta.eu/2026/sponsors/ ORGANIZING COMMITTEE: Karim Abed-Meraim (Orléans, local co-chair) Sergei V. Gleyzer (Tuscaloosa, hackathon chair) Meryem Jabloun (Orléans, local co-chair) Carlos Martín-Vide (Tarragona, program chair) Santiago Montes (Tarragona, webpage) Sara Morales (Luxembourg, finances) Florian Nowicki (Orléans, social networks) Philippe Ravier (Orléans, local chair) David Silva (London, organization chair) REGISTRATION: It has to be done at https://deeplearn.irdta.eu/2026/registration/ The selection of 6 courses requested in the registration template is only tentative and non-binding. For logistical reasons, it will be helpful to have an estimation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration tool disabled when the capacity of the venue will have got exhausted. It is highly recommended to register prior to the event. FEES: Fees comprise access to all program activities and lunches. There are several early registration deadlines. Fees depend on the registration deadline. The fees for on site and for online participation are the same. ACCOMMODATION: Accommodation suggestions are available at https://deeplearn.irdta.eu/2026/accommodation/ CERTIFICATE: A certificate of successful participation will be delivered indicating the number of hours of academic activities (40). This should be sufficient for those participants who plan to request ECTS recognition from their home university. QUESTIONS AND FURTHER INFORMATION: david@irdta.eu ACKNOWLEDGMENTS: Université d’Orléans Collège Doctoral Centre-Val de Loire Universitat Rovira i Virgili Institute for Research Development, Training and Advice – IRDTA, Luxembourg/London ********************************************************** * * 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] CCCG 2026 – Call for Papers

Dear colleagues, We are pleased to announce the Call for Papers for the 38th Canadian Conference on Computational Geometry (CCCG 2026), to be held at Lakehead University in Orillia, Ontario, Canada, from August 12 to 14, 2026. CCCG is an annual forum for researchers and students to present original work in computational geometry and related areas. Conference website: https://sites.google.com/view/cccg-2026 We warmly invite submissions and participation, and we would appreciate it if you could share this announcement with interested colleagues and students. Best regards, Xing Tan on behalf of the CCCG 2026 organizing committee Xing Tan, Lakehead University, Orillia, Canada (General co-Chair) Shahin Kamali, York University, Toronto, Canada (General co-Chair) Thiago E. Alves de Oliveira, Lakehead University, Orillia, Canada (General co-Chair) Manfred Lau, Lakehead University, Orillia, Canada (Program co-Chair) Kevin (Kaiyu) Wu, Lakehead University, Thunder Bay, Canada (Program co-Chair) ********************************************************** * * 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] Workshop on Soft Constraints, Discrete Optimization, and Machine Learning @ FLoC CP 2026

======================================================================                          CP2026 Workshop on      Soft Constraints, Discrete Optimization, and Machine Learning                               (Soft 2026)                           July 24th, 2026                        ISCTE, Lisbon, Portugal                     Held in conjunction with the                  Federated Logic Conference (FLoC'26)                  and 32th International Conference on       Principles and Practice of Constraint Programming (CP 2026)                   https://hub.imt-atlantique.fr/soft2026               ********************************************               Paper Submission Deadline: May 15th               ******************************************** ======================================================================                          Call for Papers ====================================================================== This  workshop  aims  to  bring  together  researchers  on constraint reasoning,  optimization, and  learning  to  present recent advances, share  ongoing   work,  and  discuss  future   directions  for hybrid approaches that  combine discrete  optimization with  machine learning and data mining. Topics of Interest (but are not restricted to): - Max-SAT - Max-SMT - Markov Random Field - Pseudo-Boolean Optimization - Soft global constraints - Weighted CSP - Integer Programming - Combining discrete optimization with machine learning for better   solver design. - Data-driven strategies to guide search heuristics, branching, or   propagation. - Using machine learning and data mining techniques to guide search. - Integrating deep neural networks to improve solvers. Submissions ----------- The  aim of  this workshop  is to  provide a  forum where researchers currently working in  this area can exchange their  ideas, discuss new developments  and explore  possible future  directions. Therefore,  we welcome and encourage three types of submission: 1)  Work in  progress and  Original work.  Submissions of  an extended abstract  or  a full  paper,  up  to 15  pages  in  the LIPIcs format (https://submission.dagstuhl.de/series/details/LIPIcs#author), about unpublished ideas  will be reviewed  by a double-blind process and if accepted  and  the  authors  agree  the final  version  will be made available on the workshop website. 2)  Already published  work. Authors  who are  interested in giving a presentation  to  the  workshop's   audience  may  submit their work non-anonymously   while   indicating   where  this   work   has been published. We  will only accept work  which has been published in the last calendar year (e.g., CPAIOR 2025, CP 2025, ECAI 2025, IJCAI 2025, AAAI 2026, and any journal or conference held after May 2025). 3) Papers  not selected for  the main CP conference.   Decisions about acceptance of these papers will be based on their reviews. Contributions should be submitted in the form of a PDF file, following LIPIcs guidelines, using the link https://submissions.floc26.org/soft/ The  type of  submission as  defined  above should  be clearly stated during the submission. At least one author of each accepted paper must attend the workshop. This  workshop is  open  to all  members of  the  FLoC community. All workshop participants must pay the workshop fee. Important Dates --------------- Paper Submission deadline           May 15th Notification of acceptance          May 28th Early CP registration deadline      June 1st Final version deadline              June 30th Workshop Date                       July 24th Organizers ---------- Simon de Givry INRAE MIAT, Toulouse, France. Email: simon.de-givry @ inrae.fr Web: https://miat.inrae.fr/degivry Samir Loudni DAPI, IMT Atlantique, Nantes, France. Email: samir.loudni @ imt-atlantique.fr Web: https://cv.hal.science/samir-loudni Program Committee ----------------- Quentin Cappart, UCLouvain, Belgium and Polytechnique Montréal, Canada Tias Gun, KU Leuven, Belgium George Katsirelos, INRAE Paris Saclay, France Elias B. Khalil, University of Toronto, Canada Javier Larrosa, UPC, Barcelona, Spain Jakob Nordström, University of Copenhagen, Denmark, and Lund University, Sweden Albert Oliveras, UPC, Barcelona, Spain Thomas Schiex, INRAE Toulouse, France Sylvie Thiebaux, LAAS, Toulouse, France ********************************************************** * * 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] [C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26

*2nd Call for Papers* 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (C.A.R.L.A. 2026) July *18*, 2026 | Lisbon, Portugal https://ws-carla.github.io/web/ Part of FLoC 2026 https://www.floc26.org/ *IMPORTANT DATES (AoE):* - Paper registration: *May 8* - Paper submission: *May 16* - Notification: *May 24* - Camera-Ready Deadline: *June 19* Accepted papers will be presented as posters, with a subset selected for oral presentations. The workshop will take place in person at FLoC 2026, with the option for authors to participate virtually. *GENERAL INFORMATION* The Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent behaviors by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into autonomous systems. As robotics advances toward real-world applications requiring adaptability, safety, and complex decision-making, this workshop focuses on harnessing the synergy between data-driven learning models and symbolic, logic-based systems to advance automation. This year, the workshop further expands its scope to explicitly include simulated environments as first-class experimental and methodological tools. In particular, CARLA emphasizes the use of videogames and digital twins as scalable, controllable, and safe testbeds for cognitive robotics research. These environments enable systematic investigation of embodied reasoning, LLM-driven planning, and logic-based decision-making under diverse and dynamic conditions that would be difficult or costly to reproduce in physical settings. By bridging cognitive architectures with the structured management of virtual applications, CARLA aims to foster principled approaches to transferring knowledge and behaviors learned in simulation to real-world systems, while supporting reproducibility and benchmarking across research efforts. *SCOPE* CARLA invites research contributions and discussions in the following focus areas: *- Knowledge Representation for Robotics:* Frameworks and methodologies for integrating structured knowledge into robotic architectures. *- LLMs as Cognitive Engines:* Leveraging LLMs to process complex commands, generate actionable insights, and facilitate human-robot communication. *- Neuro-Symbolic Systems in Robotics:* Hybrid approaches combining neural networks with symbolic reasoning for decision-making and task execution. *- Logic Solvers in Robotic Control:* Employing constraint solvers, SAT solvers, or theorem provers for autonomous planning and reliable decision-making. *- Adaptive and Safe Robotic Architectures:* Strategies for real-time adaptation and coordination in robotic systems using LLMs and symbolic logic. *- Human-Robot Collaboration:* Innovations in language-driven interactions, focusing on usability, interpretability, and reliability in diverse scenarios. *- Challenges of LLM Deployment in Robotics:* Addressing safety, robustness, and ethical considerations when integrating LLMs into robotic systems. *- LLM-Driven Planning and Problem Solving:* Enabling robots to perform dynamic planning and adapt to novel situations using LLM-guided reasoning. * - Video Games and Virtual Worlds as Testbeds for Cognitive Robotics: * Leveraging the virtual environments of videogames and digital twins as controlled and scalable testbeds for investigating embodied reasoning, LLM-driven planning, and logic-based decision-making, enabling systematic experimentation in safe and reproducible settings. *SUBMISSIONS* *CARLA welcomes the following types of submissions:* - Original Research Papers: Presenting novel research contributions aligned with the workshop’s focus areas. - Work-in-Progress Reports: Sharing preliminary findings and ongoing research efforts. - Position Papers: Discussing emerging challenges, visionary ideas, and future directions at the intersection of robotics, LLMs, and logic solvers. - Already Presented Works: Contributions that have been previously presented at other venues but are relevant to the workshop themes. Such works can be resubmitted to foster further discussion and exploration. *Submissions should adhere to the following guidelines:* - Maximum of 12 pages (excluding references) for full papers and 6 pages (excluding references) for short papers. - Formatting must follow the CEURART style: https://ceur-ws.org/HOWTOSUBMIT.html - All submissions must be in English and submitted in PDF format. Accepted original contributions may be published in the CEUR-WS Proceedings, together with other FLoC workshops, subject to compliance with the publishing requirements. Accepted non-original contributions will be showcased on the workshop website with links to the original publication, where available. *Submission site* Submissions will be managed via the FLoC submission system. Papers will remain private during the review process. All authors must maintain up-to-date profiles to ensure proper conflict-of-interest management and paper matching. Incomplete profiles may result in desk rejection. *Submit papers through the dedicated C.A.R.L.A. submission system:* https://submissions.floc26.org/carla/ *Anonymity* The workshop follows a single-blind review process. Submissions must not be anonymized by removing author names, affiliations, and acknowledgments. *ORGANIZATION* - Fabrizio Lo Scudo, University of Calabria, Italy - Denise Angilica, University of Calabria, Italy - Sotirios Batsakis, Hellenic Mediterranean University, Greece - Manuel Alejandro Borroto Santana, University of Calabria, Italy ********************************************************** * * 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] Last week to apply to GAIMSS'26

[Apologies if you got multiple copies of this invitation] Dear all * * *This is the last week to apply to *GAIMSS’26 <https://www.gaimss.org/>, the Games and AI Multidisciplinary Summer School! Ph.D. students and Postdocs specializing in game theory with backgrounds in economics, mathematics, or computer science are invited to apply. The event will take place at *University of **Bonn*, Bonn, Germany, from *July 20 to July 22, 2026*, followed by a research workshop on *July 23rd and 24th*. There is no registration fee. Coffee breaks, lunches, and a social dinner will be provided, but participants will need to make their own arrangements for travel and accommodation. *About the Event*: GAIMSS'26 is designed to provide an overview and deep insights into research at the intersection of game theory and artificial intelligence. Participants will attend lectures by experts and talks on recent advances in game theory and AI. Additionally, selected participants will have the opportunity to present their research through poster sessions and flash talks. *Lectures*: The summer school will feature three courses: * Applications of Geometry to Economics, in Auction Theory and Beyond. Prof. *Elizabeth Baldwin*, (University of Oxford). * Strategic Queuing. Prof. *Marco Scarsini* (Luiss University). * Mechanism Design with Inspection. Prof. *Rakesh V. Vohra *(University of Pennsylvania). *Registration Information:* * *Application Deadline*: April 12, 2026 (Sunday) 22h00 CET * *Application Link*: Here <https://forms.gle/eH7wNTzGET8uBerS7>. * *Acceptance Notification*: May 1, 2026 For all information related to the application process, feel free to check the summer school website <https://www.gaimss.org/summer-school>. For further details please visit www.gaimss.org <http://www.gaimss.org/> or contact us at info@gaimss.org. We look forward to seeing you in Bonn! Best regards, The GAIMSS organizers Felipe Garrido-Lucero (IRIT, Université Toulouse Capitole) Simon Finster (Johannes Kepler University Linz) Atulya Jain (University of Bonn) Emilien Macault (Université de Lorraine) ********************************************************** * * 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] The 4th CINI HPC Summer School 2026

** Call for Attendees ** We are pleased to announce the 4th CINI HPC Summer School 2026, which will take place from 15–19 June 2026 at the University of Salento, Lecce, Italy. Organized by the CINI HPC National Laboratory jointly with the HPC Laboratory at the University of Salento, the Summer School will address the design of scalable parallel algorithms and the use of standard “de facto” programming models and tools crucial for enhancing HPC application performance, including practical hands-on sessions focusing on MPI, OpenMP, GPU programming, and performance monitoring. The curriculum aims to boost participants’ capabilities in utilizing HPC for complex scientific and industrial tasks, bringing together theoretical and technical viewpoints. Over the course of five days, participants will gain insights into the design and analysis of parallel algorithms and related, current technologies. Dr. Alberto Baiardi, Staff Research Scientist at IBM Zurich, will open the Summer School with a keynote address titled "Quantum Computing for Natural Science Simulations". We are seeking highly motivated students, for a learning experience focused on leading-edge subjects. You will be taught by University of Salento faculty members jointly with CINECA leading experts, and attend classes with top students that share your interests. The Summer School represents a unique opportunity to participate in an exciting laboratory of teaching and active learning. Target audience The target audience includes Master’s graduates, Ph.D students, early-stage Postdoc, and engineers. The school welcomes everyone regardless of gender, age, sexual orientation, disability, physical appearance, race, or religion. Applicants will be evaluated on their CV. Requirements Applicants are expected to: - Posses working knowledge of C/C++, Unix (Linux etc), terminal, editor and compilers; - Bring their laptop to write, compile and execute parallel code. School Fees - Ph.D. students, post-docs and Master’s graduates: 350 euro - Faculties/Researchers: 400 euro - Professionals: 500 euro The fee provides access to all of the lectures, teaching materials and social event/dinner. PLEASE NOTE: The electronic payment also includes, additionally, 2 euro, which represent the payment of stamp duty, a mandatory tax obligation under Italian law. Deadlines Applications (available shortly): until April 18, 2026 Notification of acceptance: April 27, 2026 Fee payment for enrolment: no late than May 4, 2026 Summer School: June 15-19, 2026 Submitting your application is a two-step process. Both steps are MANDATORY. 1) for the initial online registration, please use this link: https://conference.unisalento.it/event/19/ You are required to register, but please don’t pay in advance the registration fee. The Summer School Committee will evaluate the requests, and admit the applicants. Only admitted applicants - up to 50 - must, upon receiving confirmation of admission, proceed with the fee payment. 2) The application form and the required documentation must be sent to the Summer School Committee using the documents available at this link: https://trasparenza.unisalento.it/page/5/details/18396/dii-avviso-di-apertura-delle-candidature-hpc-summer-school-aa-20252026.html NOTE: the website provides the call and application form both in English (Avviso_EN_signed.pdf and Form_EN.docx) and Italian (Avviso Summer School_signed.pdf and Fac simile.docx). Further information about the CINI HPC Summer School can be found at: https://hpcsummerschool.massimocafaro.it - ********************************************************************************************* Prof. Massimo Cafaro, Ph.D. Associate Professor of Parallel Algorithms and Data Mining/Machine Learning Head of the HPC (High Performance Computing) Lab Head of the AIMA Lab (Artificial Intelligence Models and Algorithms) Department of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web https://www.massimocafaro.it Web https://www.unisalento.it/people/massimo.cafaro E-mail massimo.cafaro@unisalento.it E-mail cafaro@ieee.org E-mail cafaro@acm.org INGV National Institute of Geophysics and Volcanology Via di Vigna Murata 605 Roma CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro@cmcc.it Weiler’s Law: Nothing is impossible for the man who doesn’t have to do it himself. ********************************************************************************************** -- ********************************************************** * * 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 contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

The /*3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26) */will be held on *19th July 2026 as part of the /Federated Logic Conference (FLoC '26)/*, immediately before the CP and SAT conferences. The purpose of /WHOOPS /is to bring together researchers interested in certifying algorithms and proof logging for automated reasoning and combinatorial solving. As such, we solicit contributed talks that will be of interest to such an audience, on topics which could include: - the theory or practice of proof logging systems; - bringing proof logging to existing or new solving tools; - descriptions of challenges anticipated or encountered; - integrating proof logging into larger verification frameworks; - connections between proof logging and explainability; - speculation about or requests for future directions for proof logging and certification. /WHOOPS /does not have full papers or proceedings, and presentations may cover work that is already published or that may be published elsewhere in the future. We ask only for a brief (<1 page) abstract, which can be submitted through the /FLoC /submissions system before the *deadline of 15th May 2026*. Further details can be found at https://ciaranm.github.io/WHOOPS26/ . *Background and purpose: * Modern automated reasoning has transformed large parts of industry and has also found numerous scientific applications. But many reasoning problems are computationally very challenging, or sometimes even undecidable. Because of this, the algorithms used are getting increasingly complex, and even the most mature tools currently available struggle with incorrect results. As these algorithms are increasingly being used autonomously, sometimes even in life-critical applications, it is urgent to ensure that what they compute is valid. Software testing, while important, has not been sufficient to resolve this problem, and formal verification methods are far from being able to scale to the level of complexity in modern algorithms. During the last twenty years, the Boolean satisfiability (SAT) solving community has instead spearheaded the use of proof logging, meaning that the SAT solvers have to output, along the answer to a problem, a machine-verifiable proof that this answer is correct. Such solvers are also referred to as certifying algorithms. For a long time, attempts to extend proof logging to stronger paradigms in automated reasoning met with limited success. This has changed in the last few years, however, with proof logging techniques now being developed for a wide range of paradigms such as SAT-based and pseudo-Boolean optimisation, subgraph solving, constraint programming, automated planning, mixed integer linear programming, and even satisfiability modulo theories (SMT) solving and automated theorem proving. These developments have been so fast that in 2024 the fairly spontaneous idea arose to celebrate the latest advances during an informal workshop, which—reflecting the rather improvised nature of the event—was named the /1st Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '24)/. The second edition /WHOOPS '25 /was held last autumn under the auspices of /EuroProofNet/. The third instalment of the workshop series, to be held on 19th July 2026 as part of the /Federated Logic Conference (FLoC '26)/, will continue to expand the range of topics beyond SAT and pseudo-Boolean proof logging to provide a forum for discussing certifying algorithms for automated reasoning more broadly. In addition to ensuring correctness of outputs for automated reasoning algorithms, we also hope to examine the use of proof logging to provide new tools for algorithm development and analysis, software debugging, and even research into explainability in the context of AI. *Program committee: * - Katalin Fazekas, TU Wien - Daniela Kaufmann, TU Wien - Ciaran McCreesh, University of Glasgow - Jakob Nordström, University of Copenhagen and Lund University - Michael Rawson, University of Southampton - Adrian Rebola-Pardo, TU Wien Here is hoping to see you in Lisbon this summer! ********************************************************** * * 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 TCS at Lund University (deadline April 15)

The Department of Computer Science at Lund University invites applications for 1-2 PhD positions in theoretical computer science with focus on computational complexity and algorithms. The PhD student(s) will be working in the research group of Susanna de Rezende. These are four-year full-time employed positions, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is ideally during the fall of 2026. The positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. There is a growing research group in theory of computing at Lund University. We expect to have 7 PhD students by the autumn, in addition to three faculty and two postdocs. Lund University is located in the Öresund area, which is offering one of the strongest and most exciting environments in computational complexity research in Europe. There is extensive collaboration with the University of Copenhagen (UCPH), the IT University of Copenhagen (ITU), and the Technical University of Denmark (DTU) on the other side of the Öresund Bridge. In particular, we will be collaborating with the MIAO research group, which is active at both Lund University and the University of Copenhagen. The PhD students can also look forward to interacting with the three additional faculty in complexity theory in Copenhagen, together with their students and postdocs, as well as with the algorithms group at the Basic Algorithms Research Copenhagen (BARC) centre. The application deadline is April 15, 2026 at midnight local time. See https://derezende.github.io/openpositions/ for more information and instructions on how to apply. Informal enquiries are welcome and can be sent to susanna.rezende@cs.lth.se. När du skickar e-post till Lunds universitet behandlar vi dina personuppgifter i enlighet med gällande lagstiftning. Mer om hur dina personuppgifter behandlas hittar du på Lunds universitets webbplats<https://www.lu.se/integritet>. When you send emails to Lund University, we process your personal data in accordance with existing legislation. To find out more about the processing of your personal data, visit the Lund University website<https://www.lunduniversity.lu.se/about/contact-us/processing-of-personal-data-at-lund-university>. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Post-doc position in algorithms and combinatorics in Marseille, France

Dear colleagues, A 1-year postdoctoral position in algorithms and combinatorics is available at LIS (Marseille, France). The successful candidate will join the ANR PARADUAL project (Parameterized aspects of Dualization) and will work with me and other members of the project. The project explores the parameterized aspects of enumeration problems, with a focus on those related to hypergraph dualization. Candidates whose research interests more generally include graph theory, hypergraphs, algorithms and parameterized complexity, but who are not familiar with the approaches considered in the project, are also welcome to apply. The position comes with no teaching duties. The planned start date is Autumn 2026, with some flexibility. Applications should be submitted by email to oscar.defrain@lis-lab.fr <mailto:oscar.defrain@lis-lab.fr> by May 31 2026 and should consist of: * a curriculum vitae with a list of publications, * a short cover letter (a few paragraphs in the email suffice), * a research statement (1-2 pages is enough). Informal inquiries are welcome and should be addressed to oscar.defrain@lis-lab.fr <mailto:oscar.defrain@lis-lab.fr>. Best regards, Oscar Defrain ********************************************************** * * 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 Abstracts: EUROYoung Workshop 2026 in Lugano (14–16 October 2026)

Dear all, This is a friendly reminder that abstract submission for the EUROYoung Workshop 2026, which will take place in Lugano (Switzerland) from 14 to 16 October 2026, closes on 15 April 2026 (10:00 AM CET). We warmly invite you to join us for this three-day event dedicated to Operations Research. We are also pleased to announce our invited speakers: * Alberto Ceselli, Department of Computer Science "Giovanni Degli Antoni", University of Milan, Italy * Daniel Kuhn, College of Management of Technology, Chair of Risk Analytics and Optimization, EPFL, Switzerland * Monique Laurent, Centrum Wiskunde & Informatica, and Tilburg University, Netherlands The EUROYoung Workshop aims to foster community and collaboration among young researchers in Operations Research. Participants will enjoy plenary talks and have the opportunity to present their work. In addition to the academic program, the workshop will feature networking opportunities and social activities designed to help participants build new connections. Low accommodation fees will be available for participants. More information can be found on our website: https://euroyoung.eu/lugano2026/ If you have any questions, please feel free to contact us at euroyoung2026@usi-supsi.ch<mailto:euroyoung2026@usi-supsi.ch>. We look forward to welcoming you to Lugano! Best regards, Eleonora Vercesi On behalf of the 6th EUROYoung Workshop Organizing Committee ————————— ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CFP IEEE MSWiM Paris, Oct. 2026

======================================================================== CALL FOR PAPERS 28th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM' 26) Paris, France October 26- 30th 2026 http://mswimconf.com/ Paper Registration Deadline: June 1st, 2026 Paper Submission Deadline: July 31st, 2026 ======================================================================== Scope and Objectives MSWiM 2026 is the 28th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2025 will be held in Barcelona, Spain. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Topics of Interest Papers related to wireless and mobile network modeling, analysis, design, and simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: * Performance evaluation and modeling * Analytical Models * Simulation languages and tools for wireless systems * Wireless measurements tools and experiences * Formal methods for analysis of wireless systems * Correctness, survivability and reliability evaluation * Mobility modeling and management * Models and protocols for cognitive radio networks * Models and protocols for autonomic, or self-* networks * Capacity, coverage and connectivity modeling and analysis * Wireless network algorithms and protocols * Software Defined Network * Services for Smart City * Wireless PANs, LANs * Ad hoc and MESH networks * Vehicular Ad-hoc Networks (VANET) * Sensor and actuator networks * Delay Tolerant Networks * Integration of wired and wireless systems * Pervasive computing and emerging models * Wireless multimedia systems * QoS provisioning in wireless and mobile networks * Security and privacy of mobile/wireless systems * Algorithms and protocols for energy efficient operation and power control * Mobile applications, system software and algorithms * RF channel modeling and analysis * Design methodologies * Tools, prototypes and testbeds * Parallel and distributed simulation of wireless systems * Wireless Communication and Mobile Networking * Operating systems for mobile computations * Programming language support for mobility * Resource management techniques * Management of mobile object systems Paper Submission and Publication High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Short papers will be included in the technical program to complement mature results and foster discussion and exchange of novel ideas at an early stage. ============================================================================== Paper submission: https://edas.info/N33694 Paper Registration Deadline: June 1st, 2026 Paper Submission Deadline: June 1st, 2026 Notification: July 31st, 2026 ============================================================================== Conference Dates: Paris, France, October 26-30, 2026 General Chair: Nawel Zangar, ESIEE, France Program Co-Chairs: Enrica Zola, Universitat Politècnica de Catalunya, Spain Peng Sun , Duke Kunshan 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 Contributions: Workshop on Algorithms with Predictions ALPS@IJCAI, Bremen

Workshop on Algorithms with Predictions ALPS@IJCAI IJCAI-ECAI 2026 Website: https://sites.google.com/view/alps-at-ijcai-2026 Submission: https://easychair.org/conferences/?conf=alpsijcai2026 Important dates: - Submission deadline: May 15, 2026 - Notification of acceptance: June 1, 2026 - One-day Workshop: August 15, 2026 SCOPE The rapidly-growing area of learning-augmented algorithms, also known as algorithms with predictions, provides a principled framework for algorithm design that integrates imperfect prior information, most notably machine-learned predictions, while maintaining rigorous, provable performance guarantees. Its central goal is to translate advances in modern AI into reliable algorithmic improvements: algorithms should benefit from accurate predictions to achieve near-optimal performance, yet remain robust and reliable when predictions are inaccurate. This perspective raises fundamental questions at the interface of theoretical computer science and AI about how to represent and evaluate predictive information and how to integrate it into algorithmic decision-making in a controlled way. For an early overview, we refer to the survey by Mitzenmacher and Vassilvitskii (2020), and for a continuously updated collection of papers see the Algorithms with Predictions webpage: https://algorithms-with-predictions.github.io/. This workshop aims to bring together researchers across AI/ML and algorithms to discuss recent progress and identify emerging directions and applications. List of relevant topic areas: - Algorithm design with predictions - Mechanism design with predictions - Prediction models - Error notions - Consistency-robustness tradeoffs - Generative AI/LLMs in algorithm design VENUE ALPS@IJCAI is a workshop of IJCAI-ECAI 2026. It will take place in Bremen in Germany. https://2026.ijcai.org/ INVITED SPEAKERS - Vianney Perchet, Institut Polytechnique de Paris - Debmalya Panigrahi, Duke University PROGRAM COMMITTEE Alexander Lindermayr (TU Berlin, Germany) Lene Favrholdt (U Southern Denmark, Denmark) Benjamin Moseley (CMU, US) Cliff Stein (Columbia U, US) Marek Elias (Bocconi U, Italy) SUBMISSION Authors are invited to submit abstracts of at most 3 pages related to the theme of the workshop based on their original research results (published or not yet published), surveys of existing results, or ongoing research and open problems. Feel free to provide a link to a full paper, if it exists. The submission site is https://easychair.org/conferences/?conf=alpsijcai2026 ORGANIZERS Antonios Antoniadis (U Twente, Netherlands) Nicole Megow (U Bremen, Germany) Vasilis Gkatzelis (Drexel U, US) Sergei Vassilvitskii (Google, US) ********************************************************** * * 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] Last 2 days! SecRIoT-SCC 2026 Submission Deadline: April 8, 2026 – 7th IEEE International Workshop on SecRIoT-SCC 2026 co-located with DCOSS-IoT 2026 | Reykjavik, Iceland

======================================== We apologize if you receive multiple copies of this CFPs. We appreciate your help to contribute & forward this CFPs to your friends. ======================================== You are cordially invited to submit your latest research results to the SecRIoT-SCC 2026. Call for Papers 7th IEEE International Workshop on Security, Reliability of IoT Systems & Supply Chain Cybersecurity (SecRIoT-SCC 2026) co-located with DCOSS-IoT 2026 Reykjavik, Iceland, June 22-24, 2026 Workshop Website: https://sites.google.com/view/secriot2026 Conference Website: https://dcoss.org/ As the Internet of Things continues to expand rapidly, security, reliability, and supply chain trustworthiness have become critical concerns for modern interconnected systems. SecRIoT-SCC 2026 aims to bring together researchers and practitioners from academia, industry, and government to discuss recent advances, emerging challenges, and innovative solutions in IoT security and supply chain cybersecurity. Topics of interest include, but are not limited to: * Security, privacy, trust, and reliability in IoT systems * Intrusion detection, malware analysis, and cyber-physical security * Secure embedded systems, operating systems, and communication protocols * Autonomous vehicles, medical devices, and other emerging IoT applications * Supply chain cybersecurity, secure manufacturing, and third-party risk * AI, machine learning, blockchain, and zero-trust approaches for security * Risk assessment, incident response, and regulatory compliance ======================================== Important Dates Submission Deadline: April 8, 2026 Acceptance Notification: April 30, 2026 Camera Ready Deadline: May 22, 2026 ======================================== Submission link: https://easychair.org/conferences?conf=secriot2026 ======================================== Workshop Chairs * Athanasios Kakarountas (University of Thessaly, Greece) * Leandros Maglaras (De Montfort University, UK & Edinburgh Napier University, Scotland) * Naghmeh Moradpoor (Edinburgh Napier University, Scotland) * Vasileios Vlachos (University of Thessaly, Greece) * Thomas Edward Welsh (University of Iceland, Iceland) ======================================== Regards, Yagmur Yigit, PhD Student, Edinburgh Napier University This message and its attachment(s) are intended for the addressee(s) only and should not be read, copied, disclosed, forwarded or relied upon by any person other than the intended addressee(s) without the permission of the sender. If you are not the intended addressee you must not take any action based on this message and its attachment(s) nor must you copy or show them to anyone. Please respond to the sender and ensure that this message and its attachment(s) are deleted. It is your responsibility to ensure that this message and its attachment(s) are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this message or its attachment(s), or for errors or omissions arising after it was sent. Email is not a secure medium. Emails entering Edinburgh Napier University's system are subject to routine monitoring and filtering by Edinburgh Napier University. Edinburgh Napier University is a registered Scottish charity. Registration number SC018373 BSL users can contact us via contactSCOTLAND-BSL, the on-line British Sign Language interpreting service. Find out more on the contactSCOTLAND website. ********************************************************** * * 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 Invited Sessions at IntelligenceX 2026 – The Global Quantum × AI Frontier 24–26 September 2026 | Singapore

Dear All, The Organising Committee of IntelligenceX 2026 invites proposals for Invited Sessions. IntelligenceX 2026 will be held 24–26 September 2026 in Singapore, co-organised with the National University of Singapore (NUS). Conference website: https://www.soc-ai.org/events/intelligencex-2026 Topics of Invited Sessions -------------------------- Invited Sessions may cover theory, methods, applications, and/or industry showcases, including: - Theoretical foundations of AI, quantum computing, optimization, and data science - Algorithmic and methodological advances in AI, ML, optimization, and statistics - Hybrid Quantum×AI systems, architectures, and applications - Applications in, but not limited to, finance, engineering, logistics, healthcare, and energy - Industry showcases, real-world deployments, and emerging use cases - Acceptance: Invited Sessions will be accepted on a rolling (rotation) basis, subject to programme capacity. - Submission deadline: 31 July 2026 Invited Session proposals should include: - Session title - Name, affiliation, and contact details of the session organiser - List of proposed speakers and tentative talk titles Submission link: https://forms.gle/kKcYxG6PDgyvrSNk8 For inquiries, please contact: info@soc-ai.org Scientific Organizing Committee ------------------------------- Bastian Bergmann (ETH Zürich, Switzerland) Ralf Borndörfer (Freie Universität Berlin & Zuse Institute Berlin, Germany) Agostino Capponi (Columbia University, USA) Chun-houh Chen (Academia Sinica, Taiwan) Ray-Bing Chen (National Tsing Hua University, Taiwan) Ying Chen (National University of Singapore, Singapore) Philippe Codognet (CNRS / Sorbonne University / University of Tokyo, France) Katsuki Fujisawa (Institute of Science Tokyo, Japan) Paolo Giudici (University of Pavia, Italy) Xin Guo (University of California, Berkeley, USA) Nikolaus Hautsch (University of Vienna, Austria) Tomoyuki Higuchi (The Institute of Statistical Mathematics, Japan) Satoshi Ito (The Institute of Statistical Mathematics, Japan) Thorsten Koch (Zuse Institute Berlin & TU Berlin, Germany) Stefan Lessmann (Humboldt-Universität zu Berlin, Germany) Sven Leyffer (Argonne National Laboratory, USA) Rujira Ouncharoen (Chiang Mai University, Thailand) Huyên Pham (École Polytechnique, France) Paulo Canas Rodrigues (Federal University of Bahia, Brazil) Xun Shen (Tokyo University of Agriculture and Technology, Japan) Yuji Shinano (Zuse Institute Berlin, Germany) Josef Teichmann (ETH Zürich, Switzerland) Simon Trimborn (University of Amsterdam, Netherlands) Qiwei Yao (London School of Economics and Political Science, UK) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] RANDOM 2026

Dear researchers, The 30th International Conference on Randomization and Computation (RANDOM 2026) will be held at Boston University<https://www.bu.edu/tcs/>, Boston, Massachusetts, USA, on August 19-21, 2026 (together with APPROX 2026<https://approxconference.com/> and WOLA 2026). The deadline to submit your papers for RANDOM 2026 is May 6, 2026 (Anywhere on Earth). You can find more details and the call for papers on our website<https://randomconference.com/random-2026-home/>. We look forward to your submissions! Best wishes, Tom Gur RANDOM 2026 Program Committee Chair ********************************************************** * * 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] Overlay @ FLoC 2026 - Third Call for Papers - abstracts due on April 13

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 *** *********** THIRD CALL FOR PAPERS *********** OVERLAY 2026 @ FLoC July 18-19, 2026 Lisbon, Portugal https://overlay.uniud.it/workshop/2026 Abstract submission deadline: April 13, 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 formal and data-driven approaches to natural language processing 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: 1. “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). 2. “short” papers, presenting either original research or results already published in other venues, write-ups on work-in-progress projects worth discussing, etc. Short papers should not exceed four (4) pages plus references. 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<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 and submitted through the FLoC HotCRP system at: https://submissions.floc26.org/overlay/ *** 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) *** - Abstract submission: April 13, 2026, Anywhere On Earth - Paper submission: April 17, 2026, Anywhere On Earth - 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*** Raffaella Bernardi - Free University of Bozen-Bolzano, Italy Alberto Bombardelli - Kyoto University, Japan Davide Bresolin - University of Padova, Italy Alessandro Burigana - Free University of Bozen-Bolzano, Italy Victor-Alexandru Darvariu - University of Oxford, UK Giuseppe De Giacomo - University of Oxford, UK Görschwin Fey - TU Hamburg, Germany Mirco Giacobbe - University of Birmingham, UK Alessandro Gianola - NESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal Lucía Gómez Álvarez - INRIA Grenoble, France Martin Leucker - University of Lübeck, Germany Federico Mari - University of Rome Foro Italico, Italy Andrea Micheli - Fondazione Bruno Kessler, Trento, Italy Sergio Mover - Lix Ecole Polytechnique, Paris, France Andrea Orlandini - ISTC-CNR, Rome, Italy Ingo Pill - Graz University of Technology, Austria Luca Putelli - University of Brescia, Italy Michel Reniers - Eindhoven University of Technlogy, Germany Sabina Rossi - University of Venice, Italy Sasha Rubin - University of Sydney, Australia Cesar Sanchez - IMDEA, Madrid, Spain Nicola Saccomanno - University of Udine, Italy Enrico Scala - University of Brescia, Italy Stefano Tonetta - Fondazione Bruno Kessler, Trento, Italy Enrico Tronci - University of Rome La Sapienza, Italy Sarah Winkler - Free University of Bozen-Bolzano, Italy Matteo Zavatteri - Fondazione Bruno Kessler, Trento, Italy *** Contacts *** For more information write an email to overlay@uniud.it<mailto:overlay@uniud.it> ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] The 9th DIS Conference – May 31–June 4, 2026, Czech Republic-Deadline Extended to April 20

Dear All, The *9th International Conference on the Dynamics of Information Systems (DIS 2026)* will take place *May 31 – June 4, 2026,* in* the Czech Republic, *just 80 km from Prague and accessible via a direct train (one stop). *Conference Focus:* DIS 2026 explores cutting-edge topics in information science, AI, machine learning, optimization, operations research, and data-driven applications across diverse domains. *Topics Include (but are not limited to):* - Information science & uncertainty modeling - Optimization & operations research - Machine learning & AI - Data science & computational medical analysis - Quantum information, dynamical systems, and robotics - Applications in economics, energy, environment, and more *Important Dates:* - Submission Deadline: April 5, 2026 * April 20, 2026* - Author Notification: April 20, 2026 - Camera-ready Submissions for LNCS: July 1, 2026 *-Plenary Speakers:* - Panos M. Pardalos, <https://scholar.google.com/citations?user=4e_KEdUAAAAJ&hl=en> University of Florida, USA - Peter Richtárik <https://scholar.google.com/citations?user=pGh242UAAAAJ&hl=en>, KAUST, Saudi Arabia - Roman Belavkin, <https://www.mdx.ac.uk/about-us/our-people/staff-directory/dr-roman-belavkin/> Middlesex University, UK - Zbyšek Posel <https://ki.ujep.cz/cs/personalni-slozeni/zbysek-posel/>, UJEP, Czech Republic -All accepted papers will be published in *Springer LNCS proceedings*. *Learn More & Contact:* https://dis2026.ujep.cz/ Hossein.Moosaei@ujep.cz ********************************************************** * * 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] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Mile for Research Papers Submission

*** Last Mile for Research Papers Submission *** International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) 29 September - 2 October 2026, 5* St. Raphael Resort and Marina Limassol, Cyprus https://conf.researchr.org/home/variability-2026 (*** Submission Deadline: 10 April 2026, AoE ***) The International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) invites high-quality contributions from researchers and practitioners in software engineering, systems engineering, and related disciplines focussing on a broad spectrum of methods, concepts, and tools for variability. VARIABILITY aims to be the premier forum for the exchange of ideas, experiences, and results in all aspects of software and systems variability management, reuse, software configuration, and customization. As software and systems become increasingly configurable, reusable, and adaptable, managing their variability across all lifecycle phases is more critical—and more challenging —than ever. VARIABILITY 2026 seeks to bring together the diverse communities that address these challenges from theoretical, technical, and practical perspectives. VARIABILITY results from a merge of three prominent conferences focussing on software and systems variability, configuration and reuse: SPLC (the International Systems and Software Product Line Conference, 29 successful editions), VaMoS (the International Working Conference on Variability Modelling of Software-Intensive Systems, 19 successful editions), and ICSR (the International Conference on Systems and Software Reuse, 22 successful editions). VARIABILITY is by design open as a conference. It welcomes new fields of variability- intensive research, such as artificial intelligence, hybrid software-hardware systems, etc. For this first edition of VARIABILITY, we strive to continue the success of the predecessor conferences ICSR, SPLC, and VaMoS by welcoming high-quality submissions for the research track in numerous closely related areas, such as systems and software product lines, systems and software reuse, configurable systems and software, product configuration, and systems and software variability. We will award the best research paper and the best artifact paper. Topics of Interest We invite contributions on variability management, reuse, and configuration across all phases of the software and systems lifecycle. The topics of interest include, but are not limited to: Requirements & Domain Engineering • Domain analysis and variability modeling • Decision modeling and support • Customization and personalization specification • Requirements variability and traceability Architecture & Design • Variability-aware software architectures • Architecture-centric product line engineering • Model-driven engineering (MDE) • Multi-product lines, program families, product lines of product lines, software ecosystems Implementation & Code Generation • Generative programming and code synthesis • Modularization techniques for reusable code • Programming languages and frameworks for variability • Open-source strategies for software reuse Testing, Verification & Quality Assurance • Testing and analysis of configurable systems • Safety and security in variable systems • Formal Methods for Software Product Lines • Non-functional properties: quality-aware analysis, quality-driven configuration • Reuse in testing, verification, and quality assurance Evolution, Maintenance & Operation • Refactoring and restructuring of configurable systems • Reverse engineering, variability mining, and refactoring • Runtime variability and dynamic (software) product lines • Maintenance strategies for large-scale reused systems • Variability in DevOps and CI/CD pipelines AI and Data-Driven Methods • Machine learning for variability management • AI-assisted product configuration • Data and repository mining from product lines and configuration histories • Recommendation systems for reuse and customization Publication of Proceedings Accepted papers will be published in the VARIABILITY 2026 proceedings by Springer in the LNCS series. Submission Guidelines Paper Types We invite the following types of submissions: • Full Papers (up to 18 pages excluding references): Research papers must present original, unpublished work with validated results through empirical evaluation, formal analysis, or implementation-based experiments. Submissions must clearly articulate the problem, its relevance, the proposed contribution, and validation results. • Short Papers (6 - 8 pages excluding references): Short papers present early-stage research, novel ideas, or conceptual proposals that are not yet fully developed or validated but offer promising directions. These papers should articulate the vision, motivation, and potential impact. Formatting Papers must use the Springer LNCS template according to: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Springer provides author guidelines that should be consulted for further details: https://resource-preview-cms.springernature.com/springer-cms/rest/v1/content/19242230/data/v17 Submission Link Submissions should be made via Easy Chair, selecting the research track: https://easychair.org/conferences?conf=variability2026 Paper Originality, Double-Anonymous Policy, Reviewing All papers must be original and not under review elsewhere. Submissions will be double- anonymous and reviewed by at least three experts. Submissions will be evaluated based on their novelty, relevance, rigor, transparency, and presentation. Authors of submissions to the first deadline might be invited to submit a revision of their papers to the second deadline, which will be reviewed as a revision. Revisions Research-track papers can be submitted to the first or second cycle. In the first cycle, papers can receive the following decisions: accept, revision, or reject. Revision means that the reviewers believe that the paper has potential, but that its quality or contribution is not yet ready for publication. Such papers are offered lightweight shepherding by a community member, who is not necessarily a PC member or reviewer. Revised papers should be submitted to the second cycle together with a response letter, explaining how the reviewer comments were addressed. They are then reviewed by the same PC members. Papers rejected in the first cycle can be resubmitted in the second cycle, but need to contain an appendix “Changes to First-Cycle Submission” at the end of the PDF (after references, regardless of the page limit) that lists the major changes in bullet-point format. Best Paper Awards Springer will sponsor the awards for bet papers with an overall amount of €1000. Journal Special Issue Selected accepted papers will be invited to submit extended versions with at least 30% additional and original material, to be published in a special issue in a reputable Software Engineering journal (currently under negotiation). Important Dates (AoE) • Paper Submission Deadline: 10 April 2026 (extended) • Notification of Acceptance: 1 June 2026 • Camera-Ready Deadline: 15 July 2025 • Author Registration: 15 July 2025 Organisation General Chairs • George A. Papadopoulos, University of Cyprus, Cyprus • Gilles Perrouin, FNRS & University of Namur, Belgium Research Track Chairs • Thorsten Berger, Ruhr University Bochum, Germany • Ina Schaefer, KIT, Germany Industry Track Chairs • Shaukat Ali, Simula Research Lab and Oslo Metropolitan University, Norway • Martin Becker, Fraunhofer IESE, Germany Journal First Track Chairs • Mathieu Acher, University Rennes, Inria, CNRS, IRISA, France • Xhevahire Tërnava, LTCI, Télécom Paris, Institut Polytechnique de Paris, France Doctoral Symposium Track Chairs • Rick Rabiser, LIT CPS, Johannes Kepler University Linz, Austria • Iris Reinhartz-Berger, University of Haifa, Israel Demos and Tools Track Chairs • Sandra Greiner, University of Southern Denmark, Denmark • Leopoldo Teixeira, Federal University of Pernambuco Projects Showcase Chairs • Daniel Struber, Chalmers, University of Gothenburg, Radbound University, Sweden • Dalila Tamzalit, Nantes Université, France Hall of Fame Chairs • Martin Becker, Fraunhofer IESE, Germany • Goetz Botterweck, Lero - The Irish Software Research Centre and University of Limerick, Ireland • Natsuko Noda, Shibaura Institute of Technology, Japan Workshops Chairs • Lidia Fuentes, Universidad de Malaga, Spain • Malte Lochau, University of Siegen, Germany Tutorials Chairs • Loek Cleophas, Eindhoven University of Technology and Stellenbosch University, The Netherlands • Mahsa Varshosaz, IT University of Copenhagen, Denmark Proceedings Chair • Sophie Fortz, King's College London, UK Publicity Chairs • Wesley Assunção, North Carolina State University, USA • Kentaro Yoshimura, Hitachi Ltd, Japan Local Organiser and Finance Chair • George A. Papadopoulos, University of Cyprus, Cyprus ********************************************************** * * 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] SIROCCO 2026 - Second Call for Participation

*============================== SIROCCO 2026 Call for Participation ==============================* We are delighted to announce the upcoming SIROCCO 2026 conference, which will be held in the scenic city of Durham, UK on June 9th - 11th, 2026. SIROCCO is devoted to the study of the interplay between structural knowledge, communication, and computing in decentralized systems of multiple communicating entities. Special emphasis is given to innovative approaches leading to a better understanding of the relationship between computing and communication. The list of accepted papers is available online: https://sirocco2026.webspace.durham.ac.uk/programme-and-accepted-papers/The Best Paper Award of SIROCCO 2026 is awarded to *Caterina Feletti, Paola Flocchini, Debasish Pattanayak, Giuseppe Prencipe* and *Nicola Santoro*, for their paper “Universal Dancing by Luminous Robots Under Sequential Schedulers”.The Best Student Paper Award of SIROCCO 2026 is given to *Laurent Feuilloley, Soumyadeep Paul* and *Ami Paz*, for their paper “Polynomial Time Local Decision Revisited” (contributing student: Soumyadeep Paul). Conference registration is open: https://pay.durham.ac.uk/event-durham/33rd-international-colloquium-on-structural-information-and-communication-complexity-sirocco-2026Note that the early registration deadline is April 30th, 2026. Information about the venue, nearby hotels and accommodation, how to reach Durham, and the visa support letter can be found here: https://sirocco2026.webspace.durham.ac.uk/local-information/Please note that this season is particularly busy for Durham, so please book your accommodation early on. SIROCCO has a tradition of interesting and productive scientific meetings in a relaxed and pleasant atmosphere, attracting leading researchers in a variety of fields in which communication and knowledge play a significant role. This year's conference promises to be an enriching experience, featuring keynote lectures from renowned experts:- Jukka Suomela on *Distributed Quantum Advantage*- Maria Potop-Butucaru on *Smart Contracts and Distributed Cross-Chain Protocols*- Dariusz Kowalski on *Distributed Protocols on Shared Channels *(2026 Prize for Innovation in Distributed Computing awardee)See you in Durham in June! ------ Regards, William K. Moses Jr. Local Organizer (Publicity), SIROCCO 2026 https://sites.google.com/view/wkmjr ********************************************************** * * 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] DISC 2026 - Second Call for Workshops and Tutorials

=============================================== *DISC 2026 Call for Workshops & Tutorials* =============================================== DISC 2026 will be held this year in Rome, Italy from the *9th to the 13st of November* (http://www.disc-conference.org/wp/disc2026/). We invite proposals for full-day and half-day workshops and tutorials. They will take place on Monday the 9th of November and Friday the 13th of November. *We expect that most talks of workshops are held in person at the conference site.* We intend to follow the “workshops template” from DISC 2019 (see the workshop program at a glance at http://www.disc-conference.org/wp/disc2019/workshops/), that is, there will be up to 3-4 workshops each day (depending on the predicted number of participants) where we synchronize the parallel talks as much as possible so that “cross-workshops” participants will not miss any of the talks. This also guarantees shared coffee and lunch breaks. We are interested in topics which are related to distributed computing and systems on one hand, but also in topics that have the potential of extending the scope of what the community sees as “distributed computing” on the other hand. =============================================== *Important Dates* =============================================== *Workshop/Tutorial proposal deadline: April 30, 2026, at 23:59 AoE.* =============================================== *Instructions* =============================================== Please email the Workshops & Tutorials Chair, Ami Paz (amipaz.cs@gmail.com), a short proposal with the following details: 1. Workshop/tutorial name and an optional acronym (please state whether it is a workshop, a tutorial, or any other format). 2. Names, affiliations, and email addresses of the organizers. Please specify who is the point of contact. 3. Short description of the workshop’s topic and its relevance to the DISC community. 4. Length: Half-day or full day. 5. Date preference: Please state if you see any problem with holding the workshop on Monday or on Friday. 6. Tentative list of (possible) speakers. 7. A skeleton schedule of the workshop (see an example in here: https://adga-workshop.org/2025/, but of course you can have shorter talks/posters, etc.). 8. A link to a website of a past meeting of your workshop (if applicable). 9. Estimated number of speakers and attendees. ------ Regards, William K. Moses Jr. Publicity Chair, DISC 2026 https://sites.google.com/view/wkmjr ********************************************************** * * 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 Theoretical Computer Science at King’s College London

A fully funded PhD position open to UK and overseas students is available at the Department of Informatics, King’s College London, supervised by Dr Silvia Butti. The project associated with the position will be on approximation of Constraint Satisfaction Problems. Further details and application process: https://www.kcl.ac.uk/study-legacy/funding/approximation-of-constraint-satisfaction-problems Application Deadline: 24 April 2026 Regards, ============================ Silvia Butti Department of Informatics King’s College London https://www.kcl.ac.uk/people/silvia-butti ********************************************************** * * 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] FW: PhD position at TU Eindhoven

There's an opening for a PhD POSITION in COMPUTATIONAL GEOMETRY at TU EINDHOVEN (TU/e).

Supervisor: prof. Mark de Berg
Application website: https://www.tue.nl/en/working-at-tue/vacancy-overview/phd-in-computational-geometry.
Application deadline: May 2, 2016.

THE PROJECT
-----------------
The project focuses on fundamental algorithmic questions on geometric networks and, in particular, on geometric intersection graphs: graphs whose nodes correspond to disks or other objects in the plane and that have an edge between two nodes if the corresponding objects intersect. Such graphs have been used, for instance, to model sensor networks. Geometric intersections graphs are a generalization of planar graphs, and the goal of the project is to generalize results on planar graphs to intersection graphs. In particular, we wish to study generalizations of the famous Planar Separator Theorem, and investigate how such generalizations can be used to obtain efficient algorithms for geometric intersection graphs.

BEING A PHD STUDENT AT TU EINDHOVEN
------------------------------------------------------
As a PhD student working on the project, your main task will be to perform research, in close collaboration with your supervisor (prof. Mark de Berg) and possibly other PhD students. This also entails participating in international conferences and workshops to present your results. Part of the project will be done in collaboration with prof. Kisfaludi-Bak (Aalto University, Finland). Besides working on your research project, you will also assist in some algorithms-related courses, as a teaching assistant (TA).

You will be working in the TU/e Algorithms cluster, one of the largest research groups world-wide that focuses on algorithms research. The cluster currently has 10 faculty members, whose research interests include computational geometry and topology, graph and FPT algorithms, algorithms for massive data, geo-visualization, and computational social choice; please visit https://algo.win.tue.nl/ for more details on the cluster. The cluster provides a lively and international environment for your research.

As a PhD student, you do need not speak Dutch: it is easy to get by with English, not only at the university (where all courses are taught in English) but also in everyday life. Eindhoven is a pleasant city, and the university is very close to the train station and the city center.

JOB REQUIEREMENTS
----------------------------
- A master's degree (or an equivalent university degree) in computer science or mathematics, with a strong background in algorithms.
- A passion for research and algorithms theory
- An interest in acting as a teaching assistant in algorithms-related courses
- Fluent in spoken and written English (C1 level).

WHAT WE OFFER
----------------------
- Full-time employment for four years, with an intermediate assessment after nine months. You will spend a minimum of 10% of your four-year employment on teaching tasks, with a maximum of 15% per year of your employment.
- Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch Universities <https://www.tue.nl/en/working-at-tue/why-tue/conditions-of-employment>, scale P (min. € 3,059 - max. € 3,881), with a year-end bonus of 8.3% and annual vacation pay of 8%.
- An excellent technical infrastructure, on-campus children's day care and sports facilities.
- A tax compensation scheme (the 30% facility) for international candidates.

HOW TO APPLY
-------------------
All applications should be done through the TU/e application website; please visit https://www.tue.nl/en/working-at-tue/vacancy-overview/phd-in-computational-geometry. The application deadline is May 2, 2016.

QUESTIONS?
-----------------
If you have questions about the position or the project, please contact prof. Mark de Berg (M.T.d.Berg@tue.nl)
**********************************************************
*
* 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] [NCMA 26] [Extended Deadline] NCMA-2026 Rouen, France — Deadline Extended to April 20

16th International Workshop on
"Non-Classical Models of Automata and Applications"
(NCMA 2026)

June 29-30, 2026, Rouen, France

https://dlt-ncma-2026.sciencesconf.org/

*************************************************************************
Extended Deadline : April 20, 2026
*************************************************************************

NCMA (since 2009) is a workshop series devoted to research on non-classical models of automata and grammar-like devices, covering both theoretical foundations (descriptional complexity, decidability, complexity) and applications (bio-computing, document processing, self-assembly, etc.). NCMA aims to bring together researchers studying novel or extended computational models, their properties and applications.

Topics for NCMA 2026 include (but are not limited) to :

- Formal models inspired by linguistics, bio-computing, text processing,
document engineering, self-assembly, etc.,
- Bio-inspired models of automata and generative devices,
- Cellular automata,
- Forgetting automata and restarting automata,
- Automata with additional resources,
- Regulated rewriting/automata,
- Networks of automata or generative devices,
- Models of cooperation and communication,
- Quantum automata,
- Automata in the framework of membrane computing,
- Complexity aspects for formal systems.

Important dates (all dates are to be understood AoE)
----------------------------------------------------------------------

* Extended Deadline for submissions: April 20, 2026
* Notification of acceptance: May 18, 2026
* Deadline for all final papers: June 8, 2026
* Conference: June 29-30, 2026

Submissions and Proceedings
---------------------------

Authors are invited to submit full papers of up to 16 pages in electronic form (PDF).
About the used style and submission procedure detailed information will be put on the website on due time. The proceedings for full papers is planned to appear in an EPTCS volume.

Proofs omitted due to space constraints may be put into an appendix that will be read by the reviewers at their discretion. All papers will be reviewed by at least three referees, and simultaneous submissions to other conferences or workshops with published proceedings are not allowed.

Papers should be submitted electronically in PDF through the EasyChair system:
https://easychair.org/my2/conference?conf=ncma2026

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

Beatrice Palano (Milan, Italie)
Abuzer Yakaryilmaz (University of Latvia)

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

Martin Berglund (Umeå, Sweden)
Cezar Campeanu (Charlottetown, Canada) (co-chair)
Giuseppa Castiglione (Palermo, Italy)
Pamela Fleischmann (Kiel, Germany)
Zsolt Gazdag (Szeged, Hungary)
Yo-Sub Han (Seoul, South-Korea)
Zbyněk Křivka (Brno, Czech Republic)
Martin Kutrib (Giessen, Germany) (co-chair)
Sylvan Lombardy (Bordeaux, France) (co-chair)
Ian McQuillan (Saskatoon, Canada)
František Mráz (Prague, Czech Republic)
Benedek Nagy (Famagusta, Cyprus)
Florent Nicart (Rouen, France)
Beatrice Palano (Milano, Italy)
Luca Prigioniero (Loughborough, UK)
Rogério Reis (Porto, Portugal) and
Agustín Riscos-Núñez (Sevilla, Spain)
Hellis Tamm (Tallinn, Estonia)
Brink van der Merwe (Stellenbosch, South Africa)

Local Information:
------------------------

The workshop will take place in Rouen (France).

NCMA 2026 will be co-located with DLT 2026: 30th International Conference on Developments in Language Theory (June 30 - July 3, 2026).

Contact:
---------

email: comite.organisation.dlt.ncma.2026@listes.univ-rouen.fr
web : https://dlt-ncma-2026.sciencesconf.org/

------------------------------------------------------------
Apologize if you have received multiple copies of this message.
------------------------------------------------------------    

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