[DMANET] Postdoctoral position at Leipzig University

Postdoctoral position at Leipzig University A postdoctoral position is available at the Institute of Mathematics of Leipzig University under the supervision of Dan Kráľ. The Institute provides a vibrant research environment, which, in the area of algebra and discrete mathematics, offers collaboration opportunities with Sofia Brenner, James Davies, Łukasz Grabowski, Tobias Finis, and their postdocs and students. In addition, there are extensive opportunities for collaboration with mathematicians based at the Max Planck Institute for Mathematics in the Sciences (MPI-MiS). The successful candidate will benefit from generous travel and visitor funding provided through the Alexander von Humboldt Professorship held by Dan Kráľ. As the position is partly funded by the university, involvement in teaching is expected and so proficiency in German is a strong advantage. Starting date: First half of 2027, flexible Length of contract: 2 years Remuneration: Fixed in accordance to the TV-L E13 scale Application deadline: June 10, 2026 Applications should consist of a cover letter (including contact details of three referees who may be asked for recommendation letters) and a CV containing a full list of publications and should be submitted via e-mail to Jean-Marc Mues <jean-marc.mues@uni-leipzig.de> before the deadline noted above. ********************************************************** * * 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] [DEADLINE TOMORROW!] 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] CfP – Datalog 2.0 2026

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- CALL FOR PAPERS 6th International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2026 https://tinyurl.com/datalog2026 September 7, 2026, Klagenfurt, Austria Workshop of LPNMR 2026 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration, and identify directions for joint future research. The 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2026) will be held in Klagenfurt, Austria. Datalog 2.0 is a workshop of the 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has experienced a resurgence as a lively topic with applications in many different areas of computer science, as well as industry, the second, third, fourth, and fifth edition of the workshop, which were held in Vienna in 2012, Philadelphia in 2019, Genova in 2022, and Dallas 2024, respectively, were open for submissions. TOPICS Authors are invited to submit papers presenting research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, neurosymbolic applications of datalog, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2026 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results Submissions of technical papers, system descriptions, and application descriptions, are all welcome. Long papers may additionally contain an appendix in addition to the 12 page limit. The indicated number of pages includes title page and excludes references. All submissions will be subject to single-blind peer-review. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out of publication if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, using the most recent CEURART style (https://ceur-ws.org/HOWTOSUBMIT.html#CEURART). For paper submission see the Datalog 2.0 2026 CMT site https://cmt3.research.microsoft.com/DATALOG2026/ Up to five best long papers will be invited for a special issue (joint with LPNMR) of the journal of Theory and Practice of Logic Programming (TPLP). IMPORTANT DATES Paper registration: June 24 Paper submission: July 1 Notification: July 28 Final versions due: August 15 All deadlines are UTC-12 (anywhere on earth). INVITED KEYNOTE Wim Martens, University of Bayreuth Title: Growing Datalog Abstract: How do we add features to Datalog to make it a general-purpose programming language? Doing this in the right way can bring us closer to solving two major challenges: the impedance mismatch in query languages and the challenge of automatic programming posed by Jim Gray. VENUE The workshop will be co-located with the 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) at the University of Klagenfurt. Klagenfurt, nestled by the stunning Lake Woerthersee in southern Austria, is a vibrant city featuring a unique mix of Renaissance architecture and rich cultural heritage. As the capital of Carinthia, it offers a high quality of life with a delightful culinary scene, ranging from cozy cafes to traditional lakeside eateries. The city is situated at a historical and geographic crossroads between the Alpine and Mediterranean worlds, which is reflected in its relaxed atmosphere and diverse landmarks, such as the Lindwurm statue and the nearby Minimundus. The University of Klagenfurt (AAU) is a modern, green campus located only a 5-10 minute walk from the shores of Lake Woerthersee and the expansive Europapark, providing an ideal and serene environment for academic exchange. Early September offers pleasant late-summer weather, perfect for enjoying the lake's turquoise waters or exploring the surrounding mountain trails. For accommodation and further local information please see additional information provided by the LPNMR organisers at https://lpnmr2026.aics.aau.at/venue/. PROGRAM CHAIRS Marco Calautti, University of Milan, Italy Matthias Lanzinger, TU Wien, Austria PROGRAM COMMITTEE Amélie Gheerbrant, Université de Paris, IRIF Andreas Pieris, University of Edinburgh and University of Cyprus Bart Bogaerts, Vrije Universiteit Brussel Cristian Molinaro, University of Calabria Cristina Feier, Technical University of Cluj-Napoca Emanuel Sallinger, TU Wien Esra Erdem, Sabanci University Ester Livshits, Technion Leopoldo Bertossi, Carleton University Marco Console, Sapienza Univ. Roma, Italy Marco Manna, University of Calabria Markus Krötzsch, TU Dresden Michael Morak, University of Klagenfurt Paraschos Koutris, University of Wisconsin-Madison Przemysław Andrzej Wałęga, Queen Mary University of London Reinhard Pichler, TU Wien Roman Kontchakov, Birkbeck, University of London Tran Son, New Mexico State University Yanhong A Liu, Stony Brook University FURTHER INFORMATION WWW: https://tinyurl.com/datalog2026 Email: marco.calautti@unimi.it and matthias.lanzinger@tuwien.ac.at ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CfP: UNIF'26 - The 40th International Workshop on Unification (deadline extension)

==================================================== Call for Papers (EXTENDED) UNIF 2026 The 40th International Workshop on Unification July 24, 2026, Lisbon, Portugal https://www.risc.jku.at/conferences/unif2026/ ==================================================== UNIF 2026 is the 40th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two terms equal, finding solutions for equations or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the state of the art in unification theory. Topics of interest to this forum include, but are not limited to: - Syntactic and equational unification algorithms - Matching and Constraint Solving - Higher-Order Unification - Unification in modal, fuzzy, temporal and description logics - Anti-unification/generalization - Semi-unification - Disunification - Narrowing - Admissibility of Inference Rules - Combination problems - Formalization of unification and related techniques - Complexity Issues - Implementation techniques - Applications The 40th International Workshop on Unification is part of FLoC'26, affiliated with FSCD 2026 and IJCAR 2026. ------------------------------------------ ** Submission Instructions ------------------------------------------- We call for submissions of extended abstracts (up to 5 pages) in EasyChair LaTeX style, to be submitted electronically as PDF through the submission site: https://submissions.floc26.org/unif/ Abstracts will be evaluated by the Program Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We will allow work presented/submitted in/to another conference. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form as a technical report in the RISC-Linz Report Series from the Research Institute for Symbolic Computation, Johannes Kepler University. Based on the number and quality of submissions we will decide whether to organize a special journal issue. ----------------------------- ** Important Dates ------------------------------ May 15, 2026: paper submission deadline. June 5, 2026: author notification. June 13, 2026: camera-ready paper submission deadline. July 24, 2026: UNIF 2026 in Lisbon. ----------------------------- ** Invited Speakers ------------------------------ Sandra Alves (University of Porto) Maribel Fernandez (King's College London) ----------------------------- ** Program Committee ----------------------------- Thaynara Arielly de Lima (Universidade Federal de Goiás) Mauricio Ayala-Rincón (Universidade de Brasilía) Franz Baader (TU Dresden) Philippe Balbiani (IRIT) Alexander Baumgartner (Universidad de O'Higgins, Chile) David Cerna (Dynatrace Research Austria) Rodrigo Da Cruz Silva Pina De Almeida (UvA Amsterdam) Santiago Escobar (Universitat Politecnica de Valencia) Oliver Fernández Gil (TU Dresden) Mário Florido (University of Porto) Silvio Ghilardi (Università degli Studi di Milano) co-chair Pascual Julián Iranzo (University of Castilla - La Mancha) Temur Kutsia (RISC, Johannes Kepler University Linz) Paliath Narendran (University at Albany, SUNY) Cleo Pau (RISC, Johannes Kepler University Linz) co-chair Christophe Ringeissen (Université de Lorraine, CNRS, Inria, LORIA) Viorica Sofronie-Stokkermans (University of Koblenz) Sam van Gool (ENS Paris-Saclay) Laurent Vigneron (Université de Lorraine, CNRS, Inria, LORIA) ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Research Software Engineer - Algorithms for Kidney Exchange

A Research Software Engineer position is available on the project "KEPsoft-UK: Developing New and Improved Algorithms for the UK Living Kidney Sharing Scheme", funded by Kidney Research UK. This position is available at the University of Glasgow, School of Computing Science, working with David Manlove and other project collaborators, and has funding for 15 months. See https://www.dcs.gla.ac.uk/~davidm/adverts/RSE-advert.html for further details. The closing date is 26 May 2026. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP] BRAINS 2026: 8th Conference on Blockchain Research & Applications for Innovative Networks and Services

/Apologies for cross-posting./ *CALL FOR PAPERS* *8th Conference on Blockchain Research & Applications for Innovative Networks and Services* *BRAINS 2026* October 13 - 16, 2026 Florence, Italy (In-person conference) *Full and Short Paper submission deadline: May 17th, 2026* *https://brains.dnac.org/* *Submissions Link:* https://edas.info/N34965 *The best technical papers presented at the conference will be invited to submit an extended version for fast-track review in the ACM DLT journal (Distributed Ledger Technologies: Research and Practice).* Decentralized technologies (Web3, Blockchain, Distributed Ledger Technologies, Distributed Storage and Computation as IPFS) have started to disrupt multiple domains, including finance and payments, but also networks, computing, supply chain, identity management, and Artificial Intelligence with decentralized learning. The BRAINS conference is dedicated to these advances that could make the world of networks and services more secure while enabling new distributed business models. This year, a new DeFi track is open to both technically oriented and economics-oriented papers. We particularly welcome interdisciplinary work that combines blockchain protocols, smart contract engineering, and DeFi market design, as well as empirical and theoretical studies on crypto-economics and financial innovation. Areas of interest include, but are not limited to: *Effective challenges for decentralized systems* * Theoretical contributions to Blockchain, DLT and decentralized storage * Distributed consensus and fault tolerance solutions, including domain-specific consensus * Protocols and algorithms * Distributed ledger analytics * Trade-offs between decentralization, scalability, and security * Zero-Knowledge proofs * Layer 2 solutions for scalability and privacy * Blockchain interoperability and cross-chain mechanisms * Storage solutions and data availability * Censorship resistance and fair ordering * Malicious or self-serving attacks, and defenses * Obstacles to achieving effective decentralization *Fundamentals of Decentralized Apps, Smart contracts, and chain code* * Languages and tooling for dApp development * Security, privacy, and forensics * Formal methods for blockchain * Transaction monitoring and analysis * Collaboration between on-chain and off-chain code * Blockchain-defined networking * Web3 and distributed storage and computation *Application and service cases of DLT and Smart contracts* * Identity management * Finance, payments, and fraud detection and prevention * IoT and cyber-physical systems * Smart grids and Industry 4.0, including dataspaces * V2X, connected and autonomous vehicles * Networking, Edge, and Cloud technologies * Blockchain for Beyond 5G and 6G technologies * Service or resource marketplaces * Public sector Blockchain solutions and infrastructures * Blockchain for education, public administration, health * Blockchain for Business Process and Supply Chain Management * Regulation and policies *Blockchain and AI* * Machine learning and AI for blockchain security * Federated and decentralized learning for blockchain systems * Large Language Models for blockchain * Using Blockchain for agentic AI *Decentralized Finance (DeFi) Track* (Open to both technical and economics/finance-oriented papers on blockchain and DeFi.) * AMMs (Automated Market Makers) * Lending Protocols * Stablecoins * Restaking * Decentralized Autonomous Organizations * DePIN (Decentralized Physical Infrastructure Networks) * Prediction Markets * AI Agents & DeFi * DeFi and Privacy *Blockchain for Information Systems and Business Process Management* * On-chain and off-chain data and processes integration * Business processes auditing and monitoring on blockchain * Process mining techniques for blockchain-based systems * Software architecture for blockchain-based information systems * Modeling aspects for processes and data in blockchain-based systems *Submission Guidelines* Submitted papers must represent original material that is not currently under review in any other conference or journal and has not been previously published. All submissions should be written in English following the Two-Column IEEE Conference Format, with a maximum of eight (8) pages (Full Papers), four (4) pages (Short Papers and work in progress), or two (2) pages (Poster Papers). These page limits include all text and figures but exclude references and appendices. For Full Papers, the total length including references and appendices must not exceed ten (10) pages. Papers should be submitted through EDAS at: https://edas.info/N34965 Submissions must be anonymous. We follow a relaxed double-blind peer review process: authors are allowed to share their work on platforms such as arXiv and present it publicly. However, authors should not mention their own name or affiliation in the submission, or include obvious references that reveal their identity. A reviewer who has not previously encountered the work should be able to read the submission without learning the authors’ identities. No modifications to the author list on a paper can be made after submission. If your work is not yet available online (e.g., on arXiv), we recommend waiting until after the notification of acceptance before posting it publicly. *Use of Generative AI and LLMs* Guidelines for authors: Authors must adhere to the IEEE policies (see , in particular section “Guidelines for Artificial Intelligence (AI)-Generated Text”). Authors must ensure that all AI-generated content is accurate and supported by appropriate evidence. Submissions containing hallucinated citations, including references to non-existent or fabricated works, falsified or fabricated data, experiments, or results, or other unsupported claims presented as fact, will be desk-rejected. Guidelines for reviewers: To protect the integrity and confidentiality of the peer-review process, reviewers must not upload any part of a submitted manuscript to public generative AI tools or LLM services. Reviewers who choose to use AI tools to assist in drafting their reviews (for example, for grammar checking of their own text) may do so only if they refrain from including any content from the submission itself. *S**tudent Track* We encourage the submission of student papers (i.e., all authors of the paper must be MSc or PhD students) on the topics mentioned in the CFP. Student papers have to be clearly stated on the first page. The papers should follow the same guidelines as short papers (max 4 pages) and be submitted on the dedicated track for student papers. *Best paper awards* Two best paper awards will be delivered: * *Best Full Paper Award* * *Best Student Paper Award* (conditioned to the papers quality) *Important Dates:* * *Paper Submission deadline: May 17, 2026* * *Notification of Acceptance: July 1, 2026* * *Camera-Ready: July 31, 2026* *TPC Chairs* Jérémie Decouchant, TU Delft, Netherlands Michele Fabi, Telecom Paris, Paris Andrea Morichetta, University of Camerino, Italy *General Chairs:* Antonella Del Pozzo, CEA List, Paris-Saclay University, France Emmanuel Bertin, Orange Innovation, France Philip Raschke, TU Berlin, Germany Francesco Tiezzi, University of Florence, Italy *Details*: https://brains.dnac.org/ /Looking 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] [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 ********************************************************** * * 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] CASC 2026 - Extended Deadline for Extended Abstracts

The 28th International Workshop in Computer Algebra in Scientific Computing CASC 2026 Bath, UK 31 August - 4 September 2026 http://www.casc-conference.org The deadline for submitting extended abstracts has been extended to May 11th, 2026. ############################################################ The tools of Scientific Computing play an important role in the natural sciences and engineering. Computer Algebra Systems and the underlying algorithms for Symbolic Computation play an increasingly important role within Scientific Computation. The CASC workshop series has been running for two and a half decades to explore the interaction of these topics, their implementation, and their application. The 28th CASC workshop will be held in Bath, UK from 31st August - 4th September 2026. There will be three invited talks, along with a program of contributed talks. ##################################### SCOPE ##################################### The topics addressed in the workshop cover the following. (1) The theory of symbolic computation and its implementation in computer algebra systems. This includes, but is not limited to: - new methods in exact computation; - symbolic algorithms and their complexity; - automated reasoning in algebra and geometry; - parallel symbolic / symbolic-numeric computation; - symbolic / symbolic-numeric methods for differential, differential-algebraic and difference equations; - symbolic / symbolic-numeric methods for polynomial equations and inequalities; and - the embedding of computer algebra technology within different software and hardware environments. (2) All other areas of scientific computing in regards to their benefit from or use of computer algebra methods and software. This includes, but is not limited to: - the use of computer algebra in approximate computation; - computer algebra methods in big data analytics; and - computer algebra methods for simulation and modelling. (3) Applications of the above throughout the natural sciences and engineering. We welcome papers on both fundamental research and implementation issues. We also accept survey papers but these MUST BE CLEARLY LABELLED as such in the title. ##################################### CONFERENCE PARTICIPATION OPTIONS ##################################### We encourage wide participation at the workshop. In light of this, and that the conference scope spans computer science and mathematics (with their different publication traditions), we offer a variety of participation options. 1. Participation with an accompanying paper in LNCS: CASC has a long running relationship with the Springer book series Lecture Notes in Computer Science to publish conference proceedings. Work submitted here should contain an original research result. Submissions should be prepared in the LNCS style and not exceed 20 pages. Survey papers may have up to 25 pages. 2. Participation with abstract only: Participants may opt to submit an extended abstract instead. These should have at least 2 and at most 4 pages in the LNCS style. They must contain the main results of the talk (without proofs). They will be lightly reviewed and distributed locally at the conference. We see three main audiences for this option: - Those who wish to talk on previously published work (in which case that work should be clearly cited in the abstract). - Those whose work is not yet ready for publication, but wish to receive feedback. - Those who plan to submit a journal paper on the work shortly. For the second group, there will be a subsequent journal special issue call after the conference (see below). ##################################### SUBMISSION LINK ##################################### All submissions should be done via easychair: https://www.easychair.org/conferences/?conf=casc2026 Submissions must be prepared in the LNCS style and within the declared page count. ##################################### IMPORTANT DATES ##################################### Paper submission deadline: May 4th, 2026. Submission of extended abstracts will be open until May 11. Notification to Authors: May 31st, 2026 Submission of Final Version: June 5th, 2026 Conference: August 31 – September 4, 2026 ##################################### ACCOMPANYING SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE ##################################### CASC has formed a relationship with the Springer Birkhäuser journal Mathematics in Computer Science (MCS) for an ongoing series of special issues on topics presented at CASC. Work submitted here must be of journal quality and will be reviewed to the usual standards of MCS. Submission will be opened after the conference for authors of extended abstracts presented at that year’s conference. There is no a priori page limit, but the length must be justified by the contents of the paper. At notification authors may be asked to revise their paper for a secondary deadline. Deadline for MCS Special Issue submission: Autumn 2026 MCS submission is only open if an extended abstract is presented at the conference - eligible authors will be sent a separate submission link for this after the conference. ##################################### INVITED TALKS ##################################### Carsten Schneider, Director of Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Joseph Tooby-Smith, University of Bath, UK Thi Xuan Vu - Université de Lille, France ##################################### COMMITTEES ##################################### Program Committee Chairs Ali Kemal Uncu - University of Bath, UK Chenqi Mou - Beihang University, China Program Committee Francois Boulier - Université de Lille, France Florent Bréhard – Laboratoire CRIStAL, France Changbo Chen - Chinese Academy of Sciences, China Victor F. Edneral - Lomonosov Moscow State University, Russia Matthew England - Coventry University, UK Jonathan Hauenstein - University of Notre Dame, USA Rui-Juan Jing - Jinagsu University, China François Lemaire – Laboratoire CRIStAL, France Fatemeh Mohammadi – KU Leuven, Belgium Michael Monagan - Simon Fraser University, Canada Marc Moreno Maza - University of Western Ontario, Canada Chenqi Mou - Beihang University, China Katsusuke Nabeshima - Tokyo University of Science, Japan Sonia Perez-Diaz - Universidad de Alcala, Spain Daniel Robertz - RWTH Aachen University, Germany Timur Sadykov - Plekhanov Russian University, Russia Éric Schost - University of Waterloo, Canada Thomas Sturm - CNRS, France Sergue Vinitsky - Joint Institute for Nuclear Research, Russia Victor Selivanov - A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Russia Svetlana Selivanova - KAIST, South Korea Akira Terui - University of Tsukuba, Japan Ali Kemal Uncu - University of Bath, UK General Chairs François Boulier – University of Lille, France Timur Sadykov - Plekhanov Russian University, Russia Publicity Chairs Thi Xuan Vu - Université de Lille, France Dmitry Lyakhov - KAUST, Saudi Arabia Advisory Board Wolfram Koepf - University of Kassel, Germany Ernst W. Mayr - Technical University of Munich, Germany Werner M. Seiler - University of Kassel, Germany Evgenii V. Vorozhtsov - Khristianovich Institute of Theoretical and Applied Mechanics, Russia Local Organisation James Davenport - University of Bath, UK Ali Kemal Uncu - University of Bath, 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] Assistant Professor and Research/Teaching Assistant positions at the Jagiellonian University in Krakow

The Jagiellonian University in Krakow (Poland) announces two calls for academic positions at the Theoretical Computer Science Department at the Faculty of Mathematics and Computer Science: 1. Assistant Professor (Adiunkt) 2. Research and Teaching Assistant (Asystent) The department brings together researchers working in diverse areas of discrete mathematics and theoretical computer science; see: https://tcs.uj.edu.pl/en_GB/ The call is open to individuals who meet the requirements of the Law on Higher Education and Science (Act of July 20, 2018, Art. 113 and 116, par. 2, item 3 or 4) and following qualification criteria: 1. For the Assistant Professor (Adiunkt) position: * hold at least a doctoral degree; * have relevant academic achievements; * actively participate in academic life; * have teaching experience. 2. For the Research and Teaching Assistant (Asystent) position: * hold at least a professional degree of Master of Science, Master of Science in Engineering, or equivalent; * demonstrate a predisposition for research; * are prepared to teach. Required application documents: 1. Resume; 2. Personal questionnaire; 3. Copy of the master's, doctoral, or habilitation diploma, whichever is applicable; 4. Information on the candidate's scientific, teaching, and organizational achievements; 5. A statement stating that the Jagiellonian University will be the primary place of employment if the candidate is successful; 6. A statement pursuant to Art. 113 of the Law on Higher Education and Science; 7. Declaration of knowledge and acceptance of the principles of intellectual property management and commercialization at the Jagiellonian University; 8. Research plan; 9. List of publications (including the publishers and page counts); 10. Information on past teaching activities; 11. Review(s) of the doctoral or habilitation dissertation, if applicable; 12. At least one reference letter sent directly to: wmii-konkursy@uj.edu.pl. The personal questionnaire template (no. 2) and declaration forms (no. 5-7) are available at: https://cso.uj.edu.pl/en_GB/dokumkandyd The application (for either position separately) should be submitted to: wmii-konkursy@uj.edu.pl Deadline for applications: May 31, 2026 Estimated announcement of results: June 30, 2026 Estimated start date: October 1, 2026 Official calls and details: 1. https://praca.bip.uj.edu.pl/stanowiska-badawczo-dydaktyczne/-/journal_content/56_INSTANCE_uVAiBCvZW00l/145868730/160605371 2. https://praca.bip.uj.edu.pl/stanowiska-badawczo-dydaktyczne/-/journal_content/56_INSTANCE_uVAiBCvZW00l/145868730/160605331 Kind regards, Bartosz Walczak ********************************************************** * * 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] BigHPC 2026

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

[DMANET] ALGOCLOUD 2026 - call for papers

============================================================================= *ALGOCLOUD 2026* - 11th International Symposium on Algorithmic Aspects of Cloud Computing Part of ALGO 2026, 31 August 31 – 4 September, L’Aquila, Italy https://algo-conference.org/2026/algocloud Submission deadline: 3^rd July 2026 ============================================================================== *_Scope _*The International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD) is an annual event aiming to tackle the diverse new topics in the emerging area of algorithmic aspects of computing and data management in modern cloud-based systems interpreted broadly so as to include edge- and fog-based systems, cloudlets, cloud micro-services, virtualization environments, decentralized systems, as well as dynamic networks. ALGOCLOUD aims at bringing together researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. The 11th edition of this symposium (ALGOCLOUD 2026) is co-located with ALGO 2026, a leading international event of researchers working on algorithms and their engineering. *_Invited Speaker_* Bernardino Romera Paredes, Hiverge Title: Evolving Superhuman Algorithms for Online Optimization Problems *_Important Dates_* Paper submission deadline: 3 July 2026 Notification to authors: 3 August 2026 Early registration: TBA Camera-ready submission: TBA Conference: 31 August – 1 September 2026 *_Call for Papers _*ALGOCLOUD invites submissions covering theoretical, design, and implementation aspects of modern cloud-based systems. It specifically encourages novel algorithms related to cloud and edge computing, cloud architectures, and the cloud-edge continuum. Experimental work evaluating contemporary cloud-edge approaches and relevant applications is of particular interest. Additionally, ALGOCLOUD welcomes demonstration manuscripts showcasing successful system developments, as well as articles discussing experiences, use cases, and high-quality survey papers. We also encourage contributions on the algorithmic foundations of trustworthy cloud-edge systems, including security, privacy, and robustness of AI/ML and generative AI services. Contributions may encompass a broad spectrum of algorithms, practices, and techniques for modelling, building, and evaluating operations and services across various systems, including virtualized infrastructures, cloud computing platforms, edge computing platforms, fog computing platforms, data centers, cloud storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, decentralized systems, and dynamic networks. All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: _Regular papers_: Authors are invited to submit high-quality manuscripts reporting original unpublished research in the topics related to the symposium. A regular paper submission should clearly motivate the importance of the problem being addressed, discuss prior work and its relationship to the paper, explicitly and precisely state the paper’s key contributions, and outline the key technical ideas and methods used to achieve the main results. A regular paper submission should not exceed 12 pages, including title page and abstract but excluding references and an optional appendix. Authors should include all necessary details in their submission so that the Technical Program Committee (TPC) can judge the correctness, importance and originality of their work. Any material (e.g., proofs or experimental results) omitted (from the main part of 12 pages) due to space limitations can be put into the optional appendix, which will be read at the TPC’s discretion. Regular papers will be allotted up to 20 pages in the proceedings. _Short papers_: A short paper submission may present work-in-progress on a specific topic, or work appeared elsewhere but is worth publicizing it in the symposium, or a demonstration of a system or library, or an experience/use-case paper, or a vision paper. Authors should clearly motivate the importance of their contribution, discuss prior work and its relationship to the paper, and in general provide sufficient details in their submission so that the TPC can judge the quality and importance of their work. A short paper submission should be at least 2 and at most 8 pages. Short papers will be allotted up to 8 pages in the proceedings. _Survey papers_: A survey paper submission concerns the write-up of a high-quality survey paper on an emerging hot topic. Authors are asked to submit a proposal between 5 and 10 pages that clearly motivates the importance of the topic and contains the structure of the survey paper along with the most important references that will be critically reviewed and presented. If the proposal is accepted, then authors will be given sufficient time to prepare the full version of their survey paper that needs to pass a quality control check by the TPC, in order to be finally accepted and appear in the proceedings. Survey papers will be allotted up to 40 pages in the proceedings. *_Topics _*Topics of interest include, but are not limited to: ·Algorithms for Decentralized Systems ·Algorithms for Dynamic Networks ·Cloud-Edge Continuum ·IoT and Cloud Computing ·Fog and Edge Computing ·Mobile Edge Computing ·Stream processing for Cloud-Edge continuum ·In-network stream processing ·Serverless Computing ·Open datasets of Cloud-Edge workloads ·Infrastructure optimizations for Cloud-Edge applications ·Fault tolerance, reliability and resilience for Cloud-Edge Computing ·AI & Machine Learning for Cloud-Edge ·Federated Learning in Cloud-Edge Architectures ·Resource Management and Scheduling ·Resource Management in Mobile Edge Computing ·Scheduling, orchestration and resource provisioning in Cloud-Edge Computing ·Data Center and Infrastructure Management ·Distributed Caching and Load Balancing ·Distributed Storage management ·Privacy, Security, and Robustness for Cloud-Edge ·Robustness, safety and evaluation of AI/GenAI services in cloud-edge environments ·Game-theoretic Approaches for Cloud-Edge Computing ·Economic Models and Pricing ·Cloud-Edge deployment tools and their analysis ·Performance modelling and evaluation of Cloud-Edge applications ·Novel code deployment models ·Energy-efficiency and Power Management ·Analysis of Algorithms and Data Structures ·Search and Retrieval Algorithms for cloud infrastructures ·Caching and Load-Balancing ·Storage Structures and Indexing for Cloud Database ·Decentralization and Blockchains ·Digital Twins in Cloud-Edge Computing Environments ·Cloud-Edge Computing for Next-Generation Networks ·Resilient Edge Systems for Critical Infrastructures *_PROCEEDINGS_* The conference proceedings will be published in the Springer-Nature Lecture Notes in Computer Science series. *_PAPER_*_*SUBMISSION *_All papers should be submitted electronically via the EasyChair submission system at the submission website: https://easychair.org/conferences/?conf=algocloud2026 <https://easychair.org/conferences/?conf=algocloud2026> Submissions must be in the form of a single pdf file prepared using the LNCS latex templates and style files (available, together with Springer’s authors’ guidelines, from https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Springer’s proceedings LaTeX templates are also available on Overleaf (https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg). By submitting a paper, the authors acknowledge that in case of acceptance at least one of the authors must register at ALGO/ALGOCLOUD 2026 and present the paper (this holds for all types of papers, including accepted survey proposals). Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Accepted papers will be included in the post-proceedings published by Springer in its Lecture Notes in Computer Science series. *_AWARDS_* Awards will be given to the best regular paper and the best student regular paper. A regular paper is eligible for the best student paper award if at least one of the authors is a full-time student (Bachelor, Master, or Ph.D.) at the time of submission and the student(s) must have made a major contribution to the paper. The TPC can decide to decline or to split the awards. Awards are sponsored by Springer. *_COMMITTEES _*_Program Committee Chairs _José Luis Hernández Ramos, University of Murcia, Spain Georgios Tsoumanis, Ionian University, Greece _Program Committee_ Konstantinos Oikonomou, Ionian University, Greece Jorge Blasco, Universidad Politécnica de Madrid, Spain Tolga Girici, TOBB University, Turkey Tiziana Cattai, Sapienza Università di Roma, Italy Djamel Djenouri, University of the West of England, United Kingdom Gordana Gardasevic, University of Banja Luka, Bosnia and Herzegovina Krzysztof Grochla, Institute of Theoretical and Applied Informatics of PAS, Poland Stephan Krenn, AIT Austrian Institute of Technology GmbH, Austria Rodolfo Oliveira, Universidade NOVA de Lisboa, Portugal Zohaib Latif, Nazarbayev University, Kazakhstan Athanasios Tsipis, Ionian University, Greece Enrique Mármol Campos, Universidad de Murcia, Spain Eleni Christopoulou, Ionian University, Greece Domenico Garlisi, University of Palermo, Italy Nikolaos Giannakeas, University of Ioannina, Greece Daniel Mauricio Jimenez Gutierrez, Sapienza University of Rome, Italy _Steering Committee_ Ioannis Chatzigiannakis, Sapienza University of Rome, Italy Spyros Sioutas, University of Patras, Greece Peter Triantafillou, University of Warwick, UK Christos Zaroliagis, University of Patras, Greece (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] [Call for Papers] Women in Logic 2026 -- Extended deadline!

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

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

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

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

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

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

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

[DMANET] Full professor (W2) in Mathematical Optimization at RWTH Aachen University

RWTH Aachen University (Department of Mathematics) is inviting applications for the position of full professor (W2) in the area of     Mathematical Optimization to be filled as soon as possible. The mathematical research focus lies in the field of optimization theory and its foundational principles. The research expertise should include the development of analytical frameworks, structural insights, and fundamental methodologies related to optimization. More details on the position and how to apply can be found at RWTH appointment portal: https://berufungsportal.rwth-aachen.de/ Deadline for application is July 1, 2026. Kind regards, Arie Koster -- Prof. Dr. Arie M.C.A. Koster Professor for Discrete Optimization RWTH Aachen University Pontdriesch 10-12, room 306 (2.0G), D-52062 Aachen T: +49 (0)241 80-94995 (Secretary) -94524 (Direct) - F: +49 (0)241 80-92136 email <mailto:koster@math2.rwth-aachen.de> | www <http://www.math2.rwth-aachen.de/koster/> | Google scholar <https://scholar.google.com/citations?user=AAsK4wwAAAAJ&hl=en> | X <https://x.com/ArieMCAKoster> | LinkedIn <https://www.linkedin.com/in/ariekoster/> ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Research Fellowships at IBS Extremal Combinatorics and Probability Group (ECOPRO with Hong Liu)

Dear Colleagues, The Extremal Combinatorics and Probability Group (ECOPRO) at the Institute for Basic Science (IBS) invites applications for research fellowship positions. We are looking for up to 4 senior researchers. These are purely research positions and will have no teaching duties. ECOPRO is a research group launched on April 1st, 2022, at IBS, led by Prof. Hong Liu. We welcome highly motivated postdoc researchers with outstanding research potential in all fields of combinatorics with emphasis on extremal and probabilistic combinatorics, graph theory, Ramsey theory, combinatorial number theory and discrete geometry. The initial appointment is for 1-2 years, with a starting salary of no less than 61,000,000 KRW per year. The appointment is one time renewable contingent upon the outstanding performance of the researcher (max 5 years). The expected start date is March 1, 2027 (flexible). Combinatorics at IBS: - ECOPRO: https://www.ibs.re.kr/ecopro/ - Related group: Discrete Mathematics Group, led by Prof. Sang-il Oum https://dimag.ibs.re.kr/ For application details, see any of the following advert links: - https://www.ibs.re.kr/ecopro/hiring/ - https://www.mathjobs.org/jobs/list/28384 - https://ibs.re.kr/prog/recruit/eng/sub04_01/view.do?pageIndex=1&searchCondition=&searchKeyword=&idx=2104 The deadline for application is* June 10, 2026.* Best, Hong Liu ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Postdoctoral position at Bilkent

Dear All, I would greatly appreciate it if you could share the following postdoctoral position ad in my group at the Bilkent Quantum & Topology Group (BilQCT), Bilkent University. The ad was shared some time ago, and the application deadline is approaching. --- We are especially interested in researchers with a background in polyhedral geometry, algorithmic optimization, or graph-theoretic methods who are interested in applications to foundational problems in quantum computing. Full details and application instructions can be found on MathJobs: https://www.mathjobs.org/jobs/list/28142 Initial review begins May 15. Please feel free to forward this to interested candidates or reach out to me directly at cihan.okay@bilkent.edu.tr with any questions. --- Best, Cihan https://www.cihanokay.com/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] PhD position in algorithmic graph theory, TU Dresden

A PhD position is open at the Chair of Algorithmic and Structural Graph Theory at TU Dresden, Germany, with a flexible starting date in 2026. The position is full-time (100%, E13 TV-L) and initially offered for three years with possible extension. We are looking for a highly motivated candidate with a strong background in theoretical computer science (in particular, algorithm design). The successful applicant will take part in the research and teaching activities at the Chair of Algorithmic and Structural Graph Theory within the Institute of Theoretical Computer Science at TUD. The main research area is the design and analysis of graph algorithms, with a focus on parameterized algorithms, structural graph theory, graph symmetries and similarities, and algorithmic model theory. The application deadline is *May 22nd, 2026*. For informal inquiries, please contact Daniel Neuen (daniel.neuen@tu-dresden.de). For more details, see the official TU Dresden job openings: https://tu-dresden.de/vacancy/12765 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] SC-Square: Second deadline extension

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

[DMANET] TEAC Special Issue on Fair Division - Deadline Extended to 1 June 2026

Dear colleagues, This is the final call for submissions to the Special Issue on Fair Division at ACM Transactions on Economics and Computation (TEAC). Due to popular demand, and in order to allow authors to submit manuscripts after the EC notification, the deadline has been extended to: **1 June 2026** For more details, please see: https://dl.acm.org/journal/teac/calls-for-papers You can contact us with any questions at fairdiv26-eds@acm.org Best regards, Aris Filos-Ratsikas and Alexandros Hollender ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] =?Windows-1252?Q?[CFP]_CloudNet_2026_Submission_Deadline:_15_May, _2026_?= – 14th IEEE International Conference on Cloud Networking (CloudNet 2026) | Athens, Greece

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