[DMANET] The 4th CINI HPC Summer School 2026

** Call for Attendees ** The 4th CINI HPC Summer School 2026 https://hpcsummerschool.massimocafaro.it We are pleased to announce the 4th CINI HPC Summer School 2026, which will take place from 15–19 June 2026 at the University of Salento, Lecce, Italy. Organized by the CINI HPC National Laboratory jointly with the HPC Laboratory at the University of Salento, the Summer School will address the design of scalable parallel algorithms and the use of standard “de facto” programming models and tools crucial for enhancing HPC application performance, including practical hands-on sessions focusing on MPI, OpenMP, GPU programming, and performance monitoring. The curriculum aims to boost participants’ capabilities in utilizing HPC for complex scientific and industrial tasks, bringing together theoretical and technical viewpoints. Over the course of five days, participants will gain insights into the design and analysis of parallel algorithms and related, current technologies. Dr. Alberto Baiardi, Staff Research Scientist at IBM Zurich, will open the Summer School with a keynote address titled "Quantum Computing for Natural Science Simulations". We are seeking highly motivated students, for a learning experience focused on leading-edge subjects. You will be taught by University of Salento faculty members jointly with CINECA leading experts, and attend classes with top students that share your interests. The Summer School represents a unique opportunity to participate in an exciting laboratory of teaching and active learning. Target audience The target audience includes Master’s graduates, Ph.D students, early-stage Postdoc, and engineers. The school welcomes everyone regardless of gender, age, sexual orientation, disability, physical appearance, race, or religion. Applicants will be evaluated on their CV. Requirements Applicants are expected to: - Posses working knowledge of C/C++, Unix (Linux etc), terminal, editor and compilers; - Bring their laptop to write, compile and execute parallel code. School Fees - Ph.D. students, post-docs and Master’s graduates: 350 euro - Faculties/Researchers: 400 euro - Professionals: 500 euro The fee provides access to all of the lectures, teaching materials and social event/dinner. PLEASE NOTE: The electronic payment also includes, additionally, 2 euro, which represent the payment of stamp duty, a mandatory tax obligation under Italian law. Deadlines Applications: until May 8, 2026 Notification of acceptance: May 13, 2026 Fee payment for enrolment: no late than May 15, 2026 Summer School: June 15-19, 2026 Submitting your application is a two-step process. Both steps are MANDATORY. 1) for the initial online registration, please use this link: https://conference.unisalento.it/event/19/ Please don’t pay in advance the registration fee. The Summer School Committee will evaluate the requests, and admit the applicants. Only admitted applicants - up to 50 - must, upon receiving confirmation of admission, proceed with the fee payment (note that the deadline for fee payment is May 15, 2026); 2) Applications will be assessed by a Committee appointed by the Summer School Board. In order for your application to be assessed, the application form and the required documentation must be sent to the Summer School Committee referring to the instructions available at this link: https://trasparenza.unisalento.it/page/5/details/18396/dii-avviso-di-apertura-delle-candidature-hpc-summer-school-aa-20252026.html NOTE The website https://trasparenza.unisalento.it/page/5/details/18396/dii-avviso-di-apertura-delle-candidature-hpc-summer-school-aa-20252026.html provides the call and application forms both in - English (call: https://trasparenza.unisalento.it/download/1598384.html forms: https://trasparenza.unisalento.it/download/1463725.html) - Italian (call: https://trasparenza.unisalento.it/download/1598383.html forms: https://trasparenza.unisalento.it/download/1458372.html) The required documentation includes: - signed application form; - curriculum vitae; - list of examinations passed with the corresponding grades, drawn up as a self-declaration; - any English language certification at level B2 or higher; - motivation letter; - copy of an identity card bearing a handwritten signature. The documentation must be sent by email at the following email address: protocollo.ingegneria@unisalento.it indicating the following wording in the subject line: FIRST NAME + LAST NAME + HPCSummerSchool_2026 Further information about the CINI HPC Summer School can be found at: https://hpcsummerschool.massimocafaro.it - ********************************************************************************************* Prof. Massimo Cafaro, Ph.D. Associate Professor of Parallel Algorithms and Data Mining/Machine Learning Head of the HPC (High Performance Computing) Lab Head of the AIMA Lab (Artificial Intelligence Models and Algorithms) Department of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web https://www.massimocafaro.it Web https://www.unisalento.it/people/massimo.cafaro E-mail massimo.cafaro@unisalento.it E-mail cafaro@ieee.org E-mail cafaro@acm.org INGV National Institute of Geophysics and Volcanology Via di Vigna Murata 605 Roma CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro@cmcc.it Weiler’s Law: Nothing is impossible for the man who doesn’t have to do it himself. ********************************************************************************************** -- ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CPM 2026 call for participation

The 37th Annual Symposium on Combinatorial Pattern Matching (CPM 2026) will take place in Copenhagen, Denmark, from June 15 to 17, 2026. See details here: https://cpm2026.compute.dtu.dk. CPM 2026 is now open for registration. Register at https://www.conferencemanager.dk/cpmswat2026 (early registration until May 12) CPM is part of the Copenhagen summer of algorithms with several co-located events: - 20th Scandinavian Symposium on Algorithm Theory (SWAT 2026), June 17-19. https://swat2026.compute.dtu.dk (register for that at the same link.) - 24th Symposium on Experimental Algorithms (SEA 2026), June 22-24. https://sea2026.github.io
- Summer School on String Algorithms, June 13-14. Details coming shortly. See you in Copenhagen! ********************************************************** * * 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] ORAHS 2026 in Belfast: submission deadline extended to 5 May 2026

**Apologies for any multiple copies of this message** Dear Colleagues, *we are writing to inform you that the deadline for submitting your talk for the ORAHS 2026 conference has been extended to 5 May 2026*. ORAHS is the annual conference organised by the EURO Working Group on Operational Research Applied to Health Services <https://orahs.di.unito.it/> . This year marks the 52nd edition. The main theme of this year’s conference is “The transformation of healthcare systems through digital innovation and artificial intelligence”, a topic that will be discussed at the prestigious Queen’s University Belfast from 19 July 2026 to 24 July 2026. Once again this year, the organisers are putting together a high-calibre scientific (https://www.qub.ac.uk/sites/orahs-2026/scientific-programme/) and social (https://www.qub.ac.uk/sites/orahs-2026/social-programme/) programme, in keeping with ORAHS tradition. For PhD students, ORAHS also offers a fascinating and highly popular Doctoral Colloquium: https://www.qub.ac.uk/sites/orahs-2026/doctoral-colloquium/ We would also like to highlight the opportunity to stay at the university’s Elms Student Village at reasonable rates. Details here: https://www.qub.ac.uk/sites/orahs-2026/plan-your-trip/recommended-hotels/ Further details and information here: https://www.qub.ac.uk/sites/orahs-2026/ Melanie Reuter-Oppermann & Roberto Aringhieri :: EWG ORAHS co-chairs -- Prof. Roberto Aringhieri, Ph.D. Dipartimento di Informatica, Università degli Studi di Torino Corso Svizzera 185, I-10149 Torino, Italy Office: +39 011 6706755 - http://di.unito.it/aringhieri My message may reach you outside of the working day. Please feel free to respond (if necessary) during your normal working hours ********************************************************** * * 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: LCN Special Track on Large Language Models and Networking (LLMNet)

** Apologies if you receive multiple copies of this message ** CFP: 2nd LCN Special Track on Large Language Models and Networking (LLMNet) =================================================================================== SUBMISSION DEADLINE: June 15, 2026 (AoE) =================================================================================== CALL FOR PAPERS The 2nd LCN Special Track on on Large Language Models and Networking (LLMNet 2026) in conjunction with the 51st Annual IEEE Conference on Local Computer Networks (IEEE LCN 2026) ==================================================================================== Coimbra, Portugal, 7 – 9 October 2026 Website - https://llmnet.nss-research.io ## Scope and Topics Large Language Models (LLMs) and Generative AI (GenAI) have rapidly advanced in language modelling and related tasks, with their applications now expanding into various other domains. In networking, LLMs and their variants have the potential to address key challenges such as traffic management and classification, configuration management, network migration, and scheduling. However, their full potential in networking remains largely underexplored. This special track aims to foster research in this emerging area and bring together the international networking research community working on LLM-driven solutions. ## Topics The topics of interest include, but are not limited to: * LLM Applications in Network Operations * LLMs for traffic prediction and management * LLM-driven anomaly and fault detection in networks * LLMs for Network Security and Privacy * LLMs for detecting malware in network traffic * LLMs in Networked System Optimization * LLM-guided routing and congestion control * Machine-to-machine LLM * Network configuration and optimization through Large GenAI models * Benchmarking reasoning and planning capabilities for Networks * Network configuration and optimization through Large GenAI models * Large GenAI models for resource allocation and quality of service optimization * Large GenAI models for network fault diagnosis and troubleshooting * LLMs for network performance prediction * LLMs for network protocol design * Scheduling and load balancing with LLMs * QoS/QoE prediction and optimization using LLMs * Natural Language Interfaces for Network Management * Using LLMs to generate network configurations from natural language * Troubleshooting and diagnostics through conversational interfaces * LLMs in Mobile and Wireless Networking * Adaptive LLMs for edge and mobile scenarios * LLMs for device mobility prediction and handover optimization * Federated learning with LLMs in wireless networks * LLMs and Network Data Analytics * Summarization of network incidents and logs via LLMs * Automated documentation and change logs using LLMs * Efficient fine-tuning and inference of LLMs in network environments * Deployment of LLMs at the edge, in routers, or programmable switches * LLMs for Emerging Network Architectures * Use of LLMs in Software-Defined Networking (SDN) and Network Function Virtualization (NFV) * LLMs for programmable networks and intent-based networking * LLM Applications in 6G, IoT, and space-terrestrial integrated networks * Datasets and benchmarks for evaluating LLMs in networking * Explainability and interpretability of LLMs in networking tasks * Human-in-the-loop evaluation frameworks * Multi-modal models for networking (e.g., combining text, telemetry, and packet traces) * Ethical considerations, fairness, and bias in LLM-driven network operations * LLMs for cybersecurity education and training in networked environments ## Submission guidelines * via EDAS: TBC * Paper submissions may be up to six (6) pages (excl. references) * in two-column IEEE style * Detailed instructions can be found on the LCN webpage. ## Important dates * Paper Registration: Jun 08, 2026 (AoE) * Paper Submission Deadline: Jun 15, 2026 (AoE) * Paper Acceptance Notification: August 1, 2026 * Camera-ready Papers Due: August 15, 2026 ## Special Track Organizers * Suranga Seneviratne - The University of Sydney * Madhusanka Liyanage - University College Dublin ## Technical Program Chair TBC We look forward to your submissions! ********************************************************** * * 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] SAGT 2026: Call for Papers + Accompanying Workshop on Mechanisms with Predictions

=================================================================== 19th International Symposium on Algorithmic Game Theory (SAGT) 2026     15th-18th September 2026, University of Augsburg, Germany https://www.uni-augsburg.de/de/fakultaet/fai/conferences/sagt-2026/ =================================================================== *** Accompanied by a Workshop on Mechanisms with Predictions by *** ***            Vasilis Gkazelis and Guido Schäfer  *** ***     14th-15th September 2026, University of Augsburg *** =================================================================== The purpose of SAGT is to bring together researchers from Computer Science, Economics, Mathematics, Operations Research, and related fields to present and discuss original research at the intersection of Algorithms and Game Theory. Foundational work is solicited on topics including but not limited to:     Solution Concepts in Game Theory     Efficiency of Equilibria and Price of Anarchy     Computational Aspects of Equilibria     Learning and Dynamics in Games     Game-Theoretic Aspects of Networks     Auction Design and Analysis     Algorithmic Contract Design     Mechanism Design and Pricing     Internet Economics and Computational Advertising     Reputation, Recommendation and Trust Systems     Economic Aspects of Distributed Computing     Blockchain and Cryptocurrencies     Decision Theory and Information Design     Computational Social Choice and Fair Division     Market Design and Matching Markets     Cooperative Game Theory =============== IMPORTANT DATES =============== Abstract Submission: 20 May 2026, anywhere on Earth Full-Paper Submission: 26 May 2026, anywhere on Earth Notification: 09 July 2026 Camera-Ready Submission: 15 July 2026 Conference: 15 - 18 September 2026 ======================= SUBMISSION INSTRUCTIONS ======================= Authors are invited to submit original research for possible presentation at the conference. Each paper will be evaluated on significance, originality, technical quality, and exposition. It should clearly establish the research contribution, its relevance, and its relation to prior research. *** Where to Submit *** SAGT 2026 uses Easychair. Submission server: https://easychair.org/conferences/?conf=sagt2026 The submission server is open! *** Submission Guidelines *** Submissions must be anonymous. SAGT 2026 will use double-blind reviewing like WINE, EC, and all other major conferences. Submissions should not reveal the identity of the authors in any way. In particular, authors’ names, affiliations, and email addresses should not appear anywhere in the submission. (In LNCS, \author{} and \institute{} fields should not be included.) Authors should refer to their prior work in a neutral manner (for example, say “XYZ showed” instead of “we showed”). Submissions may include work that has been publicly presented (as long as it has not appeared in published proceedings) or posted on arXiv or similar online repositories, provided that the submission itself is properly anonymized. Submissions may be up to 18 pages long (including title page and references) in LNCS format. Note that SAGT 2026 requires submissions in LNCS format (provided as part of Springer's LaTeX2e package). In addition, an appendix may be included at the end of the paper and will be read at the discretion of the reviewers. Submissions deviating from these guidelines may be rejected without review. Authors are strongly encouraged to structure their paper in a way that includes a clear presentation of the merits of the paper and a discussion of the importance of the results, as well as an exposition of the key conceptual and technical ideas. *** Author Guidelines *** The symposium proceedings will be published by Springer as a Lecture Notes in Computer Science (LNCS) proceedings volume. Accepted papers will be allocated at most 18 pages (including title page and references) in LNCS format in the proceedings. Please refer to Springer's Information for Authors for detailed guidelines on how to prepare the final manuscript. To accommodate the publishing traditions of different fields, authors of accepted papers can choose to publish a one-page abstract of their paper in the proceedings. The paper must then provide a URL referring to the full version of the paper; authors should guarantee the link to be reliable for at least two years. Such papers must be formatted and submitted just like regular papers (as described above). Results previously published or presented at another archival conference prior to SAGT, or published (or accepted for publication) at a journal prior to the submission deadline, will not be considered for publication. Simultaneous submission to WINE 2026 is explicitly allowed. In case the paper is accepted for publication at SAGT, the authors have to withdraw the paper from WINE 2026. Simultaneous submission to other conferences with published proceedings is not allowed. Simultaneous submission of results to a journal is allowed only if the authors publish the paper as a one-page abstract in SAGT 2026. *** Proceedings and Special Issue *** Conference participants will have free access to the online conference proceedings of SAGT 2026. SAGT 2026 will extend invitations to a selection of accepted papers for publication in a dedicated special issue of the ACM Transactions on Economics and Computation (TEAC) (details will be communicated in due course). ======= CONTACT ======= The conference is organized by Pascal Lenzner (University of Augsburg) and Daniel Schmand (University of Bremen). Contact: SAGT2026@informatik.uni-augsburg.de =============================================================================================== ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP] Theory and Methods for Abstraction (THEMA 2026) - Deadline Extension

* Apologies if you receive multiple copies of this call * ================================================================== ========== THEMA 2026: Call for Papers (Deadline Extended ======== Workshop on Theory and Methods for Abstraction (THEMA 2026) Location: Lisbon, Portugal Deadline for submission: May 4, 2026 (AoE, Extended) Workshop: July 24, 2026 https://abstraction.cognitive-logics.org/thema2026/ Co-located with the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026) as part of the Federated Logic Conference (FLoC 2026). ================================================================== Aims and Scope ---------------------- Abstraction is a process that is exploited in human reasoning and understanding. Although the word itself comes from the meaning of "to draw away", there is no precise definition that is able to cover all the meanings that it gains depending on its utilisation. Various meanings of abstraction are interpreted in different disciplines such as Philosophy, Cognitive Science, Biomimetics, Mathematics and AI, with the shared consensus of the aim to distil the essential. From the early days of AI research, including in the work of Alan Turing, such abstraction learning has been seen as a crucial heuristic for problem-solving. First, the problem is solved in a relaxed or reduced space, and then the abstract solution is used to guide the search for a solution in the original space. Since the success in solving a problem relies on how "good" the abstraction is, theoretical approaches for defining abstractions with desired properties have been and continue to be investigated while adhering to certain principles of simplification and/or generalization. Abstraction is also being used as a representation technique. Having different layers of representation that enable reasoning at a high level and refining to more low-level details only when necessary, e.g., in Robotics, allows one to determine the focus points of the problem. While usually the representation decisions are left to the experts, there are also methods, e.g. in Model Checking, to automatically find abstractions that allow one to check desired properties of the system at the abstract level. More recently, abstraction is becoming an essential technique for AI systems to present a “model of self”, overviewing their complex structures via showing the key elements making it easier for humans to understand their decision-making. This workshop aims to bring together researchers from different sub-areas of KR and related communities who work on different aspects of abstraction in their respective areas, with the goal of exchanging theories and methods. The following lists topics (but is not limited to these): *Formation of concepts *Symbol learning *Inductive reasoning *Abstraction and analogical reasoning *Abstraction and generalization as operations *The role of abstraction in knowledge *Formal logical and philosophical foundations of abstraction *Abstraction in ontological and conceptual modelling *Systems which employ different levels of granularity *Forgetting and marginalization *Human-inspired theories of perception *Application of abstraction in, e.g., verification and software engineering Invited Speaker -------------------------------------------------- Blai Bonet, Universitat Pompeu Fabra, Spain Elena Romanenko, University of Bozen-Bolzano, Italy Workshop Organizers and Co-Chairs -------------------------------------------------- Oliver Kutz, University of Bozen-Bolzano, Italy Zeynep G. Saribatur, TU Wien, Austria Kai Sauerwald, University of Hagen, Germany Important Dates ---------------------- Paper submission: May 4, 2026 (AoE, Extended) Notification: May 28, 2026 Workshop: July 24, 2026 Submission and Publication Details ----------------------------------------------- We invite - short (6 pages) and - long papers (13 pages) of unpublished work, or - extended abstracts (2 pages) of already published works or works in progress. Reviewing will be single-blind, but anonymous submissions are possible. * All submissions should be formatted in CEUR style (one-column style) without an enabled header and footer. The author kit can be found at http://ceur-ws.org/Vol-XXX/CEURART.zip. Papers must be submitted in PDF only and should include a statement regarding the usage of AI (see CEUR AI policy). For the camera-ready versions, one must also provide the LaTeX sources. *Link to the submission site is on the webpage: https://abstraction.cognitive-logics.org/thema2026/call.html Authors of all accepted original contributions can opt to publish their work in CEUR proceedings. Accepted non-original contributions will be given visibility on the workshop website, including a link to the original publication, if already published. Following the workshop, there will be an open call for inclusion in a special issue of the German Journal of Artificial Intelligence (KI). ********************************************************** * * 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] [Scheduling seminar] Alena Otto (TU Munich)| April 29 | Overcoming poor data quality: Optimizing validation of precedence relation data

Dear scheduling researcher, We are delighted to announce the talk given by Alena Otto (TU Munich). The title is "Overcoming poor data quality: Optimizing validation of precedence relation data". The seminar will take place on Zoom on Wednesday, April 29 at 13:00 UTC. Join Zoom Meeting https://cesnet.zoom.us/j/99150961586?pwd=krrlAFGtfNcaBkrZxMxv6ITtwggNkN.1 Meeting ID: 991 5096 1586 Passcode: 856123 You can follow the seminar online or offline on our Youtube channel as well: https://www.youtube.com/channel/UCUoCNnaAfw5NAntItILFn4A The abstract follows. This talk centers around the problem of insufficient data quality on precedence relations between tasks, which is relevant, for instance, in project scheduling and assembly line balancing. Inaccurate data on unnecessary precedence relations cannot be used, otherwise the recommendations of decision support systems may turn infeasible. So, unnecessary relations must be satisfied, diminishing the baseline problem’s solution space and the business result. Experts can validate the data, but their time is limited. We apply an optimization lens and formulate the data validation problem (DVP). Restricted by the available time budget, an expert dynamically receives queries about specific data entries and corrects or validates them. The DVP searches for an interview policy that states queries to the expert, each using up some of the time budget, in a way that maximizes the (weighted) number of removed precedence relations. We model the DVP as a dynamic program, derive optimal policies for several important special cases and design a heuristic interview policy LSTD. In a case study of an automobile manufacturer, this policy substantially reduces the stations’ idle time after selectively addressing about 8% of the data entries. We prove theoretically and numerically that data validation by experts can lead to significant savings. The number of queries required to validate the data exhaustively is much less than naive estimates. Additionally, the probability to remove an unnecessary precedence relation per query in a series of queries is high, even for simple interview policies. The next talk in our series will be Debiao Li (Fuzhou University) | May 13 | Feature-driven Robust Stochastic Scheduling for Printed Circuit Board Assembly. For more details, please visit https://schedulingseminar.com/ With kind regards Zdenek Hanzalek, Michael Pinedo and Guohua Wan -- Zdenek Hanzalek Industrial Informatics Department, Czech Institute of Informatics, Robotics and Cybernetics, Czech Technical University in Prague, Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic https://rtime.ciirc.cvut.cz/~hanzalek/ ********************************************************** * * 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] FUN 2026 - Last call for participation

The 13th International Conference on Fun with Algorithms (FUN 2026) will be held in Island of Porquerolles, France, on May 18-22 2026, at Hôtel Club Igesa Porquerolles. FUN is a series of conferences dedicated to the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area. Fun is a notion that can be judged from different perspectives, and be defined in many different manners. The conference defines fun in a broad sense, including aspects such as elegance, simplicity, amusement, surprise, originality, etc. The topics of interest include all aspects of algorithm design and analysis, and of computational complexity, under all types of models. List of accepted papers: https://fun2026.limos.fr/accepted/ Late Full 900 € Student 750 € Registration closes on May 1st! Full registrations entitle you to accommodation (4 nights), all breakfasts (including Friday morning), all lunches, all diners (including Monday evening), social dinner, coffee breaks, social event, and an (electronic) copy of the proceedings. Student registrations provide the same benefits at a discounted price, but the registrant must be a student (i.e., M.Sc. or Ph.D. student) and proof of enrolment at an accredited institution will be required. To register, please fill up and submit the registration form<https://api.dsi.uca.fr/paybag/registration/form/event/FUN2026>. For any issue or question during the registration process, please contact anais.durand@uca.fr ********************************************************** * * 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] Postdoctoral Fellowship: Neural Networks and Tropical Geometry – Toulouse

Dear colleagues, We are pleased to announce a postdoctoral fellowship opportunity in the interdisciplinary field of neural networks and tropical geometry, funded through the "Combining Polynomial Optimization and Machine Learning" (POPML4PS) chair of the ANITI AI cluster. Position Overview: The successful candidate will work with Mateusz Skomra (LAAS-CNRS, Toulouse) and Georg Loho (FU Berlin) on research at the intersection of discrete/tropical geometry and machine learning. The project aims to leverage tropical and discrete geometric tools to advance theoretical understanding and practical applications of neural networks, especially those using ReLU activation functions. Key Research Directions (non-exhaustive):     Exploring neural networks as models of computation     Static analysis and robustness certification of ReLU neural networks     Studying geometric objects associated with ReLU networks using tropical geometry Location, duration, and salary: The position is based at LAAS-CNRS in Toulouse, France, within the POP team led by Victor Magron. The contract is for 12 months, with a possible extension for another 12 months. The position offers ample travel funding and the remuneration is according to the candidate profile. Requirements: We seek candidates with a strong background in tropical geometry, mathematical foundations of machine learning, or related areas, and basic programming skills. A PhD in mathematics, computer science, or a related field is required, along with a strong publication record. Application Process: Applications should include a full CV including list of publications, a motivation letter (max. 2 pages), and the names of potential referees. Please send your application to Georg Loho (georg.loho@math.fu-berlin.de) and Mateusz Skomra (mateusz.skomra@laas.fr), with “Postdoc candidate NNTG” in the subject line. Timeline: Applications received by May 31, 2026, will receive full consideration. However, we will continue to accept late applications until the position is filled. We welcome applications from all qualified candidates and encourage underrepresented groups to apply. For further details, please refer to the announcement on the website https://homepages.laas.fr/mskomra/ or contact us directly. Best regards, Georg Loho and Mateusz Skomra ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [Extended Deadline] iMETA 2026: The 4th International Conference on Intelligent Metaverse Technologies & Applications, Barcelona, Spain

*The 4th International Conference on Intelligent Metaverse Technologies & Applications (iMETA 2026)* 16-20 November 2026 | Barcelona, Spain *Hybrid Conference* *Technically sponsored by IEEE Spain section* *https://imeta-conference.org/* Over the years, technology has advanced significantly, and the creation of virtual environments (i.e., the metaverse) is one of the latest innovations revolutionizing how we interact, process, and connect our real lives to other lives. With the metaverse, we are presented with a new realm that blurs the lines between the physical and digital world, providing a new space for communication, commerce, services, and entertainment. The International Conference on Intelligent Metaverse Technologies & Applications (iMETA) aims to bring together leading researchers, academics, and industry experts to explore the various aspects of the distributed metaverse, including its technologies, applications, and implications across industries. Attendees can expect to participate in exciting keynote speeches, panel discussions, and presentations on cutting-edge research fields. Throughout the conference, there will be ample opportunities for attendees to network, share their knowledge, and collaborate on future initiatives that will drive the metaverse's development. We are confident that the iMETA conference will inspire new ideas, foster innovation, and spark collaborations that will push the boundaries of the metaverse and its potential to change the world as we know it. Overall, the iMETA conference aims to provide attendees with a comprehensive understanding of the communication, computing, and system requirements of the metaverse. Through keynote speeches, panel discussions, and presentations, attendees will have the opportunity to engage with leading experts and learn about the latest developments and future trends in the field. The conference will also offer ample opportunities to network, share knowledge, and collaborate with others in the metaverse community. *iMETA 2026 Symposia* Authors are encouraged to submit their work to one of the following 20 specialized symposiums, each targeting a key research frontier: 1. LLMs and Intelligent Agents for the Metaverse 2. Autonomous and Multi-Agent AI Systems 3. Immersive XR and Spatial Computing 4. Metaverse Networking and 6G/7G Communications 5. Scalable Metaverse Platforms and Architectures 6. Security, Privacy, and Trust in the Metaverse 7. Digital Twins and Real-Time Simulation 8. Web3, Blockchain, and Virtual Governance 9. Virtual Economies and Tokenized Marketplaces 10. Generative AI for 3D and Immersive Media 11. Computer Vision and Multimodal Sensing 12. HCI, Social Presence, and Metaverse Psychology 13. Metaverse Applications in Education and Industry 14. Haptics and Human Augmentation Technologies 15. Edge–Cloud Computing for the Metaverse 16. Green and Sustainable Metaverse Infrastructure 17. Digital Rights, Ethics, and Virtual Governance 18. Quantum and Neuromorphic Metaverse Computing 19. Spatial Audio and Next-Gen Interactive Media 20. Metaverse Gaming and Interactive Entertainment *Publication* *IEEE is a technical sponsor of iMETA 2026*. All accepted papers in iMETA 2026 and the workshops co-located with it will be submitted to IEEEXplore, dblp and Scopus for inclusion. *Important Dates:* - Papers due: April 15, May 15, 2026 (Extended) - Acceptance notification: June 30, 2026 - Registration: July 30, 2026 - Camera-ready paper: July 30, 2026 - Workshop/Tutorial Proposal Submission: April 15, 2026 - Workshop/Tutorial Proposal Acceptance: June 30, 2026 *Submission Guidelines:* There are three categories of submission (Overlength charges will be applied!): - *Long papers:* (7-8 pages) - *Short papers: *(5-6 pages) - *Systemization of Knowledge (SoK): *(10-15 pages) - *Poster papers: *(1-2 pages) *Submission Link: **https://conferences.sparcly.ai/SP/iMETA2026* *Organizing Committee* Steering Committee - Albert Zomaya, University of Sydney, Australia - Giancarlo Fortino, University of Calabria, Italy - Ian F. Akyildiz, Truva Inc., USA - Merouane Debbah, TII, UAE - Nirwan Ansari, New Jersey Institute of Technology, USA - Salil Kanhere, UNSW Sydney, Australia - Walid Saad, Virginia Tech, USA - Moayad Aloqaily, MBZUAI, UAE Honorary Chairs - Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain - Jose Luis Muñoz-Tapia, Universitat Politecnica de Catalunya, Spain General Co-Chairs - Christiancarmine Esposito, University of Salerno, Italy - Attila Kertész, University of Szeged, Hungary - Vlado Stankovski, University of Ljubljana, Slovenia Program Co-Chairs § Ammar Abasi, PolyAD, UAE § Venkatraman Balasubramanian, Arizona State University, USA --Regards, ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] PhD position in Computational Complexity for Neuromorphic Computing @ Liverpool [UK Only]

Dear Colleagues, We would like to bring to your attention a PhD studentship opportunity for the next academic year in the School of Computer Science and Informatics at the University of Liverpool. The project focuses on developing a theory of computational complexity for an emerging low-energy computing paradigm known as neuromorphic computation. Due to the project’s collaboration with a UK government organisation, eligibility is restricted to UK nationals. The position will remain open until filled; however, applications are strongly encouraged by the 10th May 2026 to ensure full consideration in the first selection round. Further details can be found here: https://www.findaphd.com/phds/project/a-theory-of-neuromorphic-computational-complexity/?p196435 Many thanks John Sylvester ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CCCG 2026 CFP — Submission Deadline Extended to May 8, 2026

Dear colleagues, We are pleased to announce that the submission deadline for CCCG 2026 has been extended. Updated important dates: Submission Deadline: April 30, 2026 May 8, 2026 Notification Date: June 6, 2026 Camera-Ready Deadline: June 30, 2026 Conference Dates: August 12–14, 2026 All deadlines are 23:59 Anywhere on Earth. The 38th Canadian Conference on Computational Geometry (CCCG 2026) will be held at Lakehead University in Orillia, Ontario, Canada, from August 12 to 14, 2026. Conference website: https://sites.google.com/view/cccg-2026 We warmly invite submissions and participation, and we would greatly appreciate it if you could share this updated announcement with interested colleagues and students. Best regards, Xing Tan on behalf of the CCCG 2026 organizing committee Xing Tan, Lakehead University, Orillia, Canada (General co-Chair) Shahin Kamali, York University, Toronto, Canada (General co-Chair) Thiago E. Alves de Oliveira, Lakehead University, Orillia, Canada (General co-Chair) Manfred Lau, Lakehead University, Orillia, Canada (Program co-Chair) Kevin (Kaiyu) Wu, Lakehead University, Thunder Bay, Canada (Program co-Chair) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CFP: International Conferences (IUCC, CIT, DSCI, IOI), UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this email] The 24th International Conference on Ubiquitous Computing and Communications (IUCC-2026) https://hpcn.exeter.ac.uk/iucc2026 The 24th International Conference on Computer and Information Technology (CIT-2026) https://hpcn.exeter.ac.uk/cit2026 The 8th International Conference on Data Science and Computational Intelligence (DSCI-2026) https://hpcn.exeter.ac.uk/dsci2026 The 6th International Conference on Internet of Intelligence (IOI-2026) https://hpcn.exeter.ac.uk/ioi2026 To be held in Exeter, UK, 26-28 October 2026 The conference is planned to be hosted in Exeter. Prospective authors are invited to submit papers. All accepted papers are expected to be included in IEEE Xplore and will be indexed by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference. IMPORTANT DATES =============== · Submission Deadline: 10 July 2026 · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference websites with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). Accepted will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] EXTENDED DEADLINE: GRADUATE SYMPOSIUM| DIAGRAMS 2026

*** *Extended deadline: **Graduate Symposium** for Diagrams 2026**** 15th International Conference on the Theory and Application of Diagrams August 24–28, 2026 Tallinn University of Technology, Tallinn, Estonia https://diagrams-conference.org/2026/ *** Highlights *** - Proceedings published by Springer - Graduate Symposium - Three Tracks: Main <https://diagrams-conference.org/2026/calls/main-track/>, Philosophy <https://diagrams-conference.org/2026/calls/philosophy-of-diagrams/>, and Psychology and Education <https://diagrams-conference.org/2026/calls/psychology-and-education/> - Best Paper and Best Student Paper awards ***************************************************************** The Diagrams conference provides a united forum for all researchers with an interest in the study of diagrams. The conference fosters multi-disciplinarity and allows researchers from areas such as computer science, mathematics, psychology, philosophy, history (of science, art, etc.), education research and more to meet and share their perspectives on the theory and application of diagrams. The goal of the Diagrams 2026 Graduate Symposium is twofold. Firstly, the Symposium will provide senior graduate students and recent Masters and Doctoral graduates with the opportunity to present their research. Established researchers will provide feedback and comments on each of the presentations. Secondly, the Symposium will provide students with an opportunity to network with each other as future colleagues. In previous Diagrams Graduate Symposiums, lively and useful discussions have enabled students to receive suggestions about their on-going research and allowed more experienced participants to hear some fresh ideas and view some of the new trends in the field. ***************************************************************** Submission Requirements Submissions that focus on any aspect of diagram research are welcome. Topics of interest are the same as those given in the calls for papers for the three conference tracks: Main, Philosophy, Psychology and Education. Students who wish to present their work at the symposium must submit a 3-page report describing – their thesis topic and the approach being taken, – the work that has been completed, – the expected contributions of the research, – any necessary acknowledgements (for example, supervision team and source funding) Students should be the sole authors of their submission, and the supervisor's name should be included in the acknowledgements section. *The report must be submitted in Springer LNCS format.* *Students who submit to the graduate symposium must ask their main or lead supervisor to submit a short supporting statement.* The supporting statement should confirm that the supervisor supports the student’s participation in the symposium and briefly explain why the student will benefit.It is the student’s responsibility to ensure that their supervisor submits the supporting statement. The supervisor's report should be sent to the Graduate Symposium Chair, *Nathan Haydon nhaydon@uwaterloo.ca .* Submission should be made via EasyChair: https://easychair.org/confer-ences/?conf=diagrams2026 *Grad Symposium Due Date: May 15, 2026Supervisor Report Due Date: May 22, 2026Notifications Sent: May 29, 2026* For questions, please contact the Graduate Symposium Chair, Nathan Haydon nhaydon@uwaterloo.ca. More details and important dates can be found at https://diagrams-conference.org/2026/calls-2/tutorials-2/ -- Publicity Chair, Diagrams Conference 2024 Reetu Bhattacharjee, PhD Department of Philosophy University of Münster ********************************************************** * * 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: Computational Fair Division Workshop @ IJCAI

Dear all, We are pleased to announce the Fourth Workshop on Computational Fair Division (CFD), co-located with the International Joint Conference on Artificial Intelligence (IJCAI) in Bremen, Germany, during August 15-21, 2026. CFD Website: https://sites.google.com/view/fairdivisionworkshop2026/ Submission link: https://openreview.net/group?id=ijcai.org/IJCAI-ECAI/2026/Workshop/CFD Important Dates — all dates are 11:59 pm, Anywhere on Earth (AoE) Submission Deadline: May 4, 2026 Notification of Acceptance: June 6, 2026 One-day workshop: August 15-17, 2026 Papers should be submitted in IJCAI format, with a 7-page limit (excluding references). There will be a 30-minute session for demonstrations of fair division applications. Submission Deadline for the demonstration is May 22, 2026 This workshop brings together computational fairness researchers from all walks of life; theoretical, empirical, and applied; to discuss how to apply fair division to the challenges of modern society. We invite submissions that push the boundaries of the state-of-the-art in computational fair division on a variety of topics, including: - Classic fair allocation of indivisible items - Resource allocation problems (e.g., cake cutting, house allocation, matching, or apportionment) - Constrained fair division - Uncertainty & distortion in fair division - Fair division in social networks - Budget allocation - Market design - Competitive/market equilibria - Combinatorial auctions or optimization with fairness consideration - Perceived fairness; fairness in collective decision-making - Proportional representation - Apportionment methods - Fair representation - Fairness in cooperative game theory - Incentives in fair division - Automated theorem proving/SAT solving approaches for fair division - Empirical analysis of resource allocation problems - Datasets for and tools demonstrating practical implementation of fair division algorithms - ML approaches to fair division (e.g., learned preferences or on-line procedures) - Cooperative AI, Agentic AI, and LLM approaches to fair division - Applications of fair division approaches to other algorithmic fairness problems (e.g. ranking, fair LLMs, etc) - Task allocation in multi-robotic systems Thank you, CFD-2026 organizers (contact.cfdworkshop@gmail.com) Arpita Biswas, Eva Deltl, Hadi Hosseini, Joshua Kavner, Sanjukta Roy, Šimon Schierreich, and Yair Zick ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP, deadline extension] SCML-2026 International Conference on Symbolic Computation and Machine Learning

======================================================================== SCML-2026: International Conference on Symbolic Computation and Machine Learning July 6-8, 2026, Hagenberg, Austria https://scml.risc.jku.at/conference-2026/ ======================================================================== Organized by the Research Institute for Symbolic Computation (RISC) as part of the RISC Summer 2026 jointly with the SCDDE 2026 workshop on Symbolic Computation and Differential and Difference Equations. EXTENDED DEADLINE May 11, 2026: FINAL DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS May 25, 2026: Last notifications of acceptance June 8, 2026: Deadline for registrations of presenters June 15, 2026: Deadline for registration of non-presenters July 6, 2026: Start of conference After the submission of an extended abstract, the notification of acceptance is sent out WITHIN TWO WEEKS. CALL FOR PRESENTATIONS The SCML-2026 conference is dedicated to all research that strives to combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two major approaches to "Artificial Intelligence", in particular to the application of ML to SC, the application of SC to ML, and the hybrid combination of SC and ML to solving problems. SCML-2026 provides ample space to exchange ideas and discuss recent approaches in this newly emerging research field. It presents, in particular, plenty of opportunities to discuss new research projects, form project consortia, and identify funding programs in this area. SCML-2026 is a "presentation-oriented" conference that solicits submissions in the form of extended abstracts (1-2 pages) which are only briefly reviewed with respect to their relevance to the topics of the conference. The abstracts of accepted presentations are collectively published as a "conference booklet" in the frame of the SCML publication forum. At least one author of an accepted abstract is required to register as a presenter at the conference. CALL FOR FULL PAPERS Furthermore, we explicitly encourage the SCML-2026 authors to also submit full papers related to their presentations to the SCML Publishing Forum https://scml.risc.jku.at/ where they are refereed according to the rules of the forum and, if accepted, published there. According to the "continuous call for papers" of the SCML publishing forum, papers can be submitted at any time before or after the conference (without deadline). However, the acceptance of a presentation at the SCML-2026 conference does not depend on the acceptance of a paper at the SCML publishing forum. On the other hand, if a paper accepted for the SCML publication forum is already presented at the SCML-2026 conference, we waive its presentation at a later SCML virtual workshop. TOPICS Examples of topics in the scope of SCML-2026 are: * Applying ML to computer mathematics, algebra, geometry; integrating ML into mathematical software systems. * Applying ML to automated reasoning, theorem proving, satisfiability solving; integrating ML into interactive and automated provers. * Applying ML to the synthesis of programs ("vibe coding") and their verification; integrating ML into program verification systems. * Applying SC to analyzing ML models ("explainable AI"), deriving error bounds, ensuring robustness, interpreting answers. * Applying SC to verifying ML models ("verified AI"), preventing errors and hallucinations. * Applying SC to synthesizing ML models with guaranteed error bounds, robustness, correctness properties. * Integrating SC capabilities (such as computer algebra and automated reasoning) into ML models. * Applying LLMs to the automatic formalization of mathematical/logical texts. * Applying LLMs as natural language interfaces to SC systems, integrating co-pilots into SC systems. * Combining linguistic reasoning (LLMs) and formal reasoning (theorem provers). * Combining LLMs and SC systems for education. * Teaching (for example, in mathematics) using a combination of SC and ML systems. * Software and system descriptions, datasets, benchmarks, and metrics related to the interplay of SC and ML. All in all, we consider submissions that explore the interaction between the two fields of SC and ML - not standalone works on either SC or ML. INVITED SPEAKERS (CONFIRMED) * Alex Best, Harmonic, Palo Alto, USA. * Bruno Buchberger, Johannes Kepler University Linz, Austria. * Martin Charles Golumbic, University of Haifa, Israel. * Cezary Kaliszyk, University of Melbourne, Australia. * Ido Kaminer, Technion - Israel Institute of Technology, Israel. * Hiroshi Kera, Chiba University, Japan. * Michael Kohlhase, FA-Universität Erlangen-Nürnberg, Germany. * Martina Seidl, Johannes Kepler University Linz, Austria. * Juan Esteban Suarez, Ludwig-Maximilians-Universität München, Germany * Josef Urban, Czech Technical University in Prague, Czech Republic. * Stephen Wolfram, Wolfram Research, USA. CONTACT Email: scml@risc.jku.at Web: https://scml.risc.jku.at/conference-2026/ Please consider subscribing to the SCML Mailing List https://scml.risc.jku.at/conference-2026/mailinglist/ in order to stay informed about the SCML-2026 conference. ======================================================================= ********************************************************** * * 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] WAIFI 2026 - Early registration deadline: May 17th

Dear colleagues, (apologies for multiple postings) ------------------------------------------ The “International Workshop on the Arithmetic of Finite Fields (WAIFI) 2026”, will be held in Santander, Spain, June 3-5, 2026. REGISTRATION: Registration information is now available at http://www.waifi.org/registration.html The early registration deadline is May 17, 2026. ACCEPTED PAPERS: The accepted papers are available at http://www.waifi.org/accepted_papers.html INVITED SPEAKERS, VENUE & ACCOMODATION: Information about Invited Speakers, Venue and Accomodation is available on the workshop website http://www.waifi.org . ------------------------------------------ Kind regards, José L. Imaña Complutense University, Madrid, Spain ********************************************************** * * 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]: IOI-2026, The 6th International Conference on Internet of Intelligence, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* IOI-2026 Call for Papers********************** The 6th International Conference on Internet of Intelligence (IOI-2026) https://hpcn.exeter.ac.uk/ioi2026 Exeter, UK, 26-28 October 2026 INTRODUCTION ============= The rapid evolution of Artificial Intelligence (AI), next-generation networking, edge/cloud computing, and smart devices is giving rise to a transformative paradigm: the Internet of Intelligence (IOI). In this paradigm, intelligence is no longer confined to isolated models or systems, but is distributed, connected, and continuously coordinated across humans, machines, networks, services, and applications. This transformation is enabling a broad range of emerging applications and industrial sectors, including smart manufacturing, autonomous transportation, digital healthcare, immersive communications, robotics, and cyber-physical systems. Data, models, knowledge, and intelligence generated across these interconnected ecosystems are becoming critical assets for improving system efficiency, service quality, resilience, adaptability, and user experience. However, how to effectively orchestrate, share, and trust intelligence over highly distributed and heterogeneous environments remains a fundamental research challenge. It has attracted growing interest from both academia and industry, yet significant innovations are still needed to realise a scalable, secure, efficient, and trustworthy Internet of Intelligence. IOI-2026 aims to address the key challenges and opportunities arising from distributed intelligence, dynamic networked systems, massive data-model collaboration, and increasingly diverse application demands. The conference provides a premier international forum for researchers, scientists, engineers, and practitioners from academia, industry, and government to exchange ideas, present breakthroughs, and discuss the latest advances and ongoing work on all aspects of the Internet of Intelligence. It seeks to foster interdisciplinary collaboration on theories, architectures, algorithms, systems, and applications that will shape the future of intelligent interconnected worlds. Prospective authors are invited to submit their papers to IOI-2026. All accepted papers will be submitted to IEEE Xplore and will be submitted for indexing by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: Track 1: Foundations and Architectures of Internet of Intelligence Track 2: Intelligent Communications, Networking and Systems Track 3: Trustworthy, Secure and Efficient Intelligence Track 4: Applications and Services for Internet of Intelligence PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/ioi/) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). Once accepted, the paper will be included into the conference proceedings published by Conference Publishing Services (submitted for indexing by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference. IMPORTANT DATES ================= · Submission Deadline: 10 July 2026 · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 For more information, please visit the conference website: https://hpcn.exeter.ac.uk/ioi2026 ********************************************************** * * 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] [WINE 2026] Call for Papers: The 22nd Conference on Web and Internet Economics

Dear Colleagues, The 22nd Conference on Web and Internet Economics (WINE 2026) will take place at The University of Hong Kong, Hong Kong, China, on December 1–4, 2026. Conference website: https://wine2026conf.github.io/ *Important Dates* Paper submission deadline: July 2, 2026, Anywhere on Earth Rebuttal period: August 17-20, 2026 Author notification: September 10, 2026 Camera ready: September 30, 2026 Conference: December 1–4, 2026 *General Chairs* Zhiyi Huang, The University of Hong Kong Minming Li, City University of Hong Kong *Program Committee Chairs* Simina Brânzei, Purdue University Ioannis Caragiannis, Aarhus University Jing Chen, Tsinghua University We welcome submissions in the area of Web and Internet Economics, including but not limited to the following topics: AI safety and alignment Auctions and pricing Automated market maker (AMM) Behavioral economics and behavioral modeling Blockchain governance and stakeholder voting Central bank digital currencies (CBDCs) Computational advertising Computational aspects of equilibria and solution concepts Computational social choice Coalitions, coordination, and collective action Decentralized finance (DeFi) Decision theory Economic and strategic aspects of machine learning models Fair division Game-theoretic analysis of blockchains and financial protocols Information design, including contest and contract design Information elicitation Learning in games and markets Market design Matching markets Mechanism design Network games Online platforms and applications Privacy, fairness, and security Revenue management Social efficiency of equilibria Social networks *FOCS, SAGT, and AFT Submissions* Authors with submissions under review at FOCS 2026, SAGT 2026, and AFT 2026 may simultaneously submit the same work to WINE 2026. However, if a submission is accepted to those conferences, the authors must promptly withdraw the corresponding submission from WINE 2026. The scheduled notification date of FOCS 2026 is July 3, that of SAGT 2026 is July 9, and that of AFT 2026 is July 15. The full call for papers can be found at https://wine2026conf.github.io/#call-for-papers Questions regarding the submissions can be directed to the Program Committee Chairs at wine2026chairs@gmail.com. Best regards, WINE2026 Local Organization ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] The 4th Workshop on Big Data and High-Performance Computing - BigHPC 2026

BigHPC 2026 The 4th Workshop on Big Data and High-Performance Computing Held in conjunction with Euro-Par 2026 August 24–25, 2026, Pisa, Italy https://bighpc2026.di.unipi.it Call for Papers The BigHPC 2026 Workshop represents a forum for researchers, practitioners, and industry experts working at the crossroads of High-Performance Computing (HPC), Big Data, Artificial Intelligence, and heterogeneous computing infrastructures. As data- and AI-driven workloads increasingly dominate modern computing, the traditional boundaries between HPC, cloud, and edge systems are rapidly dissolving. Future platforms must confront fundamental challenges such as data movement at scale, complex storage hierarchies, data locality, energy efficiency, and end-to-end performance optimization across highly heterogeneous environments. BigHPC 2026 aims to foster discussion on end-to-end data/AI/HPC pipelines, from algorithms and runtime systems to architectures and applications, with a strong emphasis on real-world systems, reproducible performance evaluation, and cross-layer integration. In addition to mature research contributions, the workshop explicitly encourages early-stage ideas, system reports, and industrial experience papers, providing a dynamic venue for exchanging novel concepts, lessons learned, and forward-looking visions. Topics of Interest Topics of interest include, but are not limited to: - HPC architectures and system software for big data and AI workloads - Parallel and distributed algorithms for data-intensive computing - High-performance storage systems, I/O stacks, and data placement strategies - Data locality, data gravity, and memory hierarchy challenges - Performance modeling, profiling, and optimization of data and AI pipelines - AI/ML systems on HPC platforms: distributed training, inference, and workflows - Integration of HPC with cloud and edge infrastructures - Workflow management and orchestration across heterogeneous environments - Energy efficiency, sustainability, and performance-per-watt in large-scale systems - Hybrid classical–quantum workflows and quantum approaches for data-intensive computing (where relevant) Submission Types BigHPC 2026 accepts two types of contributions: 1. Full Papers (10–12 pages, LNCS format) Original, unpublished research contributions Must not be under review elsewhere Accepted papers will be published in the Euro-Par 2026 Workshop Proceedings (Springer LNCS) Submissions must comply with LNCS formatting guidelines 2. Extended Abstracts – Paperless Contributions with Oral Presentation Work in progress, emerging ideas, system descriptions, or industrial experience May include previously published or ongoing work Extended abstracts (6–G pages) Accepted contributions will be presented at the workshop but will not appear in the LNCS proceedings Submission site: EasyChair https://easychair.org/conferences/?conf=europar2026workshops Important Dates (Anywhere on Earth – AoE) Full Paper Submission Deadline: May 15, 2026 Extended Abstract / Paperless Deadline: May 29, 2026 Author Notification: June 12, 2026 Late Extended Abstract Deadline: June 19, 2026 (fast-track review) Camera-Ready Deadline (full papers only): July 10, 2026 Workshop Dates: August 24–25, 2026 Organization Workshop Chairs Massimo Cafaro, University of Salento, Italy Beniamino Di Martino, University of Campania, Italy William Fornaciari, Politecnico di Milano, Italy Steering Committee Patrizio Dazzi (Chair), University of Pisa Marco Aldinucci, University of Turin Beniamino Di Martino, University of Campania William Fornaciari, Politecnico di Milano Marco Lapegna, University of Naples Rajaele Montella, University of Naples “Parthenope” Domenico Talia, University of Calabria Alessia Antelmi, University of Turin Emanuele Carlini, ISTI-CNR Program Committee Michele Amoretti (University of Parma) Mario Bifulco (University of Turin) Robert Birke (University of Turin) Alessandro Celestini (IAC-CNR) Claudio Cicconetti (IIT-CNR) Biagio Cosenza (University of Salerno) Daniele D’Agostino (University of Genova) Andrea D’Urbano (University of Salento) Daniele De Vinco (University of Salerno) Diana Di Luccio (University of Naples “Parthenope”) Italo Epicoco (University of Salento) Sandro Luigi Fiore (University of Trento) Roberto Giorgi (University of Siena) Flavio Lombardi (IAC-CNR) Jacopo Massa (University of Pisa) Doriana Medic (University of Turin) Diego Romano (ICAR-CNR) Marco Pulimeno (University of Salento) Luca Roversi (University of Turin) Fabrizio Silvestri (Sapienza University of Rome) Massimo Torquati (University of Pisa) Paolo Trunfio (University of Calabria) - ********************************************************************************************* Prof. Massimo Cafaro, Ph.D. Associate Professor of Parallel Algorithms and Data Mining/Machine Learning Head of the HPC (High Performance Computing) Lab Head of the AIMA Lab (Artificial Intelligence Models and Algorithms) Department of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web https://www.massimocafaro.it Web https://www.unisalento.it/people/massimo.cafaro E-mail massimo.cafaro@unisalento.it E-mail cafaro@ieee.org E-mail cafaro@acm.org INGV National Institute of Geophysics and Volcanology Via di Vigna Murata 605 Roma CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro@cmcc.it Weiler’s Law: Nothing is impossible for the man who doesn’t have to do it himself. ********************************************************************************************** -- ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [Last CFP] LODAS 2026 - Learning & Optimization for Distributed AI Systems @ FLICS 2026 (Valencia, June 9-12)

Dear colleagues, Apologies for any cross-posting. ====================================== *LAST CALL FOR PAPERS* LODAS 2026 - The 1st International Workshop on Learning and Optimization for Distributed AI Systems Co-located with FLICS 2026 (Valencia, Spain, June 9-12, 2026) Submission deadline (extended): *April 28, 2026 (FINAL - no further extensions)* Workshop website: https://jamaltoutouh.github.io/lodas2026/ Conference website: https://flics-conference.org/ ====================================== SCOPE ====================================== LODAS 2026 brings together researchers working at the intersection of learning and optimization for distributed AI systems, including edge, federated, and resource-constrained environments. Topics of interest include (but are not limited to): * Federated, distributed, and edge learning * Communication-efficient and resource-aware AI * Multi-objective and constrained optimization * Workflow scheduling and system-level optimization * Agentic AI and autonomous multi-agent systems * Foundation models under system constraints * Trustworthy, privacy-preserving, and robust AI * Cyber-physical systems, IoT, and digital twins ====================================== SUBMISSION INFORMATION ====================================== Submission via EasyChair (see workshop website) * Format: IEEE A4 conference template Paper types: * Long papers: 7–8 pages * Short/position papers: 4–6 pages * Poster papers (undergraduate): 1–2 pages ====================================== IMPORTANT DATES ====================================== * Submission deadline: April 28, 2026 (FINAL) * Notification: May 5, 2026 * Camera-ready & registration: May 15, 2026 * Workshop: June 9–12, 2026 (exact date TBA) ====================================== ORGANIZING COMMITTEE ====================================== * Jamal Toutouh – Uiversidad de Málaga, Spain (jamal@uma.es) * Gabriel Luque – Uiversidad de Málaga, Spain (gluque@uma.es) * Diego Daniel Pedroza-Perez – Uiversidad de Málaga, Spain (pedroza@uma.es) We strongly encourage you to submit your latest work. We would also appreciate it if you could share this call with interested colleagues. Best regards, LODAS 2026 Organizing Team https://jamaltoutouh.github.io/lodas2026/ ********************************************************** * * 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] Third CfP: Festschrift and Workshop in Honor of David Basin (Deadline extended to 11 June 2026)

Dear Fellow Researchers! Our dear colleague and friend David Basin is turning 65 in December 2026 and this has to be celebrated! We therefore organize a Festschrift and a Fest to celebrate his birthday and his extensive research contributions! The Fest/celebration itself will be held as a one-day event on the 15th of January 2027 at ETH Zürich. We have already checked that David is available. You do not have to keep it a secret - on the contrary, it is great if you share this message with anybody who might like to contribute! We hereby cordially invite you to contribute an article to the Festschrift and present it at the Fest. We welcome contributions in all areas close to David's research and interests, including but not limited to security, privacy, formal methods, logic, automated reasoning, model checking, theorem proving, software engineering, bridge, juggling, biking and more. The articles will be lightly reviewed by the Festschrift committee, and the proceedings will be **published by Springer Heidelberg in the LNCS series**. David will of course love to receive a research article from you, but also short personal articles that celebrate the history and friendship with David will be very much appreciated. We would like to set a deadline for submissions at the 21st of May 2026 via our submission site <https://easychair.org/conferences/?conf=feschi2027>. Articles should be formatted in Springer’s LNCS style and not exceed 5 pages for personal articles and 16 pages for scientific articles. If you have a work that you would like to contribute that does not fit into this page limit, it might be possible, but please reach out to us first. There will be no participation fee for the Fest and coffee breaks, lunch, and dinner will be included. Travel and accommodation costs are at the expense of the participants. We are happy to provide hotel suggestions for Zürich. Submission Information: * Format: 16 pages in LNCS format, templates available at: <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines> * Submission: <https://easychair.org/conferences/?conf=feschi2027> * Website (under construction) with updates and further information: <https://feschi2027.github.io/> * Timeline: * Submission: 11 June 2026 (extended) * Notification: end of June 2026 (to be confirmed) * Camera Ready Copy: early September 2026 (to be confirmed) Please let us know if you have any questions! Best wishes Achim D. Brucker (University of Exeter) Sebastian Mödersheim (Danmarks Tekniske Universitet) Christoph Sprenger (ETH Zürich) Luca Viganò (King’s College London) -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ********************************************************** * * 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]: DSCI-2026, The 8th International Conference on Data Science and Computational Intelligence, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* DSCI-2026 Call for Papers********************** *The 8th International Conference on Data Science and Computational Intelligence (DSCI-2026)* https://hpcn.exeter.ac.uk/dsci2026 *Exeter, UK, 26-28 October 2026* INTRODUCTION ============= DSCI-2026 is especially dedicated to the celebration of the 69th anniversary of Artificial Intelligence. Aiming at creating computers and computer software capacity of intelligent behaviour, many amusing achievements throughout the past 68 years' journey have been made, including the recent AlphaGo, a.k.a, the Deep Reinforcement Learning, an intelligent computer program that beat Lee Sedol, a 9-dan professional player in a five-game match of Go. Such a task was considered as an impossible mission in only a decade ago. As we enter the big data era, Web Intelligence has extended and made use of Artificial Intelligence for new products, services and frameworks that are empowered by the World Wide Web. DSCI-2026 aims to identify the challenging problems faced by the development of innovative knowledge and information systems, and to shape future research directions through the publication of high quality, theoretical and applied research outcomes. DSCI-2026 is going to highlight the advances in frontiers and applications of general areas such as big data, artificial intelligence, social computing, data mining, information retrieval, and machine learning. DSCI is uniquely placed to deliver fresh perspectives on data science. DSCI-2026 will be hosted in Exeter, the capital city of Devon and provides the county with a central base for education, medicine, religion, commerce and culture. The city is also home to the magnificent Exeter Cathedral, which dates back to Norman times. Exeter is also ideally placed to base a trip to branch out visiting places such as the famous Dartmoor National Park and the unspoilt beaches of the North and South Devon coastlines. Prospective authors are invited to submit their papers to DSCI-2026. All accepted papers will be submitted to IEEE Xplore and will be submitted for indexing by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: Track 1: Data Science Theory, Algorithms and Architectures Track 2: Data Science Applications Track 3: Computational Intelligence for Big Data Processing Track 4: Data Mining and Applications PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/dsci/) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). Once accepted, the paper will be included into the conference proceedings published by Conference Publishing Services (submitted for indexing by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference. IMPORTANT DATES ================= · Submission Deadline: 10 July 2026 · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 For more information, please visit the conference website: https://hpcn.exeter.ac.uk/dsci2026 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] 2nd Call for Papers - 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Cork, Ireland.

Apologies for multiple copies *** Call for Papers *** 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Cork, Ireland. https://time26.cnr.it/ Co-located with the 37th International Conference on Principles of Diagnosis and Resilient Systems (DX’26) TIME has been for more than twenty years the only yearly multidisciplinary international event dedicated to the topic of time in computer science. The purpose of the symposium is to bring together active researchers in different scientific fields involving temporal and spatio-temporal data, information and/or knowledge management. Such a concern arises in a number of different though often related research domains, namely Artificial Intelligence (both symbolic approaches based on explicit Logic or Constraint-based models, and numerical data-based approaches such as Deep Learning and Large Language Models), Databases and Data Mining, or System Specification and Verification. TIME 2026 is co-located with the 37th International Conference on Principles of Diagnosis and Resilient Systems (DX’26) and it will be from the 1st to the 3rd of September 2026 at the University College of Cork. More details about TIME and the previous editions of this symposium can be found via the following link: https://time-symposium.org/. **Topics of interest** - Temporal Specifications, Verification, Synthesis, Planning (Spatio-temporal representation and reasoning models including moving objects tracking, Temporal Logics for finite and infinite state system, Model checking with temporal issue, Runtime verification, Temporal constraint models and satisfiability, Action and change, Temporal Scheduling, Controller synthesis) - Diagnosis and Supervision of Real-Time systems (Timed Automata, Timed Petri nets, Timed Games) - Time in Machine Learning and Generative Artificial Intelligence (Neural networks, Deep/Reinforcement learning, LLMs and Natural Language Processing) - Notable aspects of time in agent- and policy-based systems (Multi-agent systems, Markov decision processes, agentic AI frameworks) - Temporal Data (sensing, discovery, mining, temporal databases and dedicated query languages, uncertain/indeterminate/imprecise temporal data, temporal data learning) - Temporal Graphs, Networks (Bayesian network, Neural networks,) - Event and Pattern recognition (including time series and temporal chronicles) The list above is by no means exhaustive, as the aim is to foster the debate around all aspects of time in automation. **Important dates** May 06, 2026: Abstract submission deadline May 11, 2026 Paper submission deadline June 22, 2026: Paper acceptance/rejection notification date July 24, 2026: Camera-ready submission deadline September 01–03, 2026: Symposium dates Note: all deadlines are AoE (Anywhere on Earth). **Submission guidelines** TIME 2026 accepts submissions in PDF format, formatted following the Open Access Series in Informatics (OASIcs https://drops.dagstuhl.de/entities/series/OASIcs#author) and preferably using LaTeX. TIME policy is single blind, so the names of the authors need not be hidden in the submitted draft. Members of the program committee are allowed to submit papers. Submitted papers will be refereed for quality, correctness, originality, and relevance to the symposium. At least one author of each accepted paper must register at the symposium and present the paper. We use EasyCshair throughout the submission and selection process. The webpage for submitting papers with all required information can be found here https://easychair.org/conferences/?conf=time2026 There are three types of submissions, and the authors are invited to specify under which one their paper lies: 1) Original papers (12 pages, excluding references and appendix): such papers describe original, non-published contributions. It includes theoretical (new algorithms, proofs, models) and applied (applications, system descriptions, evaluation) contributions. 2) Survey papers (12 pages, excluding references and appendix): such papers are intended to propose a short review of a complete domain of research. The proceedings of TIME will be published in the Open Access Series in Informatics (OASIcs). This is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. Finally, the authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in a high ranked journal; more details will be provided in due time. Please contact the program chairs for more information: AndreA Orlandini and Sophie Pinchinat Email: time2026@easychair.org ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] PhD Position in (Neuro-)Symbolic / Game ML

On-line version: https://www.jku.at/en/institute-for-application-oriented-knowledge-processing/about-us/open-positions/ # Doctoral Student in Computational Data Analytics We currently have an opening for a half-time university assistant (doctoral student for up to 4 years) at the Computational Data Analytics group of Prof. Johannes Fürnkranz. The position is announced as a half-time University assistant, but it can be upgraded to a full-time position. We are particularly interested in researchers who will strengthen our expertise in one or more of the following areas: * Machine Learning and Game Playing * Symbolic Machine Learning * Machine Learning and Logic * Inductive Rule Learning * Neurosymbolic AI ### How to Apply Prospective applicants interested are required to apply on-line. More detailed information, including a link to the application portal can be found here: https://karriere.jku.at/hcm/jobexchange/showJobOfferDetail.do?jobOfferId=8a7ec1e69cd732d5019cd88a020d077a&j=&organizationUnitId= The position is open until filled, a first deadline for applications is May 20th, 2026. If you have questions, please contact Johannes Fürnkranz (mailto:juffi@faw.jku.at). ********************************************************** * * 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] ADYN Summer School on Algorithms, Dynamics, and Information Flow in Networks (Moehnesee, Germany)

Dear all, on behalf of the DFG Research Unit ADYN we would like to inform you about our summer school. The summer school will take place at Hotel Haus Griese Seestraße 5 59519 Möhnesee Germany from the 1st of June until the 5th of June 2026. Everyone interested can register here: https://eac.cs.tu-dortmund.de/events-1/adyn-summerschool-2026/ You can find the list of lecturers as well as all current information on the linked website. We are looking forward to seeing many interested participants. Kind regards, the organisers Petra Berenbrink (Universität Hamburg) Amin Coja-Oghlan (TU Dortmund University) Martin Hoefer (RWTH Aachen University) Lukas Hintze (Universität Hamburg) Maurice Rolvien (Universität Hamburg) Olga Scheftelowitsch (TU Dortmund University) Kostas Zampetakis  (TU Dortmund University) Pavel Zakharov (TU Dortmund University) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Second Calls for Papers: 2nd Workshop on Machine Learning for Solvers and Provers

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you to submit your work to the 2nd Workshop on Machine Learning for Solvers and Provers (ML4SP)<https://ml4sp.github.io/>, organised as part of the 2026 Federated Logic Conference (FLoC 2026)<https://www.floc26.org/> at Lisbon, Portugal. The workshop will run during the first block of the conference, on July 18, 2026. Key dates: * Submission deadline: 15 May 2026 AoE * Result notification: 25 May 2026 * Camera ready: 2 July 2026 * Workshop day: 18 July 2026 Workshop website: https://ml4sp.github.io/ Machine learning (ML) has had a substantial impact on SAT/SMT and CP solvers, as well as automated theorem provers. Recent advances have demonstrated the power of ML to inform solver heuristics, guide proof search, and optimize algorithm portfolios. Despite growing interest in this direction, work on ML for solvers and provers is often scattered across multiple research communities – SAT, SMT, CP, theorem proving, formal methods, and machine learning – with few opportunities for focused interaction. The ML4SP workshop aims to bring together researchers and practitioners working at the intersection of machine learning and formal reasoning systems. It provides a forum for the presentation of recent work, the exchange of ideas, and the fostering of collaboration between these communities. Topics of interest include, but are not limited to, ML-driven approaches for: * Heuristics (branching, restarts, ...) in CP, SAT, SMT, and MIP solvers * Tactic selection and proof guidance in automated and interactive theorem provers * Algorithm selection, parameter tuning and algorithm configuration, and portfolio solvers * End-to-end learning for solvers and provers * Benchmark generation and instance hardness prediction * Applications of ML-enhanced reasoning in verification, synthesis, planning, and related areas * Leveraging large language models (LLMs) for solver heuristics and proof guidance We welcome submissions describing previously published work, ongoing research, and position papers and early-stage ideas intended to stimulate discussion. Submission should be in PDF form, following the LIPIcs guidelines<https://submission.dagstuhl.de/series/details/5#author>. They can be: * Extended abstracts (up to two pages, excluding references); or * Full papers (up to 15 pages, excluding references). All submissions will be reviewed by the PC members. A presentation time slot will be given to each accepted submission. Submission link: https://submissions.floc26.org/ml4sp/ Registration: please see FLoC’26 registration page<https://www.floc26.org/registration> Programme Committee Shaowei Cai, Chinese Academy of Sciences Quentin Cappart, Polytechnique Montréal Wuyang Chen, Simon Fraser University Pascal Fontaine, LORIA, INRIA, Université de Lorraine Guy Katz, The Hebrew University of Jerusalem Sean Holden, Cambridge University Mikoláš Janota, Czech Technical University Lars Kotthoff, University of St Andrews Peter Nightingale, University of York Martin Suda, Czech Technical University Dimos Tsouros, University of Western Macedonia Felix Ulrich-Oltean, University of York Vijay Ganesh, Georgia Institute of Technology Nguyen Dang, University of St Andrews We are very much looking forward to your submissions to the ML4SP workshop. We would be grateful if you could help distribute this call to interested colleagues and students. Best wishes, Vijay Ganesh, Georgia Tech, vganesh45@gatech.edu Nguyen Dang, University of St Andrews, nttd@st-andrews.ac.uk ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************