[DMANET] GandALF 2026 - Call for participation

[apologies for multiple copies] ***************************************************************************************************** Call for Participation - GandALF 2026 ***************************************************************************************************** The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Aalborg, Denmark, September 15-17, 2026. Web page: https://gandalfsymposium.github.io/2026/ The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis ## Invited Speakers: - Ezio Bartocci (TU Wien) - Sarah Winter (IRIF, Université Paris Cité) - Nicola Cotumaccio (HIIT, University of Helsinki) ## Important dates: Early registration deadline: 20 August 2026 Conference dates: 15-17 September 2026 ## Accepted papers: * A Topological Framework for Finite Behavioural Observations and Verification Antonis Achilleos and Vasiliki Kyriakou * Execution-Time Opacity in (Controllable) Timed Automata is hard Sarah Dépernet and Engel Lefaucheux * Antichains for Concurrent Parameterized Games Nathalie Bertrand, Patricia Bouyer and Gaëtan Staquet * Representation theorems for actual powers over two-agent general concurrent game frames Zixuan Chen, Fengkui Ju and Thomas Agotnes * Rabin Games Revisited Antonio Di Stasio and Moshe Vardi * Lasso Games Krzysztof Żyndul * The Complexity of Asynchronous HyperLTL Gaëtan Regaud and Martin Zimmermann * Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents Tim Lyon and Lukas Zenger * New Translations From LTL with Past to LDBA and DPA David Lidell and Nir Piterman * Nondeterministic Automata have Outerplanar State Graphs Mario Grobler, Till Koziel and Sebastian Siebertz * Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents Tim Lyon and Omar Taher * Capturing Bisimulation-Invariant Exponential-Space Complexity Classes Florian Bruse, David Kronenberger and Martin Lange ## Program Committee: Giorgio Bacci (Aalborg University, Denmark) - chair Mickaël Randour (Université de Mons, Belgium) - chair Bartosz Bednarczyk (University of Wrocław, Poland, and TU Wien, Austria) Laurent Doyen (CNRS & LMF, ENS Paris-Saclay, France) Marie Fortin (IRIF, CNRS, Université Paris Cité, France) Hadar Frenkel (Bar-Ilan University, Israel) Raffaella Gentilini (University of Perugia, Italy) Aline Goeminne (ENS Rennes, France) James C. A. Main (University of Oxford, United Kingdom) Alessio Mansutti (IMDEA Software Institute, Spain) Angelo Matteo (University of Udine, Italy) Matteo Mio (CNRS/ENS-Lyon, France) Petr Novotný (Masaryk University, Czech Republic) Charles Paperman (Université de Lille, France) Julie Parreaux (University of Warsaw, Poland) Igor Potapov (University of Liverpool, United Kingdom) David Purser (University of Liverpool, United Kingdom) Jeremy Sproston (University of Turin, Italy) B Srivathsan (Chennai Mathematical Institute, India) Marie Van Den Bogaard (Université Gustave Eiffel, France) Chana Weil-Kennedy (CEA List, France) ## Steering Committee: Luca Aceto (Reykjavik University) Javier Esparza (University of Munich) Salvatore La Torre (University of Salerno) Angelo Montanari (University of Udine) Mimmo Parente (University of Salerno) Jean-François Raskin (Université libre de Bruxelles) Martin Zimmermann (Aalborg 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] Season 2 of the BOS Webinar Series starts September 1

The BOS Webinar Series is back for its second season, starting on September 1, 2026! Season 2 features talks by researchers working on theoretical, computational, and applied aspects of bilevel optimization. Seminars will take place bi-weekly on Tuesdays at 4:00 pm CET via Microsoft Teams. Each session is approximately 50 minutes long and may feature either one 40-minute talk or two 20-minute talks, followed by discussion. The schedule for Season 2 is: September 1 Sanyou Mei (The Hong Kong University of Science and Technology) David Villacís (Loyola University Andalusia) September 15 José Fernando Camacho Vallejo (Tecnológico de Monterrey) September 29 Federico Battista (University of Southern California) Eneko Clemente (University of Zurich) October 13 Yongjia Song (Clemson University) October 27 Dorothee Henke (University of Passau) Lasse Wulf (University of Southern Denmark) November 10 Zhaosong Lu (University of Minnesota) November 24 Emanuele Pizzari (Consiglio Nazionale delle Ricerche) Vladimir Stadnichuk (University of Kassel) December 8 Jacqueline Morgan (University of Naples Federico II and CSEF) Updates and meeting links will be shared via the BOS mailing list. To join the BOS mailing list, please use the membership form at https://bileveloptimization.org/membership. For more information about the webinar series, please visit the BOS Webinar Series webpage: https://bileveloptimization.org/bos_webinar. Recordings of talks from the first season are available on our YouTube channel: https://www.youtube.com/@BOSWebinar. We look forward to seeing you online! Best wishes, Yasmine Beck and Nagisa Sugishita ********************************************************** * * 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] DRAS 2026: The IEEE co-sponsored International Conference on Drones, Robotics and Autonomous Systems, 8 - 10 December, 2026 | San Antonio, USA.

[Apologies if you got multiple copies of this invitation] The International Conference on Drones, Robotics and Autonomous Systems (DRAS 2026) https://emergingtechnet.org/DRAS2026/index.php 8 - 10 December, 2026 | San Antonio, USA. Hybrid Event and Technically Co-Sponsored by IEEE Lone Star Section *DRAS 2026 CFP:* Drones, robotics, and Autonomous systems are transforming the way industries, governments, and societies operate by enabling intelligent automation, autonomous decision-making, and advanced remote operations. These technologies integrate artificial intelligence, sensors, computer vision, communication networks, and real-time data processing to perform complex tasks with high efficiency and precision. From aerial drones used in surveillance, agriculture, delivery services, and environmental monitoring to robotic systems applied in healthcare, manufacturing, logistics, and smart infrastructure, Autonomous technologies are becoming essential components of modern digital transformation. As research and innovation continue to evolve, drones and robotic systems are expected to play a critical role in shaping future smart cities, defense systems, disaster response, industrial automation, and next-generation intelligent transportation systems. The International Conference on Drones, Robotics and Autonomous Systems (DRAS 2026) invites researchers, academicians, industry professionals, practitioners, and students from around the world to submit original research papers, case studies, and innovative applications in the rapidly evolving fields of drones, robotics, autonomous systems, and intelligent Autonomous technologies. DRAS 2026 aims to provide a premier interdisciplinary platform for presenting recent advances, emerging trends, practical challenges, and future directions in Autonomous systems and robotics technologies. The conference will foster collaboration between academia, industry, government agencies, and technology innovators working on next-generation autonomous and intelligent systems. The conference welcomes high-quality contributions addressing theoretical foundations, system architectures, algorithms, experimental studies, prototypes, industrial deployments, and real-world applications related to drones, robotics, and autonomous systems. We invite the submission of original papers on all topics related to Intelligent Systems with special interest in but not limited to: · Drones and Autonomous Systems · Robotics and Intelligent Systems · Artificial Intelligence for Autonomous Systems · Generative AI, Foundation Models, and Large Language Models · Computer Vision, Image and Video Processing for Autonomous Systems · Communication, Networks, and Cybersecurity for Autonomous Systems · Applications and Emerging Technologies · Computational Language and Human-Centered Systems · Sensors, Control, and Embedded Systems for Autonomous Systems · Multimodal LLMs Systems for Autonomous Systems · Agentic AI Systems for Autonomous Systems *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: 10 September 2026* - Notification of acceptance: 1 November 2026 - Camera-ready Submission: 15 November 2026 *Contact:* Please send any inquiry on DRAS 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] 6th Conference on Management Mathematics (April 2027)

The 6th Joint IMA-ORS Conference on Management Mathematics will take place in Manchester, UK, 29th-30th April 2027. This event will aim to draw together the considerable community of researchers and practitioners who use and/or develop innovative mathematics that is relevant to Management Science, Operational Research, Business Analytics and related disciplines. We welcome contributions covering theory, applications, algorithms and/or software. Plenary Speakers: Christina Pagel, Professor of Operational Research - UCL Enza Messina, Professor of Operations Research - University of Milan-Bicocca Dries Goossens, Professor of Applied Economics - Ghent University. For further details and to submit an abstract, please see the website: https://ima.org.uk/28639/the-6th-ima-or-society-conference-on-management-mathematics-formerly-the-conference-on-the-mathematics-of-operational-research/ ********************************************************** * * 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] ConfAI 2026 (Plaksha, India)

*ConfAI 2026 – Call for Abstracts * *(**https://www.conf-ai.in/ <https://www.conf-ai.in/>**)* Plaksha University invites researchers, practitioners, and students to submit abstracts for *ConfAI 2026*, to be held at Plaksha University from *October 30 *to* November 1, 2026*. *About ConfAI* ConfAI is Plaksha University's flagship three-day academic conference that brings together students, researchers, and practitioners to explore the potential of Artificial Intelligence in addressing societal challenges. Through keynote talks, panel discussions, and collaborative sessions, the conference fosters knowledge exchange and advances impactful AI research in the Indian landscape. *Conference Tracks* - AI in the Economy - AI in Healthcare - AI in Sensors - Reasoning in Vision Language Models - AI4Cities: Enhancing Resilience, Improving Liveability - Responsible and Ethical AI - *AI and Logic: Relations and Applications* Research abstracts (published or unpublished) of up to *250 words* are invited. Selected participants will also be invited to present posters during the conference. *Important Dates* - *Abstract Submission Deadline:* August 10, 2026 - *Notification of Acceptance:* August 31, 2026 For all accepted abstracts, the conference fee will be waived, accommodation on the Plaksha campus will be provided, and airfare reimbursement of up to *INR 20,000* will be offered. All submissions must be made through the ConfAI submission portal and will be reviewed by the Technical Program Committee. Warm regards, *Team ConfAI 2026* Plaksha University confai@plaksha.edu.in ********************************************************** * * 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] SNAMS 2026 : The IEEE co-sponsored 13th Conference on Social Networks Analysis, Management and Security, 17 - 20 November 2026 | Barcelona, Spain

[Apologies if you got multiple copies of this invitation] The 13th International Conference on Social Networks Analysis, Management and Security(SNAMS-2026) https://emergingtechnet.org/SNAMS2026/index.php 17 - 20 November 2026 | Barcelona, Spain (Technically Co-Sponsored by IEEE Spain Section) *SNAMS 2026 CFP* Social network analysis is concerned with the study of relationships between social entities. The recent advances in internet technologies and social media sites, such as Facebook, Twitter and LinkedIn, have created outstanding opportunities for individuals to connect, communicate or comment on issues or events of their interests. Social networks are dynamic and evolving in nature; they also involve a huge number of users. Frequently, the information related to a certain concept is distributed among several servers. This brings numerous challenges to researchers, particularly in the data mining and machine learning fields. SNAMS 2026 aims to investigate the opportunities and in all aspects of Social Networks. In addition, it seeks for novel contributions that help mitigate SNAMS challenges. That is, the objective of SNAMS 2026 is to provide the opportunity for students, scientists, engineers, and researchers to discuss and exchange new ideas, novel results and experience on all aspects of Social Networks. Researchers are encouraged to submit original research contributions in all major areas, which include, but not limited to: *SYSTEMS & INFRASTRUCTURE* Systems and algorithms for social search Infrastructure support for social networks and systems Dynamics and evolution patterns of large and complex networks Social properties in systems design Learnings from operational social networks Big Data and Social Paradigms *ALGORITHMS AND MODELS* Deep Learning and Knowledge Discovery. Measurement and analysis of social and crowdsourcing systems Benchmarking, modeling, performance and workload characterization Modeling Social Networks and behavior Management of social network data Methods for social and media analysis Information propagation and assimilation in social networks Data mining and machine learning in social systems *APPLICATIONS* Novel social applications and systems Transient OSNs (e.g. Snapchat) Special purpose OSNs (e.g., Instagram, Vine) Communities in social networks Collaboration networks New models of advertising and monetization in social networks *PRIVACY & SECURITY* Privacy and security in social systems Trust and reputations in social systems Detection, analysis, prevention of spam, phishing, and misbehavior in social systems * Submission Types:* Accepted types of submissions are including: * Full papers (8 Pages), * Short papers and PhD forum (6 Pages) * Workshop papers (6 Pages) * Posters and demos (2 Pages). All accepted papers will be published in the conference proceedings and submitted to IEEE Xplore for publication. *SNAMS 2026 Joint Workshops * The 14th workshop on Big Data and Social Networking Management and Security (BDSN 2026) The 10th Workshop on Data Science Engineering and its Applications (DSEA 2026) The 12th Workshop on Online Social Networks Technologies (OSNT 2026) The 10th Workshop on Advances in Natural Language Processing (ANLP 2026) The 9th Workshop on Sentiment Analysis and Mining of Social Networks (SAMSN 2026) The 4th Workshop on Cognitive and Neural Systems (CNS 2026) *Submissions Guidelines and Proceedings* Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11" two-column format (IEEE Templates <https://www.ieee.org/conferences_events/conferences/publishing/templates.html>). All papers should be in PDF format, and submitted electronically at Paper Submission Link. A full paper must not exceed the stated length (including all figures, tables and references). Submitted papers must present original unpublished research that is not currently under review for any other conference or journal. Authors may contact the Program Chair for further information or clarification. All submissions are peer-reviewed by at least three reviewers. Accepted papers will appear in the SNAMS Proceedings, and be submitted to IEEE for inclusion. *Important Dates* - *Paper submission deadline: August 21, 2026 * *(Extended)* - Notification to Authors: 25 September 2026 - Camera Ready and Registration: 10 October 2026 Please send any inquiry to the SNAMS Team at: 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 papers: special issue of the Journal of Scheduling on Project Management and Scheduling (deadline december 1st, 2026)

Dear Colleagues, Submissions are open for a special issue of the Journal of Scheduling on Project Management and Scheduling following the PMS 2026 workshop in Toulouse, France from April 14 to 16, 2026. The deadline is December 1st 2026. Papers that were not presented at the workshop are welcome and submissions are open to all the following research topics: - Project Management: network modeling, project scheduling, project scheduling under uncertainty, project risk management and control, multi-project scheduling, resource management, due-date management, applications and software - Machine Scheduling: shop scheduling, parallel machine scheduling, scheduling with additional constraints, machine assignment and scheduling, flexible/robust scheduling, grid scheduling, multicriteria scheduling, applications and software Methodological and theoretical papers related to Operations Research, Artificial Intelligence/Machine Learning models and exact and heuristic algorithms for scheduling problems are welcome. Submissions of papers on data-driven approaches, practical applications, and industrial case-studies are also encouraged. Please follow the instructions given in the Call for Papers on the following link: https://link.springer.com/collections/eeiiibbgfh When submitting your paper, be sure to specify that the paper is a contribution for the Special Issue of PMS 2026. Best regards Christian Artigues, Laurent Houssin and Pierre Lopez Special Issue Editors ********************************************************** * * 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/ * **********************************************************