Theory Announcements

Tuesday, April 7, 2026

[DMANET] [CFP] Last 2 days! SecRIoT-SCC 2026 Submission Deadline: April 8, 2026 – 7th IEEE International Workshop on SecRIoT-SCC 2026 co-located with DCOSS-IoT 2026 | Reykjavik, Iceland

======================================== 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 SecRIoT-SCC 2026. Call for Papers 7th IEEE International Workshop on Security, Reliability of IoT Systems & Supply Chain Cybersecurity (SecRIoT-SCC 2026) co-located with DCOSS-IoT 2026 Reykjavik, Iceland, June 22-24, 2026 Workshop Website: https://sites.google.com/view/secriot2026 Conference Website: https://dcoss.org/ As the Internet of Things continues to expand rapidly, security, reliability, and supply chain trustworthiness have become critical concerns for modern interconnected systems. SecRIoT-SCC 2026 aims to bring together researchers and practitioners from academia, industry, and government to discuss recent advances, emerging challenges, and innovative solutions in IoT security and supply chain cybersecurity. Topics of interest include, but are not limited to: * Security, privacy, trust, and reliability in IoT systems * Intrusion detection, malware analysis, and cyber-physical security * Secure embedded systems, operating systems, and communication protocols * Autonomous vehicles, medical devices, and other emerging IoT applications * Supply chain cybersecurity, secure manufacturing, and third-party risk * AI, machine learning, blockchain, and zero-trust approaches for security * Risk assessment, incident response, and regulatory compliance ======================================== Important Dates Submission Deadline: April 8, 2026 Acceptance Notification: April 30, 2026 Camera Ready Deadline: May 22, 2026 ======================================== Submission link: https://easychair.org/conferences?conf=secriot2026 ======================================== Workshop Chairs * Athanasios Kakarountas (University of Thessaly, Greece) * Leandros Maglaras (De Montfort University, UK & Edinburgh Napier University, Scotland) * Naghmeh Moradpoor (Edinburgh Napier University, Scotland) * Vasileios Vlachos (University of Thessaly, Greece) * Thomas Edward Welsh (University of Iceland, Iceland) ======================================== 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] Call for Invited Sessions at IntelligenceX 2026 – The Global Quantum × AI Frontier 24–26 September 2026 | Singapore

Dear All, The Organising Committee of IntelligenceX 2026 invites proposals for Invited Sessions. IntelligenceX 2026 will be held 24–26 September 2026 in Singapore, co-organised with the National University of Singapore (NUS). Conference website: https://www.soc-ai.org/events/intelligencex-2026 Topics of Invited Sessions -------------------------- Invited Sessions may cover theory, methods, applications, and/or industry showcases, including: - Theoretical foundations of AI, quantum computing, optimization, and data science - Algorithmic and methodological advances in AI, ML, optimization, and statistics - Hybrid Quantum×AI systems, architectures, and applications - Applications in, but not limited to, finance, engineering, logistics, healthcare, and energy - Industry showcases, real-world deployments, and emerging use cases - Acceptance: Invited Sessions will be accepted on a rolling (rotation) basis, subject to programme capacity. - Submission deadline: 31 July 2026 Invited Session proposals should include: - Session title - Name, affiliation, and contact details of the session organiser - List of proposed speakers and tentative talk titles Submission link: https://forms.gle/kKcYxG6PDgyvrSNk8 For inquiries, please contact: info@soc-ai.org Scientific Organizing Committee ------------------------------- Bastian Bergmann (ETH Zürich, Switzerland) Ralf Borndörfer (Freie Universität Berlin & Zuse Institute Berlin, Germany) Agostino Capponi (Columbia University, USA) Chun-houh Chen (Academia Sinica, Taiwan) Ray-Bing Chen (National Tsing Hua University, Taiwan) Ying Chen (National University of Singapore, Singapore) Philippe Codognet (CNRS / Sorbonne University / University of Tokyo, France) Katsuki Fujisawa (Institute of Science Tokyo, Japan) Paolo Giudici (University of Pavia, Italy) Xin Guo (University of California, Berkeley, USA) Nikolaus Hautsch (University of Vienna, Austria) Tomoyuki Higuchi (The Institute of Statistical Mathematics, Japan) Satoshi Ito (The Institute of Statistical Mathematics, Japan) Thorsten Koch (Zuse Institute Berlin & TU Berlin, Germany) Stefan Lessmann (Humboldt-Universität zu Berlin, Germany) Sven Leyffer (Argonne National Laboratory, USA) Rujira Ouncharoen (Chiang Mai University, Thailand) Huyên Pham (École Polytechnique, France) Paulo Canas Rodrigues (Federal University of Bahia, Brazil) Xun Shen (Tokyo University of Agriculture and Technology, Japan) Yuji Shinano (Zuse Institute Berlin, Germany) Josef Teichmann (ETH Zürich, Switzerland) Simon Trimborn (University of Amsterdam, Netherlands) Qiwei Yao (London School of Economics and Political Science, 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] RANDOM 2026

Dear researchers, The 30th International Conference on Randomization and Computation (RANDOM 2026) will be held at Boston University<https://www.bu.edu/tcs/>, Boston, Massachusetts, USA, on August 19-21, 2026 (together with APPROX 2026<https://approxconference.com/> and WOLA 2026). The deadline to submit your papers for RANDOM 2026 is May 6, 2026 (Anywhere on Earth). You can find more details and the call for papers on our website<https://randomconference.com/random-2026-home/>. We look forward to your submissions! Best wishes, Tom Gur RANDOM 2026 Program Committee Chair ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Overlay @ FLoC 2026 - Third Call for Papers - abstracts due on April 13

8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2026), co-located with the 9th Federated Logic Conference (FLoC 2026) *** We apologize for possible cross posting *** *********** THIRD CALL FOR PAPERS *********** OVERLAY 2026 @ FLoC July 18-19, 2026 Lisbon, Portugal https://overlay.uniud.it/workshop/2026 Abstract submission deadline: April 13, 2026 Submission deadline: April 17, 2026 Notification: May 15, 2026 FLoC early registration deadline: June 1, 2026 *********** *********** *********** The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods scientific communities, and possibly leading to the proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models. The workshop is the main official initiative supported by the OVERLAY group (https://overlay.uniud.it/). The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss opportunities and challenges at the border of the two areas. Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges. This year's edition will be held on July 18-19, 2026, as part of FLoC 2026, which will be held in Lisbon, Portugal. *** Call for contributions *** We accept contributions (see below for the format) focusing on the interaction between Artificial Intelligence and Formal Methods and on the issue of symbolic/sub-symbolic integration. Presentation of results recently published in other scientific journals or conferences and invited talks will complement the presentations of contributed papers. Topics of interest include (but are not limited to): automata theory automated reasoning, satisfiability, theorem proving automated planning and scheduling controller and reactive synthesis formal verification game theory hybrid and discrete systems logics in computer science neuro-symbolic artificial intelligence logics for neural networks neural networks for logic formal and data-driven approaches to natural language processing runtime verification and monitoring specification and verification of machine/deep learning systems specification and verification of systems based on large language models tools and applications We invite two kinds of contributions: 1. “regular” papers, presenting original research not published nor under review elsewhere. Regular papers should not exceed nine (9) pages plus references and, possibly, an appendix (that will not be published). 2. “short” papers, presenting either original research or results already published in other venues, write-ups on work-in-progress projects worth discussing, etc. Short papers should not exceed four (4) pages plus references. All contributed papers, except if explicitly requested otherwise by the authors, will be included in the Proceedings of the event, published at CEUR Workshop Proceedings (https://ceur-ws.org<https://ceur-ws.org/>). Authors are asked to use the CEURART LaTeX style, available here: https://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions must be in PDF format and submitted through the FLoC HotCRP system at: https://submissions.floc26.org/overlay/ *** Note on the use of Generative AI writing assistance tools *** Please adopt the CEUR guidelines for Generative AI use at the following address: https://ceur-ws.org/GenAI/Policy.html. *** Registration and participation fees *** OVERLAY 2026 will take place as part of FLoC 2026. As a consequence, participants to the workshop must follow the instructions provided by the FLoC 2026 committee for what concerns the registration requirements. *** Venue *** The workshop will take place in Lisbon, in one of the venues of FLoC 2026 (https://www.floc26.org/venue), on July 18 and 19. *** Important dates (all deadlines are AOE) *** - Abstract submission: April 13, 2026, Anywhere On Earth - Paper submission: April 17, 2026, Anywhere On Earth - Acceptance notification: May 15, 2026 - Workshop: July 18-19, 2026 *** Program Committee Chairs *** Luigi Bonassi - University of Oxford, UK Nicola Gigante - Free University of Bozen-Bolzano, Italy ***Program Committee*** Raffaella Bernardi - Free University of Bozen-Bolzano, Italy Alberto Bombardelli - Kyoto University, Japan Davide Bresolin - University of Padova, Italy Alessandro Burigana - Free University of Bozen-Bolzano, Italy Victor-Alexandru Darvariu - University of Oxford, UK Giuseppe De Giacomo - University of Oxford, UK Görschwin Fey - TU Hamburg, Germany Mirco Giacobbe - University of Birmingham, UK Alessandro Gianola - NESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal Lucía Gómez Álvarez - INRIA Grenoble, France Martin Leucker - University of Lübeck, Germany Federico Mari - University of Rome Foro Italico, Italy Andrea Micheli - Fondazione Bruno Kessler, Trento, Italy Sergio Mover - Lix Ecole Polytechnique, Paris, France Andrea Orlandini - ISTC-CNR, Rome, Italy Ingo Pill - Graz University of Technology, Austria Luca Putelli - University of Brescia, Italy Michel Reniers - Eindhoven University of Technlogy, Germany Sabina Rossi - University of Venice, Italy Sasha Rubin - University of Sydney, Australia Cesar Sanchez - IMDEA, Madrid, Spain Nicola Saccomanno - University of Udine, Italy Enrico Scala - University of Brescia, Italy Stefano Tonetta - Fondazione Bruno Kessler, Trento, Italy Enrico Tronci - University of Rome La Sapienza, Italy Sarah Winkler - Free University of Bozen-Bolzano, Italy Matteo Zavatteri - Fondazione Bruno Kessler, Trento, Italy *** Contacts *** For more information write an email to overlay@uniud.it<mailto:overlay@uniud.it> ********************************************************** * * 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 9th DIS Conference – May 31–June 4, 2026, Czech Republic-Deadline Extended to April 20

Dear All, The *9th International Conference on the Dynamics of Information Systems (DIS 2026)* will take place *May 31 – June 4, 2026,* in* the Czech Republic, *just 80 km from Prague and accessible via a direct train (one stop). *Conference Focus:* DIS 2026 explores cutting-edge topics in information science, AI, machine learning, optimization, operations research, and data-driven applications across diverse domains. *Topics Include (but are not limited to):* - Information science & uncertainty modeling - Optimization & operations research - Machine learning & AI - Data science & computational medical analysis - Quantum information, dynamical systems, and robotics - Applications in economics, energy, environment, and more *Important Dates:* - Submission Deadline: April 5, 2026 * April 20, 2026* - Author Notification: April 20, 2026 - Camera-ready Submissions for LNCS: July 1, 2026 *-Plenary Speakers:* - Panos M. Pardalos, <https://scholar.google.com/citations?user=4e_KEdUAAAAJ&hl=en> University of Florida, USA - Peter Richtárik <https://scholar.google.com/citations?user=pGh242UAAAAJ&hl=en>, KAUST, Saudi Arabia - Roman Belavkin, <https://www.mdx.ac.uk/about-us/our-people/staff-directory/dr-roman-belavkin/> Middlesex University, UK - Zbyšek Posel <https://ki.ujep.cz/cs/personalni-slozeni/zbysek-posel/>, UJEP, Czech Republic -All accepted papers will be published in *Springer LNCS proceedings*. *Learn More & Contact:* https://dis2026.ujep.cz/ Hossein.Moosaei@ujep.cz ********************************************************** * * 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] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Mile for Research Papers Submission

*** Last Mile for Research Papers Submission *** International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) 29 September - 2 October 2026, 5* St. Raphael Resort and Marina Limassol, Cyprus https://conf.researchr.org/home/variability-2026 (*** Submission Deadline: 10 April 2026, AoE ***) The International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) invites high-quality contributions from researchers and practitioners in software engineering, systems engineering, and related disciplines focussing on a broad spectrum of methods, concepts, and tools for variability. VARIABILITY aims to be the premier forum for the exchange of ideas, experiences, and results in all aspects of software and systems variability management, reuse, software configuration, and customization. As software and systems become increasingly configurable, reusable, and adaptable, managing their variability across all lifecycle phases is more critical—and more challenging —than ever. VARIABILITY 2026 seeks to bring together the diverse communities that address these challenges from theoretical, technical, and practical perspectives. VARIABILITY results from a merge of three prominent conferences focussing on software and systems variability, configuration and reuse: SPLC (the International Systems and Software Product Line Conference, 29 successful editions), VaMoS (the International Working Conference on Variability Modelling of Software-Intensive Systems, 19 successful editions), and ICSR (the International Conference on Systems and Software Reuse, 22 successful editions). VARIABILITY is by design open as a conference. It welcomes new fields of variability- intensive research, such as artificial intelligence, hybrid software-hardware systems, etc. For this first edition of VARIABILITY, we strive to continue the success of the predecessor conferences ICSR, SPLC, and VaMoS by welcoming high-quality submissions for the research track in numerous closely related areas, such as systems and software product lines, systems and software reuse, configurable systems and software, product configuration, and systems and software variability. We will award the best research paper and the best artifact paper. Topics of Interest We invite contributions on variability management, reuse, and configuration across all phases of the software and systems lifecycle. The topics of interest include, but are not limited to: Requirements & Domain Engineering • Domain analysis and variability modeling • Decision modeling and support • Customization and personalization specification • Requirements variability and traceability Architecture & Design • Variability-aware software architectures • Architecture-centric product line engineering • Model-driven engineering (MDE) • Multi-product lines, program families, product lines of product lines, software ecosystems Implementation & Code Generation • Generative programming and code synthesis • Modularization techniques for reusable code • Programming languages and frameworks for variability • Open-source strategies for software reuse Testing, Verification & Quality Assurance • Testing and analysis of configurable systems • Safety and security in variable systems • Formal Methods for Software Product Lines • Non-functional properties: quality-aware analysis, quality-driven configuration • Reuse in testing, verification, and quality assurance Evolution, Maintenance & Operation • Refactoring and restructuring of configurable systems • Reverse engineering, variability mining, and refactoring • Runtime variability and dynamic (software) product lines • Maintenance strategies for large-scale reused systems • Variability in DevOps and CI/CD pipelines AI and Data-Driven Methods • Machine learning for variability management • AI-assisted product configuration • Data and repository mining from product lines and configuration histories • Recommendation systems for reuse and customization Publication of Proceedings Accepted papers will be published in the VARIABILITY 2026 proceedings by Springer in the LNCS series. Submission Guidelines Paper Types We invite the following types of submissions: • Full Papers (up to 18 pages excluding references): Research papers must present original, unpublished work with validated results through empirical evaluation, formal analysis, or implementation-based experiments. Submissions must clearly articulate the problem, its relevance, the proposed contribution, and validation results. • Short Papers (6 - 8 pages excluding references): Short papers present early-stage research, novel ideas, or conceptual proposals that are not yet fully developed or validated but offer promising directions. These papers should articulate the vision, motivation, and potential impact. Formatting Papers must use the Springer LNCS template according to: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Springer provides author guidelines that should be consulted for further details: https://resource-preview-cms.springernature.com/springer-cms/rest/v1/content/19242230/data/v17 Submission Link Submissions should be made via Easy Chair, selecting the research track: https://easychair.org/conferences?conf=variability2026 Paper Originality, Double-Anonymous Policy, Reviewing All papers must be original and not under review elsewhere. Submissions will be double- anonymous and reviewed by at least three experts. Submissions will be evaluated based on their novelty, relevance, rigor, transparency, and presentation. Authors of submissions to the first deadline might be invited to submit a revision of their papers to the second deadline, which will be reviewed as a revision. Revisions Research-track papers can be submitted to the first or second cycle. In the first cycle, papers can receive the following decisions: accept, revision, or reject. Revision means that the reviewers believe that the paper has potential, but that its quality or contribution is not yet ready for publication. Such papers are offered lightweight shepherding by a community member, who is not necessarily a PC member or reviewer. Revised papers should be submitted to the second cycle together with a response letter, explaining how the reviewer comments were addressed. They are then reviewed by the same PC members. Papers rejected in the first cycle can be resubmitted in the second cycle, but need to contain an appendix “Changes to First-Cycle Submission” at the end of the PDF (after references, regardless of the page limit) that lists the major changes in bullet-point format. Best Paper Awards Springer will sponsor the awards for bet papers with an overall amount of €1000. Journal Special Issue Selected accepted papers will be invited to submit extended versions with at least 30% additional and original material, to be published in a special issue in a reputable Software Engineering journal (currently under negotiation). Important Dates (AoE) • Paper Submission Deadline: 10 April 2026 (extended) • Notification of Acceptance: 1 June 2026 • Camera-Ready Deadline: 15 July 2025 • Author Registration: 15 July 2025 Organisation General Chairs • George A. Papadopoulos, University of Cyprus, Cyprus • Gilles Perrouin, FNRS & University of Namur, Belgium Research Track Chairs • Thorsten Berger, Ruhr University Bochum, Germany • Ina Schaefer, KIT, Germany Industry Track Chairs • Shaukat Ali, Simula Research Lab and Oslo Metropolitan University, Norway • Martin Becker, Fraunhofer IESE, Germany Journal First Track Chairs • Mathieu Acher, University Rennes, Inria, CNRS, IRISA, France • Xhevahire Tërnava, LTCI, Télécom Paris, Institut Polytechnique de Paris, France Doctoral Symposium Track Chairs • Rick Rabiser, LIT CPS, Johannes Kepler University Linz, Austria • Iris Reinhartz-Berger, University of Haifa, Israel Demos and Tools Track Chairs • Sandra Greiner, University of Southern Denmark, Denmark • Leopoldo Teixeira, Federal University of Pernambuco Projects Showcase Chairs • Daniel Struber, Chalmers, University of Gothenburg, Radbound University, Sweden • Dalila Tamzalit, Nantes Université, France Hall of Fame Chairs • Martin Becker, Fraunhofer IESE, Germany • Goetz Botterweck, Lero - The Irish Software Research Centre and University of Limerick, Ireland • Natsuko Noda, Shibaura Institute of Technology, Japan Workshops Chairs • Lidia Fuentes, Universidad de Malaga, Spain • Malte Lochau, University of Siegen, Germany Tutorials Chairs • Loek Cleophas, Eindhoven University of Technology and Stellenbosch University, The Netherlands • Mahsa Varshosaz, IT University of Copenhagen, Denmark Proceedings Chair • Sophie Fortz, King's College London, UK Publicity Chairs • Wesley Assunção, North Carolina State University, USA • Kentaro Yoshimura, Hitachi Ltd, Japan Local Organiser and Finance Chair • George A. Papadopoulos, University of Cyprus, Cyprus ********************************************************** * * 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] SIROCCO 2026 - Second Call for Participation

*============================== SIROCCO 2026 Call for Participation ==============================* We are delighted to announce the upcoming SIROCCO 2026 conference, which will be held in the scenic city of Durham, UK on June 9th - 11th, 2026. SIROCCO is devoted to the study of the interplay between structural knowledge, communication, and computing in decentralized systems of multiple communicating entities. Special emphasis is given to innovative approaches leading to a better understanding of the relationship between computing and communication. The list of accepted papers is available online: https://sirocco2026.webspace.durham.ac.uk/programme-and-accepted-papers/The Best Paper Award of SIROCCO 2026 is awarded to *Caterina Feletti, Paola Flocchini, Debasish Pattanayak, Giuseppe Prencipe* and *Nicola Santoro*, for their paper “Universal Dancing by Luminous Robots Under Sequential Schedulers”.The Best Student Paper Award of SIROCCO 2026 is given to *Laurent Feuilloley, Soumyadeep Paul* and *Ami Paz*, for their paper “Polynomial Time Local Decision Revisited” (contributing student: Soumyadeep Paul). Conference registration is open: https://pay.durham.ac.uk/event-durham/33rd-international-colloquium-on-structural-information-and-communication-complexity-sirocco-2026Note that the early registration deadline is April 30th, 2026. Information about the venue, nearby hotels and accommodation, how to reach Durham, and the visa support letter can be found here: https://sirocco2026.webspace.durham.ac.uk/local-information/Please note that this season is particularly busy for Durham, so please book your accommodation early on. SIROCCO has a tradition of interesting and productive scientific meetings in a relaxed and pleasant atmosphere, attracting leading researchers in a variety of fields in which communication and knowledge play a significant role. This year's conference promises to be an enriching experience, featuring keynote lectures from renowned experts:- Jukka Suomela on *Distributed Quantum Advantage*- Maria Potop-Butucaru on *Smart Contracts and Distributed Cross-Chain Protocols*- Dariusz Kowalski on *Distributed Protocols on Shared Channels *(2026 Prize for Innovation in Distributed Computing awardee)See you in Durham in June! ------ Regards, William K. Moses Jr. Local Organizer (Publicity), SIROCCO 2026 https://sites.google.com/view/wkmjr ********************************************************** * * 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] DISC 2026 - Second Call for Workshops and Tutorials

=============================================== *DISC 2026 Call for Workshops & Tutorials* =============================================== DISC 2026 will be held this year in Rome, Italy from the *9th to the 13st of November* (http://www.disc-conference.org/wp/disc2026/). We invite proposals for full-day and half-day workshops and tutorials. They will take place on Monday the 9th of November and Friday the 13th of November. *We expect that most talks of workshops are held in person at the conference site.* We intend to follow the “workshops template” from DISC 2019 (see the workshop program at a glance at http://www.disc-conference.org/wp/disc2019/workshops/), that is, there will be up to 3-4 workshops each day (depending on the predicted number of participants) where we synchronize the parallel talks as much as possible so that “cross-workshops” participants will not miss any of the talks. This also guarantees shared coffee and lunch breaks. We are interested in topics which are related to distributed computing and systems on one hand, but also in topics that have the potential of extending the scope of what the community sees as “distributed computing” on the other hand. =============================================== *Important Dates* =============================================== *Workshop/Tutorial proposal deadline: April 30, 2026, at 23:59 AoE.* =============================================== *Instructions* =============================================== Please email the Workshops & Tutorials Chair, Ami Paz (amipaz.cs@gmail.com), a short proposal with the following details: 1. Workshop/tutorial name and an optional acronym (please state whether it is a workshop, a tutorial, or any other format). 2. Names, affiliations, and email addresses of the organizers. Please specify who is the point of contact. 3. Short description of the workshop’s topic and its relevance to the DISC community. 4. Length: Half-day or full day. 5. Date preference: Please state if you see any problem with holding the workshop on Monday or on Friday. 6. Tentative list of (possible) speakers. 7. A skeleton schedule of the workshop (see an example in here: https://adga-workshop.org/2025/, but of course you can have shorter talks/posters, etc.). 8. A link to a website of a past meeting of your workshop (if applicable). 9. Estimated number of speakers and attendees. ------ Regards, William K. Moses Jr. Publicity Chair, DISC 2026 https://sites.google.com/view/wkmjr ********************************************************** * * 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 Theoretical Computer Science at King’s College London

A fully funded PhD position open to UK and overseas students is available at the Department of Informatics, King’s College London, supervised by Dr Silvia Butti. The project associated with the position will be on approximation of Constraint Satisfaction Problems. Further details and application process: https://www.kcl.ac.uk/study-legacy/funding/approximation-of-constraint-satisfaction-problems Application Deadline: 24 April 2026 Regards, ============================ Silvia Butti Department of Informatics King’s College London https://www.kcl.ac.uk/people/silvia-butti ********************************************************** * * 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/ * **********************************************************

Thursday, April 2, 2026

[DMANET] FW: PhD position at TU Eindhoven

There's an opening for a PhD POSITION in COMPUTATIONAL GEOMETRY at TU EINDHOVEN (TU/e).

Supervisor: prof. Mark de Berg
Application website: https://www.tue.nl/en/working-at-tue/vacancy-overview/phd-in-computational-geometry.
Application deadline: May 2, 2016.

THE PROJECT
-----------------
The project focuses on fundamental algorithmic questions on geometric networks and, in particular, on geometric intersection graphs: graphs whose nodes correspond to disks or other objects in the plane and that have an edge between two nodes if the corresponding objects intersect. Such graphs have been used, for instance, to model sensor networks. Geometric intersections graphs are a generalization of planar graphs, and the goal of the project is to generalize results on planar graphs to intersection graphs. In particular, we wish to study generalizations of the famous Planar Separator Theorem, and investigate how such generalizations can be used to obtain efficient algorithms for geometric intersection graphs.

BEING A PHD STUDENT AT TU EINDHOVEN
------------------------------------------------------
As a PhD student working on the project, your main task will be to perform research, in close collaboration with your supervisor (prof. Mark de Berg) and possibly other PhD students. This also entails participating in international conferences and workshops to present your results. Part of the project will be done in collaboration with prof. Kisfaludi-Bak (Aalto University, Finland). Besides working on your research project, you will also assist in some algorithms-related courses, as a teaching assistant (TA).

You will be working in the TU/e Algorithms cluster, one of the largest research groups world-wide that focuses on algorithms research. The cluster currently has 10 faculty members, whose research interests include computational geometry and topology, graph and FPT algorithms, algorithms for massive data, geo-visualization, and computational social choice; please visit https://algo.win.tue.nl/ for more details on the cluster. The cluster provides a lively and international environment for your research.

As a PhD student, you do need not speak Dutch: it is easy to get by with English, not only at the university (where all courses are taught in English) but also in everyday life. Eindhoven is a pleasant city, and the university is very close to the train station and the city center.

JOB REQUIEREMENTS
----------------------------
- A master's degree (or an equivalent university degree) in computer science or mathematics, with a strong background in algorithms.
- A passion for research and algorithms theory
- An interest in acting as a teaching assistant in algorithms-related courses
- Fluent in spoken and written English (C1 level).

WHAT WE OFFER
----------------------
- Full-time employment for four years, with an intermediate assessment after nine months. You will spend a minimum of 10% of your four-year employment on teaching tasks, with a maximum of 15% per year of your employment.
- Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch Universities <https://www.tue.nl/en/working-at-tue/why-tue/conditions-of-employment>, scale P (min. € 3,059 - max. € 3,881), with a year-end bonus of 8.3% and annual vacation pay of 8%.
- An excellent technical infrastructure, on-campus children's day care and sports facilities.
- A tax compensation scheme (the 30% facility) for international candidates.

HOW TO APPLY
-------------------
All applications should be done through the TU/e application website; please visit https://www.tue.nl/en/working-at-tue/vacancy-overview/phd-in-computational-geometry. The application deadline is May 2, 2016.

QUESTIONS?
-----------------
If you have questions about the position or the project, please contact prof. Mark de Berg (M.T.d.Berg@tue.nl)
**********************************************************
*
* 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] [NCMA 26] [Extended Deadline] NCMA-2026 Rouen, France — Deadline Extended to April 20

16th International Workshop on
"Non-Classical Models of Automata and Applications"
(NCMA 2026)

June 29-30, 2026, Rouen, France

https://dlt-ncma-2026.sciencesconf.org/

*************************************************************************
Extended Deadline : April 20, 2026
*************************************************************************

NCMA (since 2009) is a workshop series devoted to research on non-classical models of automata and grammar-like devices, covering both theoretical foundations (descriptional complexity, decidability, complexity) and applications (bio-computing, document processing, self-assembly, etc.). NCMA aims to bring together researchers studying novel or extended computational models, their properties and applications.

Topics for NCMA 2026 include (but are not limited) to :

- Formal models inspired by linguistics, bio-computing, text processing,
document engineering, self-assembly, etc.,
- Bio-inspired models of automata and generative devices,
- Cellular automata,
- Forgetting automata and restarting automata,
- Automata with additional resources,
- Regulated rewriting/automata,
- Networks of automata or generative devices,
- Models of cooperation and communication,
- Quantum automata,
- Automata in the framework of membrane computing,
- Complexity aspects for formal systems.

Important dates (all dates are to be understood AoE)
----------------------------------------------------------------------

* Extended Deadline for submissions: April 20, 2026
* Notification of acceptance: May 18, 2026
* Deadline for all final papers: June 8, 2026
* Conference: June 29-30, 2026

Submissions and Proceedings
---------------------------

Authors are invited to submit full papers of up to 16 pages in electronic form (PDF).
About the used style and submission procedure detailed information will be put on the website on due time. The proceedings for full papers is planned to appear in an EPTCS volume.

Proofs omitted due to space constraints may be put into an appendix that will be read by the reviewers at their discretion. All papers will be reviewed by at least three referees, and simultaneous submissions to other conferences or workshops with published proceedings are not allowed.

Papers should be submitted electronically in PDF through the EasyChair system:
https://easychair.org/my2/conference?conf=ncma2026

Invited Speakers
----------------------

Beatrice Palano (Milan, Italie)
Abuzer Yakaryilmaz (University of Latvia)

Program Committee
---------------------------

Martin Berglund (Umeå, Sweden)
Cezar Campeanu (Charlottetown, Canada) (co-chair)
Giuseppa Castiglione (Palermo, Italy)
Pamela Fleischmann (Kiel, Germany)
Zsolt Gazdag (Szeged, Hungary)
Yo-Sub Han (Seoul, South-Korea)
Zbyněk Křivka (Brno, Czech Republic)
Martin Kutrib (Giessen, Germany) (co-chair)
Sylvan Lombardy (Bordeaux, France) (co-chair)
Ian McQuillan (Saskatoon, Canada)
František Mráz (Prague, Czech Republic)
Benedek Nagy (Famagusta, Cyprus)
Florent Nicart (Rouen, France)
Beatrice Palano (Milano, Italy)
Luca Prigioniero (Loughborough, UK)
Rogério Reis (Porto, Portugal) and
Agustín Riscos-Núñez (Sevilla, Spain)
Hellis Tamm (Tallinn, Estonia)
Brink van der Merwe (Stellenbosch, South Africa)

Local Information:
------------------------

The workshop will take place in Rouen (France).

NCMA 2026 will be co-located with DLT 2026: 30th International Conference on Developments in Language Theory (June 30 - July 3, 2026).

Contact:
---------

email: comite.organisation.dlt.ncma.2026@listes.univ-rouen.fr
web : https://dlt-ncma-2026.sciencesconf.org/

------------------------------------------------------------
Apologize if you have received multiple copies of this message.
------------------------------------------------------------

**********************************************************
*
* 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] postdoc position available

A post-doctoral research position is available to work with Prof. Anuj
Dawar on a UKRI-funded (ERC advanced grant replacement) project
exploring the limits of symmetric computation.

Details can be found here:
https://www.cam.ac.uk/jobs/research-assistantresearch-associate-fixed-term-nr49295

For enquiries please contact anuj.dawar@cl.cam.ac.uk

Anuj.Dawar@cl.cam.ac.uk

Professor of Logic and Algorithms
Department of Computer Science and Technology
University of Cambridge Phone: +44 1223 334408
15 J.J. Thomson Avenue Fax: +44 1223 334678
Cambridge CB3 0FD, UK. http://www.cst.cam.ac.uk/people/ad260

[DMANET] International Conference on Bilevel Optimization, Pittsburgh, August 2-5, 2026 (Final Extension of Submission Deadline)

Dear Colleagues,

We are pleased to share that the International Conference on Bilevel Optimization (ICBO 2026), to be held in Pittsburgh on August 2–5, 2026, has already received a strong volume of submissions as of March 31.

In response to several requests from colleagues, we are granting a final extension of the abstract submission deadline:

New DEADLINE: April 15, 2026

This extension is intended to accommodate ongoing work while maintaining the conference timeline. We encourage you to take advantage of this opportunity and submit your latest research.

Submission portal:

cmt3.research.microsoft.com/cmtsrm/Submission/Index

(Search for "ICBO 2026" after login.)

All other conference details, including speakers and accommodations, remain unchanged. Please refer to the conference website for full information:

bileveloptimization.org/icbo/2026/index.html

Registration platform will be released soon. We look forward to your submissions and to welcoming you to Pittsburgh.

Best regards,

Bo Zeng and Ramteen Sioshansi

Conference Co-Chairs

[DMANET] Call for Papers - Springer Optimization and Its Applications edited book titled ‘Handbook of General Systems of Nonlinear Equations’ - Deadline May 1, 2026

Dear All,

This is a reminder on the Call for Chapters in the forthcoming Springer Optimization and Its Applications edited book titled 'Handbook of General Systems of Nonlinear Equations'. The book will be edited by Michael J. Hirsch, Alexander Semenov, and Panos M. Pardalos.

Please reply to this email and let us know if you are interested in or plan to submit a contribution.

Important Dates:

May 1, 2026 – deadline to submit initial draft to editors

July 1, 2026 – referee reports sent back to authors with acceptance decision

September 30, 2026 – final versions of accepted chapters due to editors

December 30, 2026 – final version of book submitted to Springer

Early 2027 – final version of book released by Springer

Each chapter on average should be between 20 – 40 pages in length. Chapter templates can be found at the following link (use the "LaTeX template for contributed works"): https://www.springernature.com/gp/authors/publish-a-book/manuscript-guidelines

Chapter submissions and any questions should be sent to Michael J. Hirsch at mhirsch@iseatek.com.

Please share this announcement with interested colleagues.

With best regards,
Michael
-------------------------------------------------------------------
Michael J. Hirsch, Ph.D.
ISEA TEK, LLC
620 N. Wymore Rd., Suite 260
Maitland, FL 32751
mhirsch@iseatek.com www.iseatek.com
-------------------------------------------------------------------

[DMANET] CFP: IEEE SWC 2026 - Special Session on "Sustainable and Pervasive IoT (SuPer IoT)" - Submission Deadline: May 1, 2026

[ Apologies for possible multiple copies]

We are currently organizing a Special Session on *"New Paradigms for the
Sustainable and Pervasive IoT (SuPer IoT)*" as part of *IEEE SWC 2026*,
which will take place in Rende, Italy, on September 7–9, 2026.

The Call for Papers (CfP) and all relevant information about the Special
Session are available at the following link:

https://swc-ieee-2026.github.io/special-sessions/super-iot/

We warmly encourage you to consider submitting a paper.
*The submission deadline is May 1.*

Francesca Righetti, Pegaso University, Naples, Italy
Armir Bujari, University of Bologna, Italy
Giuseppe Anastasi, University of Pisa, Italy

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

Apologies for multiple copies

*** Call for Papers ***

33rd International Symposium on Temporal Representation and Reasoning
(TIME 2026)

1-3 September 2026, Cork, Ireland.

https://time26.cnr.it/ <https://time26.cnr.it/>

Co-located with the 37th International Conference on Principles of
Diagnosis and Resilient Systems (DX'26)

TIME has been for more than twenty years the only yearly
multidisciplinary international event dedicated to the topic of time in
computer science. The purpose of the symposium is to bring together
active researchers in different scientific fields involving temporal and
spatio-temporal data, information and/or knowledge management. Such a
concern arises in a number of different though often related research
domains, namely Artificial Intelligence (both symbolic approaches based
on explicit Logic or Constraint-based models, and numerical data-based
approaches such as Deep Learning and Large Language Models), Databases
and Data Mining, or System Specification and Verification.

TIME 2026 is co-located with the 37th International Conference on
Principles of Diagnosis and Resilient Systems (DX'26)
<https://conf.researchr.org/home/dx-2026>and it will be from the 1st to
the 3rd of September 2026 at the University College of Cork.

More details about TIME and the previous editions of this symposium can
be found via the following link: https://time-symposium.org/
<https://time-symposium.org/>.

Topics of interest

Temporal Specifications, Verification, Synthesis, Planning
(Spatio-temporal representation and reasoning models including
moving objects tracking, Temporal Logics for finite and infinite
state system, Model checking with temporal issue, Runtime
verification, Temporal constraint models and satisfiability, Action
and change, Temporal Scheduling, Controller synthesis)

Diagnosis and Supervision of Real-Time systems (Timed Automata,
Timed Petri nets, Timed Games)

Time in Machine Learning and Generative Artificial Intelligence
(Neural networks, Deep/Reinforcement learning, LLMs and Natural
Language Processing)

Notable aspects of time in agent- and policy-based systems
(Multi-agent systems, Markov decision processes, agentic AI frameworks)

Temporal Data (sensing, discovery, mining, temporal databases and
dedicated query languages, uncertain/indeterminate/imprecise
temporal data, temporal data learning)

Temporal Graphs, Networks (Bayesian network, Neural networks,)

Event and Pattern recognition (including time series and temporal
chronicles)

The list above is by no means exhaustive, as the aim is to foster the
debate around all aspects of time in automation.

Important dates

May 06, 2026: Abstract submission deadline

May 11, 2026 Paper submission deadline

June 22, 2026: Paper acceptance/rejection notification date

July 24, 2026: Camera-ready submission deadline

September 01–03, 2026: Symposium dates

Note: all deadlines are AoE (Anywhere on Earth).

Submission guidelines

TIME 2026 accepts submissions in PDF format, formatted following the
Open Access Series in Informatics (OASIcs)
<https://drops.dagstuhl.de/entities/series/OASIcs>and preferably using
LaTeX. TIME policy is single blind, so the names of the authors need not
be hidden in the submitted draft. Members of the program committee are
allowed to submit papers. Submitted papers will be refereed for quality,
correctness, originality, and relevance to the symposium. At least one
author of each accepted paper must register at the symposium and present
the paper.

We use EasyCshair throughout the submission and selection process. The
webpage for submitting papers with all required information can be found
here <https://easychair.org/conferences/?conf=time2026>.

There are three types of submissions, and the authors are invited to
specify under which one their paper lies:1) Original papers(12 pages,
excluding references and appendix): such papers describe original,
non-published contributions. It includes theoretical (new algorithms,
proofs, models) and applied (applications, system descriptions,
evaluation) contributions.2) Survey papers(12 pages, excluding
references and appendix): such papers are intended to propose a short
review of a complete domain of research.3) Extended abstracts(4 pages,
excluding references and appendix): such abstracts are intended to
foster debates during the symposium and include: work-in-progress,
project kick-off or review, PhD summary, and summary of a paper accepted
in a major conference or journal. They will be specifically mentioned in
the proceedings as abstracts and not full papers.The proceedings of TIME
are planned to be published in the Open Access Series in Informatics
(OASIcs) <https://drops.dagstuhl.de/entities/series/OASIcs>. This is a
series of high-quality peer-reviewed conference proceedings, and
published according to the principle of OpenAccess.Finally, the authors
of the top-ranked papers will be invited to submit an extended version
of their contribution to a special issue in a high ranked journal; more
details will be provided in due time.Please contact the program chairs
for more information:

Andrea Orlandini and Sophie Pinchinat

Email: time2026@easychair.org

Wednesday, April 1, 2026

[DMANET] FLoC 2026 Mentoring Workshop: Last Call for Scholarship Applications

Call for Scholarship Applications

FLoC 2026 Mentoring Workshop (FLoC'26 MW)
https://www.floc26.org/mentoring-workshop
19 July and 25 July 2026
Lisbon, Portugal

Registration at https://www.floc26.org/registration
– Early registration deadline for conferences: 15 May
– Early registration deadline for workshops: 1 June

We warmly invite students to apply for travel scholarships to attend
the Mentoring Workshop and FLoC.
– Application deadline: 13 April
– Notification: 20 April
– Application form: https://forms.gle/89q9AaNfZV3fkMzD7
– Further details below

—----------------------------------------------------------------------
-----

The purpose of the FLoC 2026 Mentoring Workshop (FLoC'26 MW) is to
provide mentoring and career advice to senior undergraduate and junior
researchers at all stages, to attract them to pursue research careers
in various logic-related areas. The workshop will particularly
encourage the participation of women and underrepresented minorities.

There will be two workshop days, one for each FLoC conference block, to
target more specifically students attending the first or second
conference week, and allow every student to be mentored before
attending the conferences. The workshop program will include several
talks and interactive sessions. Following the tradition of mentoring
workshops, the talks will introduce several soft skills essential to
the PhD and post-doc years, as well as brief introductions to the
varied topics highlighted at FLoC. Each workshop day will feature an
interactive panel where students can ask questions of academics with a
variety of seniority levels.

BUDDY PROGRAMME

Is this the first conference you will attend in person? We have all
been there. You might not feel comfortable if you don't know anyone. We
will have a Buddy Programme, where we will help you to get in touch
with another mentoring-workshop attendee. Every newcomer will be
assigned either a more experienced peer or another newcomer, so you are
not alone. For those who are not attending a conference for the first
time, being a buddy is a way for you to help the community to grow and
introduce less experienced students to the field. If you are
interested, please sign up for the Buddy Programme via the following
form: https://forms.gle/Gjy4jejM9GinP2897.

TRAVEL SCHOLARSHIPS

Students (undergrad, master's, and PhD alike) can apply to have their
costs (some or all) covered by our sponsors, the National Science
Foundation (NSF), ACM Special Interest Group on Logic and Computation,
Amazon Web Services (AWS) and Jane Street.

Deadline for applications: 13 April (applications are accepted after
that date if funds allow)
Apply at: https://forms.gle/89q9AaNfZV3fkMzD7
Notification: 20 April

CONFIRMED SPEAKERS: To be announced

CONTACT

In case of questions, please contact the Mentoring Workshop co-chairs:
Steffen van Bergerem <steffen.van.bergerem@hu-berlin.de>
João F. Ferreira <joao@joaoff.com>
Anastasia Isychev <anastasia.isychev@tuwien.ac.at>
Marie Kerjean <marie.kerjean@cnrs.fr>

[DMANET] 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, 2026
- 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,

[DMANET] Research Fellowship in Combinatorics at the University of Birmingham

The School of Mathematics at the University of Birmingham welcomes
applications for two research fellowships in Combinatorics to work
with Dr Eoin Long on the EPSRC funded New Investigator Award "A
high-dimensional approach to Ramsey Theory".

The posts are available for a period of 12 months in the first
instance, with a possibility of further extension. The starting date
is 1 May 2026, though there is some flexibility here.

The successful candidates will join a community of researchers in the
Combinatorics group within the School of Mathematics, University of
Birmingham. The group consists of 7 permanent staff as well as many
postgraduate students and postdoctoral researchers and has a proven
track-record in mentoring and supporting the development of
early-career researchers. The profile and research interests of the
group may be found at:

https://web.mat.bham.ac.uk/combinatorics/index.html

Applicants should have a PhD in Mathematics awarded or submitted at
the time of taking up the position, a strong record of research and
publications and strong facility with techniques from both Extremal
and Probabilistic Combinatorics.

The School of Mathematics aims to provide a supportive and friendly
environment for staff and research fellows to develop as researchers
and lecturers. The School is a supportive and people-focused friendly
environment, committed to equality, diversity and inclusivity. We
encourage applications from the widest community and provide equal
opportunities in our recruitment processes.

The School of Mathematics holds an Athena SWAN Silver award, supports
the London Mathematical Society Good Practice Scheme and is a member
of the Piscopia.

The University of Birmingham holds the Advance HE's Race Equality
Charter Silver award, a framework through which we are working to
self-reflect, identify and remove barriers standing in the way of
Black, Asian and Minority Ethnic staff and students. The University of
Birmingham is an equal opportunity employer and a Disability Confident
employer.

In addition to completing the application form, you should make sure
to upload the following: a cover letter, a CV (including full
publication list), a research statement (3 pages maximum) and names
and emails of three contactable referees.
Informal enquiries should be directed to Dr Eoin Long (e.long@bham.ac.uk).

Further information, including the link to apply can be found here:

https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/9045/?utm_medium=jobshare&utm_source=External+Job+Share

[DMANET] OR 2026 in Passau, Germany: Registration open!

International Conference on Operations Research (OR 2026)
~ Converging Streams in Decision Making ~
September 1-4, 2026, Passau, Germany

*Registration to the event is now open at https://or2026.de/submission/
with early-bird registration possible until May 31.*

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

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
* April 30, 2026: Abstract submission deadline
* May 15, 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

[DMANET] Online Resources for DCs (IFORS)

As our material progresses, this is just a reminder every now and then.
To access information regarding IFORS Developing Countries resources, its regular updates – and to submit your possible "free" (not copyright protected) material, you may occasionally visit the link:

http://ifors.org/developing_countries/index.php?title=Main_Page .

With this open online resources page we aim to provide a platform to make research and applications of OR widely accessible to the entire OR community including researchers, academicians and scholars in the Developing Countries (DCs).

For this purpose we invite scholarly contributions spanning across all areas and sectors ranging from arts and science, to communication and education.

The International Federation of Operational Research Societies ( https://www.ifors.org/ ) is a 65-year-old organization which is currently composed of 54 national societies. Regional Groups of are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies). conferences are held every three years. The conference 2023 was held very successfully in Santiago, Chile; the next exciting IFORS conference will be celebrated in 2026 in Vienna. Please visit the following link for details regarding the same: https://www.ifors2026.at/home/ .

Thank you very much for your attention. We look forward to your enthusiastic participation and scholarly contributions.

Tuesday, March 31, 2026

[DMANET] [CFP] The British Machine Vision Conference (BMVC), Lancaster, UK, 23- 26, Nov 2026

*** Please accept our apologies if you receive multiple copies of this CFP
***

=====================================================

CALL FOR PAPERS

******************************************************************

The British Machine Vision Conference (BMVC)

23-26, Nov, 2026, Lancaster, UK

https://bmvc2026.bmva.org

******************************************************************

The British Machine Vision Conference (BMVC) is one of the major
international conferences on computer vision and related areas. It is
organised by the British Machine Vision Association (BMVA). BMVC'26 will be
hosted by Lancaster University on 23rd - 26th November 2026. Top papers
from BMVC 2026 will be invited to submit extended versions to a special
issue of the International Journal of Computer Vision (IJCV).

*Key Dates (23:59 AoE)*

Abstract Submission Deadline: 22 May, 2026

Paper & Supplementary Submission Deadline: 29 May, 2026

Rebuttal Period: 3 - 10 Jul, 2026

Author Notification of Decisions: 7 Aug, 2026

Camera-Ready Paper Deadline: 28 Aug, 2026

*Please note that the Abstract and Paper/ Supplementary deadlines will not
be extended.

*Topics of Interest *

Authors are invited to submit high-quality papers in image processing,
computer vision, machine learning and related areas including, but not
limited to:

· 3D from X, Shape Modeling and Processing

· Action, Event, and Video Understanding

· Adversarial Attack and Defense

· Biometrics

· Computational Photography and Photogrammetry

· Computer Vision Theory

· Datasets and Evaluation

· Deep Learning Architectures and Techniques

· Document Analysis

· Embodied Vision: Active Agents, Simulation

· Explainable, Fair, and Ethical AI

· Generative Models

· Humans: Face, Gesture, Pose, and Body Movement

· Image and Video Retrieval

· Low-level and Physics-based Vision

· Medical and Biological Image Analysis

· Motion Estimation and Tracking

· Multimodal Learning (Vision + Language, Audio, etc.)

· Recognition, Segmentation, and Scene Understanding

· Representation, Self-supervised, and Transfer Learning

· Uncertainty

· Vision Applications, Systems, and Robotics

· Visual Reasoning

· Brave New Ideas (novel approaches or theories, not necessarily
benchmark gains)

*Submission Guideline*

Main papers must not exceed 14 pages (excluding references). Supplementary
information (e.g., appendices, videos, additional results) can be submitted
as a single .zip file by the deadline. All submissions must be made
through the OpenReview system. BMVC'26 employs a double-blind review
process. Work submitted to BMVC'26 must be original and cannot be under
concurrent review for another peer-reviewed conference or journal.

*Organising Committee*

*General Chairs *

Jun Liu Lancaster University

Majid Mirmehdi University of Bristol

*Advisory Chairs*

Ming-Hsuan Yang UC Merced; DeepMind

Stan Sclaroff Boston University

Mubarak Shah University of Central Florida

*Programme Chairs*

Bryan M. Williams Lancaster University

Hossein Rahmani Lancaster University

Bohyung Han Seoul National University

Jianfei Cai Monash University

Gabriela Czanner University of Southampton

Michael Yang University of Bath

*Technical Programme Chairs*

Qiuhong Ke Monash University

Ping Hu UESTC; VinUniversity

Haoxuan Qu Lancaster University

Zhuoling Li Lancaster University

*Workshop Chairs*

Richard Jiang Lancaster University

Guosheng Hu University of Bristol

Ziquan Liu QMUL

Emma Wilson Lancaster University

*Industrial / Keynote Chairs*

Mark Nixon University of Southampton

*Doctoral Consortium Chairs*

Ali Cheraghian Macquarie University

*Website Chairs *

Xiaofei Hui Lancaster University

*Proceedings Chairs*

Yakun Ju University of Leicester

Jian Hu QMUL

Qiuchi Xiang Lancaster University

Yu Xue Lancaster University

*Publicity Chairs *

Kosta Derpanis York University

Qian Zheng Zhejiang University

Ritesh Vyas PDEU

Zhengxin Yu Lancaster University

*Sponsorship Chair*

Ziquan Liu QMUL

*Equality, Diversity and Inclusion Chairs*

Emily Winter Lancaster University

Yujun Cai UQ

*Sustainability Chairs*

Adrian Friday Lancaster University

*Local Arrangement Chairs*

Miles Walker Lancaster University

*BMVA *

Toby Breckon Treasurer

Neill Campbell Chairman

Andrew Gilbert Payments Master General

Further Information and Updates: https://bmvc2026.bmva.org

[DMANET] BCCA 2026: The 8th International Conference on Blockchain Computing and Applications, Barcelona, Spain

*The 8th International Conference on Blockchain Computing and Applications
(BCCA 2026)*

16-20 November 2026 | Barcelona, Spain

*Hybrid Conference*

*Technically sponsored by IEEE Spain section*

*https://bcca-conference.org/*

Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It plays a significant role across several areas,
including the Internet of Things, supply chain management, manufacturing,
cyber-physical systems, and healthcare systems. Unlike centralized
transaction processing solutions, blockchain uses a distributed ledger to
record transactions across multiple devices; this prevents data breaches,
identity theft, and a range of cyber-related attacks, thereby enhancing
data privacy and security. This conference aims to attract the work of both
researchers and practitioners in cybersecurity to share and exchange
experiences and research in both academia and industry in the field of
blockchain.

*BCCA 2026 SYMPOSIA*

Authors are encouraged to submit their work to one of the following 20
specialized symposiums, each targeting a key research frontier:

1. Blockchain for LLMs and Decentralized AI
2. Blockchain for Agentic and Autonomous AI
3. Blockchain-Enabled Generative and Multimodal AI
4. AI and Machine Learning for Blockchain Optimization
5. Blockchain Security and Zero-Trust Web3
6. Blockchain-Enhanced Cybersecurity and Privacy
7. Post-Quantum Blockchain and Cryptography
8. Blockchain for Trustworthy and Ethical AI
9. Blockchain for Digital Identity and Governance
10. Blockchain Interoperability and Web3 Infrastructure
11. Blockchain for IoT and Cyber-Physical Systems
12. Blockchain for Digital Twins and the Metaverse
13. Blockchain for Autonomous Transportation and Smart Mobility
14. Blockchain for Big Data and Decision Intelligence
15. Blockchain Applications in Finance, Healthcare, and Government
16. Token Engineering and Decentralized Governance (DAOs)
17. Quantum Computing for AI and Blockchain
18. Green Computing and Sustainable Blockchain
19. Blockchain for Robotics and Autonomous Systems
20. Neuromorphic and Bio-Inspired Computing with Blockchain

*Publication*

*IEEE is a technical sponsor of BCCA 2026*. All accepted papers in BCCA
2026 and the workshops co-located with it will be submitted to IEEEXplore,
dblp and Scopus for inclusion.

*Important Dates:*

*Main track 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/BCCA2026

*Organizing Committee*
*Honorary Chair*

- Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain
- Jose Luis Muñoz-Tapia, Universitat Politècnica de Catalunya, Spain

*General Co-Chairs*

- Christiancarmine Esposito, University of Salerno, Italy
- Attila Kertesz, University of Szeged, Hungary
- Vlado Stankovski, University of Ljubljana, Slovenia

*Program Co-Chairs*

- Sandra Sendra, Universitat Politècnica de València, Spain
- Ismaeel Al Ridhawi, KCST, Kuwait

--Regards,

[DMANET] IPDPS 2026: Advance Program, Panel, Tutorials, PhD Forum, Student Travel Grants & More

------------------------------------

IPDPS 2026 Advance Program, Panel, Tutorials, and Student Travel Grants

40th IEEE International Parallel & Distributed Processing Symposium

May 25–29, 2026 • New Orleans, USA www.ipdps.org

------------------------------------

The 40th IEEE International Parallel & Distributed Processing Symposium
(IPDPS 2026)will be held in New Orleans, USA, May 25–29, 2026, with
workshops and tutorials on May 25–26 and the main technical program on
May 27–29. Here are the latest highlights as we approach the conference:

Advance Program Now Available

The full advance program for IPDPS 2026 is now online. Browse the
complete schedule of technical sessions, workshops, tutorials, panels,
and keynotes to plan your week in New Orleans:
https://www.ipdps.org/ipdps2026/2026-advance-program.html

Panel: Extending the Lifespan of Supercomputers — Experience,
Challenges, and Opportunities

The implicit HPC rule "replace every few years with something bigger"is
under pressure. With Moore's and Koomey's laws fading, machine
production delays, rising costs, environmental scrutiny, and
geopolitical constraints on component supply chains, extending the life
of supercomputers is becoming both a necessity and a research challenge.

This panel draws on real-world experience, from unplanned extensions
(Summit@ORNL, Sierra@LLNL) to strategic decisions (Fugaku@RIKEN), to
examine the realities of aging systems: vendor lock-in, software
fragility, rising failure rates, and the tension between sustaining
compute capacity and ever-growing application demands.

Panelists: Al Geist, Oak Ridge National Laboratory, Judith Hill,
Lawrence Livermore National Laboratory, and Fumiyoshi Shoji, RIKEN

Tutorials

IPDPS 2026 offers a rich program of tutorials on May 25–26 covering
cutting-edge topics in parallel and distributed computing. Full details
and the list of accepted tutorials are available at:
https://www.ipdps.org/ipdps2026/2026-tutorials.html

PhD Forum

The IPDPS 2026 PhD Foruminvites current PhD students in parallel and
distributed processing to present posters, participate in mentoring
sessions, and engage with leading researchers and industry
professionals. The deadline for the second round is April 13, with
notification on April 20. Don't miss this opportunity to showcase your
work and grow your network. Details and application instructions are at:
https://www.ipdps.org/ipdps2026/2026-phd-forum.html

Student Travel Grants

Limited student travel grants are available to support attendance at
IPDPS 2026. Eligible students are encouraged to apply early.
Applications are due byApril 8, 2026 (AoE). Full information and
application instructions can be found at:
https://www.ipdps.org/ipdps2026/2026-student-travel.html

Registration — Early Bird Deadline

Registration is open with advance rates valid through April 6, 2026.
Fees vary by category (member, non-member, student,
workshop/tutorial-only), and visa invitation letters are available upon
request after registration. Register now at:
https://www.ipdps.org/ipdps2026/2026-registration.html

Hotel and Travel

Information on conference hotels, room block reservations, and travel
logistics is available at:
https://www.ipdps.org/ipdps2026/2026-hotel-travel.html

We look forward to welcoming you to the 40th edition of IPDPS in New
Orleans this May.

--
Clément Foyer
Maître de conférence / Associate Professor
Dpt Informatique / Computer Science Dpt
Université de Reims Champagne-Ardenne - LICIIS

[DMANET] LSE Fellow in Mathematics (Discrete Mathematics), deadline 27 April 2026

(Link corrected; the previous one was for internal use only. Apologies for the confusion this has caused.)

The Department of Mathematics at the London School of Economics and Political Science (LSE) seeks to appoint an LSE Fellow with expertise in a subject area related to Discrete Mathematics.

Salary from £43,277 to £51,714 pa inclusive, with potential to progress to £55,497 pa, inclusive of London allowance.

This is a career development position and is fixed term for two years.

You will contribute to the intellectual life of the School through conducting and publishing outstanding quality research, engaging in high quality teaching as instructed by the Head of Department, and participating in the wider School and Department activities.

You should have:
- completed, or be close to completing, a PhD related to discrete mathematics by the post start date;
- a developing, competitive research record in discrete mathematics, and a clear and viable strategy for future research;
- excellent communication and presentation skills;
- the ability to work in close partnership with fellow teachers and professional services colleagues;
- the ability to foster an engaging and supportive learning environment; and
- a commitment to equality and diversity.

We offer an occupational pension scheme, generous annual leave, and excellent training and development opportunities.

For further information about the post, please go to jobs.lse.ac.uk/Vacancies/W/5718/4251143/466300/15539/lse-fellow-in-mathematics, which also has links to the job description, person specification, and how to apply documents.

If you have any technical queries with applying on the online system, please use the "contact us" links at the bottom of the LSE Jobs page. Should you have any queries about the role, please email maths.operations@lse.ac.uk .

The closing date for receipt of applications is 27 April 2026 (23:59 UK time). Regrettably, we are unable to accept any late applications.
**********************************************************
*
* 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] Tonguc Unluyurt (Sabanci University) | April 1 | A review of the sequential testing problem and its extensions

Dear scheduling researcher,

We are delighted to announce the talk given by Tonguc Unluyurt (Sabanci
University). The title is "A review of the sequential testing problem
and its extensions". The seminar will take place on Zoom on Wednesday,
April 1 at 13:00 UTC.
Join Zoom Meeting
https://cesnet.zoom.us/j/93686715380?pwd=d53hcHC4TuTkOg2Zk6eFJl36ifV9rJ.1
Meeting ID: 936 8671 5380
Passcode: 103626

You can follow the seminar online or offline on our Youtube channel as
well:
https://www.youtube.com/channel/UCUoCNnaAfw5NAntItILFn4A

The abstract follows.
In the sequential testing problem, the goal is to evaluate a Boolean (or
discrete) function with the minimum expected cost, where the values of
the variables can be learned by paying a cost. The variables take values
independent of each other with known probabilities. For a simple series
system, a solution is a permutation of the variables, whereas in the
general case, a solution can be described by a binary decision tree. The
problem has been studied in different domains for various applications.
In this talk, we will define various extensions of the problem and focus
on works published in the last 20 years to provide a comprehensive
review of the results obtained. We also provide insights to explore
potential areas for future research.
The next talk in our series will be Bruno Escoffier (LIP6, Sorbonne) |
April 15 | Resource Leveling For Scheduling Problems: Some Complexity
And Approximation Results.

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/

Theory Announcements

Tuesday, April 7, 2026

[DMANET] [CFP] Last 2 days! SecRIoT-SCC 2026 Submission Deadline: April 8, 2026 – 7th IEEE International Workshop on SecRIoT-SCC 2026 co-located with DCOSS-IoT 2026 | Reykjavik, Iceland

[DMANET] Call for Invited Sessions at IntelligenceX 2026 – The Global Quantum × AI Frontier 24–26 September 2026 | Singapore

[DMANET] RANDOM 2026

[DMANET] Overlay @ FLoC 2026 - Third Call for Papers - abstracts due on April 13

[DMANET] The 9th DIS Conference – May 31–June 4, 2026, Czech Republic-Deadline Extended to April 20

[DMANET] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Mile for Research Papers Submission

[DMANET] SIROCCO 2026 - Second Call for Participation

[DMANET] DISC 2026 - Second Call for Workshops and Tutorials

[DMANET] PhD Position in Theoretical Computer Science at King’s College London

Thursday, April 2, 2026

[DMANET] FW: PhD position at TU Eindhoven

[DMANET] [NCMA 26] [Extended Deadline] NCMA-2026 Rouen, France — Deadline Extended to April 20

[DMANET] postdoc position available

[DMANET] International Conference on Bilevel Optimization, Pittsburgh, August 2-5, 2026 (Final Extension of Submission Deadline)

[DMANET] Call for Papers - Springer Optimization and Its Applications edited book titled ‘Handbook of General Systems of Nonlinear Equations’ - Deadline May 1, 2026

[DMANET] CFP: IEEE SWC 2026 - Special Session on "Sustainable and Pervasive IoT (SuPer IoT)" - Submission Deadline: May 1, 2026

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

Wednesday, April 1, 2026

[DMANET] FLoC 2026 Mentoring Workshop: Last Call for Scholarship Applications

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

[DMANET] Research Fellowship in Combinatorics at the University of Birmingham

[DMANET] OR 2026 in Passau, Germany: Registration open!

[DMANET] Online Resources for DCs (IFORS)

Tuesday, March 31, 2026

[DMANET] [CFP] The British Machine Vision Conference (BMVC), Lancaster, UK, 23- 26, Nov 2026

[DMANET] BCCA 2026: The 8th International Conference on Blockchain Computing and Applications, Barcelona, Spain

[DMANET] IPDPS 2026: Advance Program, Panel, Tutorials, PhD Forum, Student Travel Grants & More

[DMANET] LSE Fellow in Mathematics (Discrete Mathematics), deadline 27 April 2026

[DMANET] [Scheduling seminar] Tonguc Unluyurt (Sabanci University) | April 1 | A review of the sequential testing problem and its extensions

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Tuesday, April 7, 2026

Thursday, April 2, 2026

Wednesday, April 1, 2026

Tuesday, March 31, 2026

Mailing Lists

Subscribe To

Search This Blog

Blog Archive