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

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

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

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

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

[DMANET] FUN 2026 - Last call for participation

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

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

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

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

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