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

[DMANET] PhD positions in TCS at Lund University (deadline April 15)

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

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

Dear colleagues, A 1-year postdoctoral position in algorithms and combinatorics is available at LIS (Marseille, France). The successful candidate will join the ANR PARADUAL project (Parameterized aspects of Dualization) and will work with me and other members of the project. The project explores the parameterized aspects of enumeration problems, with a focus on those related to hypergraph dualization. Candidates whose research interests more generally include graph theory, hypergraphs, algorithms and parameterized complexity, but who are not familiar with the approaches considered in the project, are also welcome to apply. The position comes with no teaching duties. The planned start date is Autumn 2026, with some flexibility. Applications should be submitted by email to oscar.defrain@lis-lab.fr <mailto:oscar.defrain@lis-lab.fr> by May 31 2026 and should consist of: * a curriculum vitae with a list of publications, * a short cover letter (a few paragraphs in the email suffice), * a research statement (1-2 pages is enough). Informal inquiries are welcome and should be addressed to oscar.defrain@lis-lab.fr <mailto:oscar.defrain@lis-lab.fr>. Best regards, Oscar Defrain ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Abstracts: EUROYoung Workshop 2026 in Lugano (14–16 October 2026)

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

[DMANET] CFP IEEE MSWiM Paris, Oct. 2026

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

[DMANET] Call for Contributions: Workshop on Algorithms with Predictions ALPS@IJCAI, Bremen

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

[DMANET] [CFP] Last 2 days! SecRIoT-SCC 2026 Submission Deadline: April 8, 2026 – 7th IEEE International Workshop on SecRIoT-SCC 2026 co-located with DCOSS-IoT 2026 | Reykjavik, Iceland

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

[DMANET] Call for Invited Sessions at IntelligenceX 2026 – The Global Quantum × AI Frontier 24–26 September 2026 | Singapore

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