[DMANET] EuroCG 2027: First Call for Contributions

====================== Call for Contributions ====================== 43rd European Workshop on Computational Geometry (EuroCG 2027) Organized as an event of the Computational Geometry Society https://computational-geometry.org/ April 7-9, 2027, Norrköping, Sweden https://eurocg2027.on.liu.se/ EuroCG 2027 will be held from April 7 to April 9 in Norrköping, Sweden. EuroCG is an annual workshop that combines a strong scientific tradition with a friendly and informal atmosphere. The workshop is a forum where established researchers and students can meet, discuss their work, present their results, and establish scientific collaborations. =============== Important Dates =============== - Submission deadline: January 17, 2027 - Acceptance notification: March 3, 2027 - Early registration ends: March 17, 2027 - Camera-ready version due: March 24, 2027 - Registration ends: March 31, 2027 - EuroCG 2027: April 7-9, 2027 All deadlines are at 23:59 AoE. ===================== Submission Guidelines ===================== We invite authors to submit extended abstracts of their original research that has not been published before January 1, 2026, and has not been presented at a previous edition of EuroCG. If a submission consists of work that has been published already, the submission must provide the name of the respective conference or journal and the date of publication. The authors themselves are responsible for ensuring that they do not violate copyright laws. Already published work may receive fewer and less detailed reviews. Submissions will be handled through EasyChair. Each submission must not exceed 175 lines of text, excluding title, references, and appendix. Submissions must be prepared using the eurocg27 LaTeX class, available from the EuroCG 2027 website, where you can also find a zip archive containing an example of how to use the class. The eurocg27 class is a wrapper around the standard LIPIcs class, similar to the class used for SoCG. The standard LIPIcs class and its author instructions are available from the Dagstuhl website. The class automatically counts lines containing text, excluding title-page metadata, references, and figures. Authors should nevertheless make a reasonable effort to ensure that the line count is correct. The count produced by the class is intended as an aid, and authors remain responsible for the accuracy of the count and for ensuring that their submission complies with the line limit. The main body (of 175 lines) should be self-contained and provide a clear and succinct description of the main results and an indication for their correctness. Content that does not fit in the main body due to space restrictions must be placed in a clearly marked appendix, which will only be read at the discretion of the program committee. These rules also apply to submissions concerning already published papers. Submissions should contain names and affiliations of authors. Following the decision taken at the business meeting of the 2026 edition of EuroCG in Hagen, authors may choose whether to include their extended abstract in the booklet of contributions. Authors who prefer not to include their extended abstract should submit their contribution according to the same procedures and requirements as authors whose extended abstract is included, and additionally provide a one-page abstract containing a link to the full paper. For accepted contributions, the one-page abstract and link will be included in the booklet in place of the extended abstract. ================== Topics of Interest ================== Topics of interest cover all aspects of computational geometry, including but not limited to the following: - Discrete and combinatorial geometry and topology - Design and analysis of geometric algorithms and data structures - Implementation and experimental evaluation of geometric algorithms - Numerical and algebraic issues arising from implementations - Analysis of geometric configurations - Geometric modeling, visualization and simulation - Combinatorial optimization - Graph drawing - Structural molecular biology - Geometric puzzle analysis - Applications of computational geometry - Geographic information systems - Robotics and virtual worlds - Computer-aided design and manufacturing ================= Acceptance Policy ================= EuroCG is a non-competitive forum and there is no competitive selection process. As in previous editions, we aim to accept all submissions that are original, non-trivial, correct, well-presented, and in scope. However, if we receive substantially more submissions than in previous editions, we may not be able to accept all submissions that meet these criteria. Submissions must satisfy all five criteria, and failing to meet any of them may lead to rejection. In particular, a submission may be rejected - If it does not contain original research by the authors, or if there is good reason to believe that this is the case. - If it contains a main result with an erroneous proof, or if the provided material is insufficient to establish the correctness of the results (however, acceptance at EuroCG does not guarantee correctness). - If it is unreadable, or does not follow the submission guidelines provided above. - If it does not comply with the AI policy. ================= Presentation ================= At EuroCG, we want to give as many participants as possible the opportunity to present their work. We therefore encourage participants to give at most one talk each, although this is not a strict constraint. For this purpose, we ask authors to indicate the intended presenter for each contribution at the time of submission. There is no restriction on the number of contributions a person may co-author. ================= AI Policy ================= Human authorship and responsibility: All listed authors must be human and are fully responsible for the integrity, accuracy, originality, and copyright of their submission. AI methodology: Authors who use AI tools must explicitly disclose this information using a dedicated command from the LaTeX template for EuroCG. Use of LLMs in reviewing and evaluating papers: PC members are prohibited from using generative AI tools during the review process. ======================== Proceedings and Special Issue ======================== EuroCG does not have formally reviewed proceedings. A booklet of abstracts, without an ISBN, will be accessible online on the website for the benefit of the community. It must be regarded as a collection of preprints rather than a formally reviewed selection of papers. Results presented at EuroCG are expected to appear (or have appeared) in other conferences with formal proceedings and/or in journals. Authors of selected papers will be invited to submit full versions to a special issue of the journal Computing in Geometry and Topology (CGT). ===================== Conference Attendance ===================== EuroCG is dedicated to providing an environment that is free from harassment, bullying, discrimination, and retaliation for all participants. Following the decision made at EuroCG 2024 (https://www.computational-geometry.org/eurocg/policies/), EuroCG is organized as an event of the CG Society (https://www.computational-geometry.org) and only members of the CG Society may attend EuroCG 2027. Society membership is free of charge. All members of the CG Society are bound by its Code of Conduct (https://computational-geometry.org/society/code-of-conduct/). Moreover, SafeToC advocates will be present at EuroCG 2027 (https://safetoc.org/). EuroCG is an in-person event, and all presentations are expected to be given on site. At least one author of each accepted contribution must attend EuroCG as a member of the CG Society and present the work. If no author attends, the contribution may be removed from the program, the booklet of abstracts, and the workshop website. There will also be a vote for the Best Student Presentation Award. ================ Invited Speakers ================ - Mikkel Abrahamsen (University of Copenhagen) - Tamara Mchedlidze (Utrecht University) - Joseph S. B. Mitchell (Stony Brook University) ================= Program Committee ================= Yeganeh Bahoo (Toronto Metropolitan University) Kevin Buchin (TU Dortmund) Jacobus Conradi (University of Copenhagen) Sarita de Berg (IT University of Copenhagen) Loïc Dubois (University of Notre Dame) Omrit Filtser (The Open University of Israel) Mayank Goswami (Queens College, CUNY) Michael Hoffmann (ETH Zürich) Kristóf Huszár (TU Graz) Antonia Kalb (TU Dortmund) Phillip Keldenich (TU Braunschweig) Linda Kleist (University of Hamburg) Katharina Klost (Freie Universität Berlin) Erik Jan van Leeuwen (Utrecht University) Klara Mundilova (independent) Bengt J. Nilsson (Malmö University) Evanthia Papadopoulou (Università della Svizzera italiana) Valentin Polishchuk (Linköping University) Christian Rieck, co-chair (University of Kassel) Ignaz Rutter (University of Passau) Lena Schlipf (University of Tübingen) Christiane Schmidt, co-chair (Linköping University) Rodrigo Silveira (Universitat Politècnica de Catalunya) Satyam Singh (Aalto University) Frank Staals (Utrecht University) Frederick Stock (TU Dresden) Soeren Terziadis (TU München) Alexandra Wesolek (University of Bordeaux) Sampson Wong (University of Copenhagen) Lasse Wulf (University of Southern Denmark) Johannes Zink (TU München) ================== Organizing Committee ================== Anna Brötzner (Malmö University) Chi Kien Huynh (Linköping University) Christian Rieck (University of Kassel) Christiane Schmidt, chair (Linköping 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] 2nd Cfp - JSC Special Issue: Advances in the Theory and Practice of Unification

===================================================                 Second Call for Papers                     Special Issue                        of the               Journal for Symbolic Computation                          on    Advances in the Theory and Practice of Unification  =================================================== The purpose of this Special Issue is to promote and disseminate recent advances in unification and closely related topics, focusing on both theoretical developments and practical aspects. Unification is concerned with the problem of making two terms equal, finding solutions for equations or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. This special issue focuses on the topics of unification in a broad sense, which include, but are not limited to, the following:     • Syntactic and equational unification algorithms     • Matching and constraint solving     • Higher-order unification     • Unification in modal, fuzzy, temporal and description logics     • Anti-unification/generalization     • Semi-unification     • Disunification     • Narrowing     • Admissibility of inference rules     • Combination problems     • Formalization of unification and related techniques     • Complexity issues     • Implementation techniques     • Applications This special issue is related to the research presented in the last two editions of the International Workshop on Unification - UNIF 2025 and 2026. Submissions of high quality works on unification that were not presented at these workshops are also welcome. Thus, participants of UNIF, as well as other authors, are invited to submit contributions. ------------------------------------------- ** Submission Instructions ------------------------------------------- The papers (15-30 pages; larger papers will be evaluated depending on editorial constraints) must be in English, prepared in LaTeX according to the guidelines of the journal, including those refering to the generative AI use. https://www.sciencedirect.com/journal/journal-of-symbolic-computation/publish/guide-for-authors https://www.sciencedirect.com/journal/journal-of-symbolic-computation/publish/guide-for-authors#ethics-and-policies-declaration-of-generative-ai-use Submission will be possible here: https://www.sciencedirect.com/special-issue/337109/advances-in-the-theory-and-practice-of-unification ------------------------------ ** Important Dates (2027) ------------------------------ Submission deadline:         January 18th Notification:             April 5th Submission of revised paper:     May 18th Final notification:         July 19th Camera ready version:         August 16th Publication:             autumn 2027 ----------------------------- ** Guest Editors ----------------------------- Silvio Ghilardi (Università degli Studi di Milano) Ashley Suchy (New Paltz State University of New York) Cleo Pau (RISC, Johannes Kepler University Linz) Laurent Vigneron (Université de Lorraine, LORIA) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CFP: FCT 2027 – 26th International Symposium on Fundamentals of Computation Theory, September 22–24, Craiova, Romania

FCT 2027 - CALL FOR PAPERS 26th International Symposium on Fundamentals of Computation Theory September 22-24, 2027 Craiova, Romania Website: https://dcti.ucv.ro/fct2027/ ============================================================ IMPORTANT DATES ============================================================ Paper submission deadline: April 23, 2027 Author notification: June 30, 2027 Camera-ready deadline: July 14, 2027 Conference: September 22-24, 2027 ============================================================ ABOUT FCT ============================================================ The International Symposium on Fundamentals of Computation Theory (FCT), established in 1977, is a biennial conference covering all areas of theoretical computer science. FCT 2027 invites original research papers presenting significant contributions to the foundations of computation. Topics include, but are not limited to: - Algorithms and Data Structures - Approximation and Parameterized Algorithms - Computational Complexity - Combinatorics and Graph Theory - Combinatorial Optimization - Automata and Formal Languages - Logic, Computability and Formal Methods - Computational Geometry and Computational Biology - String Algorithms and Combinatorics on Words - Randomized, Online and Distributed Algorithms - Algorithmic Game Theory and Computational Social Choice - Foundations of Artificial Intelligence and Machine Learning - Quantum Computing - Constraint Satisfaction Problems - Network Algorithms Contributions on related topics in theoretical computer science are welcome. ============================================================ SUBMISSION AND PROCEEDINGS ============================================================ Papers must be submitted electronically through Springer Nature's METEOR system: https://meteor.springer.com/FCT2027 Submissions must use the Springer LNCS format and must not exceed 12 pages, including references. Additional material may be included in a clearly marked appendix, which does not count towards the page limit. Papers must contain original, unpublished research and must not be simultaneously submitted elsewhere. Preprints on arXiv and similar repositories are permitted. FCT 2027 uses single-blind reviewing. Submissions co-authored by Program Committee members are allowed. Authors may use AI tools in accordance with Springer Nature's policies, provided their use is disclosed where required. Authors remain responsible for all scientific content, including proofs, algorithms and references. Accepted papers will be published by Springer in the Lecture Notes in Computer Science (LNCS) series, ARCoSS subseries. At least one author of each accepted paper must register and present the paper at the conference. Full submission guidelines: https://dcti.ucv.ro/fct2027/submission.html ============================================================ BEST PAPER AWARDS ============================================================ - Best Paper Award - Best Student Paper Award For the Best Student Paper Award, all authors must be students at the time of submission. ============================================================ SCIENTIFIC PROGRAM ============================================================ INVITED SPEAKERS ------------------------------------------------------------ Péter Biró - Corvinus University of Budapest / HUN-REN Centre for Economic and Regional Studies, Hungary Pantelimon George Popescu - National University of Science and Technology POLITEHNICA Bucharest, Romania Prudence W. H. Wong - University of Liverpool, United Kingdom Alexander Wolff - University of Würzburg, Germany ============================================================ CONFERENCE COMMITTEES ============================================================ PROGRAM COMMITTEE CO-CHAIRS ------------------------------------------------------------ Adrian Dumitrescu - Algoresearch L.L.C.; Research Institute of the University of Bucharest; Alfréd Rényi Institute of Mathematics Costin Bădică - University of Craiova, Romania Alexandru Popa - University of Bucharest; National Institute for Research and Development in Informatics, Romania PROGRAM COMMITTEE MEMBERS ------------------------------------------------------------ Bogdan Aman - Romanian Academy / Alexandru Ioan Cuza University, Romania Cristina Bazgan - Université Paris-Dauphine, France Ioana Bercea - KTH Royal Institute of Technology, Sweden Guillaume Blin - University of Bordeaux, France Gruia Călinescu - Research Institute of the University of Bucharest (ICUB), Romania Arnaud Casteigts - University of Geneva, Switzerland Ke Chen - Pennsylvania State University, USA Camelia Chira - Babeș-Bolyai University, Romania Gabriel Ciobanu - Institute of Computer Science, Romanian Academy, Iași, Romania Riccardo Dondi - University of Bergamo, Italy Khaled Elbassioni - Khalifa University, United Arab Emirates Thomas Erlebach - Durham University, United Kingdom Guillaume Fertin - Nantes Université, France Fedor Fomin - University of Bergen, Norway Leszek Gąsieniec - University of Liverpool, United Kingdom Anirban Ghosh - University of North Florida, USA Elena Grigorescu - University of Waterloo, Canada Manoj Gupta - Indian Institute of Technology Gandhinagar, India Pinar Heggernes - University of Bergen, Norway Bart M. P. Jansen - Eindhoven University of Technology, Netherlands Jesper Jansson - Kyoto University, Japan Artur Jeż - University of Wrocław, Poland Mamadou Moustapha Kanté - Université Clermont Auvergne, France Ralf Klasing - CNRS / LaBRI, University of Bordeaux, France Christian Komusiewicz - Friedrich Schiller University Jena, Germany László Kozma - TU Dresden, Germany Michael Lampis - Université Paris-Dauphine, France Vincent Limouzy - Université Clermont Auvergne, France Mircea Marin - West University of Timișoara, Romania George B. Mertzios - Durham University, United Kingdom Othon Michail - University of Patras, Greece Victor Mitrana - University of Bucharest, Romania Nils Morawietz - Friedrich Schiller University Jena, Germany Lucia Moura - University of Ottawa, Canada Tamio-Vesa Nakajima - Philipps University of Marburg, Germany Yoshio Okamoto - University of Electro-Communications, Japan Sebastian Ordyniak - University of Leeds, United Kingdom Valentin Polishchuk - Linköping University, Sweden Blerina Sinaimeri - LUISS Guido Carli University, Italy Karamjeet Singh - University of Windsor, Canada Adrian Vladu - Georgetown University, USA Michał Włodarczyk - University of Warsaw, Poland Binhai Zhu - Montana State University, USA Paweł Żyliński - University of Gdańsk, Poland STEERING COMMITTEE ------------------------------------------------------------ Bogdan Chlebus - Augusta University, USA Marek Karpiński (Chair) - University of Bonn, Germany Andrzej Lingas - Lund University, Sweden Miklos Santha - CNRS and University Paris Diderot, France Eli Upfal - Brown University, USA ORGANIZING COMMITTEE ------------------------------------------------------------ Department of Computers and Information Technology, University of Craiova, Romania. Alexandru Becheru, Amelia Bădică, Nicolae Enescu, Daniela Dănciulescu, Eugen Ganea, Sorin Ilie, Elena Ruxandra Luțan, Marius Marian, Cristian Mihăescu, Ionuț Murarețu, Elvira Popescu, Stefan Paul Popescu, Alexandra Vultureanu-Albiși, Gabriel Nedianu. ============================================================ FURTHER INFORMATION ============================================================ Conference website: https://dcti.ucv.ro/fct2027/ Submission system: https://meteor.springer.com/FCT2027 Submission guidelines: https://dcti.ucv.ro/fct2027/submission.html We look forward to welcoming you to FCT 2027 in Craiova, Romania! ********************************************************** * * 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] [Cryptography] (IF 2.4, CiteScore 6.4) Special issue "Applied Cryptography for the Post-Quantum Era"

The Special Issue entitled "Applied Cryptography for the Post-Quantum Era: From Practical Protocols to Secure Deployment" of journal Cryptography (https://www.mdpi.com/journal/Cryptography) is opening for submission. The submission deadline is 31 May 2027 and papers may be submitted immediately or at any point till the date, as papers will be published on an ongoing basis. For more information on this Special Issue and submission guidelines, please visit the following page: https://www.mdpi.com/journal/cryptography/special_issues/1A3155OIPO Specific topics of interest include, but are not limited to: post-quantum cryptography hybrid cryptography cryptographic agility quantum-safe migration automated key management public key infrastructure certificate lifecycle management secure communications authentication Guest editors: Dr. Mir Ali Rezazadeh Baee, Queensland University of Technology Prof. Dr. Josef Pieprzyk, Data61, CSIRO Cryptography is a scientific peer-reviewed open access journal of cryptography published quarterly online by MDPI. It is covered by Scopus (Elsevier), Emerging Sources Citation Index (ESCI-Web of Science), etc. If you require assistance or if you have any questions, please contact the editorial office <cryptography@mdpi.com>. Best regards, Xue Cheng Managing Editor -- MDPI Branch Office, Wuhan Cryptography Editorial Office https://www.mdpi.com/journal/cryptography MDPI, Grosspeteranlage 5, 4052 Basel, Switzerland Twitter: @Cryptogr_MDPI https://twitter.com/Cryptogr_MDPI LinkedIn: Cryptography-MDPI ********************************************************** * * 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] Prize for Innovation in Distributed Computing 2027

========================================== 2027 Prize for Innovation in Distributed Computing ========================================== We are pleased to announce that the 2027 Prize for Innovation in Distributed Computing is awarded to Shlomi Dolev from Ben-Gurion University of the Negev, Israel. Shlomi has been a major contributor to the field of self-stabilization in distributed computing. His numerous contributions have appeared in leading conferences and journals, including three papers at SIROCCO. Indeed, Shlomi was the main driving force that allowed Dijkstra's 1974 concept of self-stabilization to develop into the rich landscape of such systems known today. From the beginning of his graduate research, he developed self-stabilizing protocols for dynamic systems. Prominent examples of this part of his research, some with collaborators, are uniform dynamic self-stabilizing leader election and optimal-time stabilization in uniform dynamic systems. He also contributed significantly to self-stabilizing clock synchronization and combined it with Byzantine fault tolerance. Another substantial part of Shlomi's research in this area has been devoted to the development of foundations of the field. In particular, Shlomi and his collaborators introduced the fair-composition technique that makes self-stabilizing protocols composable. He also introduced superstabilization, which asks not only that a system converge after a topology change but that a passage predicate hold throughout the transition, so that dynamicity is handled gracefully rather than merely survived. Shlomi gave a formal meaning to self-organization, requiring that a self-stabilizing algorithm also converge in time sub-linear in the system size and confine the effect of a local change to its vicinity, and showed how random walks can build and maintain a hierarchy of colonies that meets these requirements, so that large dynamic systems can organize themselves without global coordination. Shlomi's 2000 MIT Press monograph “Self-Stabilization” remains the standard reference in the area, and it was primarily him who transformed a one-off Workshop on Self-Stabilizing Systems into the annual SSS symposium. Besides his contributions to self-stabilization, Shlomi's work also addresses many additional aspects of dynamic distributed computing. These include localization of effects of changes, his work on communication services, on mobile nodes, on wireless networks, and on software-defined networks. The 2027 Prize for Innovation in Distributed Computing hence acknowledges Shlomi Dolev's pioneering contributions to self-stabilization in distributed computing. It will be awarded at SIROCCO 2027, to be held on June 2-4, 2027, in Larnaca, Cyprus. The 2027 Award Committee: Keren Censor-Hillel (Technion, Israel) Yuval Emek (Technion, Israel) Ran Gelles (Bar-Ilan University, Israel) Chryssis Georgiou (University of Cyprus, Cyprus) Ulrich Schmid (TU Wien, Austria) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] AICES 2027: early registration November 15

******************************************************** 2nd INTERNATIONAL SCHOOL ON HUMAN-AI COLLABORATION IN THE ERA OF AGENTIC AI AICES 2027 Bilbao, Spain May 3-6, 2027 https://aices.irdta.eu/2027/ ******************************************************** Co-organized by: University of Deusto IRDTA – Institute for Research Development, Training and Advice ******************************************************** Early registration: November 15, 2026 ******************************************************** SCOPE The rapid emergence of agentic AI systems capable of planning, reasoning, making decisions and acting with increasing autonomy is transforming the relationship between humans and intelligent machines. Understanding how humans and AI agents can collaborate effectively, safely and responsibly has therefore become a major scientific, technological and societal challenge. AICES 2027 will address this challenge from a broad interdisciplinary perspective, bringing together leading researchers and experts from academia and industry. The scientific program will examine the societal, cognitive, ethical, economic and governance dimensions of agentic AI, with particular emphasis on human–AI collaboration, trust, human oversight and control, the future of work, regulation and governance, explainability, responsible AI, education, democracy, media ecosystems, economic transformation, and the wider implications of increasingly autonomous AI systems. The school will feature 13 monographic three-hour courses, 2 keynote lectures, 1 round table and 1 symposium. Leading academics and industry experts will share their knowledge, research and perspectives with participants. Interaction, discussion and networking will be central elements of the event, while full live online participation will also be available. ADDRESSED TO AICES 2027 is intended for graduate students, researchers, academics, industry professionals and policymakers from a wide range of disciplines, including computer science, cognitive science, economics, sociology, philosophy, law, public policy and business. There are no formal academic prerequisites, and researchers and professionals at all career stages are welcome. The school will provide participants with an opportunity to gain in-depth knowledge of one of the most rapidly evolving areas of AI, interact with experts from different disciplines, establish new collaborations, expand their professional networks, and explore the profound changes that agentic AI may bring to work, institutions and society. VENUE AICES 2027 will take place in Bilbao, in northern Spain. Once a major industrial centre, Bilbao has undergone a remarkable urban, cultural and economic transformation over recent decades and is today one of Spain's most dynamic cities. The venue will be: University of Deusto Avenida de las Universidades, 24 48007 Bilbao https://www.deusto.es/ STRUCTURE Two/three courses will run in parallel throughout the event. Participants will be free to select the sessions they wish to attend and may move between courses at any time. In addition to the courses and keynote lectures, the program will include a round table and a symposium devoted to current research and industrial developments. All lectures will be video recorded and made available to participants for 45 days after the event. Full live online participation will be possible. Nevertheless, participants are strongly encouraged to attend in person whenever possible, as direct interaction, discussion and networking are essential components of research training events of this kind. KEYNOTE SPEAKERS Eszter Hargittai (University of Zurich), Myths vs. Measures: Digital Inequality and AI Skills Katia Sycara (Carnegie Mellon University), Human-AI Collaboration rather than Substitution PROFESSORS AND COURSES Ana Bazzan (University of São Paulo), [introductory/intermediate] Autonomous Agents, Multiagent Systems, Swarm Intelligence and Reinforcement Learning: What Are These and Why They Matter in the Current AI Agenda Justine Cassell (Inria Paris), [introductory/intermediate] Building Agents that Collaborate with People rather than Replacing Them Pierre Dillenbourg (Swiss Federal Institute of Technology Lausanne), [introductory] Productive Noise: The Benefits of Misunderstandings in Collaboration Steven Drucker (Particle Prismatics LLC), [introductory/intermediate] Attention Is All You Have: Human-Centered AI in the Agentic Era Peter Flach (University of Bristol), [introductory/intermediate] Classifier Calibration: A Prerequisite for Trustworthy AI James D. Hollan (University of California San Diego), [intermediate] Challenges and Opportunities for HCI: Generative AI, Negotiated Agency, and Co-Adaptive Systems Andreas Holzinger (BOKU University Vienna & Graz University of Technology), [introductory/intermediate] Trustworthy Agentic AI: Human-AI Collaboration, Explainability, and Verifiable Autonomy Jason Hong (Carnegie Mellon University), [introductory/intermediate] Challenges in Human-AI Interaction Christian Lebiere (Carnegie Mellon University), [intermediate] Metacognition and Theory of Mind in Humans and Machines Sijia Liu (Michigan State University), [introductory/advanced] From Safe Models to Safe AI Agents: Alignment from Centralized to Distributed Learning Simon Parsons (University of Lincoln), [introductory] Agents and Agentic AI Simone Stumpf (University of Glasgow), [introductory/intermediate] Explainable AI (XAI) and Debugging in the Era of Agentic AI Lyle Ungar (University of Pennsylvania), [introductory] From Tools to Teammates: How AI Changes Human Work and Relationships SYMPOSIUM A symposium will give participants, research groups and companies the opportunity to present ongoing research projects, innovative ideas and industrial developments related to the themes of AICES 2027. Presentations will consist of 15-minute oral contributions. Participants interested in presenting should submit a one-page abstract including the title, authors, and a brief summary to david@irdta.eu. Submission deadline: April 19, 2027. ORGANIZING COMMITTEE Pablo García Bringas (Bilbao, Local Chair) Carlos Martín-Vide (Tarragona, Program Chair) Santiago Montes (Tarragona, Webpage) Sara Morales (Luxembourg, Finances) David Silva (London, Organization Chair) REGISTRATION Registration is available at: https://aices.irdta.eu/2027/registration/ During registration, participants will be invited to indicate six courses they are particularly interested in attending. This selection is tentative and non-binding and will be used only to estimate demand and facilitate logistical planning. As the capacity of the venue is limited, registrations will be accepted on a first-come, first-served basis. Registration will close once maximum capacity has been reached. Early registration is therefore strongly recommended. FEES Registration fees include access to all school activities and lunches. Several early-registration deadlines are available, with fees depending on the date of payment. Fees are the same for on-site and for online participation. ACCOMMODATION Accommodation suggestions will be made available in due time at: https://aices.irdta.eu/2027/accommodation/ CERTIFICATE Participants will receive a certificate documenting 40 hours of academic activities. This certificate should be suitable for participants seeking ECTS or equivalent academic recognition from their home institutions. SPONSORS Companies, institutions and organizations interested in supporting AICES 2027 are invited to consult the sponsorship opportunities available for the event. The sponsorship leaflet can be downloaded from: https://aices.irdta.eu/2027/sponsors/ QUESTIONS AND FURTHER INFORMATION david@irdta.eu ACKNOWLEDGMENTS University of Deusto IRDTA – Institute for Research Development, Training and Advice ********************************************************** * * 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 – DIS 2027 | London, UK | May 30–June 3, 2027

Dear Colleagues, We are pleased to invite you to the *10th International Conference on the Dynamics of Information Systems (DIS 2027)*, taking place *May 30 – June 3, 2027, in London, UK*. The conference welcomes contributions in optimization, operations research, machine learning, artificial intelligence, information science, and related fields. Please find the Call for Papers attached. We would be grateful if you could share this announcement with interested colleagues and researchers. For further information, please visit: https://dis.ujep.cz/ We look forward to welcoming you to DIS 2027! ********************************************************** * * 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] [EXTENDED] [CFP] AHPC3: The 4th Workshop on Accelerated HPC in the Cloud-Edge Continuum

======================================================================== AHPC3 2027: The 4th Workshop on Accelerated HPC in the Cloud-Edge Continuum Affiliated with the 35th Euromicro International Conference on Parallel, Distributed and Network-Based Processing ( PDP 2027 ) March 17-19, 2027 | Barcelona, Spain Workshop site: https://ahpc3.di.unipi.it/ Conference site: https://www.pdp2027.org/ Submission site: https://ahpc3.di.unipi.it/2027#submission ======================================================================== IMPORTANT DATES -------------------------- - November 12, 2026: Submission of paper abstracts (EXTENDED) - November 12, 2026: Submission of short/regular papers (EXTENDED) - December 14, 2026: Notification to authors - January 25, 2027: Submission of camera-ready OVERVIEW -------------------------- This workshop explores the convergence of high-performance computing (HPC) and modern cloud-edge architectures. With HPC demand expanding across many domains and the boundaries between HPC and cloud blurring, the aim is to examine how cloud and edge technologies - such as serverless computing, microservices and load balancers - can be adapted to efficiently support and scale HPC applications. Key topics include lightweight virtualization, dynamic execution environments, advanced scheduling, orchestration, data management, fault tolerance, security and monitoring. Special focus is given to sustainability through green computing and intelligent resource management. Contributions on hardware acceleration (FPGA/GPU), hybrid resource management and innovations in continuous cloud-edge and hybrid HPC environments are welcome. TOPICS -------------------------- - Accelerated computing architectures for HPC in the Cloud-Edge continuum, including GPUs, FPGAs, AI/ML accelerators, and heterogeneous computing platforms - Cloud-Edge architectures and resource federation for HPC, including hybrid HPC environments and federated resource sharing - Cloud-native technologies and execution models for HPC, including serverless computing, microservices, and task offloading - Lightweight virtualization and execution environments, including WebAssembly, unikernels, containers, and microVMs - Orchestration, deployment, scheduling, and resource allocation for HPC workflows across the Cloud-Edge continuum - Programming paradigms, models, and runtime systems for High-Performance Cloud-Edge computing - Communication, data management, stream processing, and data-intensive workloads in Cloud-Edge environments - Heterogeneous resource management, monitoring, and observability for HPC Cloud-Edge applications - Fault tolerance, reliability, security, and resilience across the Cloud-Edge continuum - Sustainable and energy-efficient HPC across Cloud, Edge, and HPC infrastructures - Federated and distributed AI/ML, including federated learning in the Cloud-Edge continuum - AI/ML-driven techniques for resource management, scheduling, and orchestration SUBMISSION -------------------------- LINK: https://ahpc3.di.unipi.it/2027#submission Accepted papers will be published in the conference proceedings. Submissions must be original and not under consideration elsewhere.[Text Wrapping Break]All submissions will be subject to a double-blind review process. Papers (regular: max 8 pages, short: max 4 pages) must follow IEEE conference format. At least one author must register and present the paper. SPECIAL ISSUE -------------------------- Authors of outstanding research papers will be invited by the workshop chairs to submit an extended version of their work to a special issue of a journal. Further details will be provided following the workshop. ORGANISERS (all from University of Pisa) -------------------------- - Luca Ferrucci - luca.ferrucci@unipi.it (General Chair) - Stefano Forti - stefano.forti@unipi.it (General Chair) - Jacopo Massa - jacopo.massa@di.unipi.it (General Chair) - Valerio Besozzi - valerio.besozzi@phd.unipi.it (Program Chair) - Matteo Della Bartola - matteo.dellabartola@phd.unipi.it (Program Chair) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP] DEADLINE EXTENDED - Special Session EC4XTAI @ EvoLearn 2027 (EvoStar)

Dear Colleagues, *DEADLINE EXTENDED: 16 NOVEMBER 2026* We are pleased to invite submissions to the Special Session on *Evolutionary Computation for Explainable and Trustworthy AI*, held as part of *Evolearn 2027* at the upcoming *EvoStar 2027* conference. Call for Papers Artificial Intelligence systems are increasingly deployed in domains where predictive accuracy alone is insufficient—decisions must also be understandable, reliable, robust, and open to scrutiny. Many explainability and trustworthiness problems involve competing objectives, complex search spaces, discrete or structured representations, and constraints that traditional optimization methods struggle to address. Evolutionary computation is particularly well-suited to these challenges. Population-based search can generate diverse explanations, explicitly balance criteria such as fidelity, stability, diversity, and plausibility, operate with non-differentiable models, and optimize symbolic, rule-based, visual, prototype-based, or counterfactual representations. This special session provides a focused forum for researchers developing evolutionary and bio-inspired approaches to the generation, optimization, evaluation, and auditing of explanations and intrinsically interpretable AI systems. Scope & Topics of Interest We welcome methodological contributions, evaluation studies, benchmarks, and real-world applications across machine learning, computer vision, image processing, and related areas, including (but not limited to): - *Explanation Generation:* Evolutionary generation and optimization of local/global, counterfactual, causal recourse, and actionable explanations. - *Interpretable Models:* Genetic programming, symbolic regression, rule learning, fuzzy systems, and neuroevolution for transparent or self-explainable models. - *Representation & Discovery:* Prototype-, example-, concept-, and case-based explanations, as well as feature selection/construction for explainability. - *Computer Vision & Multimodal AI:* Evolutionary visual explanations for image processing, computer vision, deep models, and foundation models. - *Trustworthiness & Auditing:* Evolutionary optimization and analysis of robustness, fairness, uncertainty, bias, and automated testing of black-box models. - *Specialized Approaches:* Quality-diversity methods for multiple valid explanations, human-in-the-loop/interactive evolutionary explainability, and explainable evolutionary reinforcement learning. - *Evaluation:* Benchmarks, metrics, reproducibility, scalability, and user-centered evaluation. More Information: https://www.evostar.org/2027/evolearn/ecxtai/ Organizers - *Diego Oliva* — Universidad de Guadalajara, Mexico ( diego.oliva@cucei.udg.mx) - *Oscar Ramos-Soto* — Universidad de Guadalajara, Mexico ( oscar.ramos9279@alumnos.udg.mx) - *Fernando Lezama* — GECAD – Polytechnic of Porto, Portugal ( flz@isep.ipp.pt) - *Saul Zapotecas-Martínez* — Instituto Nacional de Astrofísica, Óptica y Electrónica, Mexico (szapotecas@inaoep.mx) We look forward to receiving your contributions! Feel free to forward this call to colleagues who may be interested. Best regards, *The Session 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] 2027 Land–Doig MIP Competition: Registration Now Open!

Dear colleagues, We are pleased to announce the *2027 Land–Doig MIP Competition*, focused on *explainability and small infeasible subsystems*. Registration is now open. *Competition details:* https://www.mixedinteger.org/2027/competition/ *Registration form: *2027 Land-Doig MIP Competition - Team Registration <https://forms.gle/GSXku1TgPKF64mMj9> *Registration deadline: *Friday, January 22, 2027 (AoE) We also welcome submissions of interesting infeasible MIP instances to be included in the final evaluation (see the page for the deadline): https://www.mixedinteger.org/2027/competition/topic.html#call-for-instances We look forward to your participation! Best, The MIP 2027 Competition Committee Pierre Bonami (Chair), Shuvomoy Das Gupta, Gerald Gamrath, Reem Khir, Gioni Mexi, and Thiago Serra ********************************************************** * * 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] Extended Submission Deadline - EvoMUSART 2027 (16th International Conference on AI in Music, Sound, Art & Design)

Call for papers for the 16th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMusArt) · Please distribute · Apologies for cross-posting ------------------------------------------------ The 16th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMusArt) will take place on 31 March – 2 April, 2027, as part of the evostar event. *EvoMusArt webpage*: https://www.evostar.org/2027/evomusart/ *Extended submission deadline*: 16 November 2026 *Conference*: 31 March – 2 April 2027 *Location*: Mainz, Germany EvoMusArt is a multidisciplinary conference that brings together researchers working on the application of Artificial Neural Networks, Evolutionary Computation, Swarm Intelligence, Cellular Automata, Artificial Life (Alife), Generative AI, Foundation Models, and other Artificial Intelligence (AI) techniques in creative and artistic fields such as Visual Art, Music, Architecture, Video, Digital Games, Poetry, Design, and Interactive Media. The conference provides a forum for presenting and discussing novel research, artistic practices, systems, and applications that explore computational creativity, human-AI co-creation, and emerging creative technologies. Submissions must be at most 14 pages long, excluding references, in Springer Lecture Notes in Computer Science (LNCS) format. Each submission must be anonymised for a double-blind review process. Accepted papers will be presented orally or as posters at the event and included in the EvoMusArt proceedings published by Springer Nature in a dedicated volume of the LNCS series. Submissions should address the use of AI techniques (e.g. Evolutionary Computation, Artificial Neural Networks, Alife, Machine Learning (ML), Deep Learning, and Swarm Intelligence) in creative and artistic domains, including art, music, design, architecture, and related fields. Topics of interest span generation, automation, computer-aided creativity and creativity support tools, and theoretical aspects of computational creativity, including but not limited to: — Systems that create drawings, images, animations, videos, sculptures, poetry, text, designs, webpages, buildings, virtual environments, and other creative artefacts; — Systems that create musical pieces, sounds, instruments, voices, sound effects, soundscapes, and multimodal artistic experiences; — Systems that create artefacts such as game content, architecture, furniture, industrial products, and digital experiences based on aesthetic and functional criteria; — Generative AI, foundation models, large language models (LLMs), multimodal models, and diffusion-based creative systems; — Computational creativity in digital games, interactive storytelling, and narrative generation; — Virtual Reality (VR), Augmented Reality (AR), Mixed Reality (MR), and Extended Reality (XR) for artistic and creative applications, including immersive art installations and interactive creative environments; — Robotic-based Evolutionary Art and Music; — Embodied AI, tangible and wearable interfaces, and smart environments for creative applications; — Digital fabrication, 3D printing, and computational approaches to physical artefact creation; — Other artificial, generative, evolutionary, or biologically inspired techniques in the fields of Computer Music, Computer Art, Design, and Digital Culture; — Techniques for automatic fitness assignment; — AI agents and autonomous creative systems; — Systems in which analysis or interpretation of artworks is combined with AI techniques to generate novel artefacts; — Systems that use AI for the analysis, understanding, restoration, preservation, or curation of artistic and cultural heritage resources; — Human-AI co-creation, mixed-initiative systems, intelligent interfaces, and AI-based creativity support tools; — New ways of integrating users and audiences into the evolutionary, generative, or creative cycle; — User-centred evaluation of creative AI systems and creative experiences; — Analysis and evaluation of the artistic potential of biologically inspired and AI-based creative systems, their creative processes, and resulting artefacts; — Collaborative, distributed, and multi-user creative systems, networked art environments, and collective computational creativity; — Contextualisation of Creative AI in cultural, economic, social, political, legal, ethical, ecological, and sustainability-related discourse. — Computational Aesthetics, Experimental Aesthetics, Emotional Response, Engagement, Surprise, Novelty, and Meaning; — Representation techniques and creative knowledge representations; — Explainability, transparency, authorship, ownership, and ethics in Creative AI; — Surveys of the current state of the art; identification of strengths and weaknesses; comparative analyses and taxonomies; — Validation and evaluation methodologies for creative systems and generated artefacts; — Studies on the applicability of these techniques to related domains; — New models designed to promote creativity through evolutionary computation, Alife, ML, and hybrid approaches. More information on the submission process and topics: https://www.evostar.org/2027/evomusart/ Papers published in previous editions of EvoMusArt: https://evomusart-index.dei.uc.pt We look forward to seeing you at EvoMUSART 2027 in Mainz! The EvoMUSART 2027 organisers Sérgio M. Rebelo Patrick Donnelly Nereida Rodríguez-Fernández (publication 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] CSTA 2026: The IEEE co-sponsored International Conference on Cybersecurity Systems, Technologies and Applications, 8 - 10 December, 2026 | San Antonio, USA.

[Apologies if you got multiple copies of this invitation] The International Conference on Cybersecurity Systems, Technologies and Applications (CSTA 2026) https://emergingtechnet.org/CSTA2026/index.php 8 - 10 December, 2026 | San Antonio, USA. Hybrid Event and Technically Co-Sponsored by IEEE Lone Star Section *CSTA 2026 CFP:* The International Conference on Cybersecurity Systems, Technologies and applications (CSTA 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 Cybersecurity Systems and intelligent systems. Cybersecurity Systems received a lot of attention as AI continues to reshape industries and push the boundaries of what’s possible. CSTA 2026 creates a welcoming space for innovation, collaboration, and the exchange of ideas in the Cybersecurity domain. CSTA 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 Cybersecurity Models and Systems. The International Conference on Cybersecurity Systems, Technologies and applications (CSTA 2026) aims to bring together leading researchers, academics, and practitioners from around the world to share their latest findings, innovations, and applications in Artificial Intelligence and intelligent systems. CSTA 2026 provides a premier interdisciplinary platform for presenting advances and exchanging insights on the theoretical foundations, cutting-edge technologies, and real-world implementations of AI. CSTA 2026 will feature keynote talks, technical paper sessions, workshops, and tutorials covering a wide range of Cybersecurity topics. We invite submissions of high-quality research papers describing original and unpublished results in all areas of Artificial Intelligence Systems. addresses the use of advanced intelligent systems in providing cybersecurity solutions in many fields, and the challenges, approaches, and future directions. We invite the submission of original papers on all topics related to Intelligent Systems with special interest in but not limited to: · Cybersecurity and Data-Driven Systems · Cybersecurity based Machine Learning and Data-Driven Systems · Cybersecurity and Multimodal AI · Cybersecurity for Generative AI, Foundation Models, and Large Language Models · Cybersecurity Computer Vision, Image and Video Processing Systems · Cybersecurity in Generative AI, Foundation Models, and Large Language Models · Artificial Intelligence Systems Security · Computational Language and Human-Centered Systems · Cybersecurity for Cloud, Edge systems · Cybersecurity Applications *Submissions Guidelines and Proceedings* Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11" two-column format. All papers should be in PDF format, and submitted electronically at Paper Submission Link. A full paper can be up to 8 pages (including all figures, tables and references). Length of short papers can be up to 6 pages. Submitted papers must present original unpublished research that is not currently under review for any other conference or journal. All submissions are peer-reviewed by at least three reviewers. Accepted papers will appear in the conference Proceeding, and to be submitted to IEEE Xplore for inclusion. *Important Dates:* - *Paper submission deadline: 5 November 2026 (Firm and Final)* - Notification of acceptance: 15 November 2026 - Camera-ready Submission: 25 November 2026 *Contact:* Please send any inquiry on CSTA to: emergingtechnetwork@gmail.com ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Talk Proposals and Participation - WAGS@FSTTCS 2026

[Apologies for cross-posting] Dear Colleagues, We are happy to announce that the third edition of the Workshop on Automata and Games for Synthesis (WAGS) will take place at IIT Delhi on December 19, 2026, as a post-conference workshop of FSTTCS. Please find below the call for talk proposals. We would very much appreciate if you could circulate the call within your network, consider submitting, and encourage your fellow researchers and students to submit their best work of the year! A poster advertising the workshop is available here: <https://drive.google.com/file/d/1D77exLhwvDEO_0K1zuiGhuckPg1Zedh8/view?usp=sharing> We would be grateful if you could display it on your institute's notice board. ______________________________________________________________ CALL FOR TALK PROPOSALS **Workshop on Automata and Games for Synthesis (WAGS)** New Delhi, India December 19th, 2026 Co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2026 --------------------------------------------------------------------------------------------- Workshop website: <https://sites.google.com/view/wagsfsttcs2026/home> =================== About the workshop =================== The third iteration of the *Workshop on Automata and Games for Synthesis* is an on-site event happening on December 19, 2026, in New Delhi, India. It is co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2026, the premier international computer science conference in India, and held annually in December since 1981. Automated synthesis of systems from specifications has been a longstanding goal of computer science. The workshop focuses on various aspects by which automata and game solving are used to tackle problems motivated by synthesis. The workshop will feature invited speakers and some sessions with short presentations. For the short presentations, early-career researchers are encouraged to talk about their research in 10–15 minute sessions (exact length will depend on the number of contributions). For submission, we solicit a title and an abstract for the talk here: <https://forms.gle/9wyyUf73418GbPATA> The workshop does not have proceedings; therefore previously published talks or ongoing work are both encouraged to be presented. Topics for presentation at the workshop include, but are not limited to, the following: Automata Theory Reactive Synthesis Boolean Functional Synthesis Games on Finite and Infinite Graphs Computational Aspects of Game Theory Concurrency and Distributed computation Formal Languages Games and Automata for Verification Specification and Verification of Finite and Infinite-state Systems ============================ Important dates and information ============================ Early Submission Deadline: November 13th, 2026 Early Notification: November 14th, 2026 (notifications sent on a rolling basis, keeping in mind the early-bird registration deadline for FSTTCS) Final Submission Deadline: November 25th 2026 Final Notification: November 30th 2026 Workshop: December 19th, 2026 Submission of contributed talks at: <https://forms.gle/9wyyUf73418GbPATA> ============= Invited speakers ============= Jean-François Raskin (Université Libre de Bruxelles) S Akshay (IIT Bombay) Soumyajit Paul (University of Oxford) ============= Organisers ============= Sanchari Sil (CMI) Vaishnavi Vishwanath (CMI) Anirban Majumdar (TIFR) Suman Sadhukhan (TU Clausthal) ============= Participation ============= Registration details: TBA soon The detailed program will be available here <https://sites.google.com/view/wagsfsttcs2026/schedule_1> closer to the workshop. For any queries, contact the organisers: suman.sadhukhan00@gmail.com, majumdaranirban963@gmail.com, sanchari@cmi.ac.in, vaishnaviv@cmi.ac.in Best regards, Suman, Sanchari, Vaishnavi, and Anirban ********************************************************** * * 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 and PostDoc Opportunities – University of Brescia, Italy

We are seeking expressions of interest from prospective PhD students and postdoctoral researchers interested in fundamental problems at the intersection of information theory, theoretical computer science, and discrete mathematics at the University of Brescia, Italy, within an ERC Advanced Grant project led by Marco Dalai. The project investigates the mathematical foundations of highly reliable communication, exploring connections between classical and quantum Shannon theory, coding theory, combinatorics, graph theory, and algebra. Research topics include, but are not limited to: • Zero-error information theory, graph capacities, and graph entropy. • Source and channel coding, list decoding, and error exponents. • Extremal combinatorics, graph theory, and algebraic and polynomial methods. • Matrix and tensor rank methods, semidefinite programming, and connections with quantum information theory. Candidates with a strong background in mathematics, theoretical computer science, combinatorics, coding theory, or related areas are encouraged to express their interest. Previous experience in information theory is particularly welcome, but not essential for candidates with a solid mathematical background and a strong interest in fundamental theoretical research. Postdoctoral starting dates will be flexible, most likely from May 2027 onwards. PhD positions will be associated with doctoral programs in Information Engineering starting in April and November 2027. Interested candidates should contact Prof. Marco Dalai at marco.dalai@unibs.it, providing: • Postdoctoral candidates: a CV, a list of publications, and a brief description of research interests and experience. • Prospective PhD students: a CV, detailed B.Sc. and M.Sc. academic transcripts, and a one-page letter of motivation. Expressions of interest are welcome on a rolling basis. Formal calls for applications will be announced separately, and all appointments will be subject to the relevant institutional selection procedures. Best regards, Marco Dalai marco.dalai@unibs.it, -- Informativa sulla Privacy: https://www.unibs.it/it/node/1452 <https://www.unibs.it/it/node/1452> ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] SIROCCO 2027: Abstract submission + Paper deadline extension

Dear all, In response to several requests from the community for a deadline extension, we are announcing some changes to the submission process to accommodate these requests. We are introducing a two-step submission process, consisting of *abstract submission* and *full paper submission*. The new deadlines are as follows: *Abstract submission deadline*: October 31, 2026 (AoE); *Full paper submission deadline*: November 7, 2026 (AoE). We would like to emphasize that the abstract must not be treated as a mere placeholder but must provide a clear and informative summary of the paper, including its main objectives, key contributions, and results. Please note that authors may submit an abstract for a paper that is currently under review at another venue. However, the submission of a full paper that is simultaneously under review elsewhere is not permitted. Link to the SIROCCO 2027 website: https://cyprusconferences.org/sirocco2027/ ------ Regards, William K. Moses Jr. Publicity Chair, SIROCCO 2027 https://sites.google.com/view/wkmjr ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [Call for short abstract] Springer_book:Generative AI and Mathematical Optimization for Green Hydrogen Systems: Operational Trends and Technical Challenges

Dear Colleague, We are editing a Springer book entitled “*Generative AI and Mathematical Optimization for Green Hydrogen Systems: Operational Trends and Technical Challenges*”. This volume aims to bring together mathematical optimization, generative AI, and data-driven methods applied to green hydrogen systems and solar-fed energy infrastructure. It combines cutting-edge computational contributions with real-world case studies, addressing operational trends, system integration, and extreme-environment deployment challenges. We cordially invite you to send your short abstract for approval. While the full chapter will be due later this year, for now, we only require the following: - Author list - Chapter title - Abstract (between 2 and 6 sentences) The deadline to submit your short abstract directly to lahby@ieee.org is *November 02, 2026* (firm deadline). The tentative structure of the book includes, but is not limited to, the following * Part I – Green Hydrogen Systems: Technologies, Value Chains, and Digital Architecture * - Green Hydrogen Systems: Technologies, Value Chains, and Sector Coupling - Electrolyzers, Energy Storage, and Hydrogen Infrastructure: Technologies and Dynamic Performance - Green Hydrogen System Modeling: Renewable Resources, Loads, Components, and System Dynamics - Digital and Cyber-Physical Architecture for Intelligent Green Hydrogen Systems *Part II – Mathematical Optimization, Decision-Making, and Intelligent Control* - Mathematical Optimization for Green Hydrogen System Design and Capacity Planning -Multi-Objective Optimization and Multi-Criteria Decision-Making for Green Hydrogen Systems - Stochastic, Robust, and Uncertainty-Aware Optimization of Renewable Hydrogen Systems - Intelligent Energy Management, Model Predictive Control, and Degradation-Aware Optimization *Part III – Generative AI and Foundation Models for Green Hydrogen Systems * -Generative AI for Renewable Energy Forecasting, Scenario Generation, and Uncertainty Modeling - Physics-Informed Generative AI, Surrogate Models, and Neural Operators for Hydrogen Systems - Generative AI for Materials, Catalysts, Electrolyzers, and Hydrogen Technology Discovery - Large Language Models, AI Agents, and Generative Digital Twins for Hydrogen Operations *Part IV – Sustainable, Resilient, and Large-Scale Green Hydrogen Deployment * - Green Hydrogen in Arid, Desert, and Harsh Environments - Integrated Water–Energy–Hydrogen Optimization for Sustainable Hydrogen Production - Large-Scale Green Hydrogen Hubs, Power-to-X, and Global Deployment Strategies Part V – Responsible, Trustworthy, and Autonomous Green Hydrogen Systems - Responsible and Sustainable Generative AI for Green Hydrogen - Trustworthy AI, Cybersecurity, Safety, and Human Oversight in Hydrogen Infrastructure - Future Directions: Toward AI-Native, Autonomous, Resilient, and Self-Optimizing Hydrogen Systems NB. There is ne fee for publication and the book will be indexed by scopus Best regards -- *Dr. M.Lahby* Laboratory of Mathematics and Applications, University Hassan II, Ecole Normale Supérieure (ENS) Casablanca, Morocco mlahby@gmail.com GSM : +212 6 65 29 23 76 In the world of Linux, who needs Windows and Gates ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP] [Extended Deadline] Special Session on Computational Intelligence applied to Sustainability @ EvoApps 2027 (EvoStar)

Dear Colleagues We are happy to invite you to the Special Session in Computational Intelligence applied to Sustainability, held as part of EvoApps 2027 at the upcoming EvoStar 2027 conference (https://www.evostar.org/2027/). The application of Computational Intelligence techniques to sustainability is a fast-growing field, yielding innovative solutions in areas like wind farm optimization, land use, water distribution, smart grids, and AI-driven decision support in healthcare. This special session seeks to bring together researchers and practitioners to explore the latest advancements in applying Computational Intelligence to sustainability, with a focus on methodologies that directly or indirectly address one or more SDGs (https://sdgs.un.org/goals). Topics of interest include, but are not limited to: - Renewable Energy Systems: Optimization of energy generation, distribution, and storage. - Smart Cities: Design and management of resilient, sustainable urban environments. - Agriculture and Food Security: Sustainable farming practices, precision agriculture, and food supply chain optimization. - Environmental Monitoring and Management: Applications in pollution control, conservation, and natural resource management. - Healthcare and Well-being: AI-driven diagnostics, telemedicine, and optimization of healthcare systems. - Water Resources Management: Efficient distribution, usage, and conservation of water resources. - Sustainable Manufacturing and Industry 4.0: Green manufacturing processes, waste reduction, and lifecycle assessment. - Risk Reduction and Management: Early warning systems for natural disasters, climate change risk assessment, response optimization, and resilience building. - Circular Economy: Strategies for waste minimization, recycling, and sustainable product design. We welcome original research, review articles, and case studies that demonstrate the potential of Computational Intelligence to create sustainable solutions and drive progress toward the SDGs. Contributions that highlight interdisciplinary approaches and real-world implementations are particularly encouraged. More Information: https://www.evostar.org/2027/evoapps/cis/ Submission Details - Page limit: 14 pages, Springer LNCS format. - Submission link and details: https://www.evostar.org/2027/submit-paper/ Important Dates - Submission deadline: November 1, 2026 Extended: November 15, 2026 (AoE) - EvoStar 2027: March 31- April 2, 2027 Organisers - Valentino Santucci - University for Foreigners of Perugia, Italy - valentino.santucci(at)unistrapg.it - Fabio Caraffini - Swansea University, UK - Fabio.caraffini(at)swansea.ac.uk - Jamal Toutouh - University of Malaga, Spain - jamal(at)uma.es - Lucia Ballerini - University for Foreigners of Perugia, Italy - lucia.ballerini(at)unistrapg.it —-- Prof. Jamal Toutouh Tenured Professor - University of Málaga – jamal@uma.es 🌐 website: jamal.es ********************************************************** * * 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 - EvoApps 2026- 30th International Conference on the Applications of Evolutionary Computation - 31 March-2 April 2027

Deadline extension - EvoApps 2027 30th International Conference on the Applications of Evolutionary Computation. http://www.evostar.org/2027/evoapps/ Dear Colleague(s), Deadline extension: November 16, 2026. Venue: Mainz, Germany Feel free to distribute and thank you for your time. Apologies for the cross-posting. EvoApplications, the International Conference on the Applications of Evolutionary Computation -formerly known as EvoWorkshops- brings together researchers in applications of Evolutionary Computation and other Nature-inspired techniques. EvoApplications invites high quality contributions for its 30th edition, which will be held as part of the EvoStar 2027 event and co-located within EvoStar with four related conferences: EuroGP, EvoCOP, EvoLearn, and EvoMUSART. The aim of EvoApplications is to create a friendly environment that can lead to the establishment or strengthening of scientific collaborations and exchanges among attendees. Therefore, EvoApplications solicits high-quality original research papers (including significant work-in-progress) on any aspect of applications of Evolutionary Computation, both to real-world or methodological contexts in which Evolutionary Computation can contribute to pushing the limits of the state of the art beyond the present ones. We encourage you to submit papers focused on interesting, relevant and original works that are related to all kinds of applications of Evolutionary Computation. EvoApplications Conference Proceedings in SpringerLink<https://link.springer.com/conference/evoapplications> (since 2009) EvoWorkshops Conference Proceedings in SpringerLink<https://link.springer.com/conference/evoworkshops> (from 1999 to 2008) Conference programme chairs * Josefa Díaz-Álvarez University of Extremadura mjdiaz (at) unex.es * Jamal Toutouh University of Malaga jamal (at) uma.es Publication chair * Harald Michael Ludwig TU Wien, Austria harald.ludwig (at) tuwien.ac.at Submission Details Accepted papers will be published by Springer Nature in the Lecture Notes in Computer Science series. Submissions must be original and not published elsewhere. They will be peer reviewed by at least three members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Follow these instructions<https://www.evostar.org/2027/submit-paper/> to submit a paper. Un saludo Dra. Josefa Díaz Álvarez Profesora Titular de Universidad Arquitectura y Tecnología de Computadores Grupo de Evolución Artificial (GEA) http://www.unex.es/investigacion/grupos/gea Tel. 924 38 70 68 ext. 82537 Tel. directo: 924 67 30 37 Centro Universitario de Mérida Universidad de Extremadura ********************************************************** * * 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] Invitation and call for abstracts: 6th IMA–OR Society Conference on Management Mathematics | 29–30 April 2027

Dear colleagues, You are warmly invited to attend the 6th IMA–OR Society Conference on Management Mathematics, taking place on 29–30 April 2027 at The Studio, Manchester, UK. This event will highlight the growing impact of innovative mathematical methods in business analytics, decision-making, optimization and management. It brings together researchers and practitioners to share advances in management mathematics, exchange ideas and explore opportunities for collaboration. We welcome contributions covering theory, applications, algorithms and software relevant to management science, operational research, business analytics and related disciplines. The programme will feature plenary presentations by leading international experts, themed talks and poster sessions, alongside opportunities for networking. Abstract submissions are welcome for oral and poster presentations. Please submit a 300-word abstract by 31 January 2027, following the instructions on the conference website. Poster contributions from PhD students are particularly encouraged, and a best poster prize sponsored by the Smith Institute will be awarded. Presenters are also encouraged to submit full papers to the IMA Journal of Management Mathematics, with a submission deadline of 30 June 2027. The venue is conveniently located at The Studio in Manchester city centre, a terrific venue only moments away from Manchester Piccadilly (the central train station in Manchester) and with easy access from Manchester airport. For registration, abstract submission and further details, please visit the conference website<https://ima.org.uk/events/conferences/2027/the-6th-conference-on-management-mathematics.html>. Please share this invitation with colleagues and students who may be interested. Whether you wish to present your work or attend to exchange ideas and make new connections, we hope you will join us in Manchester. Best wishes, The Organising Committee Aris Syntetos, Cardiff University – Conference chair<https://profiles.cardiff.ac.uk/staff/syntetosa> Paresh Date, Brunel University of London<https://www.brunel.ac.uk/people/paresh-date> Adam Letchford, Lancaster University<https://www.lancaster.ac.uk/lums/people/adam-letchford> Dilek Onkal, Northumbria University<https://www.northumbria.ac.uk/about-us/our-staff/o/dilek-onkal/> Anna-Lena Sachs, Lancaster University – Programme chair<http://www.lancaster.ac.uk/lums/people/anna-lena-sachs> Alain Zemkoho | University of Southampton<https://url.uk.m.mimecastprotect.com/s/7WLUC9214ux3wqSofJcqIWc9?domain=southampton.ac.uk> ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] ORBEL 41 - February 2-3, 2027 (Ghent) : call for papers

The 41st annual conference of the Belgian Operational Research Society (ORBEL) will take place on February 2-3, 2027 at the Faculty of Economics and Business Administration of Ghent University. Keynote speakers Our plenary speakers will be * Prof. Christoph Bergmeir, University of Granada * Prof. Merve Bodur, University of Edinburgh Contributed papers We invite researchers, practitioners, and students with an interest in operations research, data science, and related quantitative methods for decision-making to submit their work. Accepted contributions will be presented at the conference at Ghent University on 2-3 February 2027. Please note that the abstract submission deadline is earlier than in previous years. Abstract submission Authors are invited to submit an extended abstract in English, in LaTeX format, and limited to two A4 pages. The required template can be found on the conference website https://orbel2027.org/call/ Important dates * Abstract submission deadline: November 27, 2026 * Notification of acceptance: December 11, 2026 * End of early registration: December 18, 2026 * Conference: February 2-3, 2027 For more information, please visit the conference website: https://orbel2027.org/ We look forward to welcoming you in Ghent! The local organizers, Dries Benoit, Dries Goossens, Veronique Limère ********************************************************** * * 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] PIMS Postdoctoral Fellowship in Combinatorics at the University of Victoria

Dr. Peter Dukes, Dr. Natasha Morrison and Dr. Jonathan Noel are seeking candidates in the area of combinatorics to nominate for a Postdoctoral Fellowship from the Pacific Institute for the Mathematical Sciences (PIMS) to be held at the University of Victoria in Canada. If the nomination is successful, then the salary will be at least $60,000 CAD per year. All nominees will also be considered automatically for a PIMS-Simons Postdoctoral Fellowship, which provides additional salary support to selected outstanding candidates. The fellowship is for one year and is renewable, contingent on satisfactory progress, for an additional year. The starting date is flexible, between August 1, 2027 and January 1, 2028; other starting dates require approval from the PIMS Postdoctoral Committee. Applications should be submitted through mathjobs at https://www.mathjobs.org/jobs/list/29344 by November 10, 2026. Shortlisted candidates will be invited for interviews in November. Candidates selected for nomination will then be directed to submit their application to PIMS for the second stage of the process before December 1, 2026. Informal inquiries can be made by e-mail to Peter Dukes (dukes@uvic.ca), Natasha Morrison (nmorrison@uvic.ca) and Jonathan Noel (noelj@uvic.ca). The University of Victoria has a thriving Discrete Mathematics Group, with an active community of faculty, adjunct professors, postdoctoral fellows, graduate and undergraduate research students, and a weekly seminar. We strongly value the experiences and qualities that people from diverse backgrounds bring to the group. As such, we particularly encourage applications from members of groups underrepresented in mathematics. More information: * UVic MathJobs application: https://www.mathjobs.org/jobs/list/29344 * PIMS Postdoctoral Fellowships: https://www.pims.math.ca/programs/scientific/postdoctoral * Current PIMS competition: https://www.mathjobs.org/jobs/list/28622 * Peter Dukes: https://web.uvic.ca/~dukes/ * Natasha Morrison: https://web.uvic.ca/~nmorrison/ * Jonathan Noel: https://jonathannoel.ca/ * UVic Mathematics and Statistics Department: https://www.uvic.ca/science/math-statistics/index.php * UVic Discrete Mathematics Group: https://www.uvic.ca/science/math-statistics/research/home/discrete-math/index.php * UVic Discrete Mathematics Seminar: https://www.uvic.ca/science/math-statistics/home/home/events/seminars/discrete-math/index.php ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] SIROCCO 2027 - Final Call for Papers

*=====================================* *SIROCCO 2027 Call for Papers* *=====================================* *34th International Colloquium On Structural Information and Communication Complexity* Larnaca, Cyprus, June 2–4, 2027, https://cyprusconferences.org/sirocco2027 *=====================================* *Important Dates* *=====================================* Full paper submission: October 31, 2026 (AoE) Paper notification: January 30, 2027 Conference dates: June 2–4, 2027 *=====================================* *About SIROCCO* *=====================================* SIROCCO is devoted to the study of the interplay between structural knowledge, communication, and computing in decentralized systems that consist of multiple communicating entities. Special emphasis is given to innovative methodological and solution approaches that lead to a better understanding of the relationship between computing and communication. SIROCCO has a tradition of interesting and productive scientific meetings in a relaxed and pleasant atmosphere, attracting leading researchers in a variety of fields in which communication and knowledge play a significant role. Websites of past SIROCCO conferences can be found at https://sirocco.hiit.fi. The proceedings of past SIROCCO conferences can be found at https://link.springer.com/conference/sirocco. *=====================================* *Scope* *=====================================* Original papers are solicited from all areas of study of local structural knowledge and global communication and computational complexities. Typical but not exclusive topics of interest include the following (in alphabetical order). - Biological and nature-inspired distributed algorithms - Blockchains and related distributed paradigms - Distributed algorithms and computability - Distributed graph algorithms - Distributed quantum computing - Epistemic modeling and analysis of distributed systems - Fault tolerance - Formal verification of distributed systems - Game theory in distributed computing - Mobile agents and autonomous distributed systems - Network modeling and analysis - Security in distributed computing - Self-stabilization - Shared-memory algorithms - Structural and communication complexity analysis - Topology in distributed computing - Wireless, ad-hoc, and peer-to-peer networks Keeping with the tradition of SIROCCO, submissions on new areas related to the general scope of the conference are also welcome. *=====================================* *Submission Instructions* *=====================================* Submissions must report on original research and contain results that have not appeared previously in a regular conference paper and that have not been concurrently submitted to or previously published in a journal or a conference with published proceedings. *Submission format.* Manuscripts must be submitted in PDF format using EasyChair. Submissions must be written in English and formatted in a single-column format on US letter-size or A4 paper, use at least 11-point font, and have at least 2.5 cm margins. *Submission length. *All submissions must start with a cover page, which will include the paper’s title, a short abstract, and, preferably, keywords. There is no page limit, and authors are encouraged to submit the full version of their paper. The submission should contain, within the first 12 pages (excluding the cover page and bibliographic references), a concise and clear presentation of the primary content and merits of the work. Content beyond the cover page, references, and the first 12 pages will be read at the discretion of the reviewers only. A submission that is not accepted as a full paper may be invited as a brief announcement. *Double-blind reviewing. *SIROCCO 2027 will employ a lightweight double-blind reviewing process. Submissions should not reveal the identity of the authors in any way (e.g., author names, affiliations, email addresses, and funding information should not appear in the submission). However, authors are free to disseminate draft versions of their submissions as they normally would (e.g., by posting drafts on the web). Questions about the double-blind reviewing process may be directed to the PC chair by email. *Submission website.* Paper submissions will be handled by EasyChair, so please make sure that you have an active account. Papers must be submitted electronically at https://easychair.org/conferences/?conf=sirocco2027. Submissions deviating from these guidelines as well as papers outside the general scope of the conference may be rejected without consideration of their merits. *=====================================* *AI policy* *=====================================* *AI policy for authors. *All authors of a submission must be human and are fully responsible for the integrity, originality, and copyright of their submission. Authors may use AI tools for limited purposes such as language editing (e.g., fixing typos or improving grammar) without the need for disclosure. Any other use of AI tools (including LLMs) must be clearly disclosed in the submission in an AI-disclosure section, and authors must specify which tool was used and for what purpose. Any undisclosed use of AI tools, or inaccurate representation of AI-generated or AI-modified content, may lead to rejection of the submission or further action. *AI policy for reviewers. *Reviewers may use LLM-based tools to assist with the review process, provided that the confidentiality of the content of the submissions is preserved. However, the review itself must be written solely by the reviewer and must not be drafted, generated, or rewritten with the assistance of AI tools. Reviewers must rely on their own judgment and retain full responsibility for the content and conclusions of their reviews. *=====================================* *Proceedings* *=====================================* The proceedings of SIROCCO 2027 will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Please note that inclusion in the proceedings requires an in-person presentation by one of the authors at the conference and at least one full registration for each paper. *=====================================* *Best Paper Awards* *=====================================* All regular papers are eligible for the best paper award. Moreover, all regular papers with at least one student author, where the student author(s) have contributed most of the work, are also eligible for the best student paper award. If a submission is eligible for the best student paper award, please state this on the cover page. The Program Committee may choose not to make the awards or to split them among multiple papers. *=====================================* *Special Issue* *=====================================* Selected papers from SIROCCO 2027 will be invited to a special issue of the journal Theoretical Computer Science. *=====================================* *Program Committee* *=====================================* Emmanuelle Anceaume - CNRS, IRISA, Université de Rennes James Aspnes - Yale University Hagit Attiya - Technion Alkida Balliu - Gran Sasso Science Institute (Chair) Petra Berenbrink - University of Hamburg Quentin Bramas - University of Strasbourg Yi-Jun Chang - National University of Singapore Artur Czumaj - University of Warwick Francesco d'Amore - Gran Sasso Science Institute Peter Davies-Peck - Durham University Michael Elkin - Ben-Gurion University of the Negev Laurent Feuilloley - CNRS, LIRIS, Université Claude Bernard Lyon 1 Orr Fischer - University of Haifa Maxime Flin - Aalto University Pierre Fraigniaud - CNRS, IRIF, Université Paris Cité Diana Ghinea - Lucerne University of Applied Sciences and Arts George Giakkoupis - Inria, Université de Rennes Magnús M. Halldórsson - Reykjavik University François Le Gall - Nagoya University Nancy Lynch - Massachusetts Institute of Technology Stephan Merz - Inria, LORIA, Université de Lorraine Alessia Milani - Aix-Marseille University, LIS Slobodan Mitrović - UC Davis Augusto Modanese - CISPA Helmholtz Center for Information Security Lata Narayanan - Concordia University Alexandre Nolin - Télécom SudParis Ami Paz - CNRS, LISN, Université Paris-Saclay Peter Robinson - Augusta University Jared Saia - University of New Mexico Yuichi Sudo - Hosei University Robin Vacus - CNRS, LIP6, Sorbonne Université Giovanni Viglietta - University of Aizu Jennifer Welch - Texas A&M University *=====================================* *Organizing Committee* *=====================================* Chryssis Georgiou - University of Cyprus (General Chair) Yiannis Ioannou - EasyConferences (Webmaster) William K. Moses Jr. - Durham University (Publicity Chair) *=====================================* *Steering Committee* *=====================================* Keren Censor-Hillel - Technion (chair) Yuval Emek - Technion (PC Chair 2024) Ran Gelles - Bar-Ilan University (Member At Large) Chryssis Georgiou - University of Cyprus (PC Chair 2026) Ulrich Schmid - TU Wien (PC Chair 2025) ------ Regards, William K. Moses Jr. Publicity Chair, SIROCCO 2027 https://sites.google.com/view/wkmjr ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CfP: AAA110 – 110th Workshop on General Algebra, 12–14 March 2027, Dresden (Germany)

110th Workshop on General Algebra (AAA110) March 12–14, 2027 TU Dresden, Germany Website: https://tu-dresden.de/mn/math/algebra/forschung/tagungen/aaaseries/aaa110 Registration: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/263362 Contact: aaa110@tu-dresden.de<mailto:aaa110@tu-dresden.de> Dear colleagues, We are pleased to announce that registration and abstract submission are now open for the 110th Workshop on General Algebra (AAA110), taking place at TU Dresden, Germany, on March 12–14, 2027. The conference will be held in honor of Reinhard Pöschel's 80th birthday. REGISTRATION Please register via https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/263362 Registration fees: Early Bird (until January 8, 2027): Students (including PhD students): 90 EUR Non-students: 110 EUR Standard (from January 9, 2027): Students (including PhD students): 110 EUR Non-students: 130 EUR Payment is by bank transfer; details are provided in the registration form. An invoice will be sent by email after payment has been received. The conference dinner will take place on Saturday, March 13, and is included in the registration fee. Please indicate whether you plan to attend when registering. ABSTRACT SUBMISSION Participants are invited to contribute talks of approximately 20 minutes. Titles and abstracts can be submitted via the registration form. Abstract submission deadline: January 29, 2027 Deadline for abstract modifications: February 28, 2027 (inclusive) INVITED SPEAKERS Silvia Butti Bernhard Ganter Mark Kambites Paolo Marimon Reinhard Pöschel Agnes Szendrei VISA LETTERS If you require an invitation letter for visa purposes, please contact us at aaa110@tu-dresden.de<mailto:aaa110@tu-dresden.de> as early as possible. Further information is available on the conference website. Please feel free to forward this announcement to interested colleagues and students. We apologize for any duplicate messages. We look forward to welcoming you to Dresden! Best regards, The AAA110 Organizing Committee Quentin Aristote Manuel Bodirsky Paul Winkler Martin Schneider ********************************************************** * * 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/ * **********************************************************