[DMANET] Call for Submissions | IEEE PacificVis 2027 Visual Data Storytelling Contest

Dear colleagues, The call for submissions for the 2027 PacificVis Visual Data Storytelling Contest is now live. ~ ~ ~ ~ The 2027 Visual Data Storytelling Contest The Visual Data Storytelling contest celebrates its 11th year in 2027. This contest celebrates the emerging data communication genre, including data storytelling, narrative visualizations, explanatory notebooks, visual essays, and more. It aims to encourage students, researchers, and practitioners to demonstrate the value of data visualization by creating creative and compelling visual data stories. The contest will be held in conjunction with IEEE PacificVis 2027 from April 19-22, 2027 in Busan, South Korea. Storytellers are invited to submit visual data-driven stories that draw upon (or intersect with) any of these areas. In addition, entries that focus on computational journalism and artistic design projects are encouraged. Unlike contests such as the IEEE VAST challenge or the IEEE SciVis Contest, the data for the PacificVis visual data storytelling contest is intentionally left unspecified; you are free to choose any publicly available dataset(s). Similarly, the task that storytellers are to accomplish is to successfully communicate a message or series of messages (i.e., a narrative, a series of insights) using data visualization techniques. The story's themes can draw from any topic, including current affairs, history, natural disasters, and research findings from the sciences and humanities. Entries may be submitted by teams or individuals from industry and academia. Submission Requirements Storytelling submissions can take several forms, including: - Images, Infographics, and Data Comics - Videos and Animations - Data Notebooks and Interactive Articles - Websites - Immersive and Augmented Experiences - Audio-Visual Projects, Physicalization, and Game-Based Storytelling - Other Unconventional Forms of Media and Interactive Storytelling Work Please see the contest website (https://visstory.github.io/) for full details and requirements. Submissions may be made on PCS (submit to the PacificVis 2027 conference, PacificVis 2027 Visual Data Storytelling Contest track). Important Deadlines All dates are midnight AOE. - Initial submissions: February 1, 2027 - Notification date: February 15, 2027 - Camera-ready submissions: March 1, 2027 ~ ~ ~ ~ Linping Yuan and Angelos Chatzimparmpas Visual Data Storytelling Contest Co-Chairs ********************************************************** * * 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] ‘Handbook of General Systems of Nonlinear Equations’, a Springer Optimization and Its Applications edited book - Call for Chapters Deadline September 15, 2026

Dear All, This is a reminder that the deadline is approaching soon. Call for Chapters in the forthcoming Springer Optimization and Its Applications edited book titled ‘Handbook of General Systems of Nonlinear Equations’. The book will be edited by Michael J. Hirsch, Alexander Semenov, and Panos M. Pardalos. Please reply mhirsch@iseatek.com to let us know if you are interested in or plan to submit a contribution. Important Dates: September 15, 2026 – FINAL deadline to submit initial draft to editors November 01, 2026 – referee reports sent back to authors with acceptance decision December 15, 2026 – final versions of accepted chapters due to editors January 15, 2027 – final version of book submitted to Springer Mid 2027 – final version of book released by Springer Each chapter on average should be between 20 – 40 pages in length. Chapter templates can be found at the following link (use the "LaTeX template for contributed works"): https://www.springernature.com/gp/authors/publish-a-book/manuscript-guidelines Chapter submissions and any questions should be sent to Michael J. Hirsch at mhirsch@iseatek.com. Please share this announcement with interested colleagues. With best regards, Michael ------------------------------------------------------------------- Michael J. Hirsch, Ph.D. ISEA TEK, LLC 620 N. Wymore Rd., Suite 260 Maitland, FL 32751 mhirsch@iseatek.com     www.iseatek.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] 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 for publication and to be indexed by Scopus. *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: * *September 10, 2026 * *(Firm and Final) * § 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 on Agentic Operations Research: The 2026 Edition

Dear colleagues, We are pleased to announce a special issue of *International Transactions in Operational Research (ITOR)* on *“Agentic Operations Research: The 2026 Edition”.* Recent advances in AI systems, particularly large language models, are increasingly enabling new approaches to Operations Research. These systems can formulate optimization models, design and improve solution methods, interact with optimization solvers, and orchestrate multi-step Operations Research workflows. Given the rapid pace of development in this area, there is a need for systematic and rigorous evaluation of what current systems can and cannot achieve. This special issue aims to provide a snapshot of the state of *Agentic Operations Research in 2026*, with the intention of contributing to a longer-term record of progress in the field. We welcome submissions addressing Operations Research tasks involving mathematical programming, constraint programming, metaheuristics, hybrid approaches, and related methods. The central focus should remain on the *construction, solution, or operation of decision models*, with solution quality and decision value serving as key measures of performance. Contributions should make a substantive contribution to Operations Research, rather than focusing solely on AI capabilities. The special issue will consider work whose experimental claims rely on models made publicly available in *2026*. The submission deadline is: *January 15, 2027* 📄 *Call for Papers: * https://onlinelibrary.wiley.com/pb-assets/assets/14753995/cfp/itor70251_Rev2_EV-1787342580440.pdf We would greatly appreciate it if you could share this call with colleagues and research groups working at the intersection of AI and Operations Research. We look forward to receiving your contributions and to continuing the discussion on the role of agentic systems in Operations Research. Best regards, Daniel Aloise Louis-Martin Rousseau Polytechnique Montréal, Canada ********************************************************** * * 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 - 3rd BuildSEC 2026 Conference [09-11 December 2026 - University of Peradeniya, Sri Lanka​]

CALL FOR PAPERS THIRD INTERNATIONAL CONFERENCE BuildSEC'26 Building a Secure & Empowered Cyberspace IEEE TECHNICAL CO-SPONSORSHIP 09 – 11 December 2026 | Faculty of Engineering, University of Peradeniya, Sri Lanka Dear Authors and Researchers, Greetings. *** Apologies if you receive multiple copies of this email *** We invite you to submit your original research contributions to the 3rd BuildSEC'26 Conference- Building a Secure & Empowered Cyberspace, to be held from 09 - 11 December 2026 at the Faculty of Engineering, University of Peradeniya, Sri Lanka. The conference brings together researchers, academics, industry professionals, practitioners, and policymakers to discuss emerging challenges, innovations, and practical solutions in cybersecurity, privacy, AI security, and secure digital technologies. CONFERENCE INFORMATION * Conference: BuildSEC'26 - Building a Secure & Empowered Cyberspace * Dates: 09 - 11 December 2026 * Venue: Faculty of Engineering, University of Peradeniya, Sri Lanka * Website: <https://url.au.m.mimecastprotect.com/s/nbFnCr81nyt6A19Krt7f6Zh4EX0E?domain=buildsec.org/> www.buildsec.org<https://url.au.m.mimecastprotect.com/s/nbFnCr81nyt6A19Krt7f6Zh4EX0E?domain=buildsec.org/> * Submission Portal: <https://url.au.m.mimecastprotect.com/s/Vx_WCvl1rKi4W2XmECXhlxhQsR3u?domain=buildsec26.edas.info> EDAS – BuildSEC'26<https://url.au.m.mimecastprotect.com/s/D_ObCANpgjCV9nY0WT8h9mhGFbvw?domain=buildsec26.edas.info> IMPORTANT DATES  Paper Registration Deadline 01 September 2026 Paper Submission Deadline 08 September 2026 Notification of Acceptance 08 October 2026 Camera-Ready Submission 15 October 2026 Conference Dates 09 - 11 December 2026 TECHNICAL SPONSORSHIP  IEEE Sri Lanka Section Approved IEEE Sri Lanka Section SIGHT Approved IEEE Computer Society Sri Lanka Chapter Approved TOPICS OF INTEREST (BUT NOT LIMITED TO)  ◆ Critical Infrastructure Security ◆ IoT Security ◆ Cloud Security ◆ Network and Wireless Security ◆ Cryptography and Post-Quantum Security ◆ Secure Software Development ◆ Digital Forensics and Incident Response ◆ Blockchain Security and Privacy ◆ AI and Machine Learning Security ◆ Generative AI and LLM Security ◆ Privacy-Preserving Technologies ◆ Ransomware Countermeasures ◆ Hardware and Firmware Security ◆ Risk Management and Cybersecurity Policies ◆ Scam Detection and Prevention ◆ Software Safety, Reliability & Usable Security SUBMISSION CATEGORIES  Full Regular Papers 08 Pages Short Papers 06 Pages Work-in-Progress Papers 04 Pages PUBLICATION All accepted and presented papers will be published in the BuildSEC 2026 Conference Proceedings and submitted to IEEE Xplore® for publication and indexing, subject to IEEE approval and compliance requirements. CONFERENCE COMMITTEE General Chairs * Prof. Sri Paramaswaran, General Co-Chair, University of Sydney * Prof. Roshan G. Ragel, General Co-Chair / Chair, Local Arrangements, University of Peradeniya Technical Program Committee * Dr. Suranga Seneviratne, TPC Chair, University of Sydney * Prof. Shantha Fernando, TPC Co-Chair, University of Moratuwa Publications * Dr. Deepak Mishra, Publications Co-Chair, University of Sydney * Dr. Upul Jayasinghe, Publications Co-Chair, University of Peradeniya KEYNOTE SPEAKERS Prof. Muttukrishnan Rajarajan * Professor of Security Engineering and Director, Institute for Cyber Security, University of London * Presentation Mode: In Person Prof. N. Asokan * Professor, David R. Cheriton School of Computer Science, University of Waterloo * Presentation Mode: Online Please circulate this email and the attached conference flyer to your colleagues, research groups, and professional networks. We warmly encourage you and your colleagues to submit your latest research work and participate in BuildSEC'26. Thank you for your support. We look forward to your valuable contributions and participation. Kind regards, Prof. Roshan G. Ragel General Co-Chair - BuildSEC 2026 Consultant CEO | Lanka Education And Research Network (LEARN<https://url.au.m.mimecastprotect.com/s/at24CwV1vMfPLApMvu9iG6hJ9siH?domain=learn.ac.lk/>) - BuildSec Conference 2026 Building a Secure & Empowered Cyberspace Host: University of Peradeniya, Sri Lanka Website: www.buildsec.org<https://url.au.m.mimecastprotect.com/s/kJbgCxngwOfBJ9O6LcwsEGhyvk1x?domain=buildsec.org> ******************************************* University of Peradeniya, Sri Lanka, accepts no liability for the content of this email or for the consequences of any actions taken on the basis of the information provided unless that information is subsequently confirmed in writing. If you are not the intended recipient, this email and/or any information it contains should not be copied, disclosed, retained or used by you or any other party, and the email and all its contents should be promptly deleted fully, and the sender informed. E-mail transmissions cannot be guaranteed to be secure or error-free as information could be intercepted, corrupted, lost, destroyed, arrive late or incomplete. ******************************************* ********************************************************** * * 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] [Algorithms] (IF 2.6, CiteScore 5.4) 8th volume of the Editor's Choice Articles

We are pleased to share with you the 8th volume of the Editor's Choice Articles. These articles are free to access and can be downloaded below: 1. A Review of Explainable Artificial Intelligence from the Perspectives of Challenges and Opportunities https://www.mdpi.com/1999-4893/18/9/556 2. Speeding Up Floyd–Warshall's Algorithm to Compute All-Pairs Shortest Paths and the Transitive Closure of a Graph https://www.mdpi.com/1999-4893/18/9/560 3. Recent Trends in the Optimization of Logistics Systems Through Discrete-Event Simulation and Deep Learning https://www.mdpi.com/1999-4893/18/9/573 4. Mathematical Modelling and Numerical Analysis of Turbulence Models (In a Two-Stage Laboratory Turbine) https://www.mdpi.com/1999-4893/18/9/578 5. Self-Supervised Monocular Depth Estimation Based on Differential Attention https://www.mdpi.com/1999-4893/18/9/590 6. Evaluating the Promethee ii Ranking Quality https://www.mdpi.com/1999-4893/18/10/597 7. Embedded Sensing in Additive Manufacturing Metal and Polymer Parts: A Comparative Study of Integration Techniques and Structural Health Monitoring Performance https://www.mdpi.com/1999-4893/18/10/613 8. Hybrid Stochastic–Machine Learning Framework for Postprandial Glucose Prediction in Type 1 Diabetes https://www.mdpi.com/1999-4893/18/10/623 9. Evaluating Machine Learning Techniques for Brain Tumor Detection with Emphasis on Few-Shot Learning Using MAML https://www.mdpi.com/1999-4893/18/10/624 10. Applying the Agent-Deed-Consequence (ADC) Model to Smart City Ethics https://www.mdpi.com/1999-4893/18/10/625 We also warmly welcome your submissions if you have relevant work to contribute. Please feel free to contact our Managing Editor, Mr. Musea Wu (musea.wu@mdpi.com), for any questions or assistance. -- Mr. Musea Wu Managing Editor *News: * 1. /Algorithms/received an increased 2025 CiteScore of 5.4, Impact Factor 2.6 2. /Algorithms/ ranks Q1 in Scopus: Mathematics - Numerical Analysis; Numerical Analysis; Computational Theory and Mathematics (https://www.scopus.com/sourceid/21100199795) 3. /Algorithms/ ranks Q2 in JCR: Computer Science, Theory and Methods (https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ALGORITHMS&year=2025 <https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ALGORITHMS&year=2025>) 4. Call for Special Issue Proposals and Recruiting Guest Editors (https://www.mdpi.com/about/announcements/16608) 5. Best PhD Thesis Award - Application deadline: 31 March 2027 (https://www.mdpi.com/journal/algorithms/awards/3877) 6. Recruiting Editorial Board Members (https://www.mdpi.com/about/announcements/14101) ********************************************************** * * 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 position at FU Berlin on multicriteria optimization and tropical geometry

We are happy to announce a PhD position at FU Berlin funded by MATH+ on the topic "Tropical geometry for correlated objectives in multicriteria decision making" in the group of Georg Loho (FU Berlin) in collaboration with the groups of Ralf Borndörfer (FU Berlin, ZIB) and Sven Jäger (TU Berlin). We especially welcome candidates with a strong background in discrete optimization. The application deadline is 31.08.2026 and the start date is as soon as possible. For details see https://jobs.fu-berlin.de/job/Wiss_-Mitarbeiterin-%28wmd%29-MATH%2B-%28DM-MAT-861%29/1426499633/ Knowledge of German is not a requirement, even though the official call for applications is written in German. ********************************************************** * * 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 Opening at Utrecht University] Hybrid Machine Learning for Global Soil Mapping

Dear colleagues, We are hiring a PhD candidate at Utrecht University! Are you interested in developing new machine learning methods for a challenging real-world application? This PhD project focuses on hybrid / process-informed machine learning for global soil mapping. The goal is to develop next-generation methods for geospatial prediction by integrating scientific process knowledge into modern AI approaches. The research will explore methods such as neural networks, tabular transformers, and Bayesian approaches, with applications to large-scale spatiotemporal and environmental data. We are particularly interested in candidates with a strong quantitative background, for example in data science, machine learning, statistics, applied mathematics, computational geosciences, or related fields, who enjoy working on interdisciplinary problems and have programming experience in Python, JS, and/or R. Interested? More information and application details can be found here: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-develop-hybrid-machine-learning-for-global-soil-mapping Application deadline: 6 September 2026. For more information, please contact Madlene Nussbaum at m.nussbaum@uu.nl . Please feel free to share this opportunity within your network. With best regards, Angelos Chatzimparmpas On behalf of Madlene Nussbaum ********************************************************** * * 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] Applied Scientist Positions – Amazon Fulfillment Optimization – Luxembourg

We are looking for (multiple) Applied Scientists, preferably with a PhD in Operations Research, Computer Science, Applied Mathematics, or a related field. This is a unique opportunity to work on large-scale optimization problems that directly shape Amazon’s global fulfillment network. The position is based in Luxembourg. Full job description and application: https://lnkd.in/dgAFT_VP LinkedIn post: https://tinyurl.com/SnTAppliedScience Please apply through the job posting. Feel free to reply with your CV if you have questions about the position or our team. Nikos Liakopoulos Applied Science Manager Amazon Fulfillment Optimization Science & Technology ********************************************************** * * 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 - 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] Second Call for papers: SIAM Activity Group on Applied & Computational Discrete Algorithms (ACDA), Feb 2027

SIAM Activity Group on Applied & Computational Discrete Algorithms (ACDA) February 22-24, 2027, Pittsburgh, PA, USA We are happy to announce the SIAM Activity Group on Applied & Computational Discrete Algorithms (ACDA), which will be held in Pittsburgh, PA, USA, on February 22-24, 2027. ACDA26 brings together researchers who design and study combinatorial and graph algorithms motivated by applications. ACDA27 includes in its scope all topics where models and algorithms from discrete mathematics are applied to solve problems in computer science, scientific computing, data science, physical sciences, life sciences, engineering, social and information sciences, etc. ACDA27 invites papers on the formulation of combinatorial problems from applications; theoretical analyses; design of algorithms; computational evaluation of the algorithms; and deployment of the resulting software to enable applications. The ACDA27 conference will include refereed proceedings as well as talks without proceedings papers (in the conventional SIAM style of conferences), posters, tutorials, invited talks, and industry sessions. Awards will be given for best paper, best poster, and best student presentation. Contact If you have any questions, please feel free to contact any of the organizers: Program Committee Chairs: Gonzalo Navarro (University of Chile) gnavarro@dcc.uchile.cl Yihan Sun (University of California, Riverside) yihans@cs.ucr.edu Organizing Committee chairs: Paul Hovland (Argonne National Laboratory) hovland@anl.gov Henning Meyerhenke (Karlsruhe Institute of Technology) meyerhenke@kit.edu Useful Links ACDA Website: https://www.siam.org/conferences-events/siam-conferences/acda27/ Submission Site: https://easychair.org/conferences/?conf=acda27 Submission guidelines: https://www.siam.org/conferences-events/siam-conferences/acda27/submissions/ Important Dates · September 8, 2026: Short Abstract submission and submission registration · September 15, 2026: Archival Proceedings Presentations and Non-Archival Presentations submission · November 2, 2026: Author Notifications (papers & extended abstracts) rejected papers have an opportunity to submit poster · November 9, 2026: Posters submission (prior years rejected papers/talks were given the opportunity to submit posters) · November 23, 2026: Camera-ready deadline · January 29, 2027: Early registration deadline · February 22–24 , 2027: Conference Included Themes Topics of interest include but are not limited to discrete or combinatorial problems and algorithms arising in: · Algorithm engineering · Algorithmic differentiation (AD) · Combinatorial optimization and mathematical programming, including scheduling and resource allocation problems · Combinatorial scientific computing (CSC) including models, algorithms, applications, numerical methods, and problems arising in data analysis · Computational biology and bioinformatics · Data management and data science · Design and analysis of application-inspired exact, approximation, randomized, streaming, and learning-augmented algorithms · Graph and hypergraph algorithms, including problems arising in network science and complex networks · Interaction between algorithms and modern computing platforms, including challenges arising from memory hierarchies, accelerators, and novel memory technologies · Machine learning and statistical methods for solving combinatorial problems · Numerical linear algebra, including sparse matrix computations and randomized approaches · Parallel and distributed computing, including algorithms, architectures, distributed systems, and all parallelism ranging from instruction-level and multi-core all the way to clouds and Exascale computing · Other applications arising from security, computational finance, computational chemistry/physics, quantum computing, etc. · Numerical linear algebra, including sparse matrix computations and randomized approaches · Parallel and distributed computing, including algorithms, architectures, distributed systems, and all parallelism ranging from instruction-level and multi-core all the way to clouds and Exascale computing · Other applications arising from security, computational finance, computational chemistry/physics, quantum computing, etc. Submission Guidelines Papers should be submitted electronically via the EasyChair submission system at https://easychair.org/conferences/?conf=acda27. There are three types of submissions to ACDA: archival Proceedings Papers, non-archival Extended Abstracts, and Posters. Each accepted submission of archival proceedings papers and non-archival extended abstracts will have an oral presentation. Archival proceedings papers Submissions may be up to 12 pages in length, excluding references, and must present original research that is not published or submitted elsewhere. Due dates for submissions are included below. The submissions will be refereed and authors will be provided an opportunity to respond to the reviews. Notification of acceptance or rejection with final camera-ready copy will be provided a few weeks later. Accepted papers will be included in the proceedings published by SIAM. Submissions should use the LaTeX macros at the web page: http://www.siam.org/proceedings/macros.php. An author of an accepted proceedings paper will be expected to register and present the paper at the ACDA25 conference. Authors may, at their option, include an appendix containing proofs, details, or additional experimental results. The appendix will be read by the program committee members at their discretion and will not be included in the proceedings. The main part of the submission should therefore contain a clear technical presentation of the merits of the paper, including a discussion of the paper's significance within the context of prior work and a description of the key technical and conceptual ideas used to achieve its main claims. All accepted proceedings papers must use the double-column LaTeX macro at the bottom of the following web page: https://www.siam.org/publications/proceedings/ <https://www.siam.org/publications/proceedings/> Double-blind reviewing of archival proceedings papers: ACDA will employ a lightweight double-blind reviewing process for proceedings papers (but not for the other two submission categories). Proceedings submissions should not reveal the identity of the authors in any way. Please refer to the ACDA website ( https://www.siam.org/conferences-events/siam-conferences/acda27/submissions/) for more details. Authors with further questions on double-blind reviewing are encouraged to contact the PC chairs. We strongly encourage also making code and data available; please keep in mind the double-blind nature of the review process. We recommend including a link to an anonymized version that makes a 'best-effort' to avoid revealing the identity of the authors (e.g., using Anonymous Github or an anonymous Dropbox/Google Drive folder). Non-Archival Extended Abstracts These submissions are 2-page extended abstracts, are not considered for archival publications, and will not appear in the proceedings. The primary criterion for review will be broad interest to the ACDA community. Reviews of extended abstracts will not be double-blind. Authors will be asked to indicate whether they want to be considered for a talk only, considered for a poster only, or considered for either. Authors will be notified of acceptance or rejection after review. Rejected extended abstracts will be considered for a poster presentation, unless the author specifies "talk only". Submissions should use the LaTeX macros at the web page: http://www.siam.org/proceedings/macros.php. An author of an accepted abstract will be expected to register and present at ACDA25. Talks for extended abstracts will be of the same length as talks for proceedings papers. ACDA seeks to cast a wide net for extended abstracts, emphasizing talks that are closely connected to applications. Abstracts may describe work in progress or work of interest to the ACDA community that is being published archivally elsewhere. An abstract should specify the source of the problem it describes: Is it from a paper in the literature? A newly invented problem? From a project or person (in academia, labs, industry) that will use the results in practice? Will the community have access to real or surrogate data for the problem? ACDA welcomes all abstracts, but there will be a preference for work that is motivated by specific real-world problems. ACDA is particularly interested in descriptions of industrial problems and applications. Posters A poster submission is in the form of a 2-page (maximum) abstract. Posters are not considered archival, and reviewing of posters will not be double-blind. Authors will be asked to indicate whether they want to be considered for a talk only, considered for a poster only, or considered for either. ********************************************************** * * 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] WAVE 2026 workshop in Copenhagen

WAVE 2026 We are excited to announce the upcoming WAVE workshop (Women in Algorithms, Venture into Exploration), which will be held at the University of Copenhagen, Denmark, on Friday, September 11th, 2026. The workshop will feature both technical talks and a panel discussion focused on Theoretical Computer Science (TCS). Additionally, this year we are also including a student-led poster session to provide opportunities for participants to share their work and receive feedback in a supportive environment. We have invited some amazing speakers and panelists to join us. Participants of all genders are equally encouraged to attend, as all topics discussed will be relevant to everyone in the field. Our panel will feature both female and male panelists who will reflect on the importance of collective efforts across the community in addressing and navigating different challenges. The WAVE Workshop offers a fantastic opportunity to meet great people working in TCS. Registration is free but mandatory. You can find more details about the event on the WAVE website: https://wave-workshop.github.io/ We are really looking forward to meeting you at WAVE 2026! Please feel free to reach out to us (anyone of the organizers) if you have questions or queries about the event. If you are a PhD student (of any gender) please consider making a poster presentation! On behalf of the Organising Committee of WAVE 2026. ********************************************************** * * 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] AAMAS 2027 Call for Papers (first call)

Call for Papers The 26th International Conference on Autonomous Agents and Multiagent Systems Submission Instructions (Main Technical Track)Important Dates - Author registration on OpenReview: 17 Sep 2026 - Abstract submission: 1 Oct 2026 - Paper submission: 8 Oct 2026 - Rebuttal period: 20 - 24 Nov 2026 - Author notification: 21 Dec 2026 - Camera-ready paper: 25 Jan 2027 - Conference: 3 - 7 May 2027 All deadlines are at the end of the specified day, Anywhere on Earth (UTC-12). For queries related to submission, please contact aamas2027pcs@gmail.com. For responses to questions frequently asked by authors who wish to submit to AAMAS, a FAQ page will be posted here soon. Reciprocal reviewer policy: To ensure a fair distribution of reviewing load and maintain high review quality, AAMAS has introduced a Reciprocal Reviewer Policy [link <https://warwick.ac.uk/fac/sci/dcs/aamas2027/calls/reciprocal-reviewer-policy/> ]. Areas of Interest We welcome technical papers describing significant and original research on all aspects of the theory and practice of autonomous agents and multiagent systems, spanning established areas as well as emerging topics such as generative and agentic AI. If you are new to this community, then we encourage you to consult the proceedings of previous editions of the conference to fully appreciate the scope of AAMAS. At the time of submission, you will be asked to associate your paper with one of the following areas of interest: - Learning and Adaptation (LEARN) - Generative and Agentic AI (GAAI) - Game Theory and Economic Paradigms (GTEP) - Coordination, Organizations, Institutions, Norms, and Ethics (COINE) - Search, Optimization, Planning, and Scheduling (SOPS) - Representation, and Reasoning (RR) - Engineering and Analysis of Multiagent Systems (EMAS) - Modelling and Simulation of Societies (SIM) - Human-Agent Interaction (HAI) - Robotics and Control (ROBOT) - Innovative Applications and Societal Impact (IASI) Additionally, AAMAS 2027 includes several *special tracks*, as well as submissions from eligible non-archival workshops through its Workshop Outreach Pipeline; details to follow. Learning and Adaptation (LEARN) Area Chairs: Stefano Albrecht, Ivana Dusparic, Akshat Kumar, Leandro Marcolino, Stefano Mariani, Pradeep Varakantham, Yaodong Yang, Chongjie Zhang Topics: - Reasoning and learning under uncertainty - Supervised learning - Unsupervised and representation learning - Reinforcement learning - Multiagent learning - Evolutionary and biologically inspired algorithms - Learning agent capabilities - Learning agent-to-agent interactions, including learning to communicate and emergent communication - Human-in-the-loop learning - Few-shot learning - Distributionally robust learning - Adversarial learning - Imitation learning Description: This area welcomes papers whose primary contribution concerns learning and adaptation in single-agent or multiagent systems. Relevant submissions include theoretical, algorithmic, and empirical work on supervised, unsupervised, reinforcement, imitation, evolutionary, adversarial, robust, and human-in-the-loop learning, as well as learning agent capabilities and agent-to-agent interactions. Papers should be submitted to LEARN when the main contribution is a learning method, learning-theoretic analysis, or empirical study of learning in agent or multiagent settings. Papers focused primarily on generative-model-based agent architectures, workflows, or evaluation should be submitted to GAAI. Generative and Agentic AI (GAAI) Area Chairs: Bo An, Giovanni Ciatto, Amit Chopra, Yali Du, Andrei Olaru, Eugene Vorobeychik, Weinan Zhang Topics: - Memory, state, context, long-lived interaction, and other architectural patterns for generative and agentic AI systems - Orchestration and workflows of agents and tools - Runtime support, infrastructure, and engineering for generative and agentic AI systems - Embodied, multimodal, and grounded generative AI agents - Open-ended, autonomous, and self-improving agents based on generative AI - Planning, reasoning, and long-horizon agentic workflows - Agency and learning in generative and agentic AI - Interaction protocols for agentic AI - Coordination, cooperation, and negotiation in generative AI agents - Normative reasoning and institutional constraints for generative AI agents - Theory of mind, user modeling, and social reasoning in generative AI agents - Hybrid classic-generative agents, with a focus on how generative AI agents use classical tools, models, and protocols - Failure handling, recovery, and resilience in agentic AI - Modeling and analysis of generative AI agents - Instruction following and multi-turn agent behavior in generative AI agents - Human-agent interaction for delegation, feedback, and task collaboration in generative AI agents - Agentic decision support and decision boundaries - Alignment, learning from human feedback, and controllability of generative and agentic AI systems - Explainability, introspection, and debugging for generative AI agents and systems - Assurance, verification, and safety in generative and agentic AI systems - Benchmarks, evaluation, and metrics for generative and agentic AI systems - Generative AI-supported specification and implementation of agents and multiagent systems - Agentic AI applications in science, software, education, and critical domains Description: This area welcomes papers whose primary contribution advances generative and agentic AI systems, namely agents or multiagent systems that act, reason, interact, coordinate, or make decisions by using, integrating, or analyzing generative AI models. Relevant submissions may address foundations, architectures, learning methods, orchestration, tool use, evaluation, safety, alignment, verification, governance, deployment, and human-agent or multiagent interaction in generative-agent systems. Papers should be submitted to GAAI when the central technical contribution concerns agents whose capabilities, architecture, reasoning, interaction, learning, evaluation, or deployment substantially rely on generative AI models. Papers whose main contribution is a general learning, planning, engineering, governance, or human-interaction method should instead be submitted to the corresponding AAMAS area, unless the generative-agent aspect is central. Submissions where the core contribution is not specifically about agents or multiagent systems are out of scope. Advances in language models, prompt engineering, generic tool use, or arbitrary generative tasks are outside the scope of this area unless they make a clear contribution to autonomous agents or multiagent systems. Game Theory and Economic Paradigms (GTEP) Area Chairs: Haris Aziz, Branislav Bosansky, Vincent Conitzer, Christopher Kiekintveld, Villiam Lisy, Pinyan Lu, Thanh Nguyen, Haifeng Xu, Dengji Zhao Topics: - Auctions and mechanism design - Economic foundations and market design for economics of AI agents - Bargaining and negotiation - Behavioural game theory - Evolutionary game theory - Non-cooperative games: equilibrium concepts - Non-cooperative games: computational issues - Non-cooperative games: theory and applications - Voting and preference aggregation - Social choice and social networks - Judgment aggregation and forecasting - Fair allocation and matching - Tournaments and agent evaluation - Digital and liquid democracy - Strategic coalition formation - Cooperative games - Persuasion and information design Description: This area welcomes papers whose primary contribution advances game theory, economic paradigms, mechanism design, market design, social choice, or strategic decision-making for agents and multiagent systems. Relevant submissions include theoretical, computational, and applied work on cooperative and non-cooperative games, equilibrium computation, auctions, bargaining, negotiation, voting, allocation, matching, persuasion, information design, and economic models of AI agents. Papers should be submitted to GTEP when the strategic, economic, game-theoretic, or social-choice model is central to the contribution. Papers focused mainly on norms, institutions, ethics, or organizational governance should be submitted to COINE unless the strategic or economic model is central. Coordination, Organizations, Institutions, Norms, and Ethics (COINE) Area Chairs: Pradeep K. Murukannaiah, Vahid Yazdanpanah Topics: - Coordination and teamwork - Social network analysis - Norms and normative systems - Multiagent organizations and institutions - Non-strategic coalition or team formation - Communication, including communication using natural language - Policy, regulation, and accountability - Safety, robustness, trust, and reputation - Ethical considerations, including bias, equity, fairness, privacy, safety, security, and transparency - Values and preferences - Agreement technologies: negotiation and argumentation - Responsible socio-technical systems - Explainability and interpretability of norms and ethics in human-agent teams - Ethical and governance challenges of LLM-based agents in coordination, organizations, institutions, and normative systems - Rebellion and disobedience in AI Description: This area welcomes papers whose primary contribution concerns coordination, organizations, institutions, norms, ethics, accountability, governance, and responsible behavior in agent and multiagent systems. Relevant submissions include theoretical, computational, empirical, and design-oriented work on teamwork, social reasoning, normative systems, institutions, trust, reputation, values, policy, regulation, agreement technologies, and responsible socio-technical systems. Research in agent and multiagent systems has a long history of balancing agent autonomy, adaptation, and distributed social reasoning with system-level considerations such as organizational and institutional policy enforcement, safety, security, fairness, and accountability. Submissions may address machine-machine cooperation, human-machine cooperation, and multiagent coordination, especially where these raise questions of transparency, trust, responsibility, governance, or alignment with social norms and ethical values. Papers should be submitted to COINE when social, institutional, normative, organizational, governance, or ethical dimensions are central to the contribution. Papers focused primarily on human-subject interaction design or evaluation should be submitted to HAI; papers focused primarily on generative-agent architectures should be submitted to GAAI. Search, Optimization, Planning, and Scheduling (SOPS) Area Chairs: Prashant Doshi, Sarah Keren, Stefania Monica, Felipe Meneguzzi, Roni Stern, Nathan Sturtevant Topics: - Single-agent planning and scheduling - Multiagent planning and scheduling - Decentralized planning and scheduling - Planning under uncertainty - Decision-theoretic planning - Temporal reasoning and scheduling - Combinatorial optimization - Constraint programming - Distributed constraint reasoning - Resource and task allocation - Non-strategic coalition formation - Plan and goal recognition - Human-aware planning and scheduling - Knowledge representation methods for search, optimization, planning, and scheduling Description: This area welcomes theoretical and experimental contributions to search, optimization, planning, and scheduling in single-agent and multiagent systems. Relevant submissions include decentralized planning, planning under uncertainty, decision-theoretic planning, temporal reasoning and scheduling, combinatorial optimization, constraint programming, distributed constraint reasoning, resource and task allocation, plan and goal recognition, human-aware planning and scheduling, and non-strategic coalition formation. Contributions that integrate learning-based methods, including foundation models, with search, optimization, planning, and scheduling techniques are welcome, provided that the primary contribution remains in the SOPS area. Similarly, approaches to motion and path planning are relevant when they are framed as planning, search, or decision-making problems for autonomous agents or multiagent systems. Papers should be submitted to SOPS when the primary contribution is a search, optimization, planning, scheduling, or decision-theoretic method, even if the method is applied to multiagent, robotic, human-aware, or foundation-model-assisted settings. Representation and Reasoning (RR) Area Chairs: Yves Lesperance, Ken Satoh, Tran Cao Son Topics: - Neurosymbolic approaches - Argumentation - Agent theories and models - Explainability - Logics for agent reasoning - Ontologies for agents - Reasoning about knowledge, beliefs, goals, actions, plans, and change in multiagent systems - Reasoning and problem solving in agent-based systems - Verification of agents and multiagent systems - Autoformalization - Logic-constrained learning - Strategic reasoning and strategy logics Description: This area welcomes theoretical and experimental contributions to knowledge representation and reasoning for single-agent and multiagent systems. Relevant submissions include formal and computational approaches to agent theories, logics for agent reasoning, argumentation, ontologies, knowledge graphs, semantic frameworks, strategic reasoning, reasoning about knowledge, beliefs, goals, actions, plans, and change, verification, autoformalization, logic-constrained learning, and neurosymbolic reasoning. Knowledge representation is interpreted broadly, encompassing formal approaches such as epistemic, strategic, and description logics, as well as data-driven techniques such as representation learning, when they support reasoning in agent or multiagent systems. Relevant reasoning paradigms include automated reasoning, theorem proving, verification-based approaches, probabilistic inference, neurosymbolic methods, and reasoning methods that support trustworthiness, accountability, transparency, fairness, explainability, or responsible AI. Papers should be submitted to RR when the primary contribution is a representation or reasoning framework, method, analysis, or formalism for agents or multiagent systems. Papers whose primary contribution is planning, scheduling, or optimization should be submitted to SOPS, unless the representation or reasoning formalism is central. Engineering and Analysis of Multiagent Systems (EMAS) Area Chairs: Rem Collier, Roberto Micalizio, Sebastian Rodriguez Topics: - Requirements capture and formal specification of multiagent systems - Programming paradigms and languages for autonomous agents - Runtime infrastructures and deployment platforms for scalable MAS, including cloud, edge, and hybrid settings - Testing, debugging, verification, validation, certification, and DevOps for multiagent systems - Scalability, fault tolerance, and performance engineering of MAS platforms - Engineering self-adaptive agents, including lifecycle management, continuous evolution, and deployment pipelines - Interoperability, business agreements, and agent-to-agent protocols - Declarative, logic-based, and BDI agent programming and architectures - Engineering MAS-based simulations for rigorous analysis and experimentation - Sociotechnical governance tools for norms, ethics, and accountability - Human-centered engineering for usability, transparency, and explainability - Open-source toolchains, benchmarks, and reproducible MAS testbeds - Engineering learning agents, including platform design and online adaptation - Engineering MAS with LLM methods - Hybrid symbolic-subsymbolic agent systems, including engineering architectures and platforms for neurosymbolic reasoning - Benchmarks, evaluation methodologies, and reproducible workflows for MAS - Data-driven engineering processes for design, testing, and adaptation of agent systems - Engineering MAS-based autonomous systems Description: This area welcomes papers whose primary contribution advances the engineering and analysis of agents and multiagent systems. Relevant submissions include work on software abstractions, programming languages, methodologies, architectures, runtime infrastructures, deployment platforms, testing, debugging, verification, validation, certification, monitoring, interoperability, scalability, reproducibility, and lifecycle management. Papers integrating symbolic reasoning, learning, LLM-based components, or neurosymbolic methods are welcome when the focus is on engineering challenges and solutions. The area also welcomes contributions on engineering agent and multiagent systems whose behaviour, decisions, interactions, and failures are understandable to human users. This includes methods and tools for designing transparency into agent architectures, tracing and auditing agent behaviour, generating explanations of individual or collective decisions, monitoring compliance with requirements and norms, and supporting accountability in deployed systems. Papers should be submitted to EMAS when the primary contribution concerns methods, tools, languages, platforms, infrastructures, or processes for engineering, deploying, testing, validating, maintaining, or analyzing agent and multiagent systems. Papers in which LLMs or other AI technologies perform the primary task while MAS engineering plays only a background role should be submitted to another area. Modeling and Simulation of Artificial Societies (SIM) Area Chairs: Paul Davidsson, Önder Gürcan, Takayuki Ito Topics: - Modeling for agent-based simulation - Simulation of complex systems - Modeling of societies and social simulations - Agent-based modeling and evaluation of public policies - Simulation techniques, tools, and platforms - Analysis of agent-based simulations - Calibration, verification, and validation of agent-based simulation systems - Robustness, reliability, and trustworthiness of agent-based simulations - Design and implementation of large-scale agent-based simulations - High-performance computing and frameworks for agent-based simulation - Interactive and participatory simulation - LLM-supported agent-based simulation and modeling Description: This area welcomes papers whose primary contribution concerns agent-based modeling and simulation of artificial societies and complex systems. Relevant submissions include modeling methods, simulation techniques, tools and platforms, calibration, verification, validation, robustness, participatory simulation, large-scale simulation, and the analysis of emergent behavior in social, organizational, economic, ecological, transportation, and socio-technical systems. Artificial societies are computer simulations or models created to emulate and study the behavior of complex social systems. Agent-based models provide a way to analyze how individual behaviors, interactions, incentives, policies, and interventions give rise to emergent structures and dynamics at the system level. Relevant application areas include ecology, biology, economics, transportation, management, organizational studies, and the social sciences. Papers should be submitted to SIM when simulation is central to the contribution, either as a methodological advance or as a way to explain, predict, explore, or evaluate complex systems. Human-Agent Interaction (HAI) Area Chairs: Reuth Mirsky, Sarath Sreedharan Topics: - Human-agent interaction - Agent-based analysis of human interactions - Socially interactive agents - Trust and explainability in human-agent interactions - Human-robot interaction and collaboration - Social robotics and social interactions - Mixed-initiative and shared autonomy in human-agent interactions - Groups of humans and agents - Agent models and architectures for interaction with humans - Design for human-agent interaction - Virtual humans - Theory of mind and user modeling in human-agent interaction - Modelling, detecting, and accounting for deception in human-AI teams - Human cognitive modeling for agent interaction Description: This area welcomes papers whose primary contribution concerns the design, modeling, evaluation, or analysis of interaction between humans and agents. Relevant submissions include work on human-agent interaction, socially interactive agents, human-robot interaction, mixed-initiative and shared autonomy, groups of humans and agents, trust, explainability, deception, theory of mind, cognitive modeling, virtual humans, and agent architectures for interaction with humans. Human interaction with artificially intelligent agents is becoming increasingly common in the social and organizational contexts through which people make decisions, coordinate work, and act in the world. Significant challenges arise when moving from purely multiagent systems to hybrid systems that incorporate bidirectional human-agent interaction in competitive, cooperative, or mixed settings. Agents need models and architectures that support perception and recognition of human states and activities, interaction modalities that enable coordination, and careful consideration of human factors and ethical concerns. Papers should be submitted to HAI when human-agent interaction is central to the research question, methodology, or evaluation. Papers focused primarily on institutional, normative, or governance aspects should be submitted to COINE; papers focused primarily on generative-agent architectures should be submitted to GAAI. Robotics and Control (ROBOT) Area Chairs: Chris Amato, Sven Koenig, Peter Stone Topics: - Coordination and collaboration in robotic systems - Swarm and multi-robot collective behavior - Robots in adversarial settings - Perception and vision for autonomous robots - Networked systems and distributed robotics - Foundation models for autonomous robots and robot teams - Knowledge representation and reasoning in robotic systems - Robot planning and decision-making - Mapping, localization, and navigation for autonomous robots and robot teams - Autonomous robot manipulation and task execution - Decision-making and control for autonomous robots and robot teams - Robot learning for autonomy and adaptation - Long-term or lifelong autonomy for robotic systems - Execution monitoring and failure recovery for robots - Robot modeling and simulation for autonomous agents - Explainability, trust, and ethics for robots - Hybrid systems of robots with humans and/or software agents Description: This area welcomes papers whose primary contribution concerns autonomous robots, robotic agents, multi-robot systems, or the interaction of robots with humans, software agents, or physical environments. Relevant submissions include work on coordination, collaboration, swarms, distributed robotics, robot planning, robot learning, knowledge representation and reasoning for robots, long-term autonomy, execution monitoring, failure recovery, modeling and simulation, explainability, trust, ethics, decision-making, and control for autonomous robots. Robots are embodied and situated agents that operate in the physical world. Research on autonomous agents and multiagent systems shares many challenges and synergies with intelligent robotics, especially where robotic systems must reason, learn, plan, coordinate, adapt, or act autonomously in realistic settings. Submissions involving perception, vision, mapping, localization, manipulation, or control are welcome when these components are integrated into, or make a clear contribution to, autonomous robots or multi-robot systems. Innovative Applications and Societal Impact (IASI) Area Chairs: Georgina Curto, Stéphane Galland, Alessandro Ricci Topics: - Deployed or emerging applications of agent-based and agentic systems addressing real-world challenges - Agent-based and agentic systems for social good, sustainability, public policy, education, health, science, industry, and critical domains - Realistic agent-based and agentic models of human organizations, institutions, and socio-technical systems - Evaluation of the cognitive, social, organizational, or decision-support capabilities of agent-based and agentic systems in real-world settings - Integration of agent-based and agentic systems with other AI, software, cyber-physical, robotic, simulation, or decision-support technologies - Hybrid agent-based, agentic AI, and reinforcement learning solutions for real-world applications - Deployment, adoption, usability, robustness, safety, and maintainability of agent-based and agentic technologies in practice - Challenges, best practices, and lessons learned from real-world deployments of agent-based and agentic technologies - Evaluation methodologies, benchmarks, and evidence of measurable impact for innovative applications - Stakeholder involvement, participatory design, and co-creation of agent-based and agentic applications - Ethical, legal, societal, and environmental implications of deployed or emerging agent-based and agentic systems - Frameworks, platforms, and tools supporting the implementation and deployment of innovative agent-based and agentic applications Description: This area welcomes papers whose primary contribution is an innovative application or demonstrated societal impact of agent technologies. Relevant submissions include deployed systems, emerging applications, realistic prototypes, stakeholder-driven designs, and rigorous evaluations of autonomous agents and multiagent systems addressing real-world challenges. Submissions should clearly explain the application context, the role of agents, the novelty of the application, and the evidence of benefit, feasibility, adoption, or measurable impact. Collaborations with relevant stakeholders are strongly encouraged, especially where they demonstrate that the proposed approach addresses a real need and can be used, evaluated, or deployed in practice. Papers should be submitted to IASI when the primary contribution is an innovative application, deployment, realistic validation, stakeholder-driven design, or demonstrated societal impact of agent-based or agentic technologies. Papers whose primary contribution is a new algorithm, architecture, learning method, engineering tool, or simulation method should be submitted to the corresponding technical area unless the application or impact contribution is central. For submission instructions, see [LINK <https://warwick.ac.uk/fac/sci/dcs/aamas2027/calls/instructions/>] All submissions will be rigorously peer-reviewed and evaluated on the basis of the overall quality of their technical contribution, taking into account criteria such as originality, significance, soundness, reproducibility, clarity, relevance to the conference, quality of presentation, as well as understanding and appropriate referencing of the state of the art. Papers may be moved to a different area based on fit but may be desk rejected if deemed out of scope. Papers submitted to AAMAS 2027 could be selected for publication in the Proceedings of AAMAS 2027 under a CC-BY licence. Papers that are not selected will be automatically considered for publication in the Findings of AAMAS 2027 under a CC-BY licence, unless the authors opt out of this option in the submission form (see more information about AAMAS 2027 Findings here [LINK <https://warwick.ac.uk/fac/sci/dcs/aamas2027/calls/findings/>]). Papers selected for publication in the Proceedings and papers selected for publication in the Findings have the same length and follow the same submission format. Papers that are not selected for either will be rejected. ********************************************************** * * 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】WABCT 2026

CALL FOR PAPERS 2026 Workshop on Algorithms, Bioinformatics, and Computation Theory (WABCT 2026) In conjunction with the 2026 International Computer Symposium (ICS 2026) October 29-31, 2026 Taipei, Taiwan Website: https://www.ics2026.ntub.edu.tw/call-for-papers-for-wabct-2026/ ------- SCOPE ------- The 2026 Workshop on Algorithms, Bioinformatics, and Computation Theory (WABCT 2026), in conjunction with the 2026 International Computer Symposium (ICS 2026), will be held at National Taipei University of Nursing and Health Sciences, Taipei, Taiwan, from October 29 to 31, 2026. The International Computer Symposium (ICS), founded in 1973, is a long-established biennial international conference in Taiwan. It provides a forum for researchers, educators, and professionals to exchange research results and practical experiences and to explore emerging trends and applications in computer and information technologies. WABCT 2026 provides a focused international forum for researchers working on algorithms, theoretical computer science, combinatorial optimization, computational biology and bioinformatics, and related areas of computation theory. The workshop welcomes both theoretical contributions and algorithmic research motivated by emerging applications. The proceedings of ICS 2026 are planned as EI-indexed proceedings. A proposal for publication in Springer’s Communications in Computer and Information Science (CCIS) series is currently under evaluation. Papers of high quality may also be considered for invitation to special issues of international journals related to the topics of WABCT 2026. -------------------- TOPICS OF INTEREST -------------------- Topics include, but are not limited to: - Algorithms and Data Structures - Algorithmic Game Theory - Approximation Algorithms and Online Algorithms - Automata, Languages, Logic, and Computability - Complexity Theory - Computational Learning Theory and Knowledge Discovery - Cryptography, Reliability and Security, and Database Theory - Computational Biology and Bioinformatics - Computational Algebra, Geometry, and Number Theory - Graph Drawing and Information Visualization - Graph Theory, Communication Networks, and Optimization - Parallel and Distributed Computing - Fault-Tolerant Computing and Fault Diagnosis - Deep Learning Algorithms and Applications ----------------- IMPORTANT DATES ----------------- Full Paper Submission: August 31, 2026 (AoE) Paper Notification: September 30, 2026 Camera-Ready Paper Due: November 15, 2026 Conference Dates: October 29-31, 2026 ------------------------- SUBMISSION INSTRUCTIONS ------------------------- Authors are invited to submit high-quality manuscripts reporting original and unpublished research related to the topics of the workshop. Simultaneous submission to other conferences or workshops with published proceedings are not allowed. Submissions must be formatted using the Springer LNCS style without altering the prescribed margins or font size. The maximum length of a submission is 12 pages, including references but excluding an optional appendix. Proofs omitted because of space limitations may be included in an appendix, which will be read by the Program Committee at its discretion. The first page of the submission must indicate whether the paper is eligible for the Best Student Paper Award. Submissions that substantially deviate from the formatting and submission requirements may be rejected without consideration of their technical merits. Papers must be submitted electronically through the ICS 2026 EasyChair submission system: https://easychair.org/conferences/?conf=ics202601 Authors should select the WABCT 2026 track when submitting their papers. -------- AWARDS -------- Awards will be given for the Best Paper and Best Student Paper. To be eligible for the Best Student Paper Award, at least one author must be a full-time student at the time of submission, and the student author(s) must have made a significant contribution to the work. ------------------------- WORKSHOP PROGRAM CHAIRS ------------------------- Ling-Ju Hung, National Taipei University of Business, Taiwan Ralf Klasing, CNRS and University of Bordeaux, France Chia-Wei Lee, University of Taipei, Taiwan ---------------------------- WORKSHOP PROGRAM COMMITTEE ---------------------------- Matthias Bentert, Universitetet i Bergen, Norway Li-Hsuan Chen, National Chung Cheng University, Taiwan Ho-Lin Chen, National Taiwan University, Taiwan Eddie Cheng, Oakland University, USA Hsin-Hung Chou, National Chi Nan University, Taiwan Thomas Erlebach, Durham University, UK Jianxi Fan, Soochow University, China Florent Foucaud, LIMOS – Université Clermont Auvergne, France Wing-Kai Hon, National Tsing Hua University, Taiwan Sun-Yuan Hsieh, National Cheng Kung University, Taiwan Shang-En Huang, National Taiwan University, Taiwan Sanpawat Kantabutra, Chiang Mai University, Thailand Thierry Lecroq, University of Rouen, France Chuang-Chieh Lin, National Taiwan Ocean University, Taiwan Tobias Mömke, University of Augsburg, Germany Nils Morawietz, LaBRI, Université de Bordeaux, France Kung-Jui Pai, Ming Chi University of Technology, Taiwan Tomasz Radzik, King’s College London, UK Michael Raskin, LaBRI, University of Bordeaux, CNRS UMR 5800, France Peter Rossmanith, RWTH Aachen University, Germany Meng-Tsung Tsai, Academia Sinica, Taiwan Hung-Lung Wang, National Taiwan Normal University, Taiwan Tomoyuki Yamakami, University of Fukui, Japan --------------------- FURTHER INFORMATION --------------------- WABCT 2026: https://www.ics2026.ntub.edu.tw/call-for-papers-for-wabct-2026/ ICS 2026: https://www.ics2026.ntub.edu.tw/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Two assistant professorships in algorithmic graph theory and logic at TU Darmstadt

The Department of Mathematics at the Technical University of Darmstadt seeks candidates at the earliest possible date for two Professorships for Algorithmic Graph Theory and Logic. The positions are limited to a period of six years and come without the option of a tenured professorship. They include an option to fill one PhD/postdoctoral position (E13 salary grade with no teaching obligations). Full text of the call: https://www.career.tu-darmstadt.de/tu-darmstadt/job/56424 === Your profile === We seek two outstanding, independent, early-career applicants in the fields of structural graph theory, finite model theory, and their algorithmic aspects. Example research focus areas include, but are not limited to, the following: - graph minors and graphs on surfaces; - graph decompositions and width parameters; - graph containment relations; - coarse graph theory; - vertex-minors and structural theory of matroids; - structural theory of sparse graphs; - graph algorithms, particularly parametrised and approximation algorithms; - discrete optimisation; - discrete geometry and the theory of VC dimension; - descriptive complexity theory; - algorithmic and structural aspects of finite model theory. === About the Department of Mathematics === The Department of Mathematics at TU Darmstadt has eight research groups covering many areas of mathematics. We are well-connected to other research groups both nationally and internationally. Locally, we have various cooperations with other universities in the Rhine-Main area and offer a wide range of lectures for our students with our Bachelor’s and Master’s degree programs. The successful candidates will join the vibrant environment at the Department of Mathematics as members of a newly constructed group led by the Alexander-von-Humboldt-Professor Michał Pilipczuk. The planned composition of the group consists of 10–14 active researchers working at the forefront of knowledge in the topics described in the profile. The group is provided access to several sources of ample funding, including from the European Research Council, the Alexander von Humboldt Foundation, and the state of Hessen. Further collaboration opportunities at the Department of Mathematics of TU Darmstadt include: - Yann Disser (combinatorial optimization), - Kord Eickmeyer (structural graph theory and finite model theory), - Meike Hatzel (structural graph theory, particularly for directed graphs), - Pascal Schweitzer (symmetries in discrete structures). ********************************************************** * * 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] 3rd CFP of the 3rd NORA Workshop @AACL-IJCNLP 2026

Hi all, Apologies for cross-posting. This is the final CFP for the workshop. *Call for Papers* --------------------------------------------------------------------------------- *3rd* Workshop on KNOwledge GRaphs & Agentic Systems Interplay (*NORA*) 10 November 2026, Hengqin, China Web: https://nora-workshop.github.io/AACL2026/ LinkedIn: https://www.linkedin.com/company/nora-knowledge-graphs-agentic-systems-interplay --------------------------------------------------------------------------------- In conjunction with *AACL-IJCNLP 2026, November 6-10* --------------------------------------------------------------------------------- *Workshop Overview* --------------------------------------------------------------------------------- Agents have experienced significant growth in recent years, largely due to the rapid technological advancements of Large Language Models (LLMs). Although these agents benefit from LLMs’ advanced generation proficiency, they still suffer from catastrophic forgetting and a limited context window size compared to the agents’ needs in terms of contextual information. Knowledge Graphs (KGs) are a powerful paradigm for structuring and managing connected pieces of information while unlocking deeper insights than traditional methods. Their value is immense for tasks that require context, integration, inter-linking, and reasoning. However, this power comes at the cost of significant upfront and ongoing investment in construction, curation, and specialised expertise. The NORA workshop aims at analysing and discussing emerging and novel practices, ongoing research efforts and validated or deployed innovative solutions that showcase the growing synergy between LLMs agents and KGs. --------------------------------------------------------------------------------- *Topics of Interest* --------------------------------------------------------------------------------- We welcome submissions and participation from intradisciplinary, interdisciplinary and multidisciplinary researchers and industry & public sector practitioners in the areas of Knowledge Graphs, Knowledge Engineering and Reasoning, Advanced NLP, GenAI, and AI Agents. We especially welcome contributions that provide theoretical insights, propose new approaches, or introduce new grounded solutions in real-world applications such as enterprise, smart assistance & chat, healthcare, finance, tourism, etc. We invite submissions in this non-exhaustive list of topics of interest, including, but not limited to: - Agents for Complex Reasoning over KGs - Agents and KGs for private and proactive personal assistants & Personalisation - Architectures for Persistent Agent Memory - Benchmarking Agent Memory Performance - Collaborative & Shared Agent Memories - Context Engineering enhanced by KGs - Domain-Specific Memory Architectures - From Unstructured Experience to Structured and Graph-Based Memory - KGs serving agents' memories: Episodic (experiences, events, etc.), Semantic (facts, concepts, etc.), and Procedural (skills, tasks, etc.) - Memory Grounding & Hallucination Mitigation - Memory Indexing & Retrieval for Agents - Multi-Lingual & Multi-modal integrations - Personalization vs. Generalization in Memory ------------------------------------------------------------------------------------ *Important Dates Anywhere on Earth (AoE)* ------------------------------------------------------------------------------------ - Regular Submissions Deadline: September 9th, 2026 - ARR Commitment Deadline: September 14th, 2026 - Notification of Acceptance: October 1, 2026 - Camera-Ready Papers Due: October 12, 2026 - Workshop date: November 10th, 2026 ------------------------------------------------------------------------------------ Submission Guidelines, Policies, and Awards are available on the website. ------------------------------------------------------------------------------------ --------------------------------------------------------------------------------- *Organization* --------------------------------------------------------------------------------- - Btissam Er-Rahmadi, Independent Researcher, UK - Sebastien Montella, Huawei Technologies R&D UK Ltd, UK - Damien Graux, EcoVadis, UK - Andre Melo, Huawei Technologies R&D UK Ltd, UK - Hajira Jabeen, University Hospital Cologne, Germany Best, Btissam Er-Rahmadi ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] (Correction of Dates) Call for Nominations: Prize for Innovation in Distributed Computing 2027

(CONFERENCE DATES CORRECTED) Prize for Innovation in Distributed Computing 2027 Awarded by the Colloquium on Structural Information and Communication Complexity (SIROCCO) Nominations are due by October 5, 2026. --- Call for Prize Nominations --- Nominations are requested for the Prize for Innovation in Distributed Computing, awarded by the Colloquium on Structural Information and Communication Complexity (SIROCCO). This prize was established to recognize individuals whose research contributions expanded the collective investigative horizon in SIROCCO’s area of interest. That is, they formulated new problems, or identified new research areas, that were at the time of their introduction, unorthodox and outside the mainstream, but later attracted the interest of the SIROCCO community. This community is interested in the relationships between information and efficiency in decentralized computing. The prize recognizes originality, innovation, and creativity – the qualities that reflect the spirit of the SIROCCO conference. The winner of the Prize for Innovation in Distributed Computing 2027 is expected to give an invited talk at SIROCCO 2027, scheduled to take place on June 2-4 in Larnaca, Cyprus. Past prize winners are Nicola Santoro, Jean-Claude Bermond, David Peleg, Roger Wattenhofer, Andrzej Pelc, Pierre Fraigniaud, Michel Raynal, Masafumi Yamashita, Shmuel Zaks, Zvi Lotker, Paola Flocchini, Amos Korman, Friedhelm Meyer auf der Heide, Christian Scheideler, Boaz Patt-Shamir, Shay Kutten, Sergio Rajsbaum, and Dariusz Kowalski. The prize may not necessarily be awarded every year. --- Eligibility --- The following conditions must be met by the nominees to be eligible for the prize. It is requested that a nomination letter explains and demonstrates how the nominee matches these conditions. (1) The original innovative contribution was introduced by the nominee(s) for the first time in a publication at least five years before the nomination deadline, and the publication must have appeared in conference proceedings or a scientific journal. (2) At least one paper (co)authored by the nominee(s), either the original paper, or a paper closely related to the innovative contribution, must have appeared in a SIROCCO proceedings. A nomination letter should identify the paper(s) that make(s) the nominee eligible according to conditions (1) and (2) above, as well as explain the contribution, its originality, and its significance. Past SIROCCO papers and authors can be found at indexing sites, e.g. Google Scholar or DBLP. --- Selection process --- The prize winners are selected by the Award Committee composed of the current Steering Committee (SC) Chair of the SIROCCO conference, the PC chairs, including co-chairs, of the three SIROCCO conferences immediately preceding the nominations deadline, plus one additional member of the Advisory Board, or one past winner, selected by the Steering Committee for the current year. The Award Committee of the Prize for Innovation in Distributed Computing 2027 consists of: Keren Censor-Hillel, Technion (chair) Yuval Emek, Technion Ran Gelles, Bar-Ilan University Chryssis Georgiou, University of Cyprus Ulrich Schmid, TU Wien Nominations can be made by any member of the scientific community. Please send the nomination to the prize committee chair, Keren Censor-Hillel, by e-mail: ckeren@cs.technion.ac.il. Please write “SIROCCO Prize Nomination” in the subject line. Please help in recognizing the contributions of members of our community. ********************************************************** * * 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] AI4Math 2026 Workshop @CICM-2026 - Submission Deadline Extended: 26th of August

== Artificial Intelligence for Math == === Call for Papers === Artificial intelligence (AI) is rapidly changing the way we do mathematics. Recent advances in machine learning, automated theorem proving, formalization, and mathematical knowledge management have opened new opportunities for representing, reasoning about, and discovering mathematics. The pace of development is such that new results often reach the research community through AI and computer science venues, where they may not receive sufficient attention from mathematicians and researchers in intelligent computer mathematics. The AI4Math Workshop, organized as part of the Conference on Intelligent Computer Mathematics (CICM 2026)[0], aims to bridge this gap by bringing together researchers from the communities of formalization of mathematics with proof assistants, automated theorem proving, mathematical knowledge management and databases of mathematical objects, and machine learning for mathematical reasoning. By fostering interaction between these communities, the workshop seeks to stimulate collaboration, promote shared benchmarks and datasets, and advance AI-based methods for formalization, automated reasoning, and mathematical discovery. The workshop has two complementary objectives. First, it provides AI researchers with a forum to present recent advances in applying AI to mathematics, including ongoing research and emerging ideas. Second, it offers mathematicians and researchers in intelligent computer mathematics an opportunity to learn about new AI techniques and discuss how they can support mathematical research. The program will include invited talk alongside contributed presentations, with ample time for discussion and exchange of ideas. === Topics === Topics of interest include, but are not limited to: * Formalization of mathematics in interactive proof assistants * Automated theorem proving and proof automation * Machine learning for proof search, proof guidance, and theorem proving * Large language models for formal mathematics * Neural-symbolic methods for mathematical reasoning * Mathematical knowledge management * Databases and repositories of mathematical objects and formal mathematical libraries * AI-assisted formalization and translation between informal and formal mathematics * Representation learning for mathematical objects and theories * Benchmark datasets and evaluation methodologies for AI in mathematics * Integration of proof assistants, theorem provers, mathematical databases, and AI tools * AI for mathematical discovery, conjecture generation, and mathematical software We particularly encourage contributions that bridge two or more of these research areas and demonstrate how their integration can advance AI-supported mathematics. === Submission === Authors are invited to submit original 2-page abstracts (including references) describing completed or ongoing research. Submissions should follow the CICM 2026 conference formatting guidelines[1] and will be subject to a light, single-blind review process. Accepted papers will be presented at the workshop. A compilation of the camera-ready PDFs will be published online as informal proceedings, so as to not preclude publishing ongoing work later in conference proceedings or journals. All submissions should be sent to ai4math@fmf.uni-lj.si. === Important Dates === * Paper submission deadline: 26th of August 2026 * Notification deadline: 31st of August 2026 * Camera-ready version deadline: 14th of September 2026 * Workshop: to be held as part of CICM 2026[0] on Monday, 21st of September 2026 All deadlines are at 23:59 AoE (Anywhere on Earth, UTC−12). === Organizers === * Ljupčo Todorovski * David E. Narváez [0] https://cicm-conference.org/2026/cicm.php [1] https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ********************************************************** * * 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/ * **********************************************************