[DMANET] Invitation to the Third Tutorial of the 2026 QSR Tutorial Series

We invite you to participate in the last tutorial of the 2026 QSR Tutorial Series. The goal of the series is to provide QSR members and the general public with accessible, high-quality tutorials that expand their knowledge of emerging research areas and practical tools in quality, statistics, and reliability. The information of the last tutorial is below. We look forward to seeing you there! Reliability Models and Data Analysis for New Product Development Reliability testing, experimental design, and data analysis play a critical role in the development, estimation, and improvement of highly reliable products. To obtain high-quality reliability data, test equipment, stress profiles, and experimental designs must be carefully selected. Domain knowledge, such as physics-of-failure mechanisms, failure modes, and operating conditions, should be effectively incorporated into experimental design to ensure efficient data collection and accurate representation in the corresponding reliability models. For engineering teams involved in such efforts, a range of challenges related to equipment selection, statistical methodology, and cost constraints must be addressed. This 2-hour tutorial begins with an overview of widely used reliability testing techniques, statistical models, and test planning methods. The second part focuses on several "interesting" technical challenges and practical solutions we came up with for supporting engineers in reliability testing and data analysis during new product development. This tutorial is intended for a diverse audience, including engineering students, researchers, and industry professionals. Dr. Haitao Liao John & Mary Lib White Systems Integration Chair and Professor Department of Industrial Engineering University of Arkansas - Fayetteville Dr. Haitao Liao is the John & Mary Lib White Endowed Systems Integration Chair and a Professor in the Department of Industrial Engineering at the University of Arkansas, Fayetteville. He earned his Ph.D. in Industrial and Systems Engineering from Rutgers University in 2004, along with M.S. degrees in Industrial Engineering and Statistics from the same institution. He received his B.S. in Electrical Engineering from Beijing Institute of Technology. Dr. Liao's research focuses on reliability modeling, fault diagnosis and prognostics, smart maintenance, service logistics, risk-informed decision-making, and resilience of critical infrastructure. He has authored more than 130 journal articles in leading publications, including European Journal of Operational Research, Naval Research Logistics, IISE Transactions, Annals of Operations Research, IEEE Transactions on Reliability, Reliability Engineering & System Safety, and International Journal of Production Research. He is the recipient of several prestigious honors, including the National Science Foundation CAREER Award (2010) and the Alan O. Plait Award for Tutorial Excellence (2017). In addition, he has received numerous best paper awards from IISE, INFORMS, and the Society of Reliability Engineers. Dr. Liao currently serves as Associate Editor-in-Chief of IEEE Transactions on Reliability and is a Fellow of IISE. April 24, 2026 3:00pm (EDT) Zoom Link: https://kaist.zoom.us/j/86474411685 Kind regards, The Organizing Committee: Alan R. Vazquez, Tecnologico de Monterrey Heeyoung Kim, KAIST William Fisher, JMP ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP] GenAIK-NORA Joint Workshop @ IJCAI-ECAI 2026

Hi All, We are pleased to announce GenAIK-NORA: The Joint Workshop on Generative AI and Knowledge Graphs and KNOwledge GRaphs & Agentic Systems Interplay, which will be co-located with IJCAI-ECAI 2026 in Bremen, Germany. More details below. *Joint Call for Papers---------------------------------------------------------------------------------Joint Workshop on Generative AI and Knowledge Graphs (GenAIK) and KNOwledge GRaphs & Agentic Systems Interplay (NORA),15-17 August 2026, Bremen, GermanyWeb: https://genetasefa.github.io/GenAIK2026/ and https://nora-workshop.github.io/IJCAIECAI2026/ X: @GenAIK26 LinkedIn: https://www.linkedin.com/groups/9868047 and https://www.linkedin.com/company/nora-knowledge-graphs-agentic-systems-interplay Mastodon: https://sigmoid.social/@GenAIK ---------------------------------------------------------------------------------In conjunction with IJCAI-ECAI 2026, August 15-19---------------------------------------------------------------------------------Workshop Overview---------------------------------------------------------------------------------Recent advances in Generative Artificial Intelligence (GenAI) and Large Language Models (LLMs) have transformed the AI landscape, enabling systems to generate multimodal content and perform increasingly complex reasoning and decision-making tasks. Despite these advances, generative models still face important challenges, including hallucinations, limited interpretability, and difficulties in grounding outputs in reliable domain knowledge.Knowledge Graphs (KGs) provide a principled framework for representing structured and interconnected knowledge through entities, relations, and formal ontologies. They enable interpretability, reasoning, and the integration of domain expertise, making them an important component for building reliable and trustworthy AI systems. At the same time, LLM-based agents are emerging as a powerful paradigm for building autonomous systems capable of planning, tool use, and long-term task execution, often requiring structured representations of knowledge and memory.The interaction between generative models, agentic systems, and knowledge graphs is therefore becoming an important research direction in contemporary AI. This workshop aims to bring together researchers and practitioners from AI, NLP, Knowledge Graphs, Semantic Web, and Hybrid AI to explore methods, systems, and applications that combine these paradigms.This edition represents a joint workshop, bringing together the communities of GenAIK (Generative AI and Knowledge Graphs) and NORA (Knowledge Graphs and Agentic Systems Interplay) to foster collaboration across these complementary research areas.---------------------------------------------------------------------------------Topics of Interest---------------------------------------------------------------------------------- KG construction, completion, and refinement with GenAI and Agents— Text-to-KG extraction using LLMs (multilingual, multimodal)— KG completion, cleaning, and refinement (deduplication, entity resolution)— Fact verification, contradiction detection, and consistency checking— Human-in-the-loop KG curation and interactive refinement- KG grounding for information retrieval, including generation, querying, and dialogue— KG-grounded generation / GraphRAG (subgraph retrieval, path-based evidence)— Natural language querying of KGs via GenAI (e.g., NL-to-SPARQL) — Hybrid QA and dialogue systems combining KGs and GenAI (e.g., Agents) — Prompting / controllable generation using KG structure and constraints— Context and memory indexing and retrieval for GenAI and agents- Neuro-symbolic methods, reasoning, and explainability— Hybrid reasoning with rules, constraints, and structured evidence — Explainability and verifiable reasoning with provenance/evidence graphs — Cross-domain knowledge transfer with KGs and GenAIK- Representations, embeddings, and temporal/evolving KGs— GenAI for KG embeddings and hybrid vectorgraph representations — Temporal KGs, dynamic updates, continual learning, concept drift — Ontology learning, schema induction, alignment, and schema evolution- Trustworthiness, safety, and governance— Bias mitigation using KGs in GenAI and Agentic Systems— Hallucination reduction via grounding/constraints; robustness to attacks — Uncertainty estimation and calibrated confidence — Privacy, access control, and policy-aware KG-grounded generation- Agentic KGs and real-world systems — Agentic KGs: KGs as long-term memory/state for LLM agents— KGs serving agents' memories: Episodic (experiences, events, etc.), Semantic (facts, concepts, etc.), and — Procedural (skills, tasks, etc.)— KG-aware planning, tool use (query/update), and multi-agent coordination— Collaborative & shared agent memories and contexts.— Context Engineering enhanced by KGs- GenAI/Agents and KG Applications— Efficient and proactive personal assistance & Personalisation— Multi-Lingual & Multi-modal integrations and enablement— Personalisation vs Generalisation in GenAI and Agentic systems memory— Domain-specific applications: scholarly knowledge, biomedicine & healthcare, finance, education, etc.— Task-specific applications: personal assistance, dialogue systems, recommender systems, customer service, etc.— Architectures and pipelines - Datasets, benchmarks, and evaluation— Benchmark datasets for GenAI or Agents plus KG tasks— Evaluation of grounding/faithfulness, factuality, reasoning, robustness— Evaluation pitfalls: data leakage, LLM-as-a-judge bias, reproducibility, and reporting standards------------------------------------------------------------------------------------Important Dates (AoE)------------------------------------------------------------------------------------- Submission Deadline: 7 May 2026- Notification of Acceptance: 10 June 2026- Camera-ready Paper Due: 25 June 2026- Workshop date (In-Person): 15, 16, or 17 August 2026------------------------------------------------------------------------------------Submissions Guidelines, Policies, and Awards are available on the website.---------------------------------------------------------------------------------------------------------------------------------------------------------------------Organization---------------------------------------------------------------------------------GenAIK Team:- Genet Asefa Gesese, FIZ Karlsruhe, KIT, Germany- Angelo Salatino, The Open University, UK.- Blerina Spahiu, University of Milano-Bicocca, Italy- Shenghui Wang, University of Twente, The Netherlands - Heiko Paulheim, University of Mannheim, GermanyNORA Team:- Btissam Er-Rahmadi, Independent Researcher, UK- Sebastien Montella, Huawei Technologies R&D UK Ltd, UK- Damien Graux, EcoVadis, UK- Andre Melo, Huawei Technologies R&D UK Ltd, UK- Hajira Jabeen, University Hospital Cologne, Germany* -- Btissam Er-Rahmadi ********************************************************** * * 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] APPROX 2026

Dear researchers, The 29th International Conference on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2026) will be held at Boston University, Boston, Massachusetts, USA, on August 19-21, 2026 (together with RANDOM 2026 and WOLA 2026). The deadline to submit your papers for APPROX 2026 is May 6, 2026 (Anywhere on Earth). You can find more details and the call for papers on the website (https://approxconference.com/). We look forward to your submissions! Best wishes, Mohit Singh APPROX 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] [CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning

Call for Papers: The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) 24 - 26 August, 2026 Vilnius, Lithuania Link: https://2026.declarativeai.net/ruleml-rr/main-track Venue: The 10th edition of RuleML+RR will be held in <https://www.floc26.org/venue>Vilnius, Lithuania <https://en.wikipedia.org/wiki/Vilnius> from August 24th to 26th. It will be co-located with several events as part of Declarative AI 2026 <https://2026.declarativeai.net/>, including <https://kr.org/KR2026/> DecisionCamp <https://2026.declarativeai.net/decisioncamp>, the Reasoning Web Summer School <https://2026.declarativeai.net/reasoning-web>, and multiple satellite events (Rule Challenge <https://2026.declarativeai.net/ruleml-rr/rule-challenge>, Doctoral Consortium <https://2026.declarativeai.net/ruleml-rr/doctoral-consortium>, Industry Track <https://2026.declarativeai.net/ruleml-rr/industry-track>, and Networking Session <https://2026.declarativeai.net/ruleml-rr/networking-session>). Topics of Interest: Macro areas are Ontologies and the Semantic Web, Rules and AI, Reasoning, Systems, Interoperability, Constraints, and Applications & Experiences. For the detailed list, please refer to the full CfP linked above. Important dates (Anywhere on Earth - AoE): - May 8th, 2026 (AoE): Title and Abstract Submission - May 15th, 2026 (AoE): Paper Submission - June 26th, 2026 (AoE): Notification of Acceptance - August 24th–26th, 2026: Conference Submission Types: - Long papers: up to 15 pages in LNCS style <http://www.springer.com/comp/lncs/authors.html> (excluding references), plus up to 2 additional pages for references. - Short papers: up to 8 pages in LNCS style <http://www.springer.com/comp/lncs/authors.html> (excluding references), plus up to 1 additional page for references. Conference Chairs: - Agnieszka Lawrynowicz, Poznan University of Technology, Poland - Davide Lanti, Free University of Bozen-Bolzano, Italy General Chairs: - Victor Gutierrez Basulto, Cardiff University, UK - Mantas Šimkus, TU Wien, Austria Local Chair: - Linas Petkevičius, Vilnius University, Lithuania Submission Link: cmt3.research.microsoft.com/DAI2026/ (select "RuleML+RR Main Track") ********************************************************** * * 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] WG 2026: Call for Participation

*Call for Participation: WG 2026, June 2-4, Kortrijk, Belgium* The 52nd edition of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2026) will take place from Tuesday June 2nd to Thursday June 4th 2026 at KU Leuven campus Kulak in Kortrijk, Belgium, with a welcome reception on the evening of June 1st. The conference website is: https://wg2026.be ============ Registration ============ The registration is open and instructions can be found at: https://wg2026.be/registration.html The conference fees are as follows: Early Registration fee (until April 26th): Student: 300 € Regular: 375 € Late Registration fee (until May 17th): Student: 375 € Regular: 450 € The registration fee includes the conference material, the welcome reception, coffee breaks, lunches, conference excursion, and the conference dinner. =============== Accepted Papers =============== The list of papers accepted for presentation are now available at: https://wg2026.be/accepted.html ================ Invited Speakers ================ * Rose McCarty (Georgia Institute of Technology, USA) * Pascal Schweitzer (TU Darmstadt, Germany) A talk by one of the recipients of the WG 2026 Test of Time Award: * Dimitrios M. Thilikos (LIRMM, Université de Montpellier, CNRS, France) ==================== Organizing Committee ==================== - Jan Goedgebeur (co-chair) (KU Leuven, Belgium) - Jorik Jooken (KU Leuven, Belgium) - Michiel Provoost (KU Leuven, Belgium) - Paweł Rzążewski (co-chair) (Warsaw University of Technology, Poland) -- Jan Goedgebeur Department of Computer Science KU Leuven Campus Kulak Etienne Sabbelaan 53 8500 Kortrijk, Belgium ********************************************************** * * 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] LAWCG 2026 - Second Call for Abstracts

Dear all, The 12th Latin-American Workshop on Cliques in Graphs (LAWCG 2026) will be held at the Hotel Monte Real in Águas de Lindóia, São Paulo, Brazil, from October 5 to 8, 2026. All the details can be found at https://www.lawcg.mat.br/lawcg26/ ======================================================== LAWCG is a venue meant to foster interaction among the Latin American Graph Theory and Combinatorics community, whose research interests include cliques, clique graphs, the behavior of cliques and other topics in Graph Theory. ======================================================== Important dates and information ======================================================== Submissions start: March 05, 2026 Submissions end: April 30, 2026 Author notification: June 01, 2026 Camera-ready version: June 15, 2026 Early registration: until July 15, 2026 Registrations end: September 30, 2026 ======================================================== Submission guidelines ======================================================== Contributed talks covering original work on the conference topics will be accepted for presentation. Prospective authors should submit an at most 2-page abstract of their work following the following LaTeX format: https://www.lawcg.mat.br/lawcg26/abstract-sample.tex Other formats will not be accepted for submission. Papers must be submitted electronically via the EasyChair submission system via https://easychair.org/my2/conference?conf=lawcg26 For each accepted abstract, at least one author must register and attend the symposium (in person) to present it. Moreover, an author cannot register for multiple abstracts. That is, each accepted abstract must have its own registrant. ======================================================== Proceedings ======================================================== The proceedings of the workshop will be published, after the event, at Matemática Contemporânea, as in the previous editions of LAWCG. All interested researchers will be invited to submit an extended abstract describing their contributions. The submitted papers will go through the normal peer-review process, following the guidelines of Matemática Contemporânea. ======================================================== Invited Speakers ======================================================== Miguel Pizaña, Universidad Autónoma Metropolitana, Mexico Ana Karolinna Maia, Universidade Federal do Ceará, Brazil Maya Stein, Universidad de Chile, Chile ======================================================== Programme Committee ======================================================== Lehilton Lelis Chaves Pedrosa, Universidade Estadual de Campinas, Brazil (Chair) Sheila Morais de Almeida, Universidade Tecnológica Federal do Paraná, Brazil Mauro Nigro Alves Junior, Universidade Estadual do Rio de Janeiro, Brazil Júlio César Silva Araújo, Universidade Federal do Ceará, Brazil Márcia Cappelle, Universidade Federal de Goiás, Brazil César Hernández-Cruz, Universidad Nacional Autónoma de México, Mexico ======================================================== Organizing Committee ======================================================== Carla Negri Lintzmayer, Universidade Federal do ABC, Brazil (Chair) Guilherme Oliveira Mota, Universidade de São Paulo, Brazil (Chair) Lehilton Lelis Chaves Pedrosa, Universidade Estadual de Campinas, Brazil Maycon Sambinelli, Universidade Federal do ABC, Brazil Cristiane Sato, Universidade Federal do ABC, Brazil On the behalf of the organizing committee, Carla and Guilherme Carla Negri Lintzmayer http://professor.ufabc.edu.br/~carla.negri ********************************************************** * * 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 thesis on temporal graphs

Hello the LITIS Laboratory in Le Havre proposes a funded PhD thesis on exploring temporal graphs, with a co-supervision with Patras university (Greece).  More details in the joint file. Please broadcast this information to any interested student. Best regards Eric -- Eric Sanlaville co-directeur LITIS Professeur d'Informatique Université Le Havre Normandie ********************************************************** * * 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] CONCUR 2026: Final Call for Papers

CONCUR 2026: Final Call for Papers When: 1 – 4 September, 2026 Where: Liverpool, UK Web: https://confest-2026.github.io/concur ------------------------------------------------------------------------ The International Conference on Concurrency Theory (CONCUR) brings together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. CONCUR solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems. The 2026 edition will be co-located with QEST+FORMATS, FMICS and a number of workshops under the joint name CONFEST 2026, which will take place September 1-5, 2026 at the University of Liverpool, UK. Important dates - Abstracts: 20 April, 2026 (AoE) - Submissions: 27 April, 2026 (AoE) - Rebuttal: 1 – 3 June, 2026 (AoE) - Notification: 15 June, 2026 (AoE) - Camera Ready: 29 June, 2026 (AoE) - Conference: 1 – 4 September, 2026 - Workshops: 5 September, 2026 Topics Submissions are solicited in the theory and practice of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain-theoretic models, categorical and coalgebraic models, game-theoretic models, parametric models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, quantum systems, biology-inspired systems, and synchronous systems; - Logics for concurrency such as modal logics, program logics, probabilistic and stochastic logics, temporal logics, multi-agent logics, and resource logics; - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; - Distributed/parallel algorithms and concurrent data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, commitment schemes, communication protocols; - Theoretical foundations, tools, and empirical evaluations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, distributed ledgers, communication networks, multiprocessor and multi-core architectures, quantum computing, quantum communication, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. Paper submission - All papers must be original, unpublished, and not submitted for publication elsewhere. - Each paper will undergo a thorough review process. - Papers must be submitted electronically as PDF files via EasyChair (https://easychair.org/conferences?conf=concur2026). - Proceedings will be published by LIPIcs; please use their style files (https://drops.dagstuhl.de/entities/series/LIPIcs#author) when preparing your submission. - Submissions follow a single-blind process. - Papers must not exceed 15 pages (excluding references and appendices, LIPIcs style) - An appendix may provide additional material and proofs, but should not be expected to be scrutinized by the reviewers and will not be published in the proceedings. - PC members are allowed to submit. However, if it gets to a final vote on the last papers to be accepted, then PC-coauthored papers cannot be selected. Special Issue A special issue dedicated to selected papers from CONCUR’2026 will appear in Logical Methods in Computer Science. Awards There will be a CONCUR Test-of-Time award, Best Paper award, and Best Student Paper award in 2026. The winners will be announced at the conference. Invited Speakers - Jade Alglave, University College London / Arm, UK - Ezio Bartocci, TU Wien, Austria - Ichiro Hasuo, National Institute of Informatics, Japan - Jean-François Raskin, Université Libre de Bruxelles, Belgium - Qiyi Tang, University of Liverpool, UK Program Committee Chairs - Ana Sokolova, University of Salzburg, Austria - Patrick Totzke, University of Liverpool, UK Program Committee - Parosh Abdulla, Uppsala University, Sweden - Giorgio Bacci, Aalborg University, Denmark - Christel Baier, TU Dresden, Germany - Paolo Baldan, University of Padova, Italy - Nathalie Bertrand, INRIA Rennes, France - Laura Bocchi, University of Kent, UK - Filippo Bonchi, University of Pisa, Italy - Valentina Castiglioni, Eindhoven University of Technology, the Netherlands - Dmitry Chistikov, University of Warwick, UK - Corina Cirstea, University of Southampton, UK - Wojciech Czerwiński, University of Warsaw, Poland - Javier Esparza, TU Munich, Germany - Benjamin Kaminski, Saarland University and UCL, Germany/UK - Tobias Kappé, Leiden University, the Netherlands - Stefan Kiefer, University of Oxford, UK - Barbara König, University of Duisburg-Essen, Germany - Antonín Kucera, Masaryk University, Czech Republic - Yong Li, SKLCS Beijing, China - Nicolas Mazzocchi, STU Bratislava, Slovakia - Roland Meyer, TU Braunschweig, Germany - Pierre Ohlmann, CNRS, LIS Marseille, France - Prakash Panangaden, McGill and University of Edinburgh, Canada/UK - Kirstin Peters, University of Augsburg, Germany - Guillermo A. Pérez, University of Antwerp, Belgium - Damien Pous, CNRS, ENS Lyon, France - Karin Quaas, University of Leipzig, Germany - Ege Saraç, CISPA, Germany - Sylvain Schmitz, Université Paris Cité, France - Henning Urbat, FAU Erlangen-Nürnberg, Germany - Viktor Vafeiadis, MPI-SWS, Germany - Franck van Breugel, York University, Canada - Rob van Glabbeek, University of Edinburgh, UK - Pierre Vandenhove, Université de Mons, Belgium - Kazuki Watanabe, NII, Tokyo, Japan - Sarah Winter, Université Paris Cité, France - Nisansala Yatapanage, Australian National University, Australia - Florian Zuleger, TU Wien, Austria Steering Committee - Luca Aceto, Reykjavik University, Iceland - Christel Baier, TU Dresden, Germany - Pedro R. D’Argenio, National University of Córdoba, Argentina - Wan Fokkink, VU Amsterdam, the Netherlands - Catuscia Palamidessi, INRIA Saclay and LIX, France - Jiri Srba, Aalborg University, Denmark Questions regarding submissions should be directed to the PC chairs (concur2026@easychair.org). ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Papers: 20th International Conference on Reachability Problems (RP'26), 21-23 Oct, Turku, Finland

(Apologies for multiple copies) 20th International Conference on Reachability Problems (RP’26) 1st Call for Papers The 20th International Conference on Reachability Problems (RP’26) will be organized by Department of Mathematics and Statistics, University of Turku, Finland. The conference will take place from 21 to 23 October, 2026. Invited Speakers • Laura Kovács (Vienna University of Technology, Austria) • Antti Kuusisto (Tampere University, Finland) • Igor Potapov (University of Liverpool, UK) • Ilkka Törmä (University of Turku, Finland) • James Worrell (University of Oxford, UK) Important Dates • Submission deadline for regular research papers: June 21 • Submission deadline for presentation-only abstracts: July 26 • Notification of acceptance: August 3 Scope of the conference RP is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in • Algebraic structures • Automata theory and formal languages • Computational game theory • Concurrency and distributed computation • Decision procedures in computational models • Hybrid systems • Logic and model checking • Verification of finite and infinite-state systems Submission and publication There are two types of submissions: regular research papers and presentation-only contributions. Accepted regular research papers will be published in the Springer LNCS proceedings of RP’26. Presentation-only contributions require a short abstract, and should have a clear relevance with the scope of the conference. For more instructions on submissions, see https://math.utu.fi/rp26/. RP26 is pleased to announce a Best Paper Award, with a prize of EUR 500, sponsored by Springer. Program Committee • Mohamed Faouzi Atig (Uppsala University, Sweden) • Paul Bell (Liverpool John Moores University, UK) • Michaël Cadilhac (DePaul University, USA) • Enrico Formenti (Université Côte d’Azur, France) • Anahi Gajardo (Universidad de Concepción, Chile) • Moses Ganardi (MPI-SWS, Germany) • Vesa Halava (University of Turku, Finland) co-chair • Mika Hirvensalo (University of Turku, Finland) • Piotr Hofman (University of Warsaw, Poland) • Lukáš Holik (Brno University of Technology, CZ) • Raphaël Jungers (UCLouvain, Belgium) • Jarkko Kari (University of Turku, Finland) co-chair • Sandra Kiefer (University of Oxford, UK) • Joshua Moerman (Open Universiteit, Netherlands) • Reino Niskanen (Liverpool John Moores University, UK) • Andrew Ryzhikov (University of Warsaw, Poland) • Ville Salo (University of Turku, Finland) • Sylvain Sené (Aix-Marseille Université, CNRS, France) • Ana Sokolova (University of Salzburg, Austria) • Matthias Wendlandt (JLU Giessen, Germany) • Sarah Winter (IRIF, France) Organizers • Vesa Halava (co-chair) • Jarkko Kari (co-chair) • Risto Huovinen • Katariina Paturi • Antti Tuominen • Arto Lepistö More information will be available at: https://math.utu.fi/rp26/ For questions please contact: rp26@utu.fi. -- Sylvain Sené Université publique ********************************************************** * * 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] Reminder: Fully funded PhD position in Machine Learning for Multiobjective Combinatorial Optimization at TU Munich (Application Deadline: 30 April 2026)

A fully funded PhD position (initially 75% TV-L E13, increasing to 100% TV-L E13 after 8 months) in Machine Learning for Multiobjective Combinatorial Optimization is available at the Professorship of Optimization and Sustainable Decision Making (https://odm.cs.tum.de/en/) of the Technical University of Munich (TUM). The expected starting date for the position is August 2026 or later. The application deadline is 30 April 2026. Applications will be reviewed starting from this date and will remain open until the position is filled. We would be grateful if you could share this announcement with potentially interested candidates. Details about the position and the application process are available here: https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20260312_103447 For further information, please contact Prof. Dr. Clemens Thielen (clemens.thielen@tum.de). -- Prof. Dr. Clemens Thielen Professorship of Optimization and Sustainable Decision Making TUM Campus Straubing for Biotechnology and Sustainability Technical University of Munich (TUM) Am Essigberg 3 | 94315 Straubing | Germany Phone: +49 9421 187 175 Web: http://odm.cs.tum.de ********************************************************** * * 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] BigHPC 2026 CfP

BigHPC 2026 The 4th Workshop on Big Data and High-Performance Computing Held in conjunction with Euro-Par 2026 August 24–25, 2026, Pisa, Italy https://bighpc2026.di.unipi.it Call for Papers The BigHPC 2026 Workshop represents a forum for researchers, practitioners, and industry experts working at the crossroads of High-Performance Computing (HPC), Big Data, Artificial Intelligence, and heterogeneous computing infrastructures. As data- and AI-driven workloads increasingly dominate modern computing, the traditional boundaries between HPC, cloud, and edge systems are rapidly dissolving. Future platforms must confront fundamental challenges such as data movement at scale, complex storage hierarchies, data locality, energy efficiency, and end-to-end performance optimization across highly heterogeneous environments. BigHPC 2026 aims to foster discussion on end-to-end data/AI/HPC pipelines, from algorithms and runtime systems to architectures and applications, with a strong emphasis on real-world systems, reproducible performance evaluation, and cross-layer integration. In addition to mature research contributions, the workshop explicitly encourages early-stage ideas, system reports, and industrial experience papers, providing a dynamic venue for exchanging novel concepts, lessons learned, and forward-looking visions. Topics of Interest Topics of interest include, but are not limited to: - HPC architectures and system software for big data and AI workloads - Parallel and distributed algorithms for data-intensive computing - High-performance storage systems, I/O stacks, and data placement strategies - Data locality, data gravity, and memory hierarchy challenges - Performance modeling, profiling, and optimization of data and AI pipelines - AI/ML systems on HPC platforms: distributed training, inference, and workflows - Integration of HPC with cloud and edge infrastructures - Workflow management and orchestration across heterogeneous environments - Energy efficiency, sustainability, and performance-per-watt in large-scale systems - Hybrid classical–quantum workflows and quantum approaches for data-intensive computing (where relevant) Submission Types BigHPC 2026 accepts two types of contributions: 1. Full Papers (10–12 pages, LNCS format) Original, unpublished research contributions Must not be under review elsewhere Accepted papers will be published in the Euro-Par 2026 Workshop Proceedings (Springer LNCS) Submissions must comply with LNCS formatting guidelines 2. Extended Abstracts – Paperless Contributions with Oral Presentation Work in progress, emerging ideas, system descriptions, or industrial experience May include previously published or ongoing work Extended abstracts (6–G pages) Accepted contributions will be presented at the workshop but will not appear in the LNCS proceedings Submission site: EasyChair https://easychair.org/conferences/?conf=europar2026workshops Important Dates (Anywhere on Earth – AoE) Full Paper Submission Deadline: May 15, 2026 Extended Abstract / Paperless Deadline: May 29, 2026 Author Notification: June 12, 2026 Late Extended Abstract Deadline: June 19, 2026 (fast-track review) Camera-Ready Deadline (full papers only): July 10, 2026 Workshop Dates: August 24–25, 2026 Organization Workshop Chairs Massimo Cafaro, University of Salento, Italy Beniamino Di Martino, University of Campania, Italy William Fornaciari, Politecnico di Milano, Italy Steering Committee Patrizio Dazzi (Chair), University of Pisa Marco Aldinucci, University of Turin Beniamino Di Martino, University of Campania William Fornaciari, Politecnico di Milano Marco Lapegna, University of Naples Rajaele Montella, University of Naples “Parthenope” Domenico Talia, University of Calabria Alessia Antelmi, University of Turin Emanuele Carlini, ISTI-CNR Program Committee Michele Amoretti (University of Parma) Mario Bifulco (University of Turin) Robert Birke (University of Turin) Alessandro Celestini (IAC-CNR) Claudio Cicconetti (IIT-CNR) Biagio Cosenza (University of Salerno) Daniele D’Agostino (University of Genova) Andrea D’Urbano (University of Salento) Daniele De Vinco (University of Salerno) Diana Di Luccio (University of Naples “Parthenope”) Italo Epicoco (University of Salento) Sandro Luigi Fiore (University of Trento) Roberto Giorgi (University of Siena) Flavio Lombardi (IAC-CNR) Jacopo Massa (University of Pisa) Doriana Medic (University of Turin) Diego Romano (ICAR-CNR) Marco Pulimeno (University of Salento) Luca Roversi (University of Turin) Fabrizio Silvestri (Sapienza University of Rome) Massimo Torquati (University of Pisa) Paolo Trunfio (University of Calabria) - ********************************************************************************************* 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] SMARTCOMP 2026, Call for Posters, Demos, and Work-in-Progress (WIP) Contributions (Deadline 17 April 2026 is approaching!)

====================================================================== SMARTCOMP 2026 Call for Posters, Demos, and Work-in-Progress (WIP) Contributions https://portale2.unime.it/smartcomp2026/call-for-posters/ ====================================================================== Please consider submitting your work to the Posters, Demos, and Work-in-Progress (WIP) track of SMARTCOMP 2026. This track offers an excellent opportunity to present early-stage research, novel ideas, and innovative applications to an international audience of researchers and practitioners in Smart Computing. *** Accepted Posters, Demos, and WIP papers will be published in IEEE Xplore. *** For details, topics of interest, and submission guidelines, please refer to the full CFP below. ---------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------- Paper submission: 17 April 2026 Acceptance notification: 1 May 2026 Camera-ready deadline(tentative): 8 May 2026 ---------------------------------------------------------------------- SMARTCOMP 2026 - Call for Posters / Demos / WIP ---------------------------------------------------------------------- SMARTCOMP 2026 is the 12th edition of the premier conference on Smart Computing. Smart Computing is a multidisciplinary domain shaped by the synergistic advances in sensor-based technologies, the Internet of Things (IoT), cyber-physical systems (CPS), edge computing, big data analytics, machine learning, cognitive computing, and artificial intelligence. Applications of Smart Computing span many societal domains, including transportation, energy, environmental protection, smart and connected communities, healthcare, banking, industrial systems, entertainment, and social media. Algorithmic and system advances in cloud computing, mobile and pervasive computing, cyber-physical systems, sensor networking, and social computing are taking Smart Computing to a new dimension and improving our ways of living. Submit your Demo here. https://edas.info/newPaper.php?c=34460&track=134041 Submit your Poster/WIP here. https://edas.info/newPaper.php?c=34460&track=134042 *** Accepted Posters, Demos, and WIP papers will be published in IEEE Xplore. *** ---------------------------------------------------------------------- Posters / Demos / WIP Co-Chairs ---------------------------------------------------------------------- Brent Lagesse University of Washington Bothell, USA Mario Molinara University of Cassino and Southern Lazio, Italy ====================================================================== Thanks & Regards, Debasree Das ********************************************************** * * 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] MIP 2026 announcements: schedule, early-bird registration and flash talks

Here are some announcements regarding the 2026 Mixed Integer Programming workshop that will be held on May 18–21, 2026, at the University of Connecticut, Stamford campus. - The program schedule is now available: https://www.mixedinteger.org/2026/schedule.html - Early-bird registration closes on *April 14*: https://www.mixedinteger.org/2026/registration.html - MIP 2026 has some limited slots for contributed flash talks by non-students (those not eligible for the poster session, such as postdocs, faculty, national lab members, and industry researchers). To be considered, please submit your title and abstract by *April 15, 2026*. Decisions will be communicated by April 25, 2026: https://www.mixedinteger.org/2026/posters.html For more information, visit: https://www.mixedinteger.org/2026/index.html We look forward to seeing you in Stamford, Connecticut. On behalf of the MIP 2026 Program Committee: Beste Basciftci, Yatharth Dubey, Cheng Guo, Sebastian Perez-Salazar, Matthias Walter ********************************************************** * * 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 the Lonely Runner Conjecture, October 6-9, 2026 (Rostock, Germany)

We are delighted to announce an international workshop entitled "The Lonely Runner Conjecture: From Early Insights to Current Trends and Future Directions" The event will take place at the University of Rostock, Germany from October 6-9, 2026 (noon to noon), and it celebrates more than six decades of research on the Lonely Runner Conjecture. It aims to bridge past achievements with the current exciting developments, bringing together experts from various areas, such as Diophantine Approximation, Graph Coloring, Geometry of Numbers, Discrete Mathematics, Additive Combinatorics. There is no participation fee, but it is necessary to register for the workshop before July 1, 2026. Limited travel funds for young researchers are available upon request during the registration. More information about the event and the registration form can be found at the workshop's website: https://www.mathematik.uni-rostock.de/mathopt/lonely-runner-workshop/ Participants are invited to propose contributed talks in close connection to the topic of the workshop. We are looking forward to seeing you in Rostock, Thomas Kalinowski Romanos Malikiosis Achill Schürmann Matthias Schymura ********************************************************** * * 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] Pseudo-Boolean Competition 2026

Dear colleagues, We would be grateful for your assistance in spreading the information about the 2026 edition of the competition for pseudo-Boolean solvers, organized under the aegis of the SAT 2026 conference (https://satisfiability.org/SAT26/). The Pseudo-Boolean Competition 2026 is also affiliated with the FloC Olympic Games (https://www.floc26.org/). All the details about this new edition of the competition are available at https://www.cril.univ-artois.fr/PB26/ The deadline for both solvers and benchmarks submission is May 6, 2026. Obviously, a competition cannot exist without solvers and benchmarks. So, if you have pseudo-Boolean solvers or benchmarks, please make a submission to the PB26 competition! Best regards, Jakob Nordström On behalf of the steering committee: Carlos Ansótegui, Johannes Klaus Fichte, Jakob Nordström, and Olivier Roussel ********************************************************** * * 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] iAIMS 2026: The International Conference on Artificial Intelligence Models and Systems Conference, Barcelona, Spain

*The International Conference on Artificial Intelligence Models and Systems (iAIMS 2026)* 16-20 November 2026 | Barcelona, Spain *Hybrid Conference* *Technically sponsored by IEEE Spain section* https://aims-conference.ai/2026/ The Artificial Intelligence Models and Systems Conference (iAIMS 2026) is a lively and inclusive gathering where researchers, academics, and industry professionals from across the globe come together to explore the latest advancements in artificial intelligence and intelligent systems. As AI continues to reshape industries and push the boundaries of what’s possible, iAIMS 2026 creates a welcoming space for innovation, collaboration, and idea exchange. iAIMS 2026 serves as a premier platform for researchers, academics, and industry professionals to converge and explore the latest advancements, challenges, and applications in the dynamic fields of Artificial Intelligence Models and Systems. The conference provides a collaborative environment for exchanging ideas, fostering innovation, and promoting interdisciplinary research at the intersection of these transformative domains. *iAIMS 2026 Symposia* Authors are encouraged to submit their work to one of the following 20 specialized symposiums, each targeting a key research frontier: 1. Advancements in Artificial Intelligence 2. Cutting-Edge Machine Learning Techniques 3. Innovations in Computer Vision 4. Breaking Barriers in Natural Language Processing 5. Exploring Generative AI Applications *Publication* *IEEE is a technical sponsor of iAIMS 2026*. All accepted papers in iAIMS 2026 and the workshops co-located with it will be submitted to IEEEXplore, dblp, and Scopus for inclusion. *Important Dates:* - Papers due: April 15, 2026 - Acceptance notification: June 30, 2026 - Registration: July 30, 2026 - Camera-ready paper: July 30, 2026 - Workshop/Tutorial Proposal Submission: April 15, 2026 - Workshop/Tutorial Proposal Acceptance: June 30, 2026 *Submission Guidelines:* Papers submitted to iAIMS must be the original work of the authors. They may not be simultaneously under review elsewhere. Publications that have been peer-reviewed and have appeared at other conferences or workshops may not be submitted to iAIMS. Authors should be aware that IEEE has a strict policy with regard to plagiarism https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html The authors' prior work must be cited appropriately. *Submission Link: **https://conferences.sparcly.ai/iAIMS2026* *Organizing Committee* Honorary Chairs - Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain - Jose Luis Muñoz-Tapia, Universitat Politècnica de Catalunya, Spain General Co-Chairs - Christiancarmine Esposito, University of Salerno, Italy - Attila Kertész, University of Szeged, Hungary - Vlado Stankovski, University of Ljubljana, Slovenia Program Co-Chairs § Javier Berrocal, Universidad de Extremadura, Spain § Safa Otoum, ZU, UAE --Regards, ********************************************************** * * 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] Potential PhD position in parameterized complexity in Marseille, France

Dear all, We may have a PhD position at the LIS laboratory (Marseille, France). To fund the 3-year PhD position, we need to apply at the local PhD school: *  We have a *very high chance of success* (because the research team and the supervisors have a high priority). * It is *URGENT*, the deadline for applications is April 17, 2026. The successful candidate will work, under the supervision of Benjamin Bergougnoux <https://benjaminbergougnoux.github.io/> and Cyril Terrioux <https://pageperso.lis-lab.fr/cyril.terrioux/en/index.html>, on the parameterized complexity of satisfactions problems like CSP and SAT with the goal of explaining the impressive performances of modern solvers. A detailed description of the subject can be found here: https://benjaminbergougnoux.github.io/pdf/thesis_subject.pdf. The starting date would be October 2026. For applications and inquiries, please contact Benjamin Bergougnoux (benjamin.bergougnoux@lis-lab.fr <mailto:benjamin.bergougnoux@lis-lab.fr>). If you want to apply, join a curriculum vitae. Best regards, Benjamin Bergougnoux ********************************************************** * * 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 48th Australasian Combinatorics Conference (48ACC)

The 48th Australasian Combinatorics Conference (48ACC) will be held from 7–11 December 2026 at Monash University, Melbourne, Australia. The conference program includes invited talks, contributed talks in parallel sessions, a conference dinner, and an excursion. Researchers in any area of combinatorics and its applications are encouraged to attend and contribute talks. The conference website is https://48acc.github.io. Invited speakers: Simona Boyadzhiyska (Renyi Institute) Nick Brettell (Victoria University of Wellington) Jonathan Jedwab (Simon Fraser University) Hao Huang (National University of Singapore) Sophie Huczynska (University of St Andrews) Jane Tan (University of Oxford) Sebastian Wiederrecht (Korea Advanced Institute of Science and Technology) Binzhou Xia (University of Melbourne) Liana Yepremyan (Emory University) The organising committee is Ian Wanless, Daniel Horsley, Melissa Lee and David Wood. The conference is overseen by the Combinatorial Mathematics Society of Australasia (CMSA) and supported by The Institute of Combinatorics and its Applications (ICA). ********************************************************** * * 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] (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/ * **********************************************************