[DMANET] Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, We would like to invite you to participate in the */3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)/*, to be held on *Sunday July 19 in Lisbon *as part of the *Federated Logic Conference (FLoC '26). * /WHOOPS /brings together researchers interested in *certifying algorithms and proof logging for automated reasoning and combinatorial solving.* As per the (tentative) schedule posted at https://ciaranm.github.io/WHOOPS26/ , we will have two *invited talks* by - *Haniel Barbosa *on *proof logging for satisfiability modulo theories (SMT) *solving and - *Stefan Szeider *on *importing proof logging certificates into Lean* as well as *contributed presentations *on: - proof logging and certification of propagations for state-of-the-art combinatorial solving algorithms; - certification techniques for problems well beyond NP, even involving real-valued reasoning; - proof logging and zero-knowledge proofs; - design of new proof systems; - transformation and compression of proofs; and - formal verification of encodings and solver verdicts. Please see https://ciaranm.github.io/WHOOPS26/ for more on the background and purpose of the /WHOOPS /series of workshops. Here is hoping to see you in Lisbon in one and a half week from now! Best regards, Jakob Nordström Jakob Nordström, Professor University of Copenhagen and Lund University Phone: +45 28 78 38 11 / +46 70 742 21 98 https://jakobnordstrom.se ********************************************************** * * 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] [LPC 2026] Final Call for Participation: Lattice Path Combinatorics and Applications, TU Wien, Vienna

Dear Colleagues, This is the final call for participation for the 10th International Conference on Lattice Path Combinatorics and Applications (LPC 2026), which will take place at TU Wien, Vienna, Austria, from July 20 to 24, 2026. The conference focuses on the latest advances in lattice paths and related areas: enumerative, asymptotic and probabilistic combinatorics, random walks, analytic combinatorics, q-analogues, bijective methods, algorithmic aspects, connections to statistical mechanics, and more. *) Dates: July 20–24, 2026 *) Venue: TU Wien, Vienna, Austria *) Website: https://lpc2026.conf.tuwien.ac.at/ Registration is still open. We look forward to welcoming you to Vienna in a few weeks! The LPC 2026 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] ALGOWIN 2026 -- Final Deadline Extension

Call for Papers and Final Deadline Extension ALGOWIN 2026 22nd International Symposium on Algorithmics of Wireless Networks September 3-4, 2026 L’Aquila, Italy (as part of ALGO 2026) Conference webpage: * https://algo-conference.org/2026/algowin/ * EasyChair link: * https://easychair.org/conferences/?conf=algowin2026 * ============== Important Dates ============== Abstract submission deadline: extended to July 9, 2026 (AoE) Full paper submission deadline: extended to July 13, 2026 (AoE) Notification: August 3, 2026 Camera-ready due: August 24, 2026 Conference: September 3-4, 2026 ===== Scope ===== The International Symposium on Algorithmics of Wireless Networks ( ALGOWIN ), previously known as ALGOSENSORS, is an international forum dedicated to the algorithmic aspects of wireless networks. It covers algorithmic issues arising in wireless networks of all types of computational entities, static or mobile, including sensor networks, sensor-actuator networks, autonomous robots, and drones. The focus is on the design and analysis of algorithms, models of computation, graph and network algorithms, and experimental analysis. ALGOWIN 2026 will be held at the University of L’Aquila. It will be part of ALGO 2026, which also hosts ESA, IPEC, ATMOS, ALGOCLOUD, WABI, and WAOA. =============== Keynote Speaker =============== There will be one keynote talk at ALGOWIN 2026. The invited talk will be integrated in the global ALGO program, as a joint keynote. The invited speaker is: Paola Flocchini (University of Ottawa, Canada) Title: Factors and Challenges in Distributed Computing by Mobile Robots ============= Call for Papers ============= Original research contributions are solicited related to diverse algorithmic aspects of sensor networks, wireless networks, broadly construed, as well as distributed robotics, including the theoretical, experimental and application perspectives. Topics of interest include, but are not limited to: - Ad Hoc Networks - Autonomous Mobile Robots - Communication Protocols - Complexity and Computability - Computational Models - Data Aggregation and Fusion - Distributed Aspects of Group Search - Distributed Consensus and Fault Tolerance - Dynamic Networks, Temporal Graphs - Energy Management, Power Saving Schemes - Game Theoretic Aspects - Infrastructure Discovery - Internet of Things - Localization - Medium Access Control - Mobility and Dynamics - Pattern Formation - Performance Evaluation, Experimental Analysis - Population Protocols, Swarm Computing - Radio Networks - Resource Efficiency - Routing and Data Propagation - Security and Privacy aspects - Self-stabilization, Self-* Properties - Sensor Networks - Systems and Testbeds - Time Synchronization - Topology Control - Tracking - Unmanned Autonomous Entities - Virtual Infrastructures =========== Committees =========== Program Committee - Ralf Klasing, CNRS and University of Bordeaux, France (chair) - Aris Pagourtzis, National Technical University of Athens and Archimedes AI, Greece (chair) - Prudence Wong, University of Liverpool, UK (chair) - Petra Berenbrink, Universität Hamburg, Germany - Davide Bilò, University of L'Aquila, Italy - Anya Chaturvedi, Arizona State University, USA - Li-Hsuan Chen , National Chung Cheng University, Taiwan - Shantanu Das, Aix-Marseille University, France - Giuseppe Antonio Di Luna, University of Rome Sapienza, Italy - Antonio Fernández Anta, IMDEA Software & Networks Institutes, Spain - Florent Foucaud , Université Clermont Auvergne, France - Jie Gao, Rutgers University, USA - Leszek Gąsieniec, University of Liverpool, UK - Konstantinos Georgiou, Toronto Metropolitan University, Canada - Ling-Ju Hung, National Taipei University of Business, Taiwan - Tomasz Jurdziński , University of Wroclaw, Poland - Sushanta Karmakar, Indian Institute of Technology Guwahati, India - Evangelos Kranakis, Carleton University, Canada - Nikos Leonardos, National Technical University of Athens, Greece - Stefano Leucci, University of L'Aquila, Italy - Euripides Markou, University of Ioannina and Archimedes AI, Greece - George Mertzios , Durham University, UK - Othon Michail, University of Patras, Greece - Hendrik Molter , Hasso Plattner Institute, University of Potsdam, Germany - Tobias Mömke, Augsburg University, Germany - Nils Morawietz , University of Jena, Germany - William K. Moses Jr., Durham University, UK - Miguel A. Mosteiro, Pace University, USA - Paolo Penna, IOG, Switzerland - Alexandru Popa, University of Bucharest, Romania - Maria Potop-Butucaru, Sorbonne Université, France - Tomasz Radzik, King's College London, UK - Peter Rossmanith, RWTH Aachen University, Germany - Paul Spirakis, University of Liverpool, UK Steering Committee - Sotiris Nikoletseas, University of Patras and CTI, Greece (Chair) - Jie Gao, Rutgers University, USA - Magnús M. Halldórsson, Reykjavik University, Iceland - Bhaskar Krishnamachari, University of Southern California, USA - P. R. Kumar, Texas A&M University, USA - José Rolim, University of Geneva, Switzerland - Christian Scheideler, Paderborn University, Germany - Paul Spirakis, University of Liverpool, UK =========== Proceedings =========== The conference proceedings will be published in the Springer “Lecture Notes in Computer Science” series after the conference (publication expected November 2026). =========== Special Issue =========== Selected papers will be invited to a special issue of the Theoretical Computer Science journal. ======= Awards ======= Awards will be given to the best paper and the best student paper. The awards are kindly sponsored by Springer. To be eligible for the best student paper award, at least one of the paper authors must be a full-time student at the time of submission, and the student(s) must have made a significant contribution to the paper. The program committee may decline to make these awards or may split them. ================ Paper Submission ================ Papers are to be submitted electronically using the EasyChair server (* https://easychair.org/conferences/?conf=algowin2026 *). The submissions must contain original results that have not already been published and are not concurrently submitted to a journal or conference with published proceedings. By submitting a paper, the authors acknowledge that in case of acceptance at least one of the authors will register for ALGO/ ALGOWIN 2026 and present the paper. Submissions must be in the form of a single pdf file prepared using the LNCS latex templates and style files (available, together with Springer's authors' guidelines, from * https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines *). Springer's proceedings LaTeX templates are also available on Overleaf (* https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg *). Each submission should consist of the main part of the paper, not exceeding 12 pages (including the title page and excluding the references), plus an optional clearly marked appendix (to be read at the discretion of the program committee). Any figure pertaining to the main part of the paper should be included therein (within the 12 page limit). The first page must include an indication of whether the paper is eligible for the best student paper award. ********************************************************** * * 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]: IUCC-2026, The 24th International Conference on Ubiquitous Computing and Communications, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* IUCC-2026 Call for Papers********************** *The 24th International Conference on Ubiquitous Computing and Communications (IUCC-2026)* https://hpcn.exeter.ac.uk/iucc2026 *Exeter, UK, 26-28 October 2026* INTRODUCTION ============= Ubiquitous Computing and Communications is a revolutionary paradigm that aims to provide pervasive and reliable computing solutions and communication services anytime and anywhere. This emerging technology is built upon the rapid research and development advances in a wide range of key areas including wireless and sensor networks, mobile and distributed computing, embedded systems, agent technologies, autonomic communication, and information security. Ubiquitous Computing and Communications has drawn significant interests from both academia and industry and continues to attract tremendous research efforts due to its promising new business opportunity in information technology and engineering. IUCC-2026 is soliciting original and previously unpublished papers addressing research challenges and advances towards the design, implementation and evaluation of ubiquitous computing and communications technologies, systems and applications. IUCC-2026 will be hosted in Exeter, the capital city of Devon and provides the county with a central base for education, medicine, religion, commerce and culture. The city is also home to the magnificent Exeter Cathedral, which dates back to Norman times. Exeter is also ideally placed to base a trip to branch out visiting places such as the famous Dartmoor National Park and the unspoilt beaches of the North and South Devon coastlines. Prospective authors are invited to submit their papers to IUCC-2026. All accepted papers will be submitted to IEEE Xplore and will be submitted for indexing by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: Track 1: Ubiquitous Computing Track 2: Ubiquitous Communications Track 3: Ubiquitous System, Services and Applications Track 4: Ubiquitous Media and Signal Processing PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/iucc/) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). Once accepted, the paper will be included into the conference proceedings published by Conference Publishing Services (submitted for indexing by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference. IMPORTANT DATES ================= · Submission Deadline: 10 July 2026 · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 For more information, please visit the conference website: https://hpcn.exeter.ac.uk/iucc2026 ********************************************************** * * 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] Postdoc & PhD positions in Distributed Quantum Computing (Inria Saclay near Paris, France)

Dear all, We are recruiting a postdoctoral researcher and a PhD student to join the Inria project-team PhiQus (https://team.inria.fr/phiqus/) at Inria Saclay, near Paris. The positions concern the theoretical foundations of distributed quantum computing, at the interface of distributed algorithms and quantum information. The successful candidates will join a unique research environment combining theoretical computer science and quantum physics, as well as the recently funded QuantERA QNA project (https://project.inria.fr/qna/) with partners including Jukka Suomela, Alkida Balliu, Sebastian Brandt, Valentin Rozhoň, the Nokia Bell-Labs, with close collaborations including François Le Gall. Please feel free to forward this announcement to interested candidates, and don't hesitate to contact me with any questions. Postdoc: https://jobs.inria.fr/public/classic/en/offres/2026-10243 PhD: https://jobs.inria.fr/public/classic/en/offres/2026-10245 Marc-Olivier Renou ********************************************************** * * 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] Two Research Associate (Postdoctoral) Positions at IIT Dharwad – Application Deadline: 14 July 2026

Dear Colleagues, Applications are invited for two Research Associate (RA) (Postdoctoral) positions in the Department of Mathematics, Indian Institute of Technology Dharwad. The positions are available under the supervision of: - Dr. Sagnik Sen (Structural Graph Theory, Graph Coloring, Domination, Graph Homomorphisms) - Dr. Sandeep R. B. (Algorithms, Graph Theory, Parameterized Algorithms) Candidates with a strong background in graph theory, combinatorics, algorithms, discrete mathematics, or closely related areas are encouraged to apply. The Research Associate positions are institute-funded postdoctoral appointments with salary and benefits as per the IIT Dharwad Research Associate guidelines. Application deadline: 14 July 2026 Research Associate Guidelines: https://www.iitdh.ac.in/sites/default/files/2025-01/Guidelines%20for%20RA.pdf Online Application Form: https://www.iitdh.ac.in/postdoctoral-fellowship-application-form Faculty webpages: - Dr. Sagnik Sen: https://sites.google.com/view/sagniksen/about-me - Dr. Sandeep R. B.: https://sites.google.com/site/homepagesandeeprb/ This email serves as the "Approval letter from the proposed mentor" and may be uploaded by applicants under the corresponding field in the online application form. In the Proposed Department + Proposed Mentor fields in the form, you may fill either "Mathematics + Sagnik Sen" or "Computer Science and Engineering + Sandeep RB". In any case, your application will be examined jointly by both. *Why Dharwad?* Dharwad is a peaceful, green, and academically vibrant city in Karnataka, offering an excellent environment for focused research. The city enjoys a pleasant climate for much of the year, has a rich cultural heritage, and provides a high quality of life with a relatively low cost of living. It is well connected by road, rail, and the nearby Hubballi Airport. Dharwad is also an excellent base for exploring some of southern India's most attractive destinations, including the UNESCO World Heritage Site of Hampi, the coffee plantations and hill landscapes of Chikkamagaluru, the white-water rafting and wildlife of Dandeli, the pristine beaches of Gokarna, the iconic seaside temple at Murudeshwar, and the historic temple complexes of Badami, Pattadakal, and Aihole. These destinations are ideal for weekend trips, making Dharwad an attractive place to enjoy both a productive research environment and a rewarding work–life balance. Please feel free to circulate this announcement among suitable candidates. Best regards, Sagnik Sen Department of Mathematics Indian Institute of Technology Dharwad Sandeep R. B. Department of Computer Science and Engineering Indian Institute of Technology Dharwad ********************************************************** * * 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] WiL 2026 call for participation and programme

Dear colleagues, We are pleased to invite you to participate in the 10th edition of Women in Logic (WiL’26), taking place from 24-25 July 2026 in Lisbon, Portugal. To celebrate this special milestone, this year's workshop will follow a hybrid format, allowing for both in-person and virtual attendance. The program is available here: https://womeninlogic.org/workshops/2026/program/ If you are not able to join us in Lisbon, you are welcome to participate online *at no cost*. No FloC registration is required for online attendance, however, registration for the online stream is mandatory to receive access. - Zoom Registration Link: https://ucl.zoom.us/webinar/register/WN_T9hk8VA7QPuSdCj6qU3ytw If you have any questions, please do not hesitate to reach out to the WiL'26 Chairs: Huimin Dong <huimin@logic.at>, Anela Lolic <anela@logic.at>, and Elaine Pimentel <e.pimentel@ucl.ac.uk>. We look forward to seeing you at Women in Logic 2026, either in Lisbon or online. We wish you a wonderful summer! Best regards, Huimin, Anela, and Elaine ********************************************************** * * 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 Vacancy in Stochastic OR: Optimizing Evacuation Decisions (VU Amsterdam)

A fully funded PhD position is available at the Department of Operations Analytics, Vrije Universiteit Amsterdam, as part of the RESCUE project (The Resilience of Evacuation Strategies on Compromised and Unreliable Evacuation infrastructure), funded by the Dutch Research Council (NWO). The project develops multi-stage optimization models for pre-disaster evacuation decisions on critical road and shelter infrastructure subject to failures, combining distributionally robust and risk-averse approaches to stochastic programming. The PhD candidate will be supervised by Dr Pascal Wissink (VU Amsterdam, Department of Operations Analytics), in close collaboration with Dr Markus Leitner, Prof David Wozabal and Prof Bas Kolen (University of Amsterdam). Apply via https://workingat.vu.nl/vacancies/phd-optimizing-evacuation-decisions-under-infrastructure-failure-amsterdam-1310955 The closing date for applications is 31 July 2026. Informal questions about the position may be sent directly to pascal.wissink@vu.nl<mailto:pascal.wissink@vu.nl>. Formal applications must be submitted through the VU job portal and include a CV, copies of transcripts, a writing sample (e.g. MSc thesis), and a brief description of your research interests. ********************************************************** * * 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] MiniCourse by Alan Stapledon Aug 17-21

You are cordially invited to the mini-course Anisotropy and Lefschetz Properties in Combinatorics by Alan Stapledon (Sydney) August 17-21 at Freie Universtät Berlin. http://ehrhart.math.fu-berlin.de/spp/minicourse/ The first two days will be devoted to background material like simplicial complexes and their face rings or lattice polytopes and Ehrhart theory. The course brings students up to speed to work in groups on research projects during the following two months. Please register by August 3: [https://tally.so/r/dWpped] This mini-course is made possible by a Mercator Fellowship through the SPP 2458 "Combinatorial Synergies", funded by DFG. -- Prof.Dr.Christian Haase Arnimallee 3 (Zi 036) Mathematik D-14195 Berlin Freie Universität Berlin Fon: +49 (0) 30 838-59184 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP - DEADLINE EXTENSION] AIxIA Workshop SPIRIT 2026

Apologies for any cross-posting or multiple copies of this Call for Papers. DEADLINE EXTENSION - 4th SPIRIT Workshop @AIxIA 2026 ---------------------------------------------------------------------- 4th Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT) co-located with AIxIA 2026 (https://aixia2026.unipg.it/) - Perugia, Italy Workshop Website: https://sites.google.com/unical.it/spirit2026/home?authuser=1 Submission: https://easychair.org/conferences/?conf=spirit2026 For any information: spirit2026@easychair.org ========= IMPORTANT DATES ========= - DEADLINE: June 30, 2026 July 7, 2026 (11:59 PM AoE) - NOTIFICATION: August 1, 2026 - WORKSHOP DATE: The workshop will be a one-day event held between October 6 and 9 (the dates of the main conference). The exact date will be announced soon. ========= ABOUT ========= Over the past fifteen years, research communities in artificial intelligence, algorithmic game theory, theoretical computer science, multi-agent systems, and microeconomics have joined forces to tackle problems involving incentives and computation. Interestingly, while microeconomics provides computer science with the basic models, computer science raises crucial questions related to computation and learning that suggest studying new models. The result is a synergic integration of all the fields. Interestingly, the final goal is the provision of rigorous, theoretical methods to deal with multiple strategic players. In recent years, these topics have been central in the AI/ML venues, as demonstrated by the many papers awarded with the best paper awards in conferences such as IJCAI and NeurIPS and the AI projects awarded with the Marvin Minsky Medal. This workshop aims to bring together the wide variety of scientists that AIxIA attracts in order to have a multidisciplinary forum within which to discuss and analyze current and novel challenges. ====== WHAT CAN BE SUBMITTED? ====== All paper submissions will be peer-reviewed and evaluated on the basis of the quality of their contribution, originality, soundness, and significance. Industrial applications and position papers presenting novel ideas, issues, challenges, and directions are also welcome. Submissions are invited in, but are not limited to, the following topics: -Algorithmic game theory -Algorithmic mechanism design -Algorithmic social choice -Applications of algorithms for games -Convergence and multi-agent learning in games -Formal methods for strategic reasoning -Green-oriented game models -Knowledge reasoning -Multi-agent systems -No-regret learning and bounds -Social networks -Strategy logics -Synthesis of strategies ============ SUBMISSIONS ============ All paper submissions will be peer-reviewed and evaluated on the basis of the quality of their contribution, originality, soundness, and significance. Submissions can be of four categories: -Research papers: describing new results or ongoing works. -Blue-skies papers: describing visionary ideas, long-term challenges, new research opportunities, and controversial debates. -Extended abstracts of published papers: describing results previously published in premier international AI conferences (e.g., AAAI, AAMAS, IJCAI, KR). -Research Projects: A description of an ongoing or concluded research project Submitted papers should have between 5 and 12 pages (references excluded). Papers should be formatted according to the CEUR-WS's single-column style <https://ceur-ws.org/>, available also on Overleaf <https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw> . Submissions must be in PDF format and will be handled via the EasyChair conference system at this link ( https://easychair.org/conferences/?conf=spirit2026) as a single PDF file. ================ POST-PROCEEDINGS =============== SPIRIT proceedings will be published in CEUR Workshop Proceedings series. Papers between 5 and 9 pages (references excluded) will be considered short papers, while papers with 10 or more pages (references excluded) will be considered regular papers. ============= ORGANIZATION ============= Emilio Incerto (IMT School for Advanced Studies Lucca) Giovanna Varricchio (University of Calabria) Cosimo Vinci (University of Salento) ======================= PROGRAM COMMITTEE ======================= Davide Catta (Université Sorbonne Paris Nord) Angelo Fanelli (CNRS) Angelo Ferrando (University of Modena and Reggio Emilia) Grazia Ferrara (University of Salerno) Emilio Incerto (IMT School for Advanced Studies Lucca) Martin Loebl (Charles University of Prague) Luca Moscardelli (Università degli Studi "G. d'Annunzio" Chieti - Pescara) Aniello Murano (University of Naples Federico II) Nicolas Troquard (Gran Sasso Science Institute) Giovanna Varricchio (University of Calabria) Cosimo Vinci (University of Salento) -- -- Per sostenere la conoscenza e la ricerca, dona il 5x1000 all'Università del Salento. CF 80008870752 ********************************************************** * * 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] Registration open: Highlights of Logic, Games and Automata 2026 Vienna

# HIGHLIGHTS’26 (Vienna, Austria 7-11 September 2026) AND CREW (14-18 September) **HIGHLIGHTS’26** is scheduled **from September 7 to September 11, 2026** at **TU Wien**. It is co-organized by ISTA, TU Wien and Wolfgang Pauli Institute. Highlights'26 will take place at the main building of TU Wien, Karlsplatz 13, in the center of Vienna. HIGHLIGHTS’26 will be followed by the **Highlights' Collaborative Research Week (CREW)**, from **September 14 to 18, 2026**, at **ISTA**. **HIGHLIGHTS’26** is the fourteenth in the series of international conferences “Highlights of Logic, Games and Automata”, aiming at integrating the community working in algorithmic model theory, automata theory, databases, games for logic and verification, logic and verification. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the HIGHLIGHTS conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. There are no publications. **HIGHLIGHTS’26** key features: - HIGHLIGHTS is a conference without publications, where speakers give short presentations of their best work. - A chat of the conference is available during the event, and throughout the year. - Highlighted Problems of the Year, a special plenary session dedicated to open problems that are representative of our community. - There is an early round of submissions and notifications to help with travel planning - The _Highlights’ Collaborative REsearch Week_ (**CREW**) offers means for research collaborations/discussions between participants. CREW is scheduled after the conference. - The _Highlights Extended Stay Support Scheme_ (**HESSS**) helps participants find collaborators and organise visits in the vicinity of HIGHLIGHTS. ## IMPORTANT DATES AND INFORMATION - HIGHLIGHTS'26 webpage: https://highlights-conference.org/2026/ (with practical information at https://easychair.org/smart-program/Highlights26/overview.html ) - Registration to the chat at https://highlights-conference.org/2026/zulip (no need if you did it last year) - Registration page for highlights 2026: https://easychair.org/smart-program/Highlights26/Registration.html - Early-bird registration deadline: July 17, 2026 - Registration deadline: August 17, 2026 - Conference: September 7 - 11, 2026. - Highlights’ Collaborative Research Week (CREW): September 14 - 18, 2026. - Registration page for CREW: https://pretix.eu/ista-events/CReW/ - Early-bird registration deadline for CREW: July 17, 2026 ## SCOPE Representative areas include, but are not restricted to: - Algebraic and categorical models of computation - Algorithmic model theory - Automata theory - Databases - Games for logic, verification, and semantics - Logic - Verification ## MODALITIES OF ATTENDANCE **HIGHLIGHTS’26** is an event that will take place on-site (barring unforeseen circumstances), and the preferred form of participation is in person. Remote attendance via a video stream will also be offered, but with limited possible interactions for these participants. Submission for a presentation at Highlights'26 is open to everyone, and attendance to the conference is not a requirement. The selection procedure will not take into account in-person attendance. Authors who do not intend to attend Highlights'26 in-person must commit to this choice when submitting their talk proposal. If accepted, authors of such talk proposals will have the opportunity to share a prerecorded video of their talk, which will be made available on the conference website. Before coming from far away, please review how your trip and international flights are contributing to climate change. We encourage you to take the train as much as possible, possibly taking the opportunity for visiting colleagues on the way and thus decomposing the travel into smaller pieces. More generally, we encourage you to make the most of your stay. This means extending your journey to the previous and/or following weeks for more scientific activities in Vienna and around. Several initiatives are here to help you in this task: - You can participate to the **Highlights’ Collaborative Research Week** (**[CREW](https://highlights-conference.org/2026/hcrw), September 14 - 18**) in the week after HIGHLIGHTS, in ISTA. - You can use the **Highlights Extended Stay Support Scheme** (**[HESSS]( https://highlights-conference.org/2026/hesss)**) for finding collaborators and organising visits. ## HIGHLIGHTS' COLLABORATIVE RESEARCH WEEK (CREW) **HIGHLIGHTS’26** will be followed by the _Highlights’ Collaborative Research Week_ (**CREW**), **from September 14 to 18 at the Institute of Science and Technology Austria**. Note that this is located outside of Vienna, ISTA being 20 km North of Vienna. The Highlights CReW is not a workshop nor a conference: it is simply a week in which researchers gather to work together, to collaborate on their current projects or to start new ones. Participants are asked to bring problems they are interested in and to present it on Day 1, so that they can then decide on the topics they work on throughout the week. The registration fees is 70€ for students, 120€ for non-students (early registration). This will cover lunch, coffee breaks, and a social dinner. Some accommodation (in shared rooms) will also be provided at subsidised prices, on a first-come first-served basis. The registration link: https://pretix.eu/ista-events/CReW/ The early-bird registration is available until July 17. Should you have any question or any activity proposal, please contact leonard.brice@ist.ac.at or keya.prakash@lis-lab.fr. We encourage participants to declare their intent to come and offer activities in advance using the chat of highlights. ## HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS) The **HESSS** is an incentive for collaborations between participants of the conference and researchers working in research groups reachable by train from the conference location. The objective is to foster interactions with low carbon footprint. The mechanism is as follows: - Research groups willing to participate in the scheme will be listed on the webpage: https://highlights-conference.org/2026/hesss. These groups are offering to fund collaborations between HIGHLIGHTS participants and their members. - The pair of a HIGHLIGHTS participant and a member of a listed research group submit a proposal, which takes the form of an email containing names, period of collaboration, and a sentence describing the planned activity. It has to be sent to the **HESSS** contact person of the research unit. - The decision of acceptance is up to the research group. In particular, it may be subject to scientific scope, number of requests, or e.g., favouring distant participants. - The only strict rule is that the visit should be around HIGHLIGHTS, and no airplane should be taken by the visitor to travel from HIGHLIGHTS to the visit location. ## INVITED SPEAKERS ### TUTORIALS - Daniela Petrisan - Michael Pinsker ### KEYNOTE SPEAKERS - Cécilia Pradic - Anthony Lin - Mirco Giacobbe - K. S. Thejaswini ### PROGRAM COMMITTEE HIGHLIGHTS'26 A. R. Balasubramanian, MPI-SWS Manuel Bodirsky, TU Dresden Lorenzo Clemente, University of Warsaw (chair) Javier Esparza, TU Müchen Emmanuel Filiot, Univerté Libre de Bruxelles Zeinab Galal, Kyoto University Shankaranarayanan Krishna, IIT Bombay Ugo dal Lago, University of Bologna Nathan Lhote, Aix-Marseille University Christof Löding, Aachen Uniersity Rupak Majumdar, MPI-SWS Tito Nguyen, CNRS, Aix-Marseille University Karin Quaas, Leipzig University Ocan Sankur, CNRS, Rennes University ### ORGANISING COMMITTEE Laura Kovacs, TU Wien c/o WPI Michael Sammler, ISTA ### STEERING COMMITTEE - Antoine Amarilli (environmental chair) - León Bohn (webmaster) - Antonio Casares - Supratik Chakraborty - Thomas Colcombet (chair) - Bartek Klin - K. S. Thejaswini (publicity chair) - Sophie Tison ********************************************************** * * 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] Assistant Professor position at Aalborg University

The Department of Computer Science at Aalborg University in Denmark, and in particular the DEIS section for Distributed, Embedded and Intelligent Systems [1], are inviting applications for an Assistant Professor position, without and with tenure track. The position is available at the Aalborg campus and across any of the following research groups: - Automated System Verification and Validation - Distributed Sustainable Software and Systems - Formal Methods for Security and Privacy - Foundations for Interacting and Computing Systems - Probabilistic and Symbolic AI - Quantum Systems Analysis and Synthesis More information is available at the link below (deadline: August 1): https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/945480 Best regards, Christian Schilling christianms@cs.aau.dk [1] https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/ ********************************************************** * * 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] 3 postdocs + 3 doctoral students on distributed quantum algorithms

Hi all, Our research group at Aalto University (Finland) is hiring 3 POSTDOCS + 3 DOCTORAL STUDENTS to work on DISTRIBUTED QUANTUM ALGORITHMS in projects funded by an ERC Advanced Grant and a QuantERA grant. Application deadline: July 31, 2026. Start date: October 2026–October 2027 (negotiable). Apply now: - https://www.aalto.fi/en/open-positions/postdoctoral-researchers-theoretical-foundations-of-distributed-quantum-computing - https://www.aalto.fi/en/open-positions/doctoral-students-theoretical-foundations-of-distributed-quantum-computing Kind regards, Jukka ********************************************************** * * 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/ * **********************************************************