[DMANET] [Scheduling seminar] Alena Otto (TU Munich)| April 29 | Overcoming poor data quality: Optimizing validation of precedence relation data

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

[DMANET] FUN 2026 - Last call for participation

The 13th International Conference on Fun with Algorithms (FUN 2026) will be held in Island of Porquerolles, France, on May 18-22 2026, at Hôtel Club Igesa Porquerolles. FUN is a series of conferences dedicated to the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area. Fun is a notion that can be judged from different perspectives, and be defined in many different manners. The conference defines fun in a broad sense, including aspects such as elegance, simplicity, amusement, surprise, originality, etc. The topics of interest include all aspects of algorithm design and analysis, and of computational complexity, under all types of models. List of accepted papers: https://fun2026.limos.fr/accepted/ Late Full 900 € Student 750 € Registration closes on May 1st! Full registrations entitle you to accommodation (4 nights), all breakfasts (including Friday morning), all lunches, all diners (including Monday evening), social dinner, coffee breaks, social event, and an (electronic) copy of the proceedings. Student registrations provide the same benefits at a discounted price, but the registrant must be a student (i.e., M.Sc. or Ph.D. student) and proof of enrolment at an accredited institution will be required. To register, please fill up and submit the registration form<https://api.dsi.uca.fr/paybag/registration/form/event/FUN2026>. For any issue or question during the registration process, please contact anais.durand@uca.fr ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Postdoctoral Fellowship: Neural Networks and Tropical Geometry – Toulouse

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

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

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

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

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

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

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

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

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

[DMANET] EXTENDED DEADLINE: GRADUATE SYMPOSIUM| DIAGRAMS 2026

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

[DMANET] CFP: Computational Fair Division Workshop @ IJCAI

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

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

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

[DMANET] WAIFI 2026 - Early registration deadline: May 17th

Dear colleagues, (apologies for multiple postings) ------------------------------------------ The “International Workshop on the Arithmetic of Finite Fields (WAIFI) 2026”, will be held in Santander, Spain, June 3-5, 2026. REGISTRATION: Registration information is now available at http://www.waifi.org/registration.html The early registration deadline is May 17, 2026. ACCEPTED PAPERS: The accepted papers are available at http://www.waifi.org/accepted_papers.html INVITED SPEAKERS, VENUE & ACCOMODATION: Information about Invited Speakers, Venue and Accomodation is available on the workshop website http://www.waifi.org . ------------------------------------------ Kind regards, José L. Imaña Complutense University, Madrid, Spain ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: IOI-2026, The 6th International Conference on Internet of Intelligence, UK, 26-28 October 2026

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

[DMANET] [WINE 2026] Call for Papers: The 22nd Conference on Web and Internet Economics

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

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

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

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

Dear colleagues, Apologies for any cross-posting. ====================================== *LAST CALL FOR PAPERS* LODAS 2026 - The 1st International Workshop on Learning and Optimization for Distributed AI Systems Co-located with FLICS 2026 (Valencia, Spain, June 9-12, 2026) Submission deadline (extended): *April 28, 2026 (FINAL - no further extensions)* Workshop website: https://jamaltoutouh.github.io/lodas2026/ Conference website: https://flics-conference.org/ ====================================== SCOPE ====================================== LODAS 2026 brings together researchers working at the intersection of learning and optimization for distributed AI systems, including edge, federated, and resource-constrained environments. Topics of interest include (but are not limited to): * Federated, distributed, and edge learning * Communication-efficient and resource-aware AI * Multi-objective and constrained optimization * Workflow scheduling and system-level optimization * Agentic AI and autonomous multi-agent systems * Foundation models under system constraints * Trustworthy, privacy-preserving, and robust AI * Cyber-physical systems, IoT, and digital twins ====================================== SUBMISSION INFORMATION ====================================== Submission via EasyChair (see workshop website) * Format: IEEE A4 conference template Paper types: * Long papers: 7–8 pages * Short/position papers: 4–6 pages * Poster papers (undergraduate): 1–2 pages ====================================== IMPORTANT DATES ====================================== * Submission deadline: April 28, 2026 (FINAL) * Notification: May 5, 2026 * Camera-ready & registration: May 15, 2026 * Workshop: June 9–12, 2026 (exact date TBA) ====================================== ORGANIZING COMMITTEE ====================================== * Jamal Toutouh – Uiversidad de Málaga, Spain (jamal@uma.es) * Gabriel Luque – Uiversidad de Málaga, Spain (gluque@uma.es) * Diego Daniel Pedroza-Perez – Uiversidad de Málaga, Spain (pedroza@uma.es) We strongly encourage you to submit your latest work. We would also appreciate it if you could share this call with interested colleagues. Best regards, LODAS 2026 Organizing Team https://jamaltoutouh.github.io/lodas2026/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Third CfP: Festschrift and Workshop in Honor of David Basin (Deadline extended to 11 June 2026)

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

[DMANET] [CFP]: DSCI-2026, The 8th International Conference on Data Science and Computational Intelligence, UK, 26-28 October 2026

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

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

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

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

On-line version: https://www.jku.at/en/institute-for-application-oriented-knowledge-processing/about-us/open-positions/ # Doctoral Student in Computational Data Analytics We currently have an opening for a half-time university assistant (doctoral student for up to 4 years) at the Computational Data Analytics group of Prof. Johannes Fürnkranz. The position is announced as a half-time University assistant, but it can be upgraded to a full-time position. We are particularly interested in researchers who will strengthen our expertise in one or more of the following areas: * Machine Learning and Game Playing * Symbolic Machine Learning * Machine Learning and Logic * Inductive Rule Learning * Neurosymbolic AI ### How to Apply Prospective applicants interested are required to apply on-line. More detailed information, including a link to the application portal can be found here: https://karriere.jku.at/hcm/jobexchange/showJobOfferDetail.do?jobOfferId=8a7ec1e69cd732d5019cd88a020d077a&j=&organizationUnitId= The position is open until filled, a first deadline for applications is May 20th, 2026. If you have questions, please contact Johannes Fürnkranz (mailto:juffi@faw.jku.at). ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] ADYN Summer School on Algorithms, Dynamics, and Information Flow in Networks (Moehnesee, Germany)

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

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

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

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