[DMANET] [Call for Papers] Women in Logic 2026 -- Extended deadline!

--------------------------------------------------------------- Call for Contributions WiL 2026: 10th Women in Logic Workshop July 24-25, 2026 Affiliated with FLOC 2026 https://womeninlogic.org/workshops/2026/ --------------------------------------------------------------- We are pleased to call for submissions to WiL 2026, the "10th Women in Logic workshop", which will take place in Lisbon on 24–25 July 2026, as a satellite event of FLoC 2026. The Women in Logic workshop provides an opportunity to highlight and increase awareness of the valuable contributions made by women in the field of logic and computer science. Its main goal is to promote and showcase excellent research led by women, ultimately fostering greater visibility and representation within the community. Previous editions of Women in Logic have taken place in Reykjavík (2017), Oxford (2018), Vancouver (2019), Paris (2020), Rome (2021), Haifa (2022), Rome (2023), Tallinn (2024) and Birmingham (2025). This will be a very special edition, as it marks WiL 10th anniversary. So please don't miss it! * Submissions * Abstracts should be written in English (max 2 pages excluding references), and prepared using the Easychair style ( https://easychair.org/publications/for_authors). The abstracts should be uploaded to the WiL 2026 FLoC page https://submissions.floc26.org/wil/paper/new as a PDF file before the submission deadline on May 5, 2026, anywhere on Earth. Topics of interest include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. * Important Dates * Abstract Submission: May 10, 2026 (EXTENDED) Paper Notification: May 15, 2026 Grant Application: May 17, 2026 Grant Notification: May 20, 2026 Early Registration: June 1st, 2026 Contribution for Informal Proceedings: June 25, 2026 Workshop: July 24-25, 2026 * Invited Speakers * Valeria de Paiva (Topos Institute) Raheleh Jalali (University of Bath) Sara Uckelman (Durham University) * Program Committee * - Sandra Alves (Porto University) - Huimin Dong (Co-chair, TU Wien) - Evelyn Erickson (Federal University of Santa Catarina) - Amy Felty (University of Ottawa) - Nina Gierasimczuk (Technical University of Denmark) - Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de México) - Delia Kesner (Université Paris Cité) - Fenrong Liu (Tsinghua University) - Anela Lolic (Co-chair, TU Wien) - Réka Markovich (University of Luxembourg) - Daniele Nantes-Sobrinho (UNB, Brazil) - Aybüke Özgün (University of Amsterdam) - Anja Petkovic Komel (Argot Collective) - Elaine Pimentel (Co-chair, UCL) - Tephilla Prince (IIT Dharwad) * Grants * A limited number of travel grants is available for students/young researchers who would not otherwise have resources to attend WiL, and whose attendance would benefit both the applicant and the event. More details: https://womeninlogic.org/workshops/2026/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Papers - Joint CP/SAT Doctoral Program 2026 (Extended Deadlines)

Website: http://satcpdp26.github.io Dates: July 18-19, 2026 Location: Lisbon, Portugal, as part of the FLoC 26 workshop program Extended abstract submission deadline: May 7, 2026 Extended paper submission deadline: May 14, 2026 Call for Doctoral Program Submissions The Joint CP/SAT Doctoral Program (DP) is open to all research students, including past participants, who are conducting research related to constraint programming and satisfiability. The goal is to provide an informal environment for networking, presenting and discussing ongoing work, and receiving feedback from both fellow research students and experts in the field. Participation requires submitting a paper to the DP, reviewing other DP submissions, and attending in person. The DP is a two-day event (18-19 July 2026). The exact schedule is yet to be confirmed, but the currently planned structure of its content is outlined as follows: Presentations and Poster Session Each student is expected to give a presentation of their work, followed by a short Q&A session. Students with an accepted paper at the CP or SAT conference will give a shorter lightning talk, designed to pique the interest of the audience for their full presentation. Additionally, all students are required to create an A1 poster to be presented during the program. The primary goal of the poster session is to encourage research and to promote the students' work to potential future collaborators. Review Training As part of the Doctoral Program, each participant will be assigned to review a submitted paper. The aim is to improve their reviewing skills by analyzing the work of their peers and receiving feedback from experienced researchers. The ultimate goal is to promote a positive reviewing culture, which is often disregarded in the field of computer science. Invited Talks Mid-career or senior researchers will give invited talks to the DP participants. One of the talks will help students plan their career paths, while the other will focus on specific technical skills that are important to acquire for scientific research in the area of CP and SAT. Mentoring We plan to pair each participant with a mentor from the community, who is either a senior or a post-doctoral researcher attending the main conferences. The mentor will discuss the student’s poster and provide constructive feedback. This is intended to promote networking opportunities for the Ph.D. students. Social Dinner If sufficient financial support is obtained, a free dinner will be organized for DP participants on one of the evenings of the doctoral program. The dinner will be open to all students, invited speakers and chairs of the doctoral program. Important Dates (anywhere on earth) Abstract Deadline: May 7, 2026 Submission Deadline: May 14, 2026 Financial support request deadline: May 19, 2026 Review Deadline: May 28, 2026 Discussion: May 28-June 1, 2026 Notification: June 2, 2026 Notification of Financial Support: June 2, 2026 Deadline of Camera Ready paper: June 9, 2026 Paper Submission To participate, students must submit a short paper. Papers must be primarily the work of the student and can be work in progress, completed work or recently published work. Students whose work has been accepted at CP 2026 or SAT 2026 can submit a two-page extended abstract summarising the key findings. Otherwise, students must submit an original paper of up to 8 pages describing completed or ongoing research or a summary of their research/PhD topic. Submissions can include up to one additional page of references. The submission form must clearly specify the student as the first author and list all advisors and co-authors. Papers must follow the LIPIcs guidelines of the main conferences, be in PDF format and not include author information in the text or metadata. All papers will go through a double-blind reviewing process, meaning that authors and reviewers are mutually anonymous. For this reason, submitted papers should not contain author names, affiliations, or links to identifying websites. As the DP aims to develop academic maturity of young CP and SAT researchers, all reasonable submissions will be accepted. All abstracts and papers should be submitted online through the FLoC 2026 submission system by selecting “New Submission” at https://submissions.floc26.org/dpcp/. (If you are submitting an abstract only, please still submit a PDF containing the title, authors and abstract.) Accepted papers will be made available online but not published in formal printed proceedings. This allows the submitted work to be reused and/or extended for submission to other conferences and journals. Financial Support Financial support may be available to cover conference-related costs, such as registration fees, accommodation, and travel expenses. Decisions will be made on a case-by-case basis. Priority will be given to doctoral students who would otherwise be unable to attend the conference. To apply, students should submit: 1. A motivation letter explaining why financial support is needed, including an estimated breakdown of the requested costs in order of priority. 2. A separate letter from their supervisor confirming the funding request, sent by the supervisor. Both documents should be sent by email to cpsatdp @ cs.uni-freiburg.de no later than May 19, 2026. Contact Information For any questions related to the doctoral program, please contact the organizers via email at cpsatdp @ cs.uni-freiburg.de ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Pragmatics of SAT (PoS 2026) [Extended full paper deadline, final call]

- Did your nice paper for SAT or a related FLoC conference just get rejected? - Do you have interesting results or ideas related to SAT or other constraint   solving frameworks that you'd like to discuss with other experts? - Do you have a recently accepted publication along those lines that you'd like   to share and present at FLoC in Lisbon? If any of this applies to you, consider to go for a last-minute PoS submission! Submit an abstract until May 7 (AOE); the paper submission deadline has been extended to May 10 (AOE). The updated, final Call for Papers follows. ------------------------------------------------------------------------------------ 17th International Workshop on Pragmatics of SAT (PoS 2026) ------------------------------------------------------------------------------------ The aim of the Pragmatics of SAT (PoS) workshop series is to provide a venue for researchers working on designing and/or applying Boolean satisfiability (SAT) solvers and related solver technologies, including but not restricted to satisfiability modulo theories (SMT), answer set programming (ASP), and constraint programming (CP) as well as their optimization counterparts, to meet, communicate, and discuss latest results. PoS 2026 will be co-located with the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026) and the Federated Logic Conference (FLoC 2026) in Lisbon, Portugal. Workshop Website: https://www.pragmaticsofsat.org/2026/ Abstract submission deadline: May 7, 2026 Paper submission deadline: May 10, 2026 (extended, final) Notification to authors: June 1, 2026 Workshop Date: July 19, 2026 Topics of interest include, but are not limited to: + Efficient data structures + Techniques for debugging or certifying solvers + Visualization of benchmarks structure + Monitoring solver behavior + Evaluation of solvers + Domain specific encodings and heuristics + Solver API + System and library description + New (successful) application of constraint-based technologies + New (potential) use cases of constraint-based technologies + Constraint solving and machine learning + Scaling using multi-core or distributed technology + Reflection on past and projection of future of applied SAT research Submissions must be made electronically, through HotCRP (https://submissions.floc26.org/pos), as a PDF using the CEURART one column style (https://ceur-ws.org/Vol-XXX/CEURART.zip). Submission categories include original papers (including papers submitted to a main FLoC conference such as SAT that did not make it), work-in-progress papers (less mature works for which gathering feedback from the community is desired), and presentation-only submissions (covering recently accepted or published relevant works). Submissions will be reviewed by the program committee, which will select a balanced program of high quality contributions. If a sufficient number of original papers are accepted for the workshop, we plan to publish the proceedings of the workshop via CEUR-WS proceedings, possibly by joining forces with another, related FLoC workshop. More information is available on the workshop's web page: https://www.pragmaticsofsat.org/2026/ Bart Bogaerts and Dominik Schreiber (PoS 2026 PC Chairs) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] SPAA 2026 Call for Workshops and Tutorials [Deadline Extension]

Dear all, We welcome proposals for workshops and tutorials that fall within the scope of the SPAA community <https://spaa.acm.org/> or address research challenges in related areas/problems that have potential impact on the SPAA community. Proposals will be evaluated on a rolling basis, so early submissions are encouraged and will be reviewed promptly. Please submit proposals to the SPAA 2026 Workshops and Tutorials Chair, Quanquan Liu (quanquan.liu@yale.edu). Proposals should be submitted by May 15, 2026 (deadline extended). Proposals should be brief (at most 3 single-column pages). Workshop Proposals: The following information should be included in a workshop proposal: 1. Title 2. Name and email address of the organizer(s) 3. A description of the proposed format and agenda 4. Procedures for selecting participants and presenters Here is a sample template<https://docs.google.com/document/d/15A8DNiWd-qBJsm4GnP1BlUFnXtCZfRaIxjYXm279IQY/edit?usp=sharing> that you may use, although other formats are also acceptable. We welcome workshops that are either invitation-based (example: Workshop on Recent Advances in Parallel and Concurrent Data Structures<https://sites.gatech.edu/spaa24datastr/> in SPAA 2024) or submission-based (example: Highlights of Parallel Computing <https://ucrparlay.github.io/hopc24/> (HOPC) 2024). Tutorial Proposals: Tutorials will be 1 or 1.5 hours long, depending on the number of accepted tutorials and local arrangements. A tutorial proposal should include: 1. Title and abstract 2. An outline of the tutorial content and objectives, with sufficient detail to convey both scope and depth 3. Prerequisite knowledge 4. A very brief biography of the tutorial organizers and relevant information Evaluation Committee: All workshop and tutorial proposals will be evaluated by a committee comprising the following members of the SPAA 2026 organizing committee. * Rezaul Chowdhury (Program Chair) * Quanquan Liu (Workshops and Tutorials Chair) Important Dates: * April 25, 2026: Proposals due * May 10, 2026: Notification of acceptance * July 6, 2026: SPAA workshops/tutorials in London (July 7-10, 2026, SPAA conference) Thank you! Cheers, Quanquan ********************************************************** * * 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] Full professor (W2) in Mathematical Optimization at RWTH Aachen University

RWTH Aachen University (Department of Mathematics) is inviting applications for the position of full professor (W2) in the area of     Mathematical Optimization to be filled as soon as possible. The mathematical research focus lies in the field of optimization theory and its foundational principles. The research expertise should include the development of analytical frameworks, structural insights, and fundamental methodologies related to optimization. More details on the position and how to apply can be found at RWTH appointment portal: https://berufungsportal.rwth-aachen.de/ Deadline for application is July 1, 2026. Kind regards, Arie Koster -- Prof. Dr. Arie M.C.A. Koster Professor for Discrete Optimization RWTH Aachen University Pontdriesch 10-12, room 306 (2.0G), D-52062 Aachen T: +49 (0)241 80-94995 (Secretary) -94524 (Direct) - F: +49 (0)241 80-92136 email <mailto:koster@math2.rwth-aachen.de> | www <http://www.math2.rwth-aachen.de/koster/> | Google scholar <https://scholar.google.com/citations?user=AAsK4wwAAAAJ&hl=en> | X <https://x.com/ArieMCAKoster> | LinkedIn <https://www.linkedin.com/in/ariekoster/> ********************************************************** * * 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] Research Fellowships at IBS Extremal Combinatorics and Probability Group (ECOPRO with Hong Liu)

Dear Colleagues, The Extremal Combinatorics and Probability Group (ECOPRO) at the Institute for Basic Science (IBS) invites applications for research fellowship positions. We are looking for up to 4 senior researchers. These are purely research positions and will have no teaching duties. ECOPRO is a research group launched on April 1st, 2022, at IBS, led by Prof. Hong Liu. We welcome highly motivated postdoc researchers with outstanding research potential in all fields of combinatorics with emphasis on extremal and probabilistic combinatorics, graph theory, Ramsey theory, combinatorial number theory and discrete geometry. The initial appointment is for 1-2 years, with a starting salary of no less than 61,000,000 KRW per year. The appointment is one time renewable contingent upon the outstanding performance of the researcher (max 5 years). The expected start date is March 1, 2027 (flexible). Combinatorics at IBS: - ECOPRO: https://www.ibs.re.kr/ecopro/ - Related group: Discrete Mathematics Group, led by Prof. Sang-il Oum https://dimag.ibs.re.kr/ For application details, see any of the following advert links: - https://www.ibs.re.kr/ecopro/hiring/ - https://www.mathjobs.org/jobs/list/28384 - https://ibs.re.kr/prog/recruit/eng/sub04_01/view.do?pageIndex=1&searchCondition=&searchKeyword=&idx=2104 The deadline for application is* June 10, 2026.* Best, Hong Liu ********************************************************** * * 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 position at Bilkent

Dear All, I would greatly appreciate it if you could share the following postdoctoral position ad in my group at the Bilkent Quantum & Topology Group (BilQCT), Bilkent University. The ad was shared some time ago, and the application deadline is approaching. --- We are especially interested in researchers with a background in polyhedral geometry, algorithmic optimization, or graph-theoretic methods who are interested in applications to foundational problems in quantum computing. Full details and application instructions can be found on MathJobs: https://www.mathjobs.org/jobs/list/28142 Initial review begins May 15. Please feel free to forward this to interested candidates or reach out to me directly at cihan.okay@bilkent.edu.tr with any questions. --- Best, Cihan https://www.cihanokay.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] PhD position in algorithmic graph theory, TU Dresden

A PhD position is open at the Chair of Algorithmic and Structural Graph Theory at TU Dresden, Germany, with a flexible starting date in 2026. The position is full-time (100%, E13 TV-L) and initially offered for three years with possible extension. We are looking for a highly motivated candidate with a strong background in theoretical computer science (in particular, algorithm design). The successful applicant will take part in the research and teaching activities at the Chair of Algorithmic and Structural Graph Theory within the Institute of Theoretical Computer Science at TUD. The main research area is the design and analysis of graph algorithms, with a focus on parameterized algorithms, structural graph theory, graph symmetries and similarities, and algorithmic model theory. The application deadline is *May 22nd, 2026*. For informal inquiries, please contact Daniel Neuen (daniel.neuen@tu-dresden.de). For more details, see the official TU Dresden job openings: https://tu-dresden.de/vacancy/12765 ********************************************************** * * 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] SC-Square: Second deadline extension

DEADLINE EXTENDED: SC-Square 2026: 11th International Workshop on Satisfiability Checking and Symbolic Computation July 13, 2026, Oldenburg Germany ************************************************************************** The 11th SC-Square Workshop is a satellite event of ISSAC, held at the University of Oldenburg in Germany, from July 13 to 17, 2026. SC-Square Workshop website: https://www.sc-square.org/CSA/workshop11.html ISSAC conference website: https://www.issac-conference.org/2026/ Key Dates Abstract submission: April 24, 2026 May 10, 2026 Submission deadline: May 1, 2026 May 10, 2026 Notification: TBD Final version: TBD Workshop date: July 13, 2026 Scope Symbolic Computation is concerned with the efficient algorithmic determination of exact solutions to complicated mathematical problems. Satisfiability Checking has recently started to tackle similar problems but with different algorithmic and technological solutions. The two communities share many central interests, but researchers from these two communities rarely interact. Also, the lack of common or compatible interfaces for tools is an obstacle to their fruitful combination. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. The aim of this workshop is to provide an opportunity to discuss, share knowledge and experience across both communities. Invited Speakers Anna Maria Bigatti<https://scholar.google.com/citations?user=iRTyqncAAAAJ&hl=it> (Università degli Studi di Genova, Italy) Mahsa Shirmohammadi<https://www.irif.fr/~mahsa/> (CNRS, Université Paris Cité, France) Submitting to the Workshop The workshop series has emerged from an H2020 FETOPEN CSA project "SC-Square", which ran from 2016 to 2018. It has been continued aiming at building bridges between Satisfiability Checking and Symbolic Computation. It is open for submission and participation to everyone interested in the topics, whether or not they were members or associates of the original project. The topics of interest include but are not limited to: * Computer Algebra and Symbolic Computation (CA) * Satisfiability Checking (SAT/SMT) * Algorithms for logical theories of arithmetics, including quantifier elimination and decision procedures * Computational Geometry * Algorithmic Group Theory * Formalized mathematics, especially in interactive theorem provers * Tools in SAT/SMT/CA, including tools that combine Symbolic Computation and Satisfiability Checking * Applications relying on Symbolic Computation or on Satisfiability Checking, including hybrid systems and controls Submission guidelines Submissions should be in English, formatted in Springer LNCS style and submitted via https://hotcrp.software.imdea.org/scsquare/ We invite four types of submissions: (1) FULL PAPERS on research, case studies or tool development should present unpublished work not submitted elsewhere (with a limit of 16 pages, not counting references) (2) EXTENDED ABSTRACTS on research, case studies or tool development should present unpublished (potentially ongoing) work not submitted elsewhere (3–5 pages, not counting references) (3) SHORT SURVEYS that describe/explain an existing body of work in an original way (5–8 pages, not counting references) (4) PRESENTATION-ONLY submissions on already published work, work to be published elsewhere, or work in progress on SC-Square related open problems or future challenges. Please submit an abstract for approval by the PC (with a limit of 2 pages). To receive the appropriate level of peer review, please select the relevant category for your paper on the submission site. For consistency, all submissions must use the LNCS style. Current lncs latex files are available from "LaTeX2e Proceedings Templates download" at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines We plan to publish the proceedings of the workshop in digital form, hosted with CEUR-WS (see http://ceur-ws.org/). People from industry and business are warmly invited to submit papers to describe their problems, challenges, goals, and expectations for the SC-Square community. Workshop Co-Chairs Katherine Kosaian<https://sites.google.com/view/katherinekosaian> (University of Iowa, USA) Alessio Mansutti<https://alessiomansutti.github.io/> (Imdea Software Institute, Spain) Program Committee Kyungmin Bae<http://sv.postech.ac.kr/kmbae/> (Pohang University of Science and Technology, South Korea) Rizeng Chen<https://xiaxueqaq.github.io/> (Peking University, China) Xin Chen<https://shinchern.github.io/> (University of New Mexico, US) Ruiwen Dong<https://sites.google.com/view/ruiwen-dong/> (University of Oxford, UK) Matthew England<https://matthewengland.coventry.domains/index.html> (Coventry University, UK) Stéphane Graham-Lengrand<https://www.csl.sri.com/~sgl/> (SRI, US) Alberto Griggio<https://es-static.fbk.eu/people/griggio/> (Fondazione Bruno Kessler, Italy) Hoon Hong<https://hong.math.ncsu.edu/> (North Carolina State University, US) Dejan Jovanovic<https://dddejan.github.io/> (AWS, US) Ariel Kellison<https://ak-2485.github.io/> (Code Metal, US) George Kenison<https://georgekenison.github.io/> (KU Leuven, Belgium) Hanna Lachnitt<https://lachnitt.github.io/> (Stanford University, US) Pierre Mathonet<https://scholar.google.com/citations?user=KSD99-cAAAAJ&hl=en> (Université de Liège, Belgium) Guillaume Melquiond<https://guillaume.melquiond.fr/> (Inria and ENS Lyon, France) Marc Moreno Maza<https://www.csd.uwo.ca/~mmorenom/homepage-moreno.html> (University of Western Ontario, Canada) Mathias Preiner<https://cs.stanford.edu/~preiner/> (Stanford University, US) Philipp Rümmer<http://www.philipp.ruemmer.org/> (University of Regensburg, Germany) Mohab Safey El Din<https://perso.lip6.fr/Mohab.Safey/> (Sorbonne Université, France) Žaneta Semanišinová<https://tu-dresden.de/mn/math/algebra/das-institut/beschaeftigte/zaneta-semanisinova> (TU Dresden, Germany) Zhikun She<https://scholar.google.com/citations?user=J8viQpMAAAAJ&hl=en> (Beihang 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] TEAC Special Issue on Fair Division - Deadline Extended to 1 June 2026

Dear colleagues, This is the final call for submissions to the Special Issue on Fair Division at ACM Transactions on Economics and Computation (TEAC). Due to popular demand, and in order to allow authors to submit manuscripts after the EC notification, the deadline has been extended to: **1 June 2026** For more details, please see: https://dl.acm.org/journal/teac/calls-for-papers You can contact us with any questions at fairdiv26-eds@acm.org Best regards, Aris Filos-Ratsikas and Alexandros Hollender ********************************************************** * * 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] =?Windows-1252?Q?[CFP]_CloudNet_2026_Submission_Deadline:_15_May, _2026_?= – 14th IEEE International Conference on Cloud Networking (CloudNet 2026) | Athens, Greece

======================================== We apologize if you receive multiple copies of this CFPs. We appreciate your help to contribute & forward this CFPs to your friends. ======================================== You are cordially invited to submit your latest research results to the CloudNet 2026. The 14th IEEE International Conference on Cloud Networking (CloudNet 2026) Call for Papers Cloud networking has emerged as a promising direction for cost-efficient, reliable service and data delivery across wide-area backbones and data-centre fabrics. CloudNet 2026 will bring together the world’s distinguished researchers and industry experts in this field and will provide a great opportunity for you to present your research as well as exchange ideas with a highly motivated audience. https://cloudnet2026.ieee-cloudnet.org/ Important Dates: Paper Submission: 15 May 2026 Acceptance Notification: 24 August 2026 Camera-ready Deadline: 21 September 2026 Submit paper here: https://edas.info/newPaper.php?c=34693 Submit a demo/artifact here: https://edas.info/newPaper.php?c=34693&track=136833 Authors are invited to submit original contributions. Submissions must be in IEEE single-spaced double-column style with a length limitation of 6 pages. Conference Topics Include (but are not limited to) * Multi-Cloud Federation * Mobile Cloud Networking * Reliability of Data Center Network and Architecture * RAN Virtualization * Programmable Data Planes * Cloud continuum * Big Data Analytics * Edge Computing * Cloud Computing Applications * DataCenter and Cloud-Native Networks * Energy-Efficient Data Centers and Networks * Network service softwarization * Integration between cloud technologies and the networks * Resource Optimization and Management * Traffic Characterization and Measurements * AI/ML-for Resource Management and Orchestration * Cloud Sovereignty * Cloud Security * Intrusion Detection/Prevention Systems * Deep Packet Inspection Systems * Cloud Computing Privacy * Agentic AI for cloud networking * Generative AI for cloud networking Organizing Committee General Co-Chairs Ch.Verikoukis, ISI/ATH and Univ. of Patras F. Granelli, Univ. of Trento Executive Chair S. Papavassiliou, NTUA Technical Program Co-Chairs B.Canberk, Edinburgh Napier University J.Vardakas, IQU and Univ. of W.Macedonia Anna-Maria Vegni, Rome Tre University Tutorial Chair D.Manias, Mississippi State University Workshop and Special Session Chair D.Xenakis, University of Athens Keynote Chair P.Papadimitriou, U. of Macedonia Demo Chair H.Chergui, I2CAT Panel Co-Chairs I.Chochliouros, OTE V.Theodorou, Intracom Telecom Publicity Co-Chairs H.Kim, Incheon National University A.Leivadeas, Université du Québec Y.Yigit, Edinburgh Napier University Publication Co-Chairs E.Liotou, Harokopio University Web Co-Chairs D.Selis, ISI/ATH H.Andronikou, ISI/ATH Local Arrangement Co-Chairs A.Palivou, ISI/ATH E.Stai, NTUA P.Marantis, ISI/ATH Best regards, Yagmur Yigit PhD Student, Edinburgh Napier University This message and its attachment(s) are intended for the addressee(s) only and should not be read, copied, disclosed, forwarded or relied upon by any person other than the intended addressee(s) without the permission of the sender. If you are not the intended addressee you must not take any action based on this message and its attachment(s) nor must you copy or show them to anyone. Please respond to the sender and ensure that this message and its attachment(s) are deleted. It is your responsibility to ensure that this message and its attachment(s) are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this message or its attachment(s), or for errors or omissions arising after it was sent. Email is not a secure medium. Emails entering Edinburgh Napier University's system are subject to routine monitoring and filtering by Edinburgh Napier University. Edinburgh Napier University is a registered Scottish charity. Registration number SC018373 BSL users can contact us via contactSCOTLAND-BSL, the on-line British Sign Language interpreting service. Find out more on the contactSCOTLAND website. ********************************************************** * * 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] ICALP 2027 Track B, two-round submissions, first deadline 15 Sept (!) 2026

Starting with ICALP 2027, Track B (Automata, Logic, Semantics, and Theory of Programming) will introduce a two-round submission process. There will be two submission deadlines, and authors are welcome to submit their paper to either of them: 1st deadline: 15 September 2026 (TBC), notification in December, or 2nd deadline: as usual, early-mid February 2027. A full call for papers outlining all details will be forthcoming in the next several weeks. ICALP 2027 will be held in Kraków, Poland, in July 2027. ********************************************************** * * 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] 4th WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL REASONING

******************************************************************************************* 4th WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL REASONING (PCCR 2026) -- co-located with FLoC 2026 -- July 24-25, 2026, Lisbon, Portugal Website: PCCR26 <https://algorithms.leeds.ac.uk/pccr2026/> Submission link: HotCrp <https://submissions.floc26.org/pccr> Submission deadline: May 15, 2026 Theme: Parameterized complexity of problems in Logic, AI, and ML. ****************************************************************************************** --------------------------------------- AIMS AND SCOPE --------------------------------------- This workshop aims to support a fruitful exchange of ideas between the research on parameterized complexity (PC) on one side and the research on problems in computational reasoning (Logic and probabilistic reasoning), Artificial Intelligence (AI), and Machine Learning (ML) on the other. Topics of interest include but are not limited to: - Parameterized complexity of problems in Logic, Artificial Intelligence, Computational Social Choice, and Machine Learning. - Recent developments in PC and the above areas plus introduction of new problems that might benefit from the PC approach. - Various (structural) parameteriziations such as decompositions, backdoor sets, and hybrid parameterizations. - Theory and practice of parameterized algorithms. The workshop will feature invited and contributed talks with surveys and new technical results, an open problem session, and a panel discussion on future research directions. Apart from talks on parameterized complexity we are also interested in presentations that highlight structural parameters that have not been studied within the framework of parameterized complexity so far. ------------------------------------------ CALL FOR PAPERS ----------------------------------------- If you would like to give a talk at the workshop, please submit a short abstract of your talk via HotCrp <https://submissions.floc26.org/pcrr> by the submission deadline in PDF format. The abstract and talk can be based on published or unpublished results, and we welcome overview and survey talks, besides regular technical talks. Contributed talks are expected to be around 30 minutes each. ----------------------------------------- IMPORTANT DATES ------------------------------------------ - Early registration ends: 15 May 2026 - Workshop paper submission deadline: 10 May 2026 (HotCrp <https://submissions.floc26.org/pccr>) - Workshop accepted paper notifications: 12 May 2026 ----------------------------------- WORKSHOP ORGANIZATION ---------------------------------- - Sebastian Ordyniak, University of Leeds, United Kingdom ( sordyniak@gmail.com) - Fahad Panolan, University of Leeds, United Kingdom (F.Panolan@leeds.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] 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] Funded PhD Position Available: Practical Data Structures and Algorithms for Large-Scale Genomic and Text Representations

Dear all, I have a funded PhD position available at the University of Queensland in Brisbane, Australia. The project will investigate compressed data structures and algorithms for solving both textual and bioinformatics problems, working at the intersection of the fields of algorithms, information retrieval, and bioinformatics. A working knowledge of common data structures, algorithms, data compression techniques, and/or efficient systems programming would be of benefit to someone working on this project. If you enjoy thinking about and working on elegant data structures and algorithms, or if you like making systems go really fast, you would likely make a strong candidate. PhD positions in Australia are typically between 3-4 years. Please see the official ad for more details on entry requirements and how to apply: https://study.uq.edu.au/study-options/phd-mphil-professional-doctorate/projects/compressed-indexes-scalable-genomic-pattern-matching-and-retrieval Note that the ad will close in about two weeks; you may also email me if you have any questions. Please feel free to pass this message on to any interested colleagues or students you might know. Thank you! Dr Joel Mackenzie Senior Lecturer and ARC DECRA Fellow The University of Queensland St Lucia, Queensland, Australia E: joel.mackenzie@uq.edu.au W: jmmackenzie.io ********************************************************** * * 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: SYNT'26 (FLoC workshop), July 25, Lisbon (deadline extended to May 15)

SYNT 2026 : 15th International Workshop on Synthesis 25th July 2026 Co-located with FLoC 2026, Lisbon, Portugal --- The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The workshop fosters the development of frontier techniques in automating the development of computing systems and is inclusive in its interpretation of the term “synthesis”. SYNT 2026 encourages submissions that can be broadly categorized into one of the tracks: reactive synthesis, functional synthesis and neuro-symbolic synthesis. However, submissions in other areas related to synthesis are also welcome.  --- Topics of interest include, but are not limited to: - Algorithms and tools for synthesis of computing systems, broadly interpreted - Reactive (discrete-time, timed, hybrid, ...) synthesis - Functional (program, circuit, …) synthesis - Neuro-symbolic synthesis - Specification languages and optimization in synthesis, - Complexity and decidability results for synthesis, - Case studies of software or hardware synthesis, - Connections between verification and synthesis, - Synthesis by model learning, - Connections between synthesis and inductive programming, - New approaches or applications for synthesis, - Description and analysis of benchmark families for synthesis. --- **SYNT 2026 submission instructions** SYNT 2026 welcomes submissions of extended abstracts up to 3 pages, excluding references. All submissions should be in the Lecture Notes in Computer Science  (LNCS) format: <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines> As in previous years, there will be no published proceedings of SYNT 2026. However, /authors of selected abstracts may be invited to submit an extended version to a special issue of Acta Informatica./ Submissions will be judged on how interesting they are to the SYNT community. Overlap with previously published work should be indicated but does not disqualify a submission if the presentation can be expected to be of enough interest. Parallel submissions are welcome as well, since there will be no published proceedings. --- **WORKSHOP URL:** <https://synt2026.github.io/> **SUBMISSION URL:** <https://submissions.floc26.org/synt/> --- **IMPORTANT DATES:**  - Submission: (extended to) 15th May (AoE)  - Author Notification: 29th May (AoE)  - Early registration for workshop ends on: 1st June  - Workshop: 25th July --- Organisers:  Supratik Chakraborty (Indian Institute of Technology Bombay)  K. S. Thejaswini (Université libre de Bruxelles) ********************************************************** * * 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] Computability in Europe 2026: Call for informal presentations

Computability in Europe 2026 invites submissions for informal presentations of ongoing work, recent results, and emerging ideas. Continuing the tradition of past CiE conferences, these contributions will not be published in the LNCS conference proceedings. Work presented in this format may also appear, or have already appeared, in conferences with formal proceedings and/or in journals. Deadline for submission of informal presentations: May 15th, 2026 Notification on informal presentations: June 1st, 2026 For more information, see http://www.cie-2026.uni-trier.de/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: 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] Final CFP (deadlines extended for two weeks): The 9th International Conference on Algorithmic Decision Theory (ADT 2026)

The 9th International Conference on Algorithmic Decision Theory (ADT 2026) will be held at University Paris Dauphine-PSL on November 16-18, 2026 Established in 2009, the ADT conferences usually take place every two years with the aim of gathering researchers interested in the algorithmic aspects of decision theory. ADT seeks to bring together researchers and practitioners coming from diverse areas of Computer Science, Economics, and Operations Research in order to improve the theory and practice of modern decision support. Important Dates * Title and Abstract Submission: May 4th, 2026, May 18th, 2026 * Full Paper Submission: May 11th, 2026, May 25th, 2026 * Notification of acceptance: July 13th, 2026, July 27th, 2026 * Final Version of Accepted Papers: August 11th, August 25th, 2026 * Conference Dates: November 16th-18th, 2026 * Conference Webpage: https://adt2026.sciencesconf.org/ * Submission Webpage: https://cmt3.research.microsoft.com/ADT2026 Keynote speakers * Aurélie Beynier, Sorbonne Université * Marc Lanctot, Google Deepmind * Maria Polukarov, King's College London About ADT 2026 The 9th International Conference on Algorithmic Decision Theory (ADT 2026) focuses on algorithmic decision theory broadly defined, seeking to bring together researchers and practitioners coming from diverse areas of Computer Science, Economics, and Operations Research in order to improve the theory and practice of modern decision support. The conference topics include but not restricted to: * Algorithms * Argumentation Theory * Artificial Intelligence * Computational Social Choice * Database Systems * Decision Analysis * Discrete Mathematics * Game Theory * Machine Learning and Adversarial Machine Learning * Matching * Multi-agent Systems * Multiple Criteria Decision Aiding * Networks * Optimization * Preference Elicitation * Preference Modeling * Risk Analysis and Adversarial Risk Analysis * Utility Theory Submission Site and Details Submissions are invited on significant, original, and unpublished research on all aspects of Algorithmic Decision Theory. Papers must be at most 15 pages long in the LNCS format (including references). The formal proceedings of ADT 2026 will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI)<http://www.springer.com/lncs>. ADT 2026 will not accept any paper that, at the time of submission, has already been published in a journal or another venue with formally published proceedings. However, in order to accommodate the publication norms of the many fields that work on decision theory, papers can be submitted but not already published elsewhere (i.e., are under review) provided the authors note they are submitting for the non-proceedings track at the top of their submission. All papers will be peer-reviewed by a double-blind procedure. Therefore, papers must be submitted anonymously as pdf documents via the Microsoft CMT<https://cmt3.research.microsoft.com/ADT2026> system. It is important and required that authors do not reveal their identities in submitted papers. Since the review process is double blind, authors must take measures to ensure that their identity is not easily revealed from the submission itself. Authors should include the submission number (as assigned by the conference system) in the author field of the submission, and refer to their prior work in a neutral manner (i.e., instead of saying “We showed” say “XYZ et al. showed”). It is acceptable to submit work that has been presented in public or has appeared on arXiv, provided the submission itself is anonymized. Submission Format: Authors should consult Springer’s authors’ guidelines and use their proceedings templates<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>, either for LaTeX or for Word, for the preparation of their papers. Note that at least one author of each accepted paper is required to attend the conference to present the work. Authors will be required to agree to this requirement at the time of submission. In addition, the corresponding author of each accepted paper that will appear in the proceedings, acting on behalf of all of the authors of that paper, will need to complete and sign a Consent-to-Publish form, through which the copyright for their paper is transferred to Springer. You may submit an appendix of any length into the CMT system. There is a separate area in CMT for this, the appendix should be formatted in the same way as the main paper. Please note that reviewers are not required to review the appendix so the paper should stand on its own. To accommodate the publishing traditions of different fields, ADT 2026 will accept two types of submissions: Submissions with full text in the proceedings: Papers of this type will be accepted for either oral or poster presentation, or both. Each accepted paper of this type will be allocated at most 15 pages in the proceedings and there will be no distinction between papers accepted for oral or poster presentation in the conference proceedings. Submissions with two-pages abstract in the proceeding: Papers of this type will be accepted for either oral or poster presentation, or both. Each accepted paper of this type will appear as a two-pages abstract in the proceedings, along with a URL pointing to the full paper (on ArXiv or other service). This option is available to accommodate subsequent publication in venues that would not consider results that have been published in formal proceedings. Specifically, the full version of the two-pages abstract at ADT can be submitted to another archival conference or journal. Such papers must be formatted just like papers submitted for full-text publication, at the submission time, but authors are required to write “submission without proceedings” into the author field of their paper (instead of author names), if they choose this category. Otherwise, it will be assumed, by default, that their paper is submitted in the first category (submissions with full-text in the proceedings). ********************************************************** * * 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] FLLM2026 (Co-Sponsored by IEEE): The 4th International Conference on Foundation and Large Language Models, 17 - 20 November 2026 | Barcelona, Spain

[Apologies if you got multiple copies of this invitation] The 4th International Conference on Foundation and Large Language Models (FLLM 2026) https://fllm-conference.org/2026/index.php 17 - 20 November 2026 | Barcelona, Spain Hybrid Conference and Technically Co-Sponsored by IEEE Spain Section *FLLM 2026 CFP:* With the emergence of foundation models (FMs) and Large Language Models (LLMs) that are trained on large amounts of data at scale and adaptable to a wide range of downstream applications, Artificial intelligence is experiencing a paradigm revolution. BERT, T5, ChatGPT, GPT-4, Falcon 180B, Codex, DALL-E, Whisper, and CLIP are now the foundation for new applications ranging from computer vision to protein sequence study and from speech recognition to coding. Earlier models had a reputation of starting from scratch with each new challenge. The capacity to experiment with, examine, and comprehend the capabilities and potentials of next-generation FMs is critical to undertaking this research and guiding its path. Nevertheless, these models are currently inaccessible as the resources required to train these models are highly concentrated in industry, and even the assets (data, code) required to replicate their training are frequently not released due to their demand in the real-time industry. At the moment, mostly large tech companies such as OpenAI, Google, Facebook, and Baidu can afford to construct FMs and LLMS. Despite the expected widely publicized use of FMs and LLMS, we still lack a comprehensive knowledge of how they operate, why they underperform, and what they are even capable of because of their emerging global qualities. To deal with these problems, we believe that much critical research on FMs and LLMS would necessitate extensive multidisciplinary collaboration, given their essentially social and technical structure. The International Conference on Foundation and Large Language Models (FLLM) addresses the architectures, applications, challenges, approaches, and future directions. We invite the submission of original papers on all topics with special interest in but not limited to: - *Architectures and Systems* - Transformers and Attention - Bidirectional Encoding - Autoregressive Models - Massive GPU Systems - Prompt Engineering - Multimodal LLMs - Fine-tuning - *Challenges* - Hallucination - Cost of Creation and Training - Energy and Sustainability Issues - Integration - Safety and Trustworthiness - Interpretability - Fairness - Social Impact - * Future Directions* - Generative AI - Explainability and EXplainable AI - Retrieval Augmented Generation (RAG) - Federated Learning for FLLM - Large Language Models Fine-Tuning on Graphs - Data Augmentation - * Natural Language Processing Applications* - Generation - Summarization - Rewrite - Search - Question Answering - Language Comprehension and Complex Reasoning - Clustering and Classification - * Applications* - Natural Language Processing - Communication Systems - Security and Privacy - Image Processing and Computer Vision - Life Sciences - Financial Systems *Call for Special Tracks Papers:* - *Short papers:* (4-6 pages). - *Poster papers:* (1-2 Pages) - *Position Paper:* (2-4 pages) - *PhD Symposium:* (Up to 6 Pages) - *Demos :* (Up to 2 Pages) - *Systemization of Knowledge (SoK) or Focused Surveys:* (10-15 pages) *Journal Special Issue:* Selected high quality papers will be invited for special issue submission at the *Information Processing & Management (impact factor : 6.9)* https://www.sciencedirect.com/journal/information-processing-and-management *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 6 pages (including all figures, tables and references). Extra pages (up to 4 pages) can be purchased for a fee. 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 FLLM 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. Authors of accepted papers are expected to present their work at the conference. *Important Dates:* - *Paper submission deadline: July 21, 2026* - Notification of acceptance: October 1 , 2026 - Camera-ready Submission: October 15, 2026 *Contact:* Please send any inquiry on FLLM to: <emergingtechnetwork@gmail.com> info@fllm-conference.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] [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] 21st Workshop on Modelling and Mining Networks (WAW 2026) - June 15-19, 2026

I am happy to announce that WAW 2026 will be held at the Fields Institute for Research in Mathematical Sciences, Toronto, ON, Canada: June 15-19, 2026: https://math.torontomu.ca/waw2026/ The schedule is available on-line: https://math.torontomu.ca/waw2026/schedule.html There are 5 invited speakers: - Tina Eliassi-Rad, Northeastern University - Przemysław Kazienko, Wroclaw University of Science and Technology - Renaud Lambiotte, University of Oxford - Cristopher Moore, Santa Fe Institute - Clara Stegehuis, University of Twente There is no registration fee but you should register if you plan to attend: http://www.fields.utoronto.ca/activities/25-26/WAW2026 Looking forward to seeing some of you in Toronto, Pawel Pralat _______________________________________ http://math.torontomu.ca/~pralat/ Professor, Department of Mathematics, Toronto Metropolitan 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] OR 2026 in Passau, Germany: Submisison deadline extended!

International Conference on Operations Research (OR 2026) ~ Converging Streams in Decision Making ~ September 1-4, 2026, Passau, Germany *The abstract submission deadline has been extended by two weeks, to May 14* The OR 2026 is the annual conference of the German Operations Research Society (GOR). We look forward to welcoming you to the University of Passau, Germany. Conference language is English. The conference will be a great opportunity to talk and connect to academics, researchers, and practitioners from all over the world. We invite you to participate and to submit an abstract and optionally a paper for the Operations Research Proceedings 2026 (Springer). We can proudly announce the following keynote speakers: * Dick den Hertog * Ivana Ljubic * Phebe Vayanos * Martin Bichler * Merve Bodur * Göran Kauermann * Sebastian Pokutta * Marie-Ève Rancourt * Ramteen Sioshansi * Frits Spieksma * Stefan Szeider * Stefan Weltge On September 1, we plan a *full-day* pre-program for PhD students with exciting workshops and masterclasses (Dokt!OR). More information on the 18 different streams as well as the social program can be found at https://or2026.de Important Dates: * since February 1, 2026: Abstract submission is open * since April 1, 2026: Registration is open * *NEW*: May 14, 2026: Abstract submission deadline * *NEW*: May 22, 2026: Abstract notification * May 31, 2026: Early-bird registration deadline * June 15, 2026: Presenting author registration deadline * July 15, 2026: Operations Research Proceedings submissions deadline (optional) * September 1, 2026: Pre-conference doctoral program Dokt!OR * September 2-4, 2026: Main conference days Contact: Prof. Dr. Marc Goerigk, University of Passau info@or2026.de - https://or2026.de ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] LAWCG 2026 - Deadline extension

Dear all, We have decided to extend the submission deadline of LAWCG 2026 by 7 days. Submissions end: May 07, 2026 Author notification: June 08, 2026 Camera-ready version: June 22, 2026 Early registration: until July 15, 2026 Registrations end: September 30, 2026 Please find below the 3rd call for papers with the new dates. ======================================================== ======================================================== The 12th Latin-American Workshop on Cliques in Graphs (LAWCG 2026) will be held at the Hotel Monte Real in Águas de Lindóia, São Paulo, Brazil, from October 5 to 8, 2026. All the details can be found at https://www.lawcg.mat.br/lawcg26/ ======================================================== LAWCG is a venue meant to foster interaction among the Latin American Graph Theory and Combinatorics community, whose research interests include cliques, clique graphs, the behavior of cliques and other topics in Graph Theory. ======================================================== Important dates and information ======================================================== Submissions end: May 07, 2026 Author notification: June 08, 2026 Camera-ready version: June 22, 2026 Early registration: until July 15, 2026 Registrations end: September 30, 2026 ======================================================== Submission guidelines ======================================================== Contributed talks covering original work on the conference topics will be accepted for presentation. Prospective authors should submit an at most 2-page abstract of their work following the following LaTeX format: https://www.lawcg.mat.br/lawcg26/abstract-sample.tex Other formats will not be accepted for submission. Papers must be submitted electronically via the EasyChair submission system via https://easychair.org/my2/conference?conf=lawcg26 For each accepted abstract, at least one author must register and attend the symposium (in person) to present it. Moreover, an author cannot register for multiple abstracts. That is, each accepted abstract must have its own registrant. ======================================================== Proceedings ======================================================== The proceedings of the workshop will be published, after the event, at Matemática Contemporânea, as in the previous editions of LAWCG. All interested researchers will be invited to submit an extended abstract describing their contributions. The submitted papers will go through the normal peer-review process, following the guidelines of Matemática Contemporânea. ======================================================== Invited Speakers ======================================================== Miguel Pizaña, Universidad Autónoma Metropolitana, Mexico Ana Karolinna Maia, Universidade Federal do Ceará, Brazil Maya Stein, Universidad de Chile, Chile ======================================================== Programme Committee ======================================================== Lehilton Lelis Chaves Pedrosa, Universidade Estadual de Campinas, Brazil (Chair) Sheila Morais de Almeida, Universidade Tecnológica Federal do Paraná, Brazil Mauro Nigro Alves Junior, Universidade Estadual do Rio de Janeiro, Brazil Júlio César Silva Araújo, Universidade Federal do Ceará, Brazil Márcia Cappelle, Universidade Federal de Goiás, Brazil César Hernández-Cruz, Universidad Nacional Autónoma de México, Mexico ======================================================== Organizing Committee ======================================================== Carla Negri Lintzmayer, Universidade Federal do ABC, Brazil (Chair) Guilherme Oliveira Mota, Universidade de São Paulo, Brazil (Chair) Lehilton Lelis Chaves Pedrosa, Universidade Estadual de Campinas, Brazil Maycon Sambinelli, Universidade Federal do ABC, Brazil Cristiane Sato, Universidade Federal do ABC, Brazil On behalf of the organizing committee, Carla and Guilherme ********************************************************** * * 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 CINI HPC Summer School 2026

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

[DMANET] CPM 2026 call for participation

The 37th Annual Symposium on Combinatorial Pattern Matching (CPM 2026) will take place in Copenhagen, Denmark, from June 15 to 17, 2026. See details here: https://cpm2026.compute.dtu.dk. CPM 2026 is now open for registration. Register at https://www.conferencemanager.dk/cpmswat2026 (early registration until May 12) CPM is part of the Copenhagen summer of algorithms with several co-located events: - 20th Scandinavian Symposium on Algorithm Theory (SWAT 2026), June 17-19. https://swat2026.compute.dtu.dk (register for that at the same link.) - 24th Symposium on Experimental Algorithms (SEA 2026), June 22-24. https://sea2026.github.io
- Summer School on String Algorithms, June 13-14. Details coming shortly. See you in Copenhagen! ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] ORAHS 2026 in Belfast: submission deadline extended to 5 May 2026

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

[DMANET] CFP: LCN Special Track on Large Language Models and Networking (LLMNet)

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

[DMANET] SAGT 2026: Call for Papers + Accompanying Workshop on Mechanisms with Predictions

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