[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/ * **********************************************************

[DMANET] FMEC 2026: The IEEE co-sponsored 11th International Conference on Fog and Mobile Edge Computing, 15 - 18 September 2026 | Abu Dhabi, UAE

[Apologies if you got multiple copies of this invitation] The 11th International Conference on Fog and Mobile Edge Computing (FMEC 2026) https://emergingtechnet.org/FMEC2026/ 15 - 18 September 2026 | Abu Dhabi, UAE Hybrid Event and Technically Co-Sponsored by IEEE UAE Section *FMEC 2026 CFP:* Cloud computing provides a large range of services and virtually unlimited available resources for users. New applications, such as virtual reality and smart building control, have emerged due to the large number of resources and services brought by cloud computing. However, the delay-sensitive applications face the problem of large latency, especially when several smart devices and objects are getting involved in human’s life such as the case of smart cities or Internet of Things. Therefore, cloud computing is unable to meet the requirements of low latency, location awareness, and mobility support. To solve this problem, researchers have introduced a trusted and dependable solution through the Fog and the Mobile Edge Computing (FMEC) to put the services and resources of the cloud closer to users, which facilitate the leveraging of available services and resources in the edge networks. By this, we are moving from the core (cloud data centers) to the edge of the network closer to the users. FMEC dependability is based on providing user centric service. The purpose of Fog and the Mobile Edge Computing is to run the heavy real-time applications at the network edge directly using the billions of connected mobile devices. Several features enable the Fog and the Mobile Edge Computing to be a perfect paradigm to the aforementioned purpose, which are the dense geographical deployment of servers, supporting mobility and the closeness to users. As in every new technology, some challenges face the vision of the Fog and the Mobile Edge Computing, which are the administrative policies and security concerns (i.e. secure data storage, secure computation, network security, data privacy, usage privacy, location privacy, etc). FMEC 2026 conference aims to investigate the opportunities and requirements for Mobile Edge Computing dominance. In addition, it seeks for novel contributions that help mitigate Mobile Edge Computing challenges. That is, the objective of FMEC 2026 is to provide a forum for scientists, engineers, and researchers to discuss and exchange new ideas, novel results and experience on all aspects of Fog and Mobile Edge Computing (FMEC). FMEC 2026 is Technically Co-Sponsored by IEEE Florida Section. Researchers are encouraged to submit original research contributions in all major areas, which include, but not limited to the following: - Fog and Mobile Edge Computing in unmanned aerial vehicle communications and applications - Fog and Mobile Edge Computing in mission-critical systems - Intelligent Transportation Systems - Edge-cloud computing architectures, frameworks and platforms - Edge-cloud networking and communication - Quality of Service (QoS) improvement techniques - Network virtualization for Edge-to-cloud systems - FMEC and IoT Data Communication Protocols - Industrial Fog and Mobile Edge Computing Applications - Mobile Cloud Computing Systems and Applications - FMEC in Environmental Sustainability - Trustworthy AI for Edge and Fog Computing - Security and Privacy in Fog and Mobile Edge Computing - Decentralized Data Management and Streaming Systems in FMEC - Data storage, processing, and management at FMEC platform - Federated learning and distributed machine learning in the fog and on the edge - 5G and fog/edge computing - Middleware and runtime systems for fog/edge infrastructures - Energy-efficient fog/edge computing - Edge/fog-to-cloud APIs and protocols - Mobility, connectivity, heterogeneity support for edge/fog services - Load balancing/scheduling in fog/edge computing - Crowdsourcing and establishing trust on data sources - Decision support systems for Edge-cloud computing - AI-based or data-driven orchestration of workflows in Edge computing - Automatic scheduling and deployment of workflows and services in Edge computing - Distributed management of Edge computing - Mechanisms and data structures for the governance of Edge computing - Interfaces, orchestration and optimization of the Networking-Computing continuum - In-network computing for the edge-cloud continuum - Novel programming models for Edge computing - Dynamic Edge/Fog environments - Automatic deployment and continuous dynamic composition of Edge services - Semantic annotation of Edge/Fog services - AI in Autonomous Urbanism *Submissions Guidelines and Proceedings* Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11" two-column format. All papers should be in PDF format, and submitted electronically at Paper Submission Link. A full paper can be up to 8 pages (including all figures, tables and references). Submitted papers must present original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines may be rejected without review. Also submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chair for further information or clarification. All submissions are peer-reviewed by at least three reviewers. Accepted papers will appear in the FMEC Proceeding, and be published by the IEEE Computer Society Conference Publishing Services and be submitted to IEEE Xplore for inclusion. Submitted papers must include original work, and must not be under consideration for another conference or journal. Submission of regular papers up to 8 pages and must follow the IEEE paper format. Please include up to 7 keywords, complete postal and email address, and fax and phone numbers of the corresponding author. Authors of accepted papers are expected to present their work at the conference. Submitted papers that are deemed of good quality but that could not be accepted as regular papers will be accepted as short papers. Length of short papers can be between 4 to 6 pages. *Important Dates:* - Paper Submission: *May 15, 2026* - Notification to Authors: July 10, 2026 - Camera Ready Submission: July 30, 2026 *Contact:* Please send any inquiry on FMEC to: emergingtechnetwork@gmail.com ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] PR-BGI Workshop @ICAPS 2026 - Call for Papers

======================================================================CALL FOR PAPERS ====================================================================== PLANNING AND REASONING ABOUT BELIEFS, GOALS, AND INTENTIONS (PR-BGI) Workshop @ ICAPS 2026 Location: Dublin, Ireland Date: 28 June 2026 Webpage: TBD ====================================================================== DESCRIPTION We invite submissions to the workshop on Planning and Reasoning about Beliefs, Goals, and Intentions (PR-BGI). This workshop focuses on enabling autonomous agents to effectively operate in shared environments alongside other agents and human. Modern autonomous systems, such as robots, delivery vehicles, and drones, must reason about the behaviour and expectations of others. In many scenarios, explicit communication is limited or unavailable, making it essential for agents to reason about others’ beliefs, goals, and intentions in order to coordinate and interact effectively. Research areas such as epistemic planning, goal recognition, intention recognition, and theory of mind provide principled approaches to this problem. However, these methods are often developed in isolation and face challenges in scalability, integration, and real-world deployment. This workshop aims to bring together researchers and practitioners to bridge the gap between methods for reasoning about other agents’ beliefs, goals, and intentions and the practical requirements of autonomous systems operating in shared environments. The focus is on understanding how planning-based and inference-based approaches can support interaction and coordination in realistic scenarios, and how real-world constraints, such as decentralization, limited communication, and human involvement, should inform future theoretical work. ====================================================================== TOPICS OF INTEREST Topics include, but are not limited to: - Epistemic planning - Reasoning about individual, group, and distributed beliefs - Goal recognition and intention recognition - Planning in multi-agent and human–agent settings - Decentralized and interaction-aware planning - Trade-offs between expressiveness, scalability, and deployability - Empirical evaluation, benchmarks, and real-world case studies We particularly encourage submissions that highlight practical challenges, design trade-offs, and lessons learned from real-world applications. ====================================================================== SUBMISSION GUIDELINES We invite the following types of submissions: - Full technical papers (up to 9 pages, excluding references) - Short technical papers (up to 5 pages, excluding references) - Position papers discussing open challenges, new perspectives, negative results, or practical experiences (up to 5 pages, excluding references) All submissions will be peer-reviewed based on relevance, quality, and their potential to stimulate discussion. We plan for accepted papers to be included in the archival workshop proceedings. At least one author of each accepted paper is expected to attend the workshop and present the work. Submission details, formatting instructions and submission link can be found in workshop webpage: TBD ====================================================================== IMPORTANT DATES - Paper Submission Deadline: May 18, 2026 - Notification of Acceptance: June 10, 2026 - Camera-Ready Deadline: July 10, 2026 - Workshop Date: 28 June 2026 ====================================================================== Organizing Committee: - Dr. Chenyuan Zhang (Monash University / University of Melbourne) - Dr. Guang Hu (University of Melbourne) - Dr. Alessandro Burigana (Free University of Bozen-Bolzano) - Dr. Francesco Fabiano (University of Oxford) - Prof. Tim Miller (University of Queensland) ********************************************************** * * 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]: ICA3PP-2026, The 26th International Conference on Algorithms and Architectures for Parallel Processing, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* ICA3PP-2026 Call for Papers********************** *The 26th International Conference on Algorithms and Architectures for Parallel Processing** (ICA3PP-2026) * https://hpcn.exeter.ac.uk/ica3pp2026/ *Exeter, UK, 26-28 October 2026* INTRODUCTION ============= ICA3PP-2026 is the 26th event in this prestigious series of conferences started in 1995 that are devoted to algorithms and architectures for parallel processing. ICA3PP is a famous event worldwide that covers many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. With the booming computing demands from every aspect of modern society, parallel processing has become increasingly critical and challenging. This conference provides a forum for academics and practitioners from all over the world to exchange ideas on improving the efficiency, performance, reliability, security and interoperability of computing systems and applications. ICA3PP-2026 will be held in Exeter, England, UK. The objective of ICA3PP 2026 is to bring together researchers and practitioners from academia, industry and governments to advance the theories and technologies in parallel and distributed computing. ICA3PP 2026 will focus on two broad areas of parallel and distributed computing, i.e. architectures, algorithms and networks, and systems and applications. ICA3PP-2026 is a CCF Rank-C conference. Accepted papers would be published by Springer and submitted to the EI database. Excellent papers with extension will be recommended for special issues in renowned journals. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: Track 1: Parallel and Distributed Architectures Track 2: Software Systems and Programming Models Track 3: Parallel and Distributed Algorithms and Applications Track 4: Service Dependability and Security in Distributed and Parallel Systems Track 5: Network Architectures and Algorithms Track 6: Big Data Management and Analysis Track 7: Internet of Things and Cyber-Physical-Social Computing Track 8: Performance Modeling and Evaluation PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/ica3pp/) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers will be selected based on their originality, significance, timeliness, relevance, and clarity of presentation. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Papers must be clearly presented in English in Springer LNCS Format <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>. Detailed formatting guidelines are available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . 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/ica3pp2026/ ********************************************************** * * 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 IEEE MSWiM Paris, Oct. 2026

======================================================================== CALL FOR PAPERS 28th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM' 26) Paris, France October 26- 30th 2026 http://mswimconf.com/ Paper Submission Deadline: June 1st, 2026 Notification: July 31st, 2026 Paper submission: https://edas.info/N34910 ======================================================================== Scope and Objectives MSWiM 2026 is the 28th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2026 will be held in Paris, France. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Topics of Interest Papers related to wireless and mobile network modeling, analysis, design, and simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: * Performance evaluation and modeling * Analytical Models * Simulation languages and tools for wireless systems * Wireless measurements tools and experiences * Formal methods for analysis of wireless systems * Correctness, survivability and reliability evaluation * Mobility modeling and management * Models and protocols for cognitive radio networks * Models and protocols for autonomic, or self-* networks * Capacity, coverage and connectivity modeling and analysis * Wireless network algorithms and protocols * Software Defined Network * Services for Smart City * Wireless PANs, LANs * Ad hoc and MESH networks * Vehicular Ad-hoc Networks (VANET) * Sensor and actuator networks * Delay Tolerant Networks * Integration of wired and wireless systems * Pervasive computing and emerging models * Wireless multimedia systems * QoS provisioning in wireless and mobile networks * Security and privacy of mobile/wireless systems * Algorithms and protocols for energy efficient operation and power control * Mobile applications, system software and algorithms * RF channel modeling and analysis * Design methodologies * Tools, prototypes and testbeds * Parallel and distributed simulation of wireless systems * Wireless Communication and Mobile Networking * Operating systems for mobile computations * Programming language support for mobility * Resource management techniques * Management of mobile object systems Paper Submission and Publication High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Short papers will be included in the technical program to complement mature results and foster discussion and exchange of novel ideas at an early stage. ============================================================================== Conference Dates: Paris, France, October 26-30, 2026 General Chair: Nawel Zangar, ESIEE, France Program Co-Chairs: Enrica Zola, Universitat Politècnica de Catalunya, Spain Peng Sun , Duke Kunshan University, China ********************************************************** * * 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] Numeration 2026, Nancy, June 1 - June 5, 2026 Third announcement - Registration deadline 4 May !

_*Registration deadline 4 May 2026 !*_ ==================================================     Numeration 2026, Nancy, June 1 - June 5, 2026 ================================================== Numeration 2026 is the 2026 edition of a series of events around numeration systems and substitution systems. The central themes of this conference include (but are not limited to): number theory, diophantine approximation, fractal geometry, substitutions, combinatorics on words, ergodic theory, dynamical systems, and theoretical computer science. *--  Conference website -- * https://numeration2026.sciencesconf.org/ *Abstracts of both the invited and contributed talks are already available on the website (link <https://numeration2026.sciencesconf.org/resource/page/id/4>).* The conference begins on Monday, June 1 at around 9 a.m., and the scientific program ends on Friday, June 5 at around 12:30 p.m. (12:30-2 p.m. lunch break, 2 p.m. official closing of the conference). *-- Invited speakers --* Michael Baake, Bielefeld University, Germany Ayreena Bakhtawar, Polish Academy of Sciences, Poland Colin Faverjon, University of Picardy Jules Verne, Amiens, France Lukas Spiegelhofer, Technical University of Leoben, Austria Manon Stipulanti, University of Liège, Belgium *-- Registration --* Registration fees : 110€ Student / 165€ Regular The registration fee includes conference fee, 5 lunches (Monday-Friday), all coffee breaks, the gala dinner and the touristic afternoon. *-- Important dates -- * ** Registration deadline : 4 May 2026* * Conference dates : 1-5 June 2026 *-- Scientific Committee -- * - Shigeki Akiyama, University of Tsukuba, Japan - Valérie Berthé, IRIF, France - Charlene Kalle, University of Leiden, Netherlands - Lingmin Liao, University of Wuhan, China - Edita Pelantová, Czech Technical University, Czech Republic - Michel Rigo, University of Liège, Belgium - Wolfgang Steiner, IRIF, France - Cathy Swaenepoel, University of Paris Cité, France - Jörg Thuswaldner, Technical University of Leoben, Austria *-- Organizing Committee* (Contact : thomas.stoll@univ-lorraine.fr) *-- * - Cécile Dartyge (IECL, University of Lorraine, France) - Damien Jamet (LORIA, University of Lorraine, France) - Manfred Madritsch (Technical University of Leoben, Austria) - Thomas Stoll (IECL, University of Lorraine, France) *-- Past editions -- * The previous "Numeration" conferences have been in: - Tsukuba (2025) - Utrecht (2024) - Liège (2023, 2011) - Vienna (2019) - Paris (2018) - Rome (2017) - Prague (2016, 2008) - Nancy (2015) - Debrecen (2014) - Kyoto (2012) - Leiden (2010) - Marseille (2009) - Graz (2007) - Grenoble (2005) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Papers - IEEE 24th International Symposium on Network Computing and Applications (NCA 2026)

Call for Papers ====================================================================== The 24th IEEE International Symposium on Network Computing and Applications (NCA 2026) November 10-13, 2026, Ortigia-Syracuse (Sicily), Italy https://www.nca-ieee.org/2026/ Accepted papers will be included in the conference proceedings. The proceedings will be submitted for inclusion in IEEE Xplore. ======================================================================== About NCA The IEEE International Symposium on Network Computing and Applications is a successful series of conferences that serves as a large international forum for presenting and sharing recent research results and technological developments in the fields of network and distributed computing. Topics of interest include but are not limited to: l Network Architectures & Protocols l Routing Mechanisms l Distributed Systems & Platforms l Cloud, Edge, Computing Continuum l Future Internet and Internet of Things l Content Delivery Network (CDN) l Network Softwarization & Virtualization l Autonomic & Self-Networked Systems l Performance, QoS & Energy Efficiency l Security, Privacy & Dependability l Blockchain l Social Networks l Data/AI for Networked and Distributed Systems l Applications, Prototypes & Experiences l Mobile Ad-Hoc Networks (MANETs) l Distributed Quantum Computing Important dates NCA 2026 welcomes contributions as regular, demo, or poster manuscripts. Further formatting requirements and page limits are clarified later. All the deadlines are Anywhere on Earth (AoE). l Regular manuscripts due: June 19, 2026 l Demo/poster manuscripts due: July 24, 2026 l Author notification (for all manuscripts): September 11, 2026 l Camera-ready submission (for all manuscripts): September 25, 2026 Submission Guidelines Authors are invited to submit papers describing original, previously unpublished work not currently under review by any other conference, workshop, or journal. Manuscripts must be formatted using the two-column IEEE conference proceedings template. Paper submissions are handled via EDAS (the system is being finalized). Double-blind peer review process Papers following formatting requirements will be peer reviewed by at least three reviewers selected from the Technical Program Committee. For regular papers, NCA 2026 applies a double-blind peer review process. Authors are expected to anonymize their manuscripts. The submission must not reveal the authors’ identities anywhere in the text, whether explicitly or implicitly. When citing prior work that is their own, authors should describe it in the third person, as though it were produced by others. At the same time, anonymization should not compromise the paper’s integrity: do not remove relevant references solely because they are self-citations, since reviewers may need those works to assess context and novelty. Papers that fail to comply with these anonymization requirements will be rejected without review. Manuscripts page limit Page limits include all figures, tables, and references. l Regular Papers: 8 pages, up to 2 extra pages (under payment of an extra per-page fee of 100€) l Poster/Demo Papers: 2 pages, no extra pages allowed NCA 2026 is an in-person event The conference will be in-person and no virtual or remote presentations will be permitted. Authors of accepted papers are responsible to obtain an Italian visa, if required, in a timely manner so as to meet the above expectation. Accepted papers must be presented in person by one of the authors under full registration. Failure to meet this requirement will result in the exclusion of the paper from the final proceedings. All presented papers will be published in the conference proceedings and submitted to the IEEEXplore Digital Library. For further information, please consult the Website at https://www.nca-ieee.org/2026/ Best paper award and editorial follow-ups The authors of the best paper will receive an award in recognition of their contribution to the field. Substantially extended versions of selected high-quality papers accepted to the main conference will be considered for publication in a high-quality (Q1) Journal (to be defined). General Co-Chairs Antonio Puliafito<mailto:antonio.puliafito@unime.it> (University of Messina) Om Prakash Vyas<mailto:director@iiitnr.edu.in> (IIT Raipur) Technical Program Committee Co-Chairs Maurizio Giacobbe<mailto:mgiacobbe@unime.it> (University of Messina) Carlo Puliafito<mailto:carlo.puliafito@unipi.it> (University of Pisa) For any questions about the conference, please contact the TPC Co-Chairs. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: CIT-2026, The 24th International Conference on Computer and Information Technology, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* CIT-2026 Call for Papers********************** The 24th International Conference on Computer and Information Technology (CIT-2026) https://hpcn.exeter.ac.uk/cit2026 Exeter, UK, 26-28 October 2026 INTRODUCTION ============= CIT-2026 is the 24th edition of the highly successful International Conference on Computer and Information Technology. The goal of the conference is to provide a forum for scientists, engineers and researchers to discuss and exchange novel ideas, results, experiences and work-in-process on all aspects of computer and information technology. CIT has become a major platform for researchers and industry practitioners from different fields of computer and information technology. Each year, CIT attendees appreciate and benefit from multidisciplinary exchanges in computer and information technology. In previous years, CIT has attracted many high quality research papers spanning over the various aspects of information technology, computing science and computer engineering. These papers highlight foundational work that strives to push beyond limits of existing computer technologies, including experimental efforts, innovative systems, and investigations that identify weaknesses in existing IT services. CIT-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 CIT-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: Computer Science Track 2: Information Technology Track 3: Networking and Communications Track 4: Information Security PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/cit/) 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/cit2026 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: IUCC-2026, The 24th International Conference on Ubiquitous Computing and Communications, UK, 26-28 October 2026

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

[DMANET] Rolf Fest 2026 @ Jena

Rolf Fest 2026: A celebration of Rolf Niedermeier, his legacy, and his "Invitation to Fixed-Parameter Algorithms" Date: July 21, 2026 Location: Friedrich Schiller University Jena, Germany Website: https://www.fmi.uni-jena.de/en/41272/rolf-fest On the occasion of Rolf Niedermeier's 60th birthday and the 20th anniversary of the publication of his seminal book "Invitation to Fixed-Parameter Algorithms" we will hold a symposium on the past, present, and future of parameterized algorithmics. Apart from having shaped the field since its early days, Rolf contributed to and initiated the interaction of parameterized algorithmics with many other areas of computer science including algorithm engineering, computational biology, computational social choice, data reduction, scheduling, string algorithms, and temporal graphs. Before eventually moving to TU Berlin, Rolf spent six years, from 2004 to 2010, at the University of Jena as head of the Chair of Theoretical Informatics. During that time, his book was published and parameterized algorithmics experienced a rapid growth. Jena is therefore a fitting place to gather and reflect on Rolf's legacy, the development of the last 20 years, and the future of the field. Everybody interested is invited to join. If you would like to do so, please contact us at rolf-fest@listserv.uni-jena.de In case you are interested in giving a talk on a topic related to the theme of the symposium, please let us know by May 31. Organizing Committee Matthias Bentert (TU Berlin) Rolf Bredereck (TU Clausthal) Jiehua Chen (TU Wien) Leon Kellerhals (TU Clausthal) Christian Komusiewicz (Friedrich Schiller University Jena) André Nichterlein (TU Berlin) Manuel Sorge (TU Wien) ********************************************************** * * 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] HYPER 2026: Call for Presentations -- 5th Workshop on Hyperproperties (FLoC, Lisbon)

================================================================ Call for Presentations 5th Workshop on Hyperproperties: Advances in Theory and Applications (HYPER 2026) July 24, 2026 -- Lisbon, Portugal Co-located with the Federated Logic Conference (FLoC 2026) https://hyperworkshop26.cispa.io/ ================================================================ === About the workshop === Hyperproperties have become a widely used formalism for expressing system properties such as information-flow policies, symmetry in hardware design, linearizability in concurrent systems, robustness in cyber-physical systems, and properties of learning-enabled systems. This workshop brings together researchers from the formal methods, security, concurrency, and cyber-physical systems communities to present and discuss recent advances in specifying and analyzing hyperproperties. === Important dates === All deadlines are Anywhere on Earth (AoE). Submission deadline: May 4, 2026 Author notification: May 14, 2026 Workshop: July 24, 2026 === Topics === Topics for presentations include, but are not limited to: * Specification formalisms for hyperproperties * Algorithms for verification, synthesis, and runtime verification of hyperproperties * Information-flow control * Privacy * Fairness * Causality * Robustness * Explainability * Stability * Linearizability === Submissions === Presentation proposals should be submitted as extended abstracts of up to 3 pages in LNCS format, excluding references, via HotCRP: https://submissions.floc26.org/hyper/ Submissions may overlap with previously published work and will be judged on their relevance to the topic of the workshop. The review process is single-blind; submissions need not be anonymized. The workshop will not have formal proceedings. === Confirmed invited speakers === * Steve Kremer -- Inria Centre at Universite de Lorraine, France * Andrew C. Myers -- Cornell University, USA * Cesar Sanchez -- IMDEA Software Institute, Spain Additional invited speaker(s) may be announced on the workshop website. === Organizers === * Hadar Frenkel -- Bar-Ilan University, Israel * Ana Oliveira da Costa -- ISTA, Austria * N. Ege Sarac -- CISPA, Germany * Clara Schneidewind -- MPI-SP, Germany We look forward to your contributions! -- Hadar, Ana, Ege, and Clara ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [Call for Workshops] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning

# Aim and Scope ***The 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026)*** will be held in Klagenfurt, Austria, between the 7th and the 11th of September, 2026. The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics. Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs. # Important Dates Workshop proposals submissions: May 7th, 2026 Workshop proposals notifications: May 17th, 2026 Workshop program: September 7th, 2026 (tentative date) #Submission Proposals should clearly specify the following: - Workshop title and acronym - A brief description, emphasizing why this workshop would appeal to audiences from LPNMR - A list of organizers with email addresses, web page URLs, and a short description of their experience in organizing events - A short description of the format of planned activities (talks, posters, panels, invited speakers if any, etc.) - The proposed duration (half day, one day, etc.) - A description of the history of the workshop (if any) - Expected number of participants The proposal must be submitted via email to the Workshop Chairs (see below): # Contacts For any details on workshops, please contact the Workshop Chairs: Joaquín Arias (joaquin.arias@urjc.es) and Jorge Fandinno ( jfandinno@unomaha.edu) -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000> ********************************************************** * * 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] GACLM 2026 CFP: IEEE co-sponsored 3rd International Generative AI and Computational Language Modelling Conference, 15 - 18 September 2026 | Abu Dhabi, UAE

[Apologies if you got multiple copies of this invitation] The 3rd International Generative AI and Computational Language Modelling Conference (GACLM 2026) https://gaclm.org/2026/index.php 15 - 18 September 2026 | Abu Dhabi, UAE Hybrid Event and Technically Co-Sponsored by IEEE UAE Section *GACLM 2026 CFP:* With the emergence of Generative AI (GenAI), the world is experiencing a new era of generative models producing various types of data, including textual and visual data. This is accompanied by the unprecedented advancement of Computational Language Modeling (CLM) techniques that are supporting a wide range of downstream applications. Both Generative AI and Computational Language Modeling are leading the paradigm shift we are witnessing in Artificial Intelligence. The International Generative AI and Computational Language Modeling Conference (GACLM) addresses the architectures, applications, challenges, approaches, and future directions of this new era of Artificial Intelligence systems based on GenAI and CLM. We invite the submission of original papers on all topics related to GACLM, with special interest in, but not limited to, the following: · Human-Centered Generative AI · Natural Language Processing (NLP) · Large Language Models (LLMs) · Text generation, summarization, and question answering · Sentiment analysis, misinformation detection, and emotion detection · Machine translation and multilingual models · Language comprehension, grammar and style checking, and complex reasoning · Document processing and information retrieval · Computer-Assisted Language Learning · Adversarial machine learning and applications · Generative adversarial networks (GANs) · GenAI and diffusion models · Federated and distributed learning for GenAI · Fine-tuning and retrieval-augmented generation (RAG) · Synthetic data generation and data augmentation · Explainable AI (XAI) and trustworthy AI systems · GenAI in healthcare, education, robotics, and smart cities · GenAI for cybersecurity and Internet of Things (IoT) systems · GenAI for sustainability and human good · Computer vision, creative applications, and video generation · GenAI ethics and governance *Submissions Guidelines and Proceedings* Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11" two-column format. All papers should be in PDF format, and submitted electronically at Paper Submission Link. A full paper can be up to 8 pages (including all figures, tables and references). Submitted papers must present original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines may be rejected without review. Also submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chair for further information or clarification. All submissions are peer-reviewed by at least three reviewers. Accepted papers will appear in the GACLM Proceeding, and be published by the IEEE Computer Society Conference Publishing Services and be submitted to IEEE Xplore for inclusion. *Important Dates:* - Paper Submission: *May 15, 2026* - Notification to Authors: July 10, 2026 - Camera Ready Submission: July 30, 2026 *Contact:* Please send any inquiry on GACLM to: info@gaclm.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] 3rd Copenhagen School of Stochastic Programming August 19-21

Dear colleagues, Please forward the following message to potentially interested PhD students. The 3rd Copenhagen School of Stochastic Programming will take place at the University of Copenhagen from August 19th to August 21st, 2026. The PhD School provides an introduction to Stochastic Programming given by leading experts on the subject. Participants have the possibility of earning 2 ECTS upon successful completion of the course. Confirmed lecturers: * Ward Romeijnders (University of Groningen) * Stein Wallace (Norwegian School of Economics) * Milos Kopa (Charles University in Prague) * Miguel Lejeune (The George Washington University) For registration and more information visit https://www.math.ku.dk/english/calendar/events/cssp_3/ or contact the organizers: * Giovanni Pantuso: gp@math.ku.dk * Trine Boomsma: trine@math.ku.dk ********************************************************** * * 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] 31st British Combinatorial Conference 2026 - in the Land of Dragons (Cardiff, Wales)

31st British Combinatorial Conference 2026 - in the Land of Dragons (Cardiff, Wales) CALL FOR PARTICIPATION 31st British Combinatorial Conference Monday, 6 July – Friday, 10 July 2026 Cardiff University, Cardiff, Wales Conference website: https://sites.google.com/view/bcc2026/home ABOUT The British Combinatorial Conference (BCC) is held every two years at a UK university. It features nine plenary speakers, covering a broad range of topics in combinatorial mathematics, alongside several mini-symposia on more specialised topics, and contributed talks. The conference also traditionally includes a social programme, such as a music concert. Mini-symposia: * Additive combinatorics * Combinatorial designs and algebraic combinatorics * Combinatorial optimisation * Extremal combinatorics * Matroids and combinatorial geometry * Probabilistic combinatorics IMPORTANT DATES Submission deadline: May 10, 2026 Early registration deadline: May 17, 2026 Registration deadline: June 14, 2026 REMARKS The registration fee covers, in particular, coffee breaks and lunches. Accommodation is not included. A limited number of reasonably priced rooms in university residences are available to book via the conference registration page. ********************************************************** * * 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, SISAP 2026: 19th Int. Conf. on Similarity Search and Applications

============================================================================ ==== 19th International Conference on Similarity Search and Applications, SISAP 2026 October 14-16, 2026, Brno, Czech Republic CORE Rank B conference, https://www.sisap.org/2026/ Topics in brief: Learned Similarity, Embeddings, Vector Databases, Scalable Retrieval, Multimedia and Multimodality, Similarity Models and Theory, Demos and Applications ============================================================================ ==== **Important Dates** Regular paper deadline: May 29, 2026 Demonstration and Doctoral Symposium paper deadline: June 17, 2026 SISAP Indexing Challenge: June 17, 2026 **Scope** The International Conference on Similarity Search and Applications (SISAP) focuses on research in similarity-based data management and retrieval, with emphasis on embedding-based methods, vector databases, and machine-learning-driven similarity search. SISAP covers similarity models, indexing and query processing, scalable and distributed similarity systems, learned and adaptive techniques, and similarity-aware database architectures supporting high-dimensional and multimodal data. Originating from metric indexing research, SISAP is the only international conference dedicated exclusively to similarity search, spanning theory, systems, evaluation, and applications across data management, information retrieval, and machine learning. **Topics of Interest** The SISAP conference solicits original research contributions on similarity search and its applications. Topics of interest include, but are not limited to: Similarity Models and Theory . Models of similarity and dissimilarity in metric and non-metric spaces . Intrinsic dimensionality, concentration phenomena, hubness, and discriminability . Manifolds, embeddings, and geometric properties of similarity spaces . Theoretical foundations and limits of similarity search and indexing Learning and Representations . Feature extraction and representation learning for similarity search . Metric learning and learned similarity measures . Embeddings from self-supervised and foundation models . Multimodal and cross-modal similarity representations Similarity Queries and Processing . Similarity queries and operators (k-NN, range, reverse NN, top-k, diversity queries) . Exact, approximate, and probabilistic similarity search . Similarity joins, ranking, filtering, and aggregation . Query semantics and languages for similarity-based data . Cross-modal similarity search Indexing and Scalable Systems . Indexing and access methods for similarity search . Graph-based, tree-based, hashing, quantization, and hybrid approaches . Learned and adaptive index structures . Parallel, distributed, and GPU-accelerated similarity processing . Dynamic, streaming, and update-aware similarity systems Similarity-Aware Data Management . Similarity search in database and data management systems . Vector databases and similarity-native storage engines . Query optimization and execution for similarity workloads . Integration of similarity search with relational, graph, and hybrid systems . Cloud-native and large-scale similarity services Evaluation and Benchmarks . Evaluation methodologies and cost models for similarity processing . Benchmark datasets, workloads, and experimental frameworks . Accuracy-efficiency trade-offs and reproducibility Applications . Similarity search in multimedia, scientific, industrial, and emerging data domains . Similarity search in healthcare, sports, robotics, security, and other fields . Dense retrieval and semantic search . Recommendation systems and personalization . Search and question-answering within content collections ============================================================================ ==== **Regular Papers** Full papers (from 9 to 14 pages in Springer LNCS format) are expected to be descriptions of complete technical work, whereas short papers (of up to 8 pages) can describe innovative approaches or preliminary results which may nevertheless require more work to mature. Vision papers and other position papers should be submitted as short research papers. Page limits include references. Any appendices, if needed, can only be posted online, and the reviewers are not expected to take them into account. **Demonstration Papers** Demonstration papers (of up to 8 pages in Springer LNCS format) should provide the motivation for the demonstrated concepts, the information about the technology and the system to be demonstrated, and should state the significance of the contribution. Evaluation criteria for the demonstration proposals include: novelty, technical advances and challenges, and the overall practical attractiveness of the demonstrated system. A demonstration submission consists of a paper and an additional 1-page appendix (in PDF format) that illustrates how the demo will be conducted on-site at SISAP. This additional content will not be published in the conference proceedings, should the submission be accepted. **Doctoral Symposium Papers** A submission to the doctoral symposium consists of a paper and an additional 1-page appendix (both in PDF format), which must be single-author and written by the student alone. The paper should be no longer than 6 pages in Springer LNCS format (plus up to 2 pages of references). The paper must describe the problem being addressed, an outline of the planned methodology, contributions made so far, and the work lying ahead as part of the author's PhD study. The additional 1-page appendix will not be published in the conference proceedings, should the submission be accepted. This appendix should describe the benefits that would be obtained by attending the doctoral symposium, namely the student's motivation to attend SISAP, and their advisor's word on how the student would benefit by attending the Doctoral Symposium. ============================================================================ ==== **SISAP Indexing Challenge** SISAP Indexing Challenge is an event for researchers and practitioners aimed at advancing the state-of-the-art in large-scale similarity data management. The challenge provides a platform to showcase innovative solutions and push the boundaries of efficiency and effectiveness in indexing, filtering, and searching. The results provide valuable comparisons of competing approaches and their implementations from given viewpoints and environments. It is expected that participants prepare a detailed report of their solution and results in a typical SISAP's short-paper format, which will be included in the LNCS proceedings of SISAP 2026. Learn more: https://www.sisap.org/2026/indexingchallenge.html ============================================================================ ==== Dr. Vasileios Mezaris Research Director Head of Intelligent Digital Transformation Laboratory Information Technologies Institute (ITI) Centre for Research and Technology Hellas (CERTH) 6th Km Charilaou-Thermi Road P.O. Box 60361, 57001 Thermi-Thessaloniki, Greece Tel: +30 2311 257770, email: bmezaris@iti.gr web: <http://www.iti.gr/~bmezaris> http://www.iti.gr/~bmezaris CONFIDENTIALITY NOTICE: The information in this email and any attachments thereto are confidential, except where the e-mail specifically states that its contents can be disclosed, and is intended solely for the use of its intended recipient(s). It may also be subject to legal privilege or otherwise protected from disclosure. If you are not the intended recipient of this communication, you are hereby notified that any disclosure, copying, distribution, or use of the information contained in or attached to this e-mail is strictly prohibited. Please refrain from disclosing its contents to any third party, but notify the sender immediately and make sure to delete and permanently destroy the e-mail (including any attachments thereto) from your filing systems. Internet communications are not secure and therefore sender/CERTH does not accept any liability for the contents of this message and for any damage whatsoever that may be caused by viruses. ********************************************************** * * 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] HALG 2026 in Stockholm - early registration ends May 4

Dear colleagues, Registration is now open for the 11th IGAFIT Highlights of Algorithms Conference (HALG 2026) Stockholm, June 8–10, 2026 https://2026.highlightsofalgorithms.org/index.html Early registration ends May 4th, 2026, Stockholm time. Students: 1600 SEK (around 150 Euro). Non-students: 2300 SEK (around 210 Euro). Student rates are only valid for: PhD students, Bachelor's- and Master's degree students. Registration includes lunch vouchers all three days of the conference, coffee breaks with pastries, and sandwiches. The IGAFIT Highlights of Algorithms (HALG) conference is a forum for presenting highlights of recent developments in algorithms and for discussing potential further advances in the area. The conference will provide a broad picture of the latest research in algorithms through a series of invited talks, as well as opportunities for researchers and students to present their recent results through short talks and poster presentations. Attending HALG 2026 will also provide opportunities for networking and meeting leading researchers in algorithms. We have an amazing list of invited survey and paper speakers (see homepage). Cheers, Ioana Bercea (KTH Royal Institute of Technology) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for papers - ICFNDS 2026

CALL FOR PAPERS The <https://dl.acm.org/conference/icfnds> 10th International Conference on Future Networks & Distributed Systems Shaping the Next Era of Intelligent Connectivity and Distributed Intelligence The Premier Conference on Smart Next-Generation Networking Technologies July 27 - 29, 2026, Bodrum, Turkey Hybrid Conference The 10th International Conference on Future Networks and Distributed Systems (ICFNDS) <https://dl.acm.org/conference/icfnds> serves as a premier international forum for researchers, academics, industry professionals, and practitioners to present and discuss the latest innovations, trends, challenges, and solutions in the fields of future networks and distributed systems. As digital infrastructures continue to evolve rapidly, the conference highlights the growing importance of intelligent, scalable, secure, and resilient networked systems that support emerging applications across industry, government, healthcare, smart cities, transportation, and beyond. ICFNDS 2026 aims to bring together a diverse global community to exchange ideas on both theoretical advances and practical implementations, covering a wide spectrum of topics ranging from core networking technologies and distributed computing architectures to cutting-edge paradigms such as AI-driven networking, edge-cloud continuum, 6G, IoT ecosystems, cyber-physical systems, blockchain-enabled infrastructures, network security, and trustworthy distributed intelligence. The conference welcomes original, high-quality, and unpublished research contributions addressing fundamental challenges, novel methodologies, experimental studies, prototype implementations, and real-world industrial experiences. By fostering collaboration between academia and industry, ICFNDS 2026 seeks to accelerate innovation and shape the future of interconnected and distributed digital systems. As the conference celebrates its 10th edition, ICFNDS 2026 provides a unique opportunity to reflect on the progress made in the field while exploring new directions for next-generation networked and distributed environments that are more adaptive, efficient, sustainable, and human-centered. Important Dates - Final Paper Submission: May 31, 2026 - Notification of Acceptance: June 25, 2026 - Camera Ready Paper: July 10, 2026 - Authors Registration: July 15, 2026 - Conference Date: July 27 – 29, 2026 [image: ACM_ICFNDS_2026_CFP.png] Abdulrezzak Zekiye <https://mysite.ku.edu.tr/azakieh22/> Ph.D. Candidate in Computer Engineering, Koç University. *Researching the usage of blockchain and federated learning in the Internet of Energy field.* Google Scholar <https://scholar.google.com/citations?hl=en&user=qyfAhNAAAAAJ> | ResearchGate <https://www.researchgate.net/profile/Abdulrezzak-Zekiye>| LinkedIn <https://www.linkedin.com/in/abdulrazak-zakieh/> ********************************************************** * * 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/ * **********************************************************