[DMANET] Workshop on Real-world Applications of Geometry and Algebra (RAGA 2026) at Eindhoven University of Technology

Dear all, This is an announcement of the third workshop on "Real-world Applications of Geometry and Algebra", RAGA 2026. In this workshop, speakers from industry and academia will talk about topics in their area that involve (or could benefit from) the use of geometry, graph theory and algebra. The workshop will take place in Eindhoven (The Netherlands), June 1-2 2026. You can register via our *workshop website* <https://sites.google.com/view/appliedgeometryalgebra/raga/raga-2026>. For administrative purposes, we request that you register by *May 22*. Invited Speakers include: Max Bannach (ESA) Gijs Bellaard (TU/e) Guus Bollen (Sioux) Wouter Castryck (KU Leuven) Sean Dewar (KU Leuven) Samantha Fairchild (TU/e) Max Goering (TU/e) Okke Hendriksen and Willem Verhaegh (ASML) Gregor Kemper (TU Munich) Kathlén Kohn (KTH Stockholm) Rob Kooij (TU Delft and TNO) Ivan Kryven (Utrecht University) Alexandru Onose (ASML) Willem Renema (Naturalis) Alvaro Samperio (CUNEF Spain) This workshop is funded by *Math4NL* <https://math4nl.nl>, *NWO* <https://www.nwo.nl> and *TU/e* <https://www.tue.nl>. Best regards, Aida Abiad, Mireille Boutin, Rob Eggermont, Samantha Fairchild ********************************************************** * * 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 Due Jul 15] AHPC 2026 High-Performance Computing, Oct 1-2, OKCity, USA & Online

[Apologies if you receive multiple copies] --- 1st Call for Abstracts and Papers ------------- 2026 OkIP International Conference on Advances in High-Performance Computing (AHPC) Online & Oklahoma City, OK, USA October 1-2, 2026 https://eventutor.com/e/AHPC006 OkIP Published & Submission for Indexation Submission Deadline: July 15, 2026 Extended versions of the best papers will be considered for publication in the inaugural volume of the International Journal of High-Performance Computing. >> Areas: * High-Performance Computing (HPC) Advanced Concepts * HPC AI/ML/LLM/DL * Parallel Computing * Mobile & Wireless Computing * Network Architecture/System * HPC Simulation/Security * HPC Applications More detailed areas here: https://eventutor.com/event/82/program >> Contribution Types (Two-Column Format Style): - Full Paper: Accomplished research results (6 pages) - Short Paper: Work in progress/fresh developments (3 pages) - Extended Abstract/Poster/Journal First: Displayed/Oral presented (1 page) >> Technical Program Committee https://eventutor.com/event/82/page/223-committee >> Important Dates: - Abstract or Paper Submission: July 15, 2026 - Author Notification: August 1-15, 2026 - Camera Ready Paper Submission, Registration: August 7-22, 2026 - Conference Date: October 1-2, 2026 Please feel free to contact us for any inquiries at: Kris Zeuti OkIP Secretariat info@okipublishing.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] CHSZLabLib: Python Interface to State-of-the-Art Graph Algorithm Libraries

Dear colleagues, We are pleased to announce CHSZLabLib, an open-source Python library that provides a unified interface to a collection of high-performance C++ algorithm libraries developed by the Algorithm Engineering Group at Heidelberg University. The library covers a broad range of combinatorial optimization problems on graphs and hypergraphs: - Graph partitioning (KaHIP, HeiStream, SharedMap) - Hypergraph partitioning (FREIGHT) - Community detection and clustering (VieClus, SCC, CluStRE, HeidelbergMotifClustering) - Minimum and maximum cuts (VieCut, fpt-max-cut, HeiCut) - Maximum (weight) independent set (KaMIS, CHILS, LearnAndReduce) - Hypergraph independent set and b-matching (HyperMIS, HeiHGM) - Maximum 2-packing set (red2pack) - Edge orientation (HeiOrient) - Fully dynamic graph algorithms for matching, edge orientation, and weighted independent set (DynMatch, DynDeltaOrientation, DynDeltaApprox, DynWMIS) In total, the library integrates 20 C++ solver libraries (350,000+ lines of C++) behind a consistent Python API with Graph/HyperGraph objects and typed result dataclasses. Pre-built wheels are available for Linux (x86_64) and macOS (arm64); no C++ compiler is required for installation. Installation: pip install chszlablib The library is intended for convenient access and rapid prototyping. For scientific studies and performance measurements, we recommend using the original C++ repositories directly (linked in the README), which provide full documentation, parameter spaces, and experimental setups. Please cite the original papers for each algorithm used; all references are listed in the repository. GitHub: https://github.com/CHSZLab/CHSZLabLib PyPI: https://pypi.org/project/chszlablib/ License: MIT Best regards, Christian Schulz Heidelberg University ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: ICA3PP-2026, The 26th International Conference on Algorithms and Architectures for Parallel Processing, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* ICA3PP-2026 Call for Papers********************** *26th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2026) * https://hpcn.exeter.ac.uk/ica3pp2026/ *Exeter, UK, 26-28 October 2026* INTRODUCTION ============= ICA3PP-2026 is the 26th event in this prestigious series of conferences started in 1995 that are devoted to algorithms and architectures for parallel processing. ICA3PP is a famous event worldwide that covers many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. With the booming computing demands from every aspect of modern society, parallel processing has become increasingly critical and challenging. This conference provides a forum for academics and practitioners from all over the world to exchange ideas on improving the efficiency, performance, reliability, security and interoperability of computing systems and applications. ICA3PP-2026 will be held in Exeter, England, UK. The objective of ICA3PP 2026 is to bring together researchers and practitioners from academia, industry and governments to advance the theories and technologies in parallel and distributed computing. ICA3PP 2026 will focus on two broad areas of parallel and distributed computing, i.e. architectures, algorithms and networks, and systems and applications. ICA3PP-2026 is a CCF Rank-C conference. Accepted papers would be published by Springer and submitted to the EI database. Excellent papers with extension will be recommended for special issues in renowned journals. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: Track 1: Parallel and Distributed Architectures Track 2: Software Systems and Programming Models Track 3: Parallel and Distributed Algorithms and Applications Track 4: Service Dependability and Security in Distributed and Parallel Systems Track 5: Network Architectures and Algorithms Track 6: Big Data Management and Analysis Track 7: Internet of Things and Cyber-Physical-Social Computing Track 8: Performance Modeling and Evaluation PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/ica3pp/) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers will be selected based on their originality, significance, timeliness, relevance, and clarity of presentation. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Papers must be clearly presented in English in Springer LNCS Format <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>. Detailed formatting guidelines are available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . IMPORTANT DATES ================= · Submission Deadline: 10 July 2026 · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 For more information, please visit the conference website: https://hpcn.exeter.ac.uk/ica3pp2026/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

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

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

[DMANET] FLoC workshop on proof complexity - Call for Presentations

FLoC workshop on proof complexity - Call for Presentations ---------------------------------------------------------- Lisbon, 18/19 July 2026 https://proofcomplexityworkshop.gitpages.uni-jena.de The workshop will be part of FLoC (https://www.floc26.org) and affiliated with the conference SAT'26 (https://satisfiability.org/SAT26/). === Important Dates === 15 May 2026 ........ Abstract submission 20 May 2026 ........ Notification to authors 1 June 2026 ........ Early registration deadline 18-19 July 2026 .... Workshop in Lisbon === Scope === Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F (e.g. a propositional tautology) and a proof system P (i.e., a formalism usually comprised of axioms and rules), what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving. === Invited Speakers === Noah Fleming (University of Lund) Jan Pich (University of Oxford) === Submissions === We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even recently published) work on proof complexity. Particular topics of interest are * Proof Complexity * Bounded Arithmetic * Relations to SAT solving * Relations to Computational Complexity === Submission Guidelines === Abstracts are invited of ongoing, finished, or (if clearly stated) even recently published work on a topic relevant to the workshop. Abstracts (at most 2 pages) are to be submitted electronically in PDF via https://submissions.floc26.org/pc/ Accepted communications must be presented at the workshop by one of the authors. === Student travel bursaries available === Bursaries for travel support will be available for students, who want to attend the workshop and combine this with a visit to SAT. Details will be announced on the SAT'26 websites in due time. === Organizers === Olaf Beyersdorff (University of Jena) Massimo Lauria (Sapienza Rome) Jan Johannsen (LMU Munich) ********************************************************** * * 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: ICIST 2026, Coimbra, Portugal, October 1-6, 2026. Submission Deadline: May 15, 2026

Following the success of previous events, the 16th International Conference on Information Science and Technology (ICIST 2026) will be held in Coimbra, Portugal, on October 1-6, 2026. Located between the two largest Portuguese cities, the conference site features a historic royal city with numerous historical buildings, classified as a UNESCO World Heritage site. ICIST2026 aims to provide a high-level international forum for scientists, engineers, and educators to present the state-of-the-art research and applications in neural networks and related fields. The symposium will feature plenary speeches given by world-renowned scholars, regular sessions with broad coverage, and special sessions focusing on popular topics. Technical Co-sponsor: IEEE Systems, Man and Cybernetics Society. Accepted papers will be included in the IEEE Xplore. When: October 1 - 6, 2026 (Coimbra, Portugal) - - - - - - - - - - - - - - - - - - - - Important Dates: Paper submission deadline: May 15, 2026 Notification of acceptance: June 15, 2026 Camera-ready copy and author registration: July 15, 2026 Abstract submission deadline: September 15, 2026 Website: https://conference.cs.cityu.edu.hk/icist/ - - - - - - - - - - - - - - - - - - - - Call for Papers and Special Sessions Prospective authors are invited to contribute high-quality papers to ICIST2026. Additionally, proposals for special sessions within the technical scope of the conference are solicited. Special sessions, organized by internationally recognized experts, aim to bring together researchers in specialized, focused topics. Papers submitted for special sessions are peer-reviewed using the same criteria as those for contributed papers. Researchers interested in organizing special sessions are invited to submit formal proposals to ICIST2026. A special session proposal should include the session title, a brief description of the scope and motivation, names, contact information, and brief biographical information on the organizers. - - - - - - - - - - - - - - - - - - - - Topic Areas: The topics of contributing papers include, but are not limited to, the following areas: Intelligent Control and Automation Autonomous systems, linear and nonlinear control, learning and adaptive control, intelligent control, optimization-based and optimal control, fault detection and identification, hybrid intelligent systems, networked control, fuzzy logic control, industrial automation, neural control, process control, robot control, mechatronic systems, environmental monitoring and control, intelligent manufacturing systems, microprocessor-based control, motor control, power systems, vehicle control, aerospace applications, and other applications. Intelligent Information Processing Machine learning, adaptive filtering, signal processing, audio/speech processing and coding, higher-order spectral analysis, nonlinear & blind signal processing, neural signal processing, component analysis, array signal processing, parallel and distributed processing, time series analysis, multimedia signal processing, design and implementation of signal processing systems, DSP implementations, embedded systems, image and multidimensional signal processing, image processing & understanding, computer vision & pattern recognition, bioimaging and signal processing, multimedia communications, computer vision & virtual reality, next-generation mobile communications, communication signal processing, modulation and channel coding, network coding, sensor networks, cryptography and information security, and other applications. - - - - - - - - - - - - - - - - - - - - Paper Submission Authors are invited to submit full-length papers (8 pages maximum) by the submission deadline through the online submission system. Potential organizers are also invited to enlist five or more papers with cohesive topics to form special sessions. The submission of a paper implies that the paper is original and has not been submitted under review or is not copyright-protected elsewhere, and will be presented by an author if accepted. All submitted papers will be refereed by experts in the field based on the criteria of originality, significance, quality, and clarity. The authors of accepted papers will have the opportunity to revise their papers, taking into consideration the referees’ comments and suggestions. All accepted papers will be submitted for inclusion into IEEE Xplore, subject to meeting IEEE Xplore’s scope and quality requirements. Selected high-quality papers will be included in several journal special issues. ********************************************************** * * 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] JCDCG^3 2026 (Sept. 7-10, Tokyo Univ. of Science), 1st Call For Presentations

JCDCG^3 2026: The 28th Japan Conference on Discrete and Computational Geometry, Graphs, and Games --- Celebrating the 80th birthdays of Professors Jin Akiyama and Vašek Chvátal. (Apologies for multiple distributions) ---- First Call For Presentations ---- Date: Sept. 7 (Mon) -- 10 (Thu), 2026 Conference Site: Tokyo University of Science Submission Deadline: June 12 (Fri), 2026 (JST) Web site: https://sites.google.com/view/jcdcggg2026 http://www.alg.cei.uec.ac.jp/itohiro/JCDCGG/ Invited Plenary Speakers: - Jin Akiyama (Tokyo Univ. of Science, Japan) - Vašek Chvátal (Concordia Univ. in Montreal, Canada and Charles Univ. in Prague., Czech) - Erik D. Demaine (MIT, USA) - David Eppstein (Univ. California, Irvine, USA) - Stefan Langerman (ULB, Belgium) - Joseph O'Rourke (Smith College, USA) - János Pach (Rényi Institute, Hungary and EPFL, Switzerland) - Tadashi Tokieda (Stanford Univ., USA) Scope: We invite submissions of original research on, but not restricted to, discrete geometry, computational geometry, graph theory, graph algorithms, and complexity and winning strategies of puzzles and games. The collection of extended abstracts will be distributed only in electronic form. Submission format: Authors are required to submit a pdf-file of an extended abstract of ** at most 2 pages ** in a standard 10-point font on A4-paper (any format is OK if it obeys these restrictions) to https://easychair.org/conferences/?conf=jcdcg32026 by June 12, 2026 (JST). Note: - The official language for abstracts and presentations of talks in this conference is English. Publishing a collection of selected papers: The collection of extended abstracts will be provided in electronic form. No proceedings will be published. A collection of selected full papers of this conference, however, is planned to be published as a special issue of a journal. Details will be announced afterward. *** Note *** For oral presentations, submissions that are slightly out of scope may be accepted, but for the collection of papers published by the journal, the scope will be reviewed more strictly, i.e., some submissions accepted for oral presentations may be excluded from the collection on the basis of scope. ************ *************************************************************** * Important Dates: * - Submission (extended abstracts at most 2 pages) Deadline: * June 12 (Fri), 2026 (JST), * - Notification: (expected to be) July 03 (Fri), 2026, * - Camera-Ready File Submission Deadline: July 24, 2026, * - Conference: Sept. 7 (Mon) -- 10 (Thu), 2026. *************************************************************** Committees: Conference Co-Chairs: Toshinori Sakai (Tokai University, Japan) Akifumi Sako (Tokyo University of Science, Japan) Program Committee: - Supanut Chaidee (Chiang Mai University, Thailand) - Shinya Fujita (Yokohama City Univ., Japan) - Michitaka Furuya (Kwansei Gakuin Univ., Japan) - Hiro Ito (UEC, Japan; Chair) - Michael Lampis (Univ. Paris Dauphine, France) - Jayson Lynch (MIT, USA) - Yasuko Matsui (Tokai Univ., Japan) - Daiki Miyahara (UEC, Japan) - Atsuki NAGAO (Ochanomizu Univ.) - Hirotaka Ono (Nagoya Univ., Japan) - Kenta Ozeki (Yokohama National Univ., Japan) - Toshinori Sakai (Tokai Univ., Japan) - Koki Suetsugu (Toyo Univ., Japan) - Ryuhei Uehara (JAIST, Japan) - Yushi Uno (Osaka Metropolitan Univ., Japan) - Chao YANG (Guangdong Univ. of Foreign Studies, China) Organizing Committee: - Shinya Fujita (Yokohama City University, Japan) - Hiro Ito (UEC, Japan) - Gen Kawatani (Sophia University, Japan) - Takako Kodate (Tokyo Woman's Christian University, Japan) - Yasuko Matsui (Tokai University, Japan) - Atsuki Nagao (Ochanomizu University, Japan) - Natsumi Oyamaguchi (Tokyo University of Science, Japan) - Toshinori Sakai (Tokai University, Japan; Chair) - Xuehou Tan (Tokai University, Japan) - Shin-ichi Tokunaga (Institute of Science Tokyo, Japan) - Yushi Uno (Osaka Metropolitan University, Japan) Contact: JCDCG^3 2026 Organizing Committee <jcdcggg_contact@googlegroups.com> ..A A .. ......ITO Hiro, Professor . ..... School of Informatics and Engineering, . @ @ .... The University of Electro-Communications . = x = . .... 1-5-1 Chofugaoka, Chofu, Tokyo 182-8585, JAPAN . . . . E-mail: itohiro@uec.ac.jp .(( (( ( .......................................... ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] 2nd CFP (keynote confirmed): The 9th International Conference on Algorithmic Decision Theory (ADT 2026)

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

[DMANET] Call for Applications for Travel Grants (Deadline: April 17th, 2026)

4th European Summer School on Artificial Intelligence (ESSAI 2026) 2nd International Summer School on Bilateral AI 6-10 July 2026, Vienna, Austria https://essai2026.eu The purpose of travel grants is to support students who have limited or no access to other funding for supporting their attendance at ESSAI 2026. The amount of the travel grant awarded to each student will be 525€ (amount equal to the early registration fee for students). *** Deadline for submissions: April 17th, 2026 (updated deadline). *** *** Notification: April 27th, 2026 (updated deadline). *** Application details can be found at: https://essai2026.eu/grants.php *General Information* ESSAI is the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI), and in 2026 it will encompass the 2nd International Summer School on Bilateral AI. ESSAI is the largest school of broad AI in Europe, offering courses in all areas of Artificial Intelligence and from a wide range of perspectives. Its thematic scope is analogous to major AI conferences like ECAI, IJCAI and AAAI, covering all AI subdisciplines and their interconnections. ESSAI is a central meeting place for AI students and young researchers to deepen their knowledge, broaden their perspectives, discuss current research, and build connections with other researchers. *Registration is Open* Registration fees and dates can be found at: https://essai2026.eu/registration.php ***Early Registration Deadline: April 30, 2026*** ***Register now to secure your spot at ESSAI 2026!*** *Location* The fourth edition of ESSAI will be held in Vienna, a city where history and innovation walk side by side. Home to world-renowned universities and research centers, Vienna has inspired great thinkers for centuries—think of Erwin Schrödinger, Lise Meitner, Sigmund Freud, Kurt Gödel, Ludwig Wittgenstein, or the Vienna Circle. Today, Vienna continues to welcome students, scholars, and curious minds from around the globe. Vienna awaits you with world-class culture, groundbreaking science, and cozy coffee houses --- all in a city celebrated for its quality of life. *Tentative List of Long Courses* 1. AI for Autonomous Robots: Bridging Theory and Practice 2. Specification-Guided Reinforcement Learning 3. Introduction to Constraint Satisfaction 4. Why Is Symbolic Reasoning Computationally Hard? 5. Wikidata: A backbone for Hybrid/Bilateral AI 6. The Art of Compressing LLMs: Pruning, Distillation, and Quantization Demystified 7. Trustworthy AI 8. Data Driven Approaches in (Multi-objective) Bayesian Optimisation 9. Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic 10. Recommender Systems: Past, Present, and Future (Challenges) 11. Logic meets Learning 12. Beyond Breakpoints: AI for Software Fault Localization 13. Foundations of Concept-Based Interpretable Deep Learning 14. Learning Deep Low-dimensional Models from High-Dimensional Data: From Theory to Practice 15. Decision trees: from efficient prediction to responsible AI 16. Trustworthy Machine Learning from Data to Models 17. Reward and Constraint Learning: Foundations for Human-AI Alignment 18. Recurrent GNNs: The Power of Iteration 19. Knowledge Compilation: Theory, Practice, and Applications 20. AI for Fair and Transparent Decision-Making from Legal and Technical Perspectives 21. Uncertainty in Machine Learning: From Aleatoric to Epistemic 22. Tractable Circuits: A Common Language for Logic, Probability, and Neural Models 23. Modern Constraint Programming 24. From In-Context Learning to Neuro-Symbolic Reasoning with Large Reasoning Models More details on the program can be found at: https://essai2026.eu/ ********************************************************** * * 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] University Assistant (PostDoc) in the field of combinatorial probability at TU Graz

The Institute of Discrete Mathematics at TU Graz is looking to hire a University Assistant (PostDoc) in the field of combinatorial probability. The contract duration is 72 months, starting September 2026. Admission Requirements: PhD in mathematics Desired Qualification: * Solid knowledge and research experience in one or more of the following fields: enumerative combinatorics, analytic combinatorics, discrete probability, random discrete structures * Ability and willingness to conduct independent research in the above mentioned fields * Very good knowledge of German (required for teaching from the very beginning) and very good knowledge of English * Didactic suitability for the teaching tasks to be undertaken (especially with regard to teaching classes for engineering students and classes with a large number of participants) Application deadline 10 May 2026. For more details and a link to the application form, see the TU Graz Job Portal: https://jobs.tugraz.at/en/jobs/2d4663e1-1a2c-d7f2-0c90-69a6a6a02b83 ********************************************************** * * 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] [3rd CFP] LODAS 2026 – Learning & Optimization for Distributed AI Systems @ FLICS 2026 (Valencia, June 9–12)

Dear colleagues, _Apologies for any cross-posting._ ====================================== We are pleased to invite you to submit your contributions to LODAS 2026, The 1st International Workshop on Learning and Optimization for Distributed AI Systems, co-located with the FLICS 2026 Conference to be held in Valencia, Spain, June 9-12, 2026. *Submission deadline (extended): April 28, 2026* * Workshop website: https://jamaltoutouh.github.io/lodas2026/ * Conference website: https://flics-conference.org/ ====================================== SCOPE ====================================== Modern AI systems increasingly operate in distributed, edge, and resource-constrained environments. LODAS 2026 aims to bring together researchers working at the intersection of learning and optimization to address challenges in scalability, reliability, and efficiency for distributed AI systems. We welcome contributions addressing (but not limited to): * Federated, distributed, and edge learning * Communication-efficient and resource-aware AI * Multi-objective and constrained optimization * Workflow scheduling and system-level optimization * Agentic AI and autonomous multi-agent systems * Foundation models under system constraints * Trustworthy, privacy-preserving, and robust AI * Cyber-physical systems, IoT, and digital twins ====================================== Submission Information ====================================== Submissions must be made via EasyChair (details on the workshop website). Formatting: IEEE A4 Manuscript Templates for Conference Proceedings. ====================================== Paper types: ====================================== * Long papers: 7-8 pages (research contributions) * Short/position papers: 4-6 pages (work-in-progress or visionary ideas) * Poster papers (undergraduate): 1-2 pages ====================================== Important Dates ====================================== * Submission deadline (extended): April 28, 2026 * Notification of acceptance: May 5, 2026 * Camera-ready & registration: May 15, 2026 * Workshop date: June 9-12, 2026 (exact session date to be announced) ====================================== Organizing Committee ====================================== * Jamal Toutouh - University of Málaga, Spain * Gabriel Luque - University of Málaga, Spain * Diego Daniel Pedroza-Perez - University of Málaga, Spain We warmly encourage you to submit your latest work and to share this call with colleagues and relevant research mailing lists. Best regards, LODAS 2026 Workshop Organizing Team https://jamaltoutouh.github.io/lodas2026/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Invitation to the Third Tutorial of the 2026 QSR Tutorial Series

We invite you to participate in the last tutorial of the 2026 QSR Tutorial Series. The goal of the series is to provide QSR members and the general public with accessible, high-quality tutorials that expand their knowledge of emerging research areas and practical tools in quality, statistics, and reliability. The information of the last tutorial is below. We look forward to seeing you there! Reliability Models and Data Analysis for New Product Development Reliability testing, experimental design, and data analysis play a critical role in the development, estimation, and improvement of highly reliable products. To obtain high-quality reliability data, test equipment, stress profiles, and experimental designs must be carefully selected. Domain knowledge, such as physics-of-failure mechanisms, failure modes, and operating conditions, should be effectively incorporated into experimental design to ensure efficient data collection and accurate representation in the corresponding reliability models. For engineering teams involved in such efforts, a range of challenges related to equipment selection, statistical methodology, and cost constraints must be addressed. This 2-hour tutorial begins with an overview of widely used reliability testing techniques, statistical models, and test planning methods. The second part focuses on several "interesting" technical challenges and practical solutions we came up with for supporting engineers in reliability testing and data analysis during new product development. This tutorial is intended for a diverse audience, including engineering students, researchers, and industry professionals. Dr. Haitao Liao John & Mary Lib White Systems Integration Chair and Professor Department of Industrial Engineering University of Arkansas - Fayetteville Dr. Haitao Liao is the John & Mary Lib White Endowed Systems Integration Chair and a Professor in the Department of Industrial Engineering at the University of Arkansas, Fayetteville. He earned his Ph.D. in Industrial and Systems Engineering from Rutgers University in 2004, along with M.S. degrees in Industrial Engineering and Statistics from the same institution. He received his B.S. in Electrical Engineering from Beijing Institute of Technology. Dr. Liao's research focuses on reliability modeling, fault diagnosis and prognostics, smart maintenance, service logistics, risk-informed decision-making, and resilience of critical infrastructure. He has authored more than 130 journal articles in leading publications, including European Journal of Operational Research, Naval Research Logistics, IISE Transactions, Annals of Operations Research, IEEE Transactions on Reliability, Reliability Engineering & System Safety, and International Journal of Production Research. He is the recipient of several prestigious honors, including the National Science Foundation CAREER Award (2010) and the Alan O. Plait Award for Tutorial Excellence (2017). In addition, he has received numerous best paper awards from IISE, INFORMS, and the Society of Reliability Engineers. Dr. Liao currently serves as Associate Editor-in-Chief of IEEE Transactions on Reliability and is a Fellow of IISE. April 24, 2026 3:00pm (EDT) Zoom Link: https://kaist.zoom.us/j/86474411685 Kind regards, The Organizing Committee: Alan R. Vazquez, Tecnologico de Monterrey Heeyoung Kim, KAIST William Fisher, JMP ********************************************************** * * 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] GenAIK-NORA Joint Workshop @ IJCAI-ECAI 2026

Hi All, We are pleased to announce GenAIK-NORA: The Joint Workshop on Generative AI and Knowledge Graphs and KNOwledge GRaphs & Agentic Systems Interplay, which will be co-located with IJCAI-ECAI 2026 in Bremen, Germany. More details below. *Joint Call for Papers---------------------------------------------------------------------------------Joint Workshop on Generative AI and Knowledge Graphs (GenAIK) and KNOwledge GRaphs & Agentic Systems Interplay (NORA),15-17 August 2026, Bremen, GermanyWeb: https://genetasefa.github.io/GenAIK2026/ and https://nora-workshop.github.io/IJCAIECAI2026/ X: @GenAIK26 LinkedIn: https://www.linkedin.com/groups/9868047 and https://www.linkedin.com/company/nora-knowledge-graphs-agentic-systems-interplay Mastodon: https://sigmoid.social/@GenAIK ---------------------------------------------------------------------------------In conjunction with IJCAI-ECAI 2026, August 15-19---------------------------------------------------------------------------------Workshop Overview---------------------------------------------------------------------------------Recent advances in Generative Artificial Intelligence (GenAI) and Large Language Models (LLMs) have transformed the AI landscape, enabling systems to generate multimodal content and perform increasingly complex reasoning and decision-making tasks. Despite these advances, generative models still face important challenges, including hallucinations, limited interpretability, and difficulties in grounding outputs in reliable domain knowledge.Knowledge Graphs (KGs) provide a principled framework for representing structured and interconnected knowledge through entities, relations, and formal ontologies. They enable interpretability, reasoning, and the integration of domain expertise, making them an important component for building reliable and trustworthy AI systems. At the same time, LLM-based agents are emerging as a powerful paradigm for building autonomous systems capable of planning, tool use, and long-term task execution, often requiring structured representations of knowledge and memory.The interaction between generative models, agentic systems, and knowledge graphs is therefore becoming an important research direction in contemporary AI. This workshop aims to bring together researchers and practitioners from AI, NLP, Knowledge Graphs, Semantic Web, and Hybrid AI to explore methods, systems, and applications that combine these paradigms.This edition represents a joint workshop, bringing together the communities of GenAIK (Generative AI and Knowledge Graphs) and NORA (Knowledge Graphs and Agentic Systems Interplay) to foster collaboration across these complementary research areas.---------------------------------------------------------------------------------Topics of Interest---------------------------------------------------------------------------------- KG construction, completion, and refinement with GenAI and Agents— Text-to-KG extraction using LLMs (multilingual, multimodal)— KG completion, cleaning, and refinement (deduplication, entity resolution)— Fact verification, contradiction detection, and consistency checking— Human-in-the-loop KG curation and interactive refinement- KG grounding for information retrieval, including generation, querying, and dialogue— KG-grounded generation / GraphRAG (subgraph retrieval, path-based evidence)— Natural language querying of KGs via GenAI (e.g., NL-to-SPARQL) — Hybrid QA and dialogue systems combining KGs and GenAI (e.g., Agents) — Prompting / controllable generation using KG structure and constraints— Context and memory indexing and retrieval for GenAI and agents- Neuro-symbolic methods, reasoning, and explainability— Hybrid reasoning with rules, constraints, and structured evidence — Explainability and verifiable reasoning with provenance/evidence graphs — Cross-domain knowledge transfer with KGs and GenAIK- Representations, embeddings, and temporal/evolving KGs— GenAI for KG embeddings and hybrid vectorgraph representations — Temporal KGs, dynamic updates, continual learning, concept drift — Ontology learning, schema induction, alignment, and schema evolution- Trustworthiness, safety, and governance— Bias mitigation using KGs in GenAI and Agentic Systems— Hallucination reduction via grounding/constraints; robustness to attacks — Uncertainty estimation and calibrated confidence — Privacy, access control, and policy-aware KG-grounded generation- Agentic KGs and real-world systems — Agentic KGs: KGs as long-term memory/state for LLM agents— KGs serving agents' memories: Episodic (experiences, events, etc.), Semantic (facts, concepts, etc.), and — Procedural (skills, tasks, etc.)— KG-aware planning, tool use (query/update), and multi-agent coordination— Collaborative & shared agent memories and contexts.— Context Engineering enhanced by KGs- GenAI/Agents and KG Applications— Efficient and proactive personal assistance & Personalisation— Multi-Lingual & Multi-modal integrations and enablement— Personalisation vs Generalisation in GenAI and Agentic systems memory— Domain-specific applications: scholarly knowledge, biomedicine & healthcare, finance, education, etc.— Task-specific applications: personal assistance, dialogue systems, recommender systems, customer service, etc.— Architectures and pipelines - Datasets, benchmarks, and evaluation— Benchmark datasets for GenAI or Agents plus KG tasks— Evaluation of grounding/faithfulness, factuality, reasoning, robustness— Evaluation pitfalls: data leakage, LLM-as-a-judge bias, reproducibility, and reporting standards------------------------------------------------------------------------------------Important Dates (AoE)------------------------------------------------------------------------------------- Submission Deadline: 7 May 2026- Notification of Acceptance: 10 June 2026- Camera-ready Paper Due: 25 June 2026- Workshop date (In-Person): 15, 16, or 17 August 2026------------------------------------------------------------------------------------Submissions Guidelines, Policies, and Awards are available on the website.---------------------------------------------------------------------------------------------------------------------------------------------------------------------Organization---------------------------------------------------------------------------------GenAIK Team:- Genet Asefa Gesese, FIZ Karlsruhe, KIT, Germany- Angelo Salatino, The Open University, UK.- Blerina Spahiu, University of Milano-Bicocca, Italy- Shenghui Wang, University of Twente, The Netherlands - Heiko Paulheim, University of Mannheim, GermanyNORA Team:- Btissam Er-Rahmadi, Independent Researcher, UK- Sebastien Montella, Huawei Technologies R&D UK Ltd, UK- Damien Graux, EcoVadis, UK- Andre Melo, Huawei Technologies R&D UK Ltd, UK- Hajira Jabeen, University Hospital Cologne, Germany* -- Btissam Er-Rahmadi ********************************************************** * * 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] APPROX 2026

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

[DMANET] [CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning

Call for Papers: The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) 24 - 26 August, 2026 Vilnius, Lithuania Link: https://2026.declarativeai.net/ruleml-rr/main-track Venue: The 10th edition of RuleML+RR will be held in <https://www.floc26.org/venue>Vilnius, Lithuania <https://en.wikipedia.org/wiki/Vilnius> from August 24th to 26th. It will be co-located with several events as part of Declarative AI 2026 <https://2026.declarativeai.net/>, including <https://kr.org/KR2026/> DecisionCamp <https://2026.declarativeai.net/decisioncamp>, the Reasoning Web Summer School <https://2026.declarativeai.net/reasoning-web>, and multiple satellite events (Rule Challenge <https://2026.declarativeai.net/ruleml-rr/rule-challenge>, Doctoral Consortium <https://2026.declarativeai.net/ruleml-rr/doctoral-consortium>, Industry Track <https://2026.declarativeai.net/ruleml-rr/industry-track>, and Networking Session <https://2026.declarativeai.net/ruleml-rr/networking-session>). Topics of Interest: Macro areas are Ontologies and the Semantic Web, Rules and AI, Reasoning, Systems, Interoperability, Constraints, and Applications & Experiences. For the detailed list, please refer to the full CfP linked above. Important dates (Anywhere on Earth - AoE): - May 8th, 2026 (AoE): Title and Abstract Submission - May 15th, 2026 (AoE): Paper Submission - June 26th, 2026 (AoE): Notification of Acceptance - August 24th–26th, 2026: Conference Submission Types: - Long papers: up to 15 pages in LNCS style <http://www.springer.com/comp/lncs/authors.html> (excluding references), plus up to 2 additional pages for references. - Short papers: up to 8 pages in LNCS style <http://www.springer.com/comp/lncs/authors.html> (excluding references), plus up to 1 additional page for references. Conference Chairs: - Agnieszka Lawrynowicz, Poznan University of Technology, Poland - Davide Lanti, Free University of Bozen-Bolzano, Italy General Chairs: - Victor Gutierrez Basulto, Cardiff University, UK - Mantas Šimkus, TU Wien, Austria Local Chair: - Linas Petkevičius, Vilnius University, Lithuania Submission Link: cmt3.research.microsoft.com/DAI2026/ (select "RuleML+RR Main Track") ********************************************************** * * 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] WG 2026: Call for Participation

*Call for Participation: WG 2026, June 2-4, Kortrijk, Belgium* The 52nd edition of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2026) will take place from Tuesday June 2nd to Thursday June 4th 2026 at KU Leuven campus Kulak in Kortrijk, Belgium, with a welcome reception on the evening of June 1st. The conference website is: https://wg2026.be ============ Registration ============ The registration is open and instructions can be found at: https://wg2026.be/registration.html The conference fees are as follows: Early Registration fee (until April 26th): Student: 300 € Regular: 375 € Late Registration fee (until May 17th): Student: 375 € Regular: 450 € The registration fee includes the conference material, the welcome reception, coffee breaks, lunches, conference excursion, and the conference dinner. =============== Accepted Papers =============== The list of papers accepted for presentation are now available at: https://wg2026.be/accepted.html ================ Invited Speakers ================ * Rose McCarty (Georgia Institute of Technology, USA) * Pascal Schweitzer (TU Darmstadt, Germany) A talk by one of the recipients of the WG 2026 Test of Time Award: * Dimitrios M. Thilikos (LIRMM, Université de Montpellier, CNRS, France) ==================== Organizing Committee ==================== - Jan Goedgebeur (co-chair) (KU Leuven, Belgium) - Jorik Jooken (KU Leuven, Belgium) - Michiel Provoost (KU Leuven, Belgium) - Paweł Rzążewski (co-chair) (Warsaw University of Technology, Poland) -- Jan Goedgebeur Department of Computer Science KU Leuven Campus Kulak Etienne Sabbelaan 53 8500 Kortrijk, Belgium ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] LAWCG 2026 - Second Call for Abstracts

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

Hello the LITIS Laboratory in Le Havre proposes a funded PhD thesis on exploring temporal graphs, with a co-supervision with Patras university (Greece).  More details in the joint file. Please broadcast this information to any interested student. Best regards Eric -- Eric Sanlaville co-directeur LITIS Professeur d'Informatique Université Le Havre Normandie ********************************************************** * * 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] CONCUR 2026: Final Call for Papers

CONCUR 2026: Final Call for Papers When: 1 – 4 September, 2026 Where: Liverpool, UK Web: https://confest-2026.github.io/concur ------------------------------------------------------------------------ The International Conference on Concurrency Theory (CONCUR) brings together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. CONCUR solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems. The 2026 edition will be co-located with QEST+FORMATS, FMICS and a number of workshops under the joint name CONFEST 2026, which will take place September 1-5, 2026 at the University of Liverpool, UK. Important dates - Abstracts: 20 April, 2026 (AoE) - Submissions: 27 April, 2026 (AoE) - Rebuttal: 1 – 3 June, 2026 (AoE) - Notification: 15 June, 2026 (AoE) - Camera Ready: 29 June, 2026 (AoE) - Conference: 1 – 4 September, 2026 - Workshops: 5 September, 2026 Topics Submissions are solicited in the theory and practice of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain-theoretic models, categorical and coalgebraic models, game-theoretic models, parametric models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, quantum systems, biology-inspired systems, and synchronous systems; - Logics for concurrency such as modal logics, program logics, probabilistic and stochastic logics, temporal logics, multi-agent logics, and resource logics; - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; - Distributed/parallel algorithms and concurrent data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, commitment schemes, communication protocols; - Theoretical foundations, tools, and empirical evaluations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, distributed ledgers, communication networks, multiprocessor and multi-core architectures, quantum computing, quantum communication, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. Paper submission - All papers must be original, unpublished, and not submitted for publication elsewhere. - Each paper will undergo a thorough review process. - Papers must be submitted electronically as PDF files via EasyChair (https://easychair.org/conferences?conf=concur2026). - Proceedings will be published by LIPIcs; please use their style files (https://drops.dagstuhl.de/entities/series/LIPIcs#author) when preparing your submission. - Submissions follow a single-blind process. - Papers must not exceed 15 pages (excluding references and appendices, LIPIcs style) - An appendix may provide additional material and proofs, but should not be expected to be scrutinized by the reviewers and will not be published in the proceedings. - PC members are allowed to submit. However, if it gets to a final vote on the last papers to be accepted, then PC-coauthored papers cannot be selected. Special Issue A special issue dedicated to selected papers from CONCUR’2026 will appear in Logical Methods in Computer Science. Awards There will be a CONCUR Test-of-Time award, Best Paper award, and Best Student Paper award in 2026. The winners will be announced at the conference. Invited Speakers - Jade Alglave, University College London / Arm, UK - Ezio Bartocci, TU Wien, Austria - Ichiro Hasuo, National Institute of Informatics, Japan - Jean-François Raskin, Université Libre de Bruxelles, Belgium - Qiyi Tang, University of Liverpool, UK Program Committee Chairs - Ana Sokolova, University of Salzburg, Austria - Patrick Totzke, University of Liverpool, UK Program Committee - Parosh Abdulla, Uppsala University, Sweden - Giorgio Bacci, Aalborg University, Denmark - Christel Baier, TU Dresden, Germany - Paolo Baldan, University of Padova, Italy - Nathalie Bertrand, INRIA Rennes, France - Laura Bocchi, University of Kent, UK - Filippo Bonchi, University of Pisa, Italy - Valentina Castiglioni, Eindhoven University of Technology, the Netherlands - Dmitry Chistikov, University of Warwick, UK - Corina Cirstea, University of Southampton, UK - Wojciech Czerwiński, University of Warsaw, Poland - Javier Esparza, TU Munich, Germany - Benjamin Kaminski, Saarland University and UCL, Germany/UK - Tobias Kappé, Leiden University, the Netherlands - Stefan Kiefer, University of Oxford, UK - Barbara König, University of Duisburg-Essen, Germany - Antonín Kucera, Masaryk University, Czech Republic - Yong Li, SKLCS Beijing, China - Nicolas Mazzocchi, STU Bratislava, Slovakia - Roland Meyer, TU Braunschweig, Germany - Pierre Ohlmann, CNRS, LIS Marseille, France - Prakash Panangaden, McGill and University of Edinburgh, Canada/UK - Kirstin Peters, University of Augsburg, Germany - Guillermo A. Pérez, University of Antwerp, Belgium - Damien Pous, CNRS, ENS Lyon, France - Karin Quaas, University of Leipzig, Germany - Ege Saraç, CISPA, Germany - Sylvain Schmitz, Université Paris Cité, France - Henning Urbat, FAU Erlangen-Nürnberg, Germany - Viktor Vafeiadis, MPI-SWS, Germany - Franck van Breugel, York University, Canada - Rob van Glabbeek, University of Edinburgh, UK - Pierre Vandenhove, Université de Mons, Belgium - Kazuki Watanabe, NII, Tokyo, Japan - Sarah Winter, Université Paris Cité, France - Nisansala Yatapanage, Australian National University, Australia - Florian Zuleger, TU Wien, Austria Steering Committee - Luca Aceto, Reykjavik University, Iceland - Christel Baier, TU Dresden, Germany - Pedro R. D’Argenio, National University of Córdoba, Argentina - Wan Fokkink, VU Amsterdam, the Netherlands - Catuscia Palamidessi, INRIA Saclay and LIX, France - Jiri Srba, Aalborg University, Denmark Questions regarding submissions should be directed to the PC chairs (concur2026@easychair.org). ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Papers: 20th International Conference on Reachability Problems (RP'26), 21-23 Oct, Turku, Finland

(Apologies for multiple copies) 20th International Conference on Reachability Problems (RP’26) 1st Call for Papers The 20th International Conference on Reachability Problems (RP’26) will be organized by Department of Mathematics and Statistics, University of Turku, Finland. The conference will take place from 21 to 23 October, 2026. Invited Speakers • Laura Kovács (Vienna University of Technology, Austria) • Antti Kuusisto (Tampere University, Finland) • Igor Potapov (University of Liverpool, UK) • Ilkka Törmä (University of Turku, Finland) • James Worrell (University of Oxford, UK) Important Dates • Submission deadline for regular research papers: June 21 • Submission deadline for presentation-only abstracts: July 26 • Notification of acceptance: August 3 Scope of the conference RP is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in • Algebraic structures • Automata theory and formal languages • Computational game theory • Concurrency and distributed computation • Decision procedures in computational models • Hybrid systems • Logic and model checking • Verification of finite and infinite-state systems Submission and publication There are two types of submissions: regular research papers and presentation-only contributions. Accepted regular research papers will be published in the Springer LNCS proceedings of RP’26. Presentation-only contributions require a short abstract, and should have a clear relevance with the scope of the conference. For more instructions on submissions, see https://math.utu.fi/rp26/. RP26 is pleased to announce a Best Paper Award, with a prize of EUR 500, sponsored by Springer. Program Committee • Mohamed Faouzi Atig (Uppsala University, Sweden) • Paul Bell (Liverpool John Moores University, UK) • Michaël Cadilhac (DePaul University, USA) • Enrico Formenti (Université Côte d’Azur, France) • Anahi Gajardo (Universidad de Concepción, Chile) • Moses Ganardi (MPI-SWS, Germany) • Vesa Halava (University of Turku, Finland) co-chair • Mika Hirvensalo (University of Turku, Finland) • Piotr Hofman (University of Warsaw, Poland) • Lukáš Holik (Brno University of Technology, CZ) • Raphaël Jungers (UCLouvain, Belgium) • Jarkko Kari (University of Turku, Finland) co-chair • Sandra Kiefer (University of Oxford, UK) • Joshua Moerman (Open Universiteit, Netherlands) • Reino Niskanen (Liverpool John Moores University, UK) • Andrew Ryzhikov (University of Warsaw, Poland) • Ville Salo (University of Turku, Finland) • Sylvain Sené (Aix-Marseille Université, CNRS, France) • Ana Sokolova (University of Salzburg, Austria) • Matthias Wendlandt (JLU Giessen, Germany) • Sarah Winter (IRIF, France) Organizers • Vesa Halava (co-chair) • Jarkko Kari (co-chair) • Risto Huovinen • Katariina Paturi • Antti Tuominen • Arto Lepistö More information will be available at: https://math.utu.fi/rp26/ For questions please contact: rp26@utu.fi. -- Sylvain Sené Université publique ********************************************************** * * 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] Reminder: Fully funded PhD position in Machine Learning for Multiobjective Combinatorial Optimization at TU Munich (Application Deadline: 30 April 2026)

A fully funded PhD position (initially 75% TV-L E13, increasing to 100% TV-L E13 after 8 months) in Machine Learning for Multiobjective Combinatorial Optimization is available at the Professorship of Optimization and Sustainable Decision Making (https://odm.cs.tum.de/en/) of the Technical University of Munich (TUM). The expected starting date for the position is August 2026 or later. The application deadline is 30 April 2026. Applications will be reviewed starting from this date and will remain open until the position is filled. We would be grateful if you could share this announcement with potentially interested candidates. Details about the position and the application process are available here: https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20260312_103447 For further information, please contact Prof. Dr. Clemens Thielen (clemens.thielen@tum.de). -- Prof. Dr. Clemens Thielen Professorship of Optimization and Sustainable Decision Making TUM Campus Straubing for Biotechnology and Sustainability Technical University of Munich (TUM) Am Essigberg 3 | 94315 Straubing | Germany Phone: +49 9421 187 175 Web: http://odm.cs.tum.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] BigHPC 2026 CfP

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] SMARTCOMP 2026, Call for Posters, Demos, and Work-in-Progress (WIP) Contributions (Deadline 17 April 2026 is approaching!)

====================================================================== SMARTCOMP 2026 Call for Posters, Demos, and Work-in-Progress (WIP) Contributions https://portale2.unime.it/smartcomp2026/call-for-posters/ ====================================================================== Please consider submitting your work to the Posters, Demos, and Work-in-Progress (WIP) track of SMARTCOMP 2026. This track offers an excellent opportunity to present early-stage research, novel ideas, and innovative applications to an international audience of researchers and practitioners in Smart Computing. *** Accepted Posters, Demos, and WIP papers will be published in IEEE Xplore. *** For details, topics of interest, and submission guidelines, please refer to the full CFP below. ---------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------- Paper submission: 17 April 2026 Acceptance notification: 1 May 2026 Camera-ready deadline(tentative): 8 May 2026 ---------------------------------------------------------------------- SMARTCOMP 2026 - Call for Posters / Demos / WIP ---------------------------------------------------------------------- SMARTCOMP 2026 is the 12th edition of the premier conference on Smart Computing. Smart Computing is a multidisciplinary domain shaped by the synergistic advances in sensor-based technologies, the Internet of Things (IoT), cyber-physical systems (CPS), edge computing, big data analytics, machine learning, cognitive computing, and artificial intelligence. Applications of Smart Computing span many societal domains, including transportation, energy, environmental protection, smart and connected communities, healthcare, banking, industrial systems, entertainment, and social media. Algorithmic and system advances in cloud computing, mobile and pervasive computing, cyber-physical systems, sensor networking, and social computing are taking Smart Computing to a new dimension and improving our ways of living. Submit your Demo here. https://edas.info/newPaper.php?c=34460&track=134041 Submit your Poster/WIP here. https://edas.info/newPaper.php?c=34460&track=134042 *** Accepted Posters, Demos, and WIP papers will be published in IEEE Xplore. *** ---------------------------------------------------------------------- Posters / Demos / WIP Co-Chairs ---------------------------------------------------------------------- Brent Lagesse University of Washington Bothell, USA Mario Molinara University of Cassino and Southern Lazio, Italy ====================================================================== Thanks & Regards, Debasree Das ********************************************************** * * 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] MIP 2026 announcements: schedule, early-bird registration and flash talks

Here are some announcements regarding the 2026 Mixed Integer Programming workshop that will be held on May 18–21, 2026, at the University of Connecticut, Stamford campus. - The program schedule is now available: https://www.mixedinteger.org/2026/schedule.html - Early-bird registration closes on *April 14*: https://www.mixedinteger.org/2026/registration.html - MIP 2026 has some limited slots for contributed flash talks by non-students (those not eligible for the poster session, such as postdocs, faculty, national lab members, and industry researchers). To be considered, please submit your title and abstract by *April 15, 2026*. Decisions will be communicated by April 25, 2026: https://www.mixedinteger.org/2026/posters.html For more information, visit: https://www.mixedinteger.org/2026/index.html We look forward to seeing you in Stamford, Connecticut. On behalf of the MIP 2026 Program Committee: Beste Basciftci, Yatharth Dubey, Cheng Guo, Sebastian Perez-Salazar, Matthias Walter ********************************************************** * * 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] Workshop on the Lonely Runner Conjecture, October 6-9, 2026 (Rostock, Germany)

We are delighted to announce an international workshop entitled "The Lonely Runner Conjecture: From Early Insights to Current Trends and Future Directions" The event will take place at the University of Rostock, Germany from October 6-9, 2026 (noon to noon), and it celebrates more than six decades of research on the Lonely Runner Conjecture. It aims to bridge past achievements with the current exciting developments, bringing together experts from various areas, such as Diophantine Approximation, Graph Coloring, Geometry of Numbers, Discrete Mathematics, Additive Combinatorics. There is no participation fee, but it is necessary to register for the workshop before July 1, 2026. Limited travel funds for young researchers are available upon request during the registration. More information about the event and the registration form can be found at the workshop's website: https://www.mathematik.uni-rostock.de/mathopt/lonely-runner-workshop/ Participants are invited to propose contributed talks in close connection to the topic of the workshop. We are looking forward to seeing you in Rostock, Thomas Kalinowski Romanos Malikiosis Achill Schürmann Matthias Schymura ********************************************************** * * 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] Pseudo-Boolean Competition 2026

Dear colleagues, We would be grateful for your assistance in spreading the information about the 2026 edition of the competition for pseudo-Boolean solvers, organized under the aegis of the SAT 2026 conference (https://satisfiability.org/SAT26/). The Pseudo-Boolean Competition 2026 is also affiliated with the FloC Olympic Games (https://www.floc26.org/). All the details about this new edition of the competition are available at https://www.cril.univ-artois.fr/PB26/ The deadline for both solvers and benchmarks submission is May 6, 2026. Obviously, a competition cannot exist without solvers and benchmarks. So, if you have pseudo-Boolean solvers or benchmarks, please make a submission to the PB26 competition! Best regards, Jakob Nordström On behalf of the steering committee: Carlos Ansótegui, Johannes Klaus Fichte, Jakob Nordström, and Olivier Roussel ********************************************************** * * 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] iAIMS 2026: The International Conference on Artificial Intelligence Models and Systems Conference, Barcelona, Spain

*The International Conference on Artificial Intelligence Models and Systems (iAIMS 2026)* 16-20 November 2026 | Barcelona, Spain *Hybrid Conference* *Technically sponsored by IEEE Spain section* https://aims-conference.ai/2026/ The Artificial Intelligence Models and Systems Conference (iAIMS 2026) is a lively and inclusive gathering where researchers, academics, and industry professionals from across the globe come together to explore the latest advancements in artificial intelligence and intelligent systems. As AI continues to reshape industries and push the boundaries of what’s possible, iAIMS 2026 creates a welcoming space for innovation, collaboration, and idea exchange. iAIMS 2026 serves as a premier platform for researchers, academics, and industry professionals to converge and explore the latest advancements, challenges, and applications in the dynamic fields of Artificial Intelligence Models and Systems. The conference provides a collaborative environment for exchanging ideas, fostering innovation, and promoting interdisciplinary research at the intersection of these transformative domains. *iAIMS 2026 Symposia* Authors are encouraged to submit their work to one of the following 20 specialized symposiums, each targeting a key research frontier: 1. Advancements in Artificial Intelligence 2. Cutting-Edge Machine Learning Techniques 3. Innovations in Computer Vision 4. Breaking Barriers in Natural Language Processing 5. Exploring Generative AI Applications *Publication* *IEEE is a technical sponsor of iAIMS 2026*. All accepted papers in iAIMS 2026 and the workshops co-located with it will be submitted to IEEEXplore, dblp, and Scopus for inclusion. *Important Dates:* - Papers due: April 15, 2026 - Acceptance notification: June 30, 2026 - Registration: July 30, 2026 - Camera-ready paper: July 30, 2026 - Workshop/Tutorial Proposal Submission: April 15, 2026 - Workshop/Tutorial Proposal Acceptance: June 30, 2026 *Submission Guidelines:* Papers submitted to iAIMS must be the original work of the authors. They may not be simultaneously under review elsewhere. Publications that have been peer-reviewed and have appeared at other conferences or workshops may not be submitted to iAIMS. Authors should be aware that IEEE has a strict policy with regard to plagiarism https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html The authors' prior work must be cited appropriately. *Submission Link: **https://conferences.sparcly.ai/iAIMS2026* *Organizing Committee* Honorary Chairs - Jaime Lloret Mauri, Universidad Politécnica de Valencia, Spain - Jose Luis Muñoz-Tapia, Universitat Politècnica de Catalunya, Spain General Co-Chairs - Christiancarmine Esposito, University of Salerno, Italy - Attila Kertész, University of Szeged, Hungary - Vlado Stankovski, University of Ljubljana, Slovenia Program Co-Chairs § Javier Berrocal, Universidad de Extremadura, Spain § Safa Otoum, ZU, UAE --Regards, ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Potential PhD position in parameterized complexity in Marseille, France

Dear all, We may have a PhD position at the LIS laboratory (Marseille, France). To fund the 3-year PhD position, we need to apply at the local PhD school: *  We have a *very high chance of success* (because the research team and the supervisors have a high priority). * It is *URGENT*, the deadline for applications is April 17, 2026. The successful candidate will work, under the supervision of Benjamin Bergougnoux <https://benjaminbergougnoux.github.io/> and Cyril Terrioux <https://pageperso.lis-lab.fr/cyril.terrioux/en/index.html>, on the parameterized complexity of satisfactions problems like CSP and SAT with the goal of explaining the impressive performances of modern solvers. A detailed description of the subject can be found here: https://benjaminbergougnoux.github.io/pdf/thesis_subject.pdf. The starting date would be October 2026. For applications and inquiries, please contact Benjamin Bergougnoux (benjamin.bergougnoux@lis-lab.fr <mailto:benjamin.bergougnoux@lis-lab.fr>). If you want to apply, join a curriculum vitae. Best regards, Benjamin Bergougnoux ********************************************************** * * 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/ * **********************************************************