- finite-model-theory - lists.rwth-aachen.de

[fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025
by Ivan Ruchkin via fm-announcements 24 Feb '25

24 Feb '25

Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS) We cordially invite submissions for the upcoming 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS), which explores the intersection of artificial intelligence, safety, security, testing, and verification in autonomous cyber-physical systems. This workshop will focus on neurosymbolic methods and foundation models to address the challenges of testing, verifying, and deploying autonomous systems in critical environments. Their typical examples include autonomous vehicles, aerial drones, and industrial control systems. The workshop will be held on July 21, 2025. It will be co-located with the 37th International Conference on Computer-Aided Verification (CAV) in Zagreb, Croatia. Our primary goal is to facilitate meaningful discussions and idea exchanges between workshop paper authors and our world-leading TPC members. We accept the following three paper categories, which will not be considered official, formal publications. Each submission will undergo the same rigorous review process by our TPC. This approach allows authors to further refine or submit their work to other top-tier venues. Accepted workshop papers will be hosted on Arxiv and shared with a broader audience through our TACPS community, with the potential to be invited for follow-up discussions at Shonan and Dagstuhl seminars in 2026. Paper Categories: 1. Vision Papers (4 pages, plus 1 page for references) Vision papers should present innovative and groundbreaking ideas supported by promising initial results or speculative visions about the future of autonomous CPS. Submissions should provide well-motivated arguments and strong scientific intuition, laying the groundwork for future research directions in neurosymbolic methods and foundation models for autonomous systems. We particularly encourage the discussion of how formal methods will contribute to these directions. 2. Research Papers (8 pages, plus 2 pages for references) Research papers should describe original, unpublished theoretical, empirical, conceptual, or experimental research related to neurosymbolic approaches and foundation models applied to autonomous CPS. Papers should present novel contributions to the fields of verification, safety, and testing of autonomous systems using these advanced techniques. Survey papers on relevant topics are also welcome under this category. 3. Experience Papers (8 pages, plus 2 pages for references) Experience papers should focus on the practical application and implementation aspects of neurosymbolic and foundation model-based approaches in autonomous CPS. These papers should detail real-world use cases, system integration challenges, and insights from deploying these techniques in practice. Topics of Interest (including but not limited to): • Neurosymbolic Reasoning, Learning, and Verification for Autonomous CPS • Integration of symbolic reasoning with machine learning models for decision-making and learning in autonomous systems. • Case studies of neurosymbolic reasoning in real-world autonomous CPS applications. • Formal safety and correctness verification techniques for neurosymbolic models and their application in ensuring the safety of autonomous systems. • Program Synthesis for Autonomous CPS • Techniques for automatically synthesizing programs (e.g., type-directed synthesis) for autonomous systems using formal typing systems. • Program synthesis methods that combine symbolic and neural components to ensure correctness and safety in autonomous CPS. • Methods for transforming and synthesizing code to improve the performance, reliability, and safety of autonomous systems. • Using synthesis to adapt code based on changing environments and scenarios. • Foundation Models-Based Test Generation for Autonomous CPS • Leveraging large-scale foundation models to generate effective test cases for autonomous CPS. • Applying foundation models for fault detection and robustness testing in real-world environments. • Neurosymbolic Reinforcement Learning for Autonomous CPS • Integrating neurosymbolic methods with reinforcement learning to improve decision-making in autonomous systems. • The role of neurosymbolic approaches in reinforcement learning-based autonomous systems, focusing on real-time safety and adaptability. • Surveys of Neurosymbolic and Foundation Models for Autonomous CPS • Comprehensive surveys of current research on neurosymbolic methods and foundation models applied to autonomous CPS. Such surveys fall under the Research Papers category. • Review and comparison of existing techniques and their potential to advance autonomous systems’ reliability, safety, and trustworthiness. • Formal Methods for Trustworthy Autonomous CPS • Use of formal methods (satisfiability solving, model checking, reachability verification, theorem proving, and other techniques) for proving the correctness, safety, and other trustworthiness aspects of autonomous CPS. • The application of formal verification to the development and deployment of neurosymbolic systems and foundation models in autonomous CPS. Submission Details: • Paper Format: Submissions must follow the ACM conference style and all authors should use the official “ACM Primary Article Template”, as can be obtained from the ACM Proceedings Template page <https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.o…>. • Microsoft Word users: please still use the “Interim Template” and not the New Workflow for ACM Publications. This should result in a two-column format. • LaTeX users: please refer to the sample-sigconf.tex example file in the template available on the ACM Proceedings Template page <https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.o…>. • Submission Link: Papers must be submitted through the Easychair system: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair… • Review Process: Submissions will undergo a single-blind review process, and all accepted papers will be published in an Arxiv proceedings volume. • Deadlines: • All paper submissions are due by March 31, 2025 (anywhere on Earth) • Notifications will be sent by April 30, 2025 • The camera-ready deadline is set for May 30, 2025 (anywhere on Earth) We look forward to receiving your submissions and hope to see you at the workshop! For more information on the workshop, please visit https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.tacps…. --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

DaLí 2025, 1st call for papers
by Alexandre Madeira 20 Feb '25

20 Feb '25

====================================================================== DaLí 2025 - 1st Call for Papers DaLí 2025: 6th Workshop on Dynamic Logic - New trends and applications Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China October 20-21, 2025 ***(temporary link) http://dali2025.web.ua.pt *** ====================================================================== *** Important Dates *** - Abstract submission deadline: *1st June, 2025* - Full paper submission deadline: *5th of June, 2025* - Author notifications: *15th of July, 2025* **** Overview ***** Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains (e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory). Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2025 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations. Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023). **** List of Topics **** Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to): - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic/game logics - Kleene and action algebras and their variants - The interface between logic and learning - Quantum dynamic logic - Co-algebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics - Integration of Dynamic Logic with Machine Learning Models **** Submission and Proceedings **** We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages). .Short papers - describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=dal2025 A post-proceedings volume in Springer LNCS is being arranged. A special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier). *** Invited Speakers *** TBA *** Program Committee Chairs *** Jing Wang (Shaanxi Normal University, China) Alexandre Madeira (University of Aveiro, PT) *** Organising Committee chair *** Lei Li (Shaanxi Normal University, China) *** Program Committee *** Thomas Ågotnes (U. of Bergen, No) Carlos Areces (FaMAF, Ar) Philippe Balbiani (IRIT, Fr) Alexandru Baltag (U Amesterdam, Nl) Luís Soares Barbosa (U of Minho, Pt) Mario Benevides (UFF, Br) Thomas Bolander (Technical U. of Denmark, Dk) Raul Fervari (U. Nacional de Córdoba, CONICET, Ar) Sabine Frittella (Lab. d'Informatique Fondamentale d'Orléans, Fr) Xiaoxuan Fu (China U. of Political Science and Law, Ch) Sujata Ghosh (Indian Statistical Institute, In) Leandro Gomes (Lille University, Fr) Reiner Hähnle (TU Darmstadt, Ge) Asta Halkjær From (U. of Copenhagen, Dk) Andreas Herzig (CNRS, IRIT, Univ. Toulouse, Fr) Gabriele Kern-Isberner (Dortmund University, De) Alexander Knapp (Universität Augsburg, Ge) Sophia Knight (U. of Minnesota Duluth, USA) Katherine Kosaian (U. of Iowa, USA) Clemens Kupke (U. of Strathclyde, UK) Lei Li (Shaanxi Normal University, Ch) Fei Liang (School of Philosophy and Social Development, Shandong U., Ch) Fenrong Liu (Tsinghua University, Ch) Alexandre Madeira (University of Aveiro, Pt) Manuel A. Martins (University of Aveiro, Pt) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl) Elaine Pimentel (UCL, UK) R Ramanujam (I. of Mathematical Sciences, Chennai, In) Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp) Igor Sedlar (Czech Academy of Sciences, Cz) Sonja Smets (U. Amsterdam, Nl) Ionuț Țuțu (IMAR, Ro) Johan van Benthem (U. Amsterdam, Nl) Jing Wang (Shaanxi Normal University, Ch) Yì Nicholas Wáng (Dep of Philosophy, Sun Yat-sen University, Ch) Zhaoqing Xu (Sichuan University, Ch) Fan Yang (Utrecht University, Nl) Zhiguang Zhao (Taishan University, Ch) *** Steering Committee *** Alexandru Baltag (U. Amsterdam, NL) Alexandre Madeira (U. Aveiro, PT) Andreas Herzig (IRIT, U. Paul Sabatier, FR) Fenrong Liu (Tsinghua U., CH) Johan van Benthem (U. Amsterdam, NL) Igor Sedlár (Czech Academy of Sciences, CZ) Luís Soares Barbosa (U. Minho, PT), Chair Manuel Martins (U. Aveiro, PT) Mário Benevides (Federal U. Rio de Janeiro, BR) Sonja Smets (U. Amsterdam, NL) __________________________________ Alexandre Madeira madeira(a)ua.pt

1 0

VCLA International Student Awards - Call for Nominations
by Hackl, Andrea 19 Feb '25

19 Feb '25

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to vcla_awards (AT) tuwien.ac.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2025. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to vcla_awards (AT) tuwien DOT ac DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline: April 20th, 2025 (anywhere on Earth) - Notification of decision: Beginning of July, 2025 ---------------------------------- Contact ---------------------------------- Please send all inquiries to vcla_awards(a)tuwien.ac.at<mailto:vcla_awards@tuwien.ac.at>. ---------------------------------- VCLA Award Committee 2025 ---------------------------------- Shqiponja Ahmetaj and Anela Lolic will be co-chairing this edition of the VCLA International Student Awards. The remaining members of the committee will be announced in due time. ---------------------------------- Website with information on the award and the previous awardees ---------------------------------- https://www.vcla.at/vcla-awards/

1 0

FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22)
by Carsten Fuhs 12 Feb '25

12 Feb '25

====================================================================================================================== Updated information on: EXTENDED DEADLINES, in-cooperation status with ACM SIGLOG, anti-harassment policy, sponsorship ====================================================================================================================== THIRD CALL FOR PAPERS Tenth International Conference on Formal Structures for Computation and Deduction (FSCD 2025) 14-20 July 2025, Birmingham, UK https://fscd-conference.org/2025/ In-cooperation with ACM SIGLOG IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: 17 February 2025 (extended) Submission: 22 February 2025 (extended) Rebuttal: 7-11 April 2025 Notification: 30 April 2025 Final version: 14 May 2025 OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, nominal, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Process algebras (synchronous, asynchronous, static and dynamic semantics with and without time, etc.) - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalisation, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models of computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Modelling and Verification in new challenging areas: - Certification; - Security; - Blockchain; - Databases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- There will be a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2025 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories: regular research papers and system descriptions. Please indicate in the submission page in Easychair and in the first page of the paper in which category you are submitting. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The programme committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). INVITED SPEAKERS ---------------- Liron Cohen, Ben-Gurion University Mariangiola Dezani, University of Torino Ekaterina Komendantskaya, University of Southampton Jose Meseguer, University of Illinois Urbana-Champaign PROGRAMME COMMITTEE CHAIR ------------------------- Maribel Fernandez, King's College London, UK Email: fscd2025(a)easychair.org PROGRAMME COMMITTEE ------------------- Thorsten Altenkirch University of Nottingham, UK Sandra Alves University of Porto, Portugal Zena M. Ariola University of Oregon, US Mauricio Ayala-Rincon University of Brasilia, Brazil Kyungmin Bae Pohang University of Science and Technology, Korea Frederic Blanqui INRIA, France James Cheney University of Edinburgh, UK Ugo De'Liguoro University of Torino, Italy Santiago Escobar Universitat Politecnica de Valencia, Spain Silvia Ghilezan University of Novi Sad, Serbia Jean Goubault-Larrecq ENS Paris-Saclay, France Masahito Hasegawa Kyoto University, Japan Paul Blain Levy University of Birmingham, UK Christopher Lynch Clarkson University, US Assia Mahboubi INRIA, France, and VU Amsterdam, Netherlands Damiano Mazza CNRS, University Sorbonne Paris Nord, France Daniele Nantes-Sobrinho Imperial College, UK, and University of Brasilia, Brazil Naoki Nishida Nagoya University, Japan Valeria de Paiva Topos Institute, Berkeley, US Frank Pfenning Carnegie Mellon University, US Brigitte Pientka McGill University, Canada Alessandra di Pierro University of Verona, Italy Femke van Raamsdonk VU Amsterdam, Netherlands Simona Ronchi Della Rocca University of Torino, Italy Grigore Rosu University of Illinois Urbana-Champaign, US Manfred Schmidt-Schauss Goethe University, Germany Carolyn Talcott SRI, US Alvaro Tasistro Universidad ORT Uruguay Jamie Vicary University of Cambridge, UK Glynn Winskel Queen Mary University of London, UK CONFERENCE CHAIRS ----------------- Paul Blain Levy, University of Birmingham, UK Anupam Das, University of Birmingham, UK LOCAL WORKSHOPS CHAIRS ---------------------- Paul Blain Levy, University of Birmingham, UK Anupam Das, University of Birmingham, UK FSCD STEERING COMMITTEE ----------------------- Patrick Baillot (Chair), CNRS, University of Lille Ugo Dal Lago, University of Bologna Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London (Publicity Chair) Marco Gaboardi, Boston University Herman Geuvers, Radboud University Nijmegen Juergen Giesl, RWTH Aachen University Cynthia Kop, Radboud University Nijmegen (SC Workshop Chair) Giulio Manzonetto, University Paris Cite Daniele Nantes, Imperial College London / University of Brasilia Femke van Raamsdonk, VU Amsterdam Jakob Rehof, TU Dortmund University SPONSORSHIP ----------- FSCD 2025 is proud to receive support from: University of Birmingham UK Research and Innovation The Research Institute on Verified Trustworthy Software Systems ANTI-HARASSMENT POLICY ---------------------- The open exchange of ideas and the freedom of thought and expression are central to the values and goals of SIGLOG. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, SIGLOG is committed to providing a harassment-free conference experience. As an event held in cooperation with SIGLOG, FSCD implements the ACM policy against harassment: https://www.acm.org/about-acm/policy-against-harassment

1 0

SPIN: Final Call for Papers
by Rozier, Kristin-Yvonne [AER E] 07 Feb '25

07 Feb '25

********************************************************** SPIN 31st International Symposium on Model Checking Software https://spin-web.github.io/SPIN2025/ 7 - 8 May 2025 co-located with ETAPS 2025, Hamilton, Canada ********************************************************* Theme of the Symposium: ----------------------- The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the SPIN model checker. However, over the years it has evolved to a broadly-scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: https://spinroot.com/spin/Workshops/. Topics of Interest: ------------------- Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of (concurrent) software/hardware, including: -- Model checking -- Deductive verification -- Automated theorem proving, including SAT and SMT -- Abstraction and symbolic execution techniques -- Static analysis and abstract interpretation -- Modular and compositional verification techniques -- Verification of timed and probabilistic systems -- Automated testing using advanced analysis techniques -- Program synthesis -- Derivation of specifications, test cases etc. via formal analysis -- Formal specification languages, temporal logic, design-by-contract -- Formal analysis of learned systems -- Any combination of the above * Application and/or engineering of verification tools, including: -- Case studies of interesting systems or with interesting results -- Implementation of novel verification tools -- Benchmarks and comparative studies for verification tools -- Verification tools using modern hardware, e.g.: multi-core CPU, GPU, TPU, cloud, and quantum Important Dates: ---------------- Paper Submission: 13 Feb 2025 Artifact Submission (Tool Papers): 27 Feb 2025 Paper/Artifact Notifications: 24 Mar 2025 Artifact Submission (Other Papers): 7 Apr 2025 Non-tool Paper Artifact Notification: 1 May 2025 Symposium: 7-8 May 2025 Submission Details: ------------------- We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages, excluding bibliography and appendices); * Full Tool Papers, accompanied by a *Mandatory Artifact*, describing work that is closely-related to the development or the evaluation of a verification tool or similar (16 pages, excluding bibliography and appendices); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages, excluding bibliography and appendices). Note: Artifact evaluation is optional for short papers but highly recommended for those with a focus on tools. If you want to have the accompanying artifact of your short paper evaluated, please submit it to the mandatory AE on February 27. Papers submission website: https://easychair.org/conferences/?conf=spin2025 -- in the track Research Papers, select the respective paper category. All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. The proceedings of SPIN 2025 will be published as part of post-conference proceedings in Springer’s Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format; see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…. Please take into account Springer’s Book authors code of conduct when preparing submissions: https://www.springernature.com/gp/authors/book-authors-code-of-conduct. Artifact Evaluation: -------------------- SPIN 2025 will feature artifact evaluation, performed by an Artifact Evaluation Committee (AEC). The AEC evaluates artifacts based on documentation, availability, reproducibility of results, and tool reusability (if applicable). Artifact submission is mandatory for Full Tool Papers. While artifact submission is optional for papers in other categories, we highly encourage authors of papers involving tool development and empirical evaluation to submit an artifact for evaluation. Papers with an accompanying artifact may be awarded one or more badges from the EAPLS artifact badging scheme (https://eapls.org/pages/artifact_badges/). More details can be found at: https://spin-web.github.io/SPIN2025/artifacts Keynote Speakers: ----------------- Alexandre Duret-Lutz (EPITA Research Laboratory (LRE)): "Growing an omega-automata Library" Orna Grumberg (Technion, Israel): "Developments in Symbolic Model Checking" PC Chairs: ---------- Gidon Ernst (Ludwig-Maximilians-Universität München) Kristin Yvonne Rozier (Iowa State University) Artifact Evaluation Chairs: --------------------------- Julie Cailler (University of Lorraine & Inria, France) Nian-Ze Lee (LMU Munich / National Taiwan University) Programme Committee: -------------------- Marek Chalupa, (Institute of Science and Technology, Austria) Marie-Christine Jakobs, (Ludwig-Maximilians-Universität München, Germany) Nancy Day (University of Waterloo, Canada) Rohit Dureja (IBM Corporation, USA) Marie Farrell (University of Manchester, UK) Susanne Graf (Verimag, France) Ahmed Irfan (SRI, USA) Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) Dominik Klumpp (University of Freiburg, Germany) Ondřej Lengál (Brno University of Technology, Czech Republic) Cong Liu (Collins Aerospace, USA) Jianwen Li (East China Normal University, China) Lucas Martinelli Tabajara (Amazon, USA) Radu Mateescu (Inria Grenoble - Rhône-Alpes, France) Thomas Neele (Eindhoven University of Technology, The Netherlands) Marjan Sirjani (Malardalen University, Sweden) Nestan Tsiskaridze (Standford University, USA) Masaki Waga (Kyoto University, Japan) Anton Wijs (Eindhoven University of Technology, The Netherlands) Matthias Volk (Eindhoven University of Technology, The Netherlands) Shufang Zhu (University of Liverpool, UK) Artifact Evaluation Committee: ------------------------------- Ryan Dancy (University of Oxford, UK) Chiao Hsieh (Kyoto University, Japan) Matthias Kettl (Ludwig Maximilian University of Munich, Germany) Bajczi Levente (Budapest University of Technology and Economics, Hungary) Thomas Lemberger (Ludwig Maximilian University of Munich, Germany) Chen-Kai Lin (Institute of Information Science, Academia Sinica, Taiwan) Landon J. Taylor (Utah State University, USA) Mohit K. Tekriwal (Lawrence Livermore National Laboratory, Livermore, Canada) Aline Uwimbabazi (Schlumberger Foundation & INRIA, France) Aosen Xiong (University of Waterloo, Canada) Zsófia Ádám (Budapest University of Technology and Economics, Hungary) Steering Committee: ------------------- Anton Wijs (Eindhoven University of Technology, Netherlands, chair) Stefan Leue (University of Konstanz, Germany) Susanne Graf (Verimag, France) Gerard Holzmann (Nimble Research, USA) Jaco van de Pol (Aarhus University, Denmark) Neha Rungta (AWS, USA) Willem Visser (Stellenbosch University, South Africa) Georgiana Caltais (University of Twente, Netherlands) Christian Schilling (Aalborg University, Denmark) -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Associate Professor, Iowa State Univ / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ !!! !!! laboratory.temporallogic.org

1 0

CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems: 23-26 March, 2026. Hannover, Germany
by Yasir mahmood 06 Feb '25

06 Feb '25

======================================= ** FoIKS 2026: First call for papers ** ======================================= The 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'26) invites contributions from theoretical and applied research on information and knowledge systems. FoIKS 2026 (https://foiks2026.github.io/) will be held on 23rd-26th March 2026 in Hannover, Germany. =========== ** Scope ** =========== The suggested topics include, but are not limited to: Mathematical Foundations of Information and Knowledge Systems: Discrete structures and algorithms, graphs, and formal languages. Database Design and Management: Formal models, (in)dependencies and models of transactions, concurrency control. Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, argumentation, probability logic, fuzzy logic. Knowledge Representation and Reasoning: Logical reasoning, Non-monotonic reasoning (reasoning under inconsistency), Reasoning under vagueness or uncertainty. Foundations of neuro-symbolic reasoning: Embedding methods for structured information, such as knowledge graphs, mathematical expressions, grammars, logical theories. Intelligent Agents: Multi-agent systems, autonomous agents, formal models of interactions, Boolean games, coalition formation, reputation systems, epistemic reasoning. Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, information extraction. Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management. Integrity and Constraint Management: Verification, validation, consistent query answering, and information cleaning. Knowledge graphs and semi-structured Data: Data modelling, data processing, data compression, and data exchange. ========================== ** Submission Guidelines ** ========================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (for guidelines and templates, see: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). Submissions that deviate substantially from these guidelines may be rejected without review. There are the following page limits according to paper type: Long papers: 16 plus additional pages for references. Short papers: 10 plus additional pages for references. Missing proofs or details can be added as an additional appendix of up to 15 pages article style and read at the discretion of the program committee. All papers must be original and not simultaneously submitted to another journal or conference. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via the EasyChair link https://easychair.org/conferences/?conf=foiks2026. All questions about submissions should be emailed to foiks2026(a)easychair.org. ================= ** Publication ** ================= The proceedings are planned to be published by Springer-Verlag in the Lecture Notes in Computer Science series. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2026 special issue. ===================== ** Important dates ** ===================== Submission of abstracts: September 18, 2025 Submission of paper: September 25, 2025 Notification: December 20, 2025 Final version due: January 20, 2026 Conference: March 23-26, 2026 ====================== ** Invited Speakers ** ====================== TBD ================== ** Organization ** ================== * PC Chairs * Anni-Yasmin Turhan (University of Paderborn, Germany) Jonni Virtema (University of Sheffield, UK) * Local Chair * Arne Meier (Leibniz University Hannover, Germany)

1 0

[FOIS 2025] Call for Tutorials for the 15th International Conference on Formal Ontology in Information Systems, 08-12 September 2025 (Catania, Italy)
by Lucia Gomez Alvarez 27 Jan '25

27 Jan '25

=================== CALL FOR TUTORIALS =================== 15th International Conference on Formal Ontology in Information Systems 08-12 September 2025 (Catania, Italy) Website: https://www.dmi.unict.it/fois2025/ ================================ Submission deadline: 28 February 2025  Questions to: tutorials-fois2025(a)easychair.org ================================ The Tutorial Chairs for FOIS 2025 invite proposals for tutorials to be held on-site in conjunction with FOIS 2025, during the week of the main conference which will take place 08-12 September 2025 in Catania, Italy. FOIS 2025 seeks original and highly relevant proposals for tutorials to complement the conference program. The tutorial program will address the diverse interests of its audience: ontologies, formal ontology, and knowledge management and their application in information science or other areas. Moreover, tutorials can be an excellent opportunity to cover basic or advanced topics related to ontology research, ranging from cognitive science to knowledge representation, natural language processing, artificial intelligence, logic, philosophy, and linguistics as well as well-established or emerging research areas, techniques, methodologies and perspectives related to the ontology field. In 2025, we are looking for individuals and teams of presenters who would like to offer a tutorial specifically designed as a basic or an advanced description of a topic, or as a showcase of relevant techniques. We privilege diversity in the organizing team as well as the presence of young researchers and PhD students. Moreover, up to 1 instructor per tutorial can have their registration fees waived for the tutorials as well as for JOWO 2025, the Joint Ontology Workshops (https://www.dmi.unict.it/fois2025/?page_id=422) which are co-located with FOIS 2025. ====== Format ====== Tutorials are intended to be highly interactive, and educational, and should actively engage the audience to participate in the discussion. We accept short and long tutorials, which are expected to last 1h30 and 3h respectively. =================== Submission instructions =================== Proposals should be no more than 2 pages in length, and must contain the following information: - title; - names and affiliations of the presenters; - a brief CV of the presenters, including their experience in tutorial organization; Please indicate a primary contact person. - description of the topic (max 1 page); - brief description of the expected audience. Please give an estimate of the expected number of participants and their background and interests; if applicable, please relate this to participation in similar prior events; - 200-word abstract highlighting why the tutorial is attractive to FOIS 2025 participants – Why is it novel? What are key learning outcomes? Proposals should be submitted via EasyChair by 28 February 2025 as a single PDF file. A notification regarding your submission will be received on 14 March 2025. =============== Evaluation criteria =============== The decision on acceptance or rejection of tutorial proposals will be made on the basis of the overall quality of the proposal and its appeal to a reasonable fraction of the FOIS community. In particular, tutorials should satisfy each of the following criteria: - The research topic falls in the general scope of the conference. - There is a clear focus on a specific technology, problem or application. - There is an anticipation of a sufficiently large community interested in the topic. - There is a concrete plan for the tutorial format. - The presenters have reasonable experience in providing engaging lectures. - The material for the tutorial is made available to the FOIS 2025 community before the tutorial date. ============= Important dates ============= Submission deadline: 28 February 2025 Notification: 15 March 2025 Tutorials take place on-site in conjunction with FOIS 2025 in Catania, Italy (08-09 September 2025) ================ Terms and conditions ================ The presenters/instructors of accepted tutorials are expected to: - participate in the tutorial in person; - have an active role in the tutorial; - submit the material for attendees (slide sets, additional teaching material, software installation, question answering, and usage guides for practical hands-on sessions, e.g., Jupyter Notebooks.) to the Tutorial Chairs and make it available on the FOIS 2025 website at least one week prior to the date of the tutorial. ============ Tutorial chairs ============ Lucía Gómez Álvarez, University Grenoble Alpes, Inria, CNRS, Grenoble INPG, France Gilles Kassel, Jules Verne University of Picardie, France Please direct all further questions to tutorials-fois2025(a)easychair.org _________________________ | Lucía Gómez Álvarez INRIA & Univ. Grenoble Alpes, LIG, Grenoble, France | | lucia.gomez-alvarez at inria.fr https://moex.inria.fr<https://moex.inria.fr/> |

1 0

FMBC25 - Second Call for Papers
by Marmsoler, Diego 17 Jan '25

17 Jan '25

6th International Workshop on Formal Methods for Blockchains - Second Call for Papers https://fmbc.gitlab.io/2025 May 04, 2025, Hamilton, ON, Canada Co-located with the European joint conferences on theory and practice of software (ETAPS 2025) https://www.etaps.org/2025/ -------------------------------------------------------------------------- -------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------- Abstract submission: February 3rd, 2025 Full paper submission: February 10th, 2025 Notification: March 14th, 2025 Camera-ready: March 31st, 2025 Workshop: May 4th, 2025 Deadlines are Anywhere on Earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth -------------------------------------------------------------------------- -------------------------------------------------------------------------- TOPICS OF INTEREST -------------------------------------------------------------------------- Blockchain is a novel technology to store data in a decentralized way. Although the technology was originally invented to enable cryptocurrencies, it quickly found applications in several other domains. Blockchains may also provide support for Smart Contracts. Smart Contracts are scripts of an ad-hoc programming language that are stored in the blockchain and that run on the network. They can interact with the ledger's data and update its state. These scripts can express the logic of possibly complex contracts between users of the blockchain. Thus, Smart Contracts can facilitate the economic activity of blockchain participants. Since blockchains are often used to store financial transactions, bugs may result in huge economic losses and thus it is now of utmost importance to have strong guarantees of the behaviour of blockchain software. These guarantees can be brought by using Formal Methods. Indeed, Blockchain software encompasses many topics of computer science where using Formal Methods techniques and tools is relevant: consensus algorithms to ensure the liveness and the security of the data on the chain, programming languages specifically designed to write smart contracts, cryptographic protocols, such as zero-knowledge proofs, used to ensure privacy, etc. This workshop is a forum to identify theoretical and practical approaches of formal methods for Blockchain technology. Topics include, but are not limited to: * Formal models of Blockchain applications or concepts * Formal methods for consensus protocols * Formal methods for Blockchain-specific cryptographic primitives or protocols * Design and implementation of Smart Contract languages * Verification of Smart Contracts * Zero-knowledge proof and its applications in a blockchain setting -------------------------------------------------------------------------- -------------------------------------------------------------------------- SUBMISSION -------------------------------------------------------------------------- Submit original manuscripts (not published or considered elsewhere) with a page limit of 12 pages for full papers and 6 pages for short and tool papers (excluding bibliography and short appendix of up to 5 additional pages). Alternatively you may also submit an extended abstract of up to 3 pages (including bibliography) summarizing your ongoing work in the area of formal methods and blockchain. Authors of selected extended-abstracts are invited to give a short lightning talk. Extended abstracts will not occur in the workshop proceedings. Submission link: https://easychair.org/conferences/?conf=fmbc2025 Authors are encouraged to use LaTeX and prepare their submissions according to the instructions and styling guides for OASIcs provided by Dagstuhl. Instructions for authors: https://submission.dagstuhl.de/documentation/authors#oasics At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant. -------------------------------- -------------------------------- PROCEEDINGS -------------------------------- All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full, short, and tool papers) will be included in the workshop proceeding, which will be published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl. -------------------------------- -------------------------------- PROGRAM COMMITTEE -------------------------------- PC CO-CHAIRS * Diego Marmsoler (University of Exeter, UK) (D.Marmsoler(a)exeter.ac.uk<mailto:D.Marmsoler@exeter.ac.uk>) * Meng Xu (University of Waterloo, Canada) (meng.xu.cs(a)uwaterloo.ca<mailto:meng.xu.cs@uwaterloo.ca>) PC MEMBERS * Massimo Bartoletti (University of Cagliari) * Bernhard Beckert (Karlsruhe Institute of Technology) * Franck Cassez (Movement Labs) * Denisa Diaconescu (University of Bucharest) * Maurice Herlihy (Brown University) * Sebastian Holler (Max Planck Institute for Security and Privacy) * Enrico Lipparini (University of Genoa) * Fan Long (University of Toronto) * Orestis Melkonian (Input Output (IOG)) * Baoluo Meng (GE Aerospace Research) * Burcu Kulahcioglu Ozkan (Delft University of Technology) * Gordon Pace (University of Malta) * Vincent Rahli (University of Birmingham) * Sophie Rain (TU Wien) * Augusto Sampaio (Federal university of Pernambuco) * Derek Sorensen (Certora) * Bas Spitters (Aarhus University) * Meng Sun (Peking University) * Mark Utting (The University of Queensland) * Adele Veschetti (TU Darmstadt) * Christoph Weidenbach (Max Planck Institute for Informatics) * Teng Zhang (Aptos Labs)

1 0

[CFP] Second Call for Papers: DEON 2025
by Hackl, Andrea 16 Jan '25

16 Jan '25

================================================ Updated information on: co-located DEON tutorial day and PC ================================================ SECOND CALL FOR PAPERS: DEON 2025, VIENNA The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held July 1 - July 03, 2025 at TU Wien (Vienna, Austria). The conference will be preceded by a day of tutorials on June 30. We happily invite paper submissions and participation at DEON 2025. *About the DEON conference series* The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields. Topics include but are not limited to the investigation of normative reasoning, concepts, and systems in relation to: agency and action, argumentation, defeasible reasoning, deontic modals, epistemic reasoning, explainability, knowledge representation, legal reasoning, multi-agent systems, natural language, norm change/revision, philosophy of reasons, policy preference reasoning, responsibility, social values, temporal reasoning and trustworthy systems. We welcome submissions of both theoretical and applied research for DEON 2025, and encourage interdisciplinary work. *Special focus* In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods. *Important dates* - Abstract submission deadline: March 01, 2025 - Paper submission deadline: March 08, 2025 - Notification of acceptance: May 08, 2025 - Camera-ready version: May 25, 2025 - Tutorial day: June 30, 2025 - Conference: July 1 - July 03, 2025 *Submission details* We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. The reviewing process is single-blind (non-anonymized). Papers should be written in English. Submitted papers should not be longer than 15 pages (excluding references and technical appendix). Paper submission in PDF format will be managed through EasyChair. Submission templates and guidelines can be found on the website: https://sites.google.com/view/deon-2025/home *Tutorial day* In addition to the conference, DEON 2025 will be paired with full tutorial day hosting a variety of tutorials on DEON related topics by top researchers in their respective fields. Confirmed speakers to date include: - Pedro Cabalar (Corunna University, Spain) - Ilaria Canavotto (University of Maryland, US) - Matthias Scheutz (Tufts Institute for AI, US) *Publication* The proceedings of the conference will be published by College Publications as an open-access book and will be available for participants during the conference. *Program Chairs* Agata Ciabattoni, Vienna University of Technology (TU Wien) John Horty, University of Maryland, USA *Program Committee* Houssam Abbas (Oregon State University) Chitta Baral (Arizona State University) Christoph Benzmüller (Otto-Friedrich-Universität Bamberg) Kees van Berkel (TU Wien) Jan Broersen (Utrecht University) Ilaria Canavotto (University of Maryland) Jose Carmo (University of Madeira) Huimin Dong (TU Wien) Hein Duijf (Utrecht University) Federico L. G. Faroldi (University of Pavia) Stef Frijters (KU Leuven) Guido Governatori (Central Queensland University) Joris Hulstijn (Utrecht University) Aleks Knoks (University of Luxembourg) Björn Lellmann (Bundesministerium für Finanzen) Emiliano Lorini (IRIT) Tim Lyon (Technische Universität Dresden) Juliano Maranhao (University of São Paulo) Réka Markovich (University of Luxembourg) Alessandra Marra (MCMP LMU Munich) Paul McNamara (University of New Hampshire) Robert Mullins (University of Oxford) Shyam Nair (Arizona State University) Pavel Naumov (University of Southampton) Eugenio Orlandelli (University of Bologna) Eric Pacuit (University of Maryland) Xavier Parent (TU Wien) Clayton Peterson (Université du Québec à Trois-Rivières) Gabriella Pigozzi (Université Paris-Dauphine) Antonino Rotolo (University of Bologna) Frederik Van De Putte (Erasmus University of Rotterdam & Ghent University) Olivier Roy (Universität Bayreuth) Ken Satoh (Center for Juris-Informatics, ROIS, Japan) Christian Strasser (Ruhr-University Bochum) Allard Tamminga (University of Greifswald) Leon van der Torre (University of Luxembourg) Paolo Turrini (University of Warwick) Serena Villata (CNRS - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis) Tomoyuki Yamada (Hokkaido University)

1 0

ICDT 2026 Call for Papers
by Balder ten Cate 15 Jan '25

15 Jan '25

** ICDT 2026 - Call for Papers ** ICDT is a series of international scientific conferences on research of data management theory (https://databasetheory.org/icdt-pages). Since 2009, it is annually and jointly held with EDBT (Extending DB Technology). The 29th edition of ICDT, in 2026, will take place in Tampere, Finland. ** Topics of Interest ** We welcome research papers on every topic related to the principles and theory of data management, provided that there is a clear connection to foundational aspects. This includes, for example, articles on "classical" data management topics such as: - The theoretical investigation of various aspects of underlying data management systems (e.g., Indexes, Concurrency and recovery, Distributed and parallel databases, Cloud computing, Privacy and security, Graph databases, Data streams and sketching, Data-centric (business) process management and workflows, Data and knowledge integration and exchange, Data provenance, Views, Data warehouses, Domain-specific databases - multimedia, scientific, spatial, temporal, text data, ...), - The design and study of data models and query languages, - The development and analysis of algorithms for data management, but also includes papers exploring existing or identifying new connections between data management and other areas, such as the areas of: knowledge representation, semantic web, web services, information retrieval and data mining, machine learning/AI, distributed computing, theoretical computer science. In all of the above, a clear emphasis on foundational aspects is expected. You may want to check https://dblp.org/db/conf/icdt/index.html to get an overview of previous editions of ICDT. The Program Committee reserves the right to desk reject a submission when it is regarded to be out of scope. ** Submission Cycles and Dates ** ICDT will have two submission cycles for 2026, with deadlines as follows: All times are Anywhere on Earth (UTC + 12) ** ICDT Submission Cycle 1 ** March 13, 2025: Abstract submission March 20, 2025: Paper submission June 1, 2025: Notification ** ICDT Submission Cycle 2 ** September 3, 2025: Abstract submission September 10, 2025: Paper submission December 1, 2025: Notification Papers rejected in the first submission cycle cannot be submitted to the second submission cycle unless explicitly requested by the reviewers. ** Program Committee ** ** ICDT 2026 Program Committee Chair ** Balder ten Cate, ILLC, University of Amsterdam ** ICDT 2026 Program Committee Members ** Antonella Poggi, University of Rome Sapienza Batya Kenig, Technion Carsten Lutz, University of Leipzig Cristina Sirangelo, CNRS, Université Paris Cité Diego Figueira, CNRS, Univ Bordeaux Dominik Freydenberger, Loughborough University Emanuel Sallinger, TU Wien Floris Geerts, University of Antwerp Francesco Scarcello, Università della Calabria Hubie Chen, King's College London Jeff M. Phillips, University of Utah Liat Peterfreund, Hebrew University of Jerusalem Luc Segoufin, INRIA, ENS Ulm Mahmoud Abo Khamis, RelationalAI Marco Calautti, Università degli Studi di Milano Markus Schmid, Humboldt-Universität zu Berlin Martin Grohe, RWTH Aachen University Matthias Niewerth, Bayreuth University Miika Hannula, University of Tartu Sanjay Krishnan, University of Chicago Sebastian Rudolph, TU Dresden Stavros Sintos, University of Illinois Chicago Stefan Mengel, CNRS, Université d’Artois ** Submission Instructions ** All submissions will be electronic via EasyChair. Link: https://easychair.org/conferences/?conf=icdt2026 Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. Papers must be submitted as PDF documents, using the LIPIcs style ( http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). ** Tracks ** 1. ** Regular Research Papers (15 pages, anonymized) ** The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Papers must be at most 15 pages, excluding references. Additional details may be included in a clearly marked appendix, which, however, will be read at the discretion of the program committee (online appendices are not allowed). Papers not conforming to these requirements may be rejected without further consideration. 2. ** Database Theory in Action (4 pages, non-anonymized) ** To broaden the scope of ICDT and showcase the impact of database theory, ICDT 2026 includes again a “Database Theory in Action” track that calls for short papers illustrating interesting applications of database theory in other domains or in solving real-world problems. These papers will be 4 pages + references, and can be based on a previously published paper at another venue. In particular, we invite papers that demonstrate novel and important connections between database theory and neighboring communities such as Database Systems, Operating Systems, Programming Languages, Machine Learning, Artificial Intelligence, Knowledge Representation, Distributed Computing, and Industry. At the discretion of the program committee, there may be invited papers to this track as well. The title of the papers submitted to this track must start with “Database Theory in Action:”. These papers should also include clear pointers to all relevant previous publications, websites, tools, repositories, etc. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees that the proceedings will be available online and free of charge, while the authors retain the rights over their work. At least one author of each accepted paper is expected to register at the conference and to present the paper. ** Anonymous Submission ** From 2024, ICDT has adopted anonymous submission (only for regular track papers; submissions for the “database theory in action” track should not be anonymous), in line with other leading conferences in the database community such as SIGMOD and PODS. The intent of anonymous submission is to ensure that the identity of the authors is not presented to the reviewers during the review process. Specifically, submitted papers must not list authors or affiliations, and must not include acknowledgments to funding sources, or other colleagues or collaborators. References to the authors' own prior work must not be distinguished from other references. Where this is not possible (for instance, when referring to a specific system to which the authors have privileged access), anonymized citations are permissible. For more background on the motivation for anonymous submissions, and the mechanisms to achieve it, please consult [Snodgrass, 2007] https://www2.cs.arizona.edu/~rts/pubs/TODS07.pdf Simultaneously, the authors may make their submissions available to the community via pre-print services such as ArXiv and through talks. We do require that work is not labeled as "under submission at ICDT" or indicates that it is under review, but otherwise place no restrictions on sharing results. This does not conflict with the anonymous submission requirement. **Awards** An award will be given to the Best Paper. Also, an award will be given to the Best Newcomer Paper written by newcomers to the field of database theory. The latter award will preferentially be given to a paper written only by students; in that case the award will be called Best Student-Paper Award. The program committee reserves the following rights: not to give any award; to split an award among several papers; and to define the notion of a newcomer. Papers authored or co-authored by program committee members are not eligible for a best paper or a best newcomer paper award.

1 0