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

ICDT 2026 - Second Round - Call for Papers
by Balder ten Cate 15 Jul '25

15 Jul '25

** ICDT 2026 - Second Submission Round - 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 <https://edbticdt2026.github.io/>, in 2026, will take place in Tampere, Finland. ** Second Submission Cycle ** 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 permitted by the reviewers. ** 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. ** 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=icdt202 <https://easychair.org/conferences/?conf=icdt2025>6 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) ** 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) ** Continuing with the idea of broadening the scope of ICDT and showcase the impact of database theory, ICDT 2026’s “Database Theory in Action” track 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 should not be anonymous for the “database theory in action” track), 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. Following a recent decision by the ICDT council, papers authored or co-authored by program committee members may be eligible for the best paper award, in which case the programme committee will take care to follow a selection procedure that avoids any conflicts of interest.

1 0

Job announcement
by Torben Braüner 12 Jul '25

12 Jul '25

Dear colleagues, [Apologies for multiple postings.] I take the liberty to announce that The Department of People and Technology, Roskilde University, invites applications for a position as professor or associate professor on the promotion programme of Computer Science from the 1st of January 2026 or as soon as possible thereafter. Application deadline September 7th, 2025. More Information can be found here: https://candidate.hr-manager.net/ApplicationInit.aspx?cid=1310&ProjectId=14… Best regards, Torben -- Professor, Ph.D., dr.scient. Torben Braüner Programming, Logic and Intelligent Systems Research Group Department of People and Technology Roskilde University, Denmark http://www.ruc.dk/~torben

1 0

3rd World Logic Prizes Contest, Cusco, Peru - 8th UNILOG - Dec 2025
by jean-yves beziau 10 Jul '25

10 Jul '25

The 3rd World Logic Prizes Contest is a competition that will take place between winners of logic prizes from many countries during the 8th UNILOG (World Congress and School on Universal Logic), Cusco, Peru, December 4-14, 2025. https://sites.google.com/view/unilog2025/ Each winner of a given country will have his/her paper published in the journal Logica Universalis and 30 mn (including discussion) to present the work for which he/she has won the prize in his/her country. A Jury of about 10 important logicians from all over the world will at the end of the presentations decide who is the winner of the Universal Logic Prize. This is part of the project "A prize of logic in every country", promoted by LUA, the Logica Universalis Association. 21 countries are currently registered, it is still possible to register new countries for this contest: https://www.uni-log.org/logic-prize-world The 1st World Logic Prizes Contest took place at UNILOG 2018 in Vichy, France. The 2nd World Logic Prizes Contest took place at UNILOG 2022 in Crete. Among new prizes for the 3rd edition of the contest we have: - Jaakko Hintikka Logic Prize for Finland https://www.uni-log.org/jaakko-hintikka-prize-of-logic-2025 - Christine Ladd-Franklin Logic Prize for the USA https://www.uni-log.org/christine-ladd-franklin-prize-of-logic-2025 - Gregorio Klimovsky Logic Prize for Argentina https://www.uni-log.org/logic-prize-argentina-2025 3rd World Logic Prizes Contest https://sites.google.com/view/unilog2025/logic-prizes >--------------------------------------------------------------------------- Jean-Yves Beziau President of the Logica Universalis Association - LUA https://philpeople.org/profiles/jean-yves-beziau

1 0

FSCD 2025: Free online participation, 15 - 18 July 2025
by Carsten Fuhs 09 Jul '25

09 Jul '25

The organisers of FSCD 2025 are delighted to announce free best-effort virtual participation in the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) in Birmingham, 15 - 18 July 2025. Please register your email in advance to receive login information for the live stream. For details, please see the information on the conference website: https://fscd-conference.org/2025

1 0

CSL 2026 - Second Call for Papers
by Barbara König 05 Jul '25

05 Jul '25

===================================== Call for papers CSL 2026 https://csl2026.github.io/ Paris, France 23-28 February 2026 Abstract submission: 15 July 2025 (AoE) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University. Invited Speakers: -------------------- - Pierre Clairambault - Sandra Kiefer - Gordon Plotkin - Ana Sokolova Topics: -------------- Topics of interest include, but are not limited to: - automated deduction and interactive theorem proving - concurrency and distributed computation - constructive mathematics and type theory - equational logic and term rewriting - automata and games, game semantics - formal methods - model checking - decision procedures - modal and temporal logic - description logics - logical aspects of computational complexity - logical aspects of AI - finite model theory - computability - computational proof theory - logic programming and constraints - lambda calculus and combinatory logic - domain theory - categorical logic and topological semantics - database theory - specification, extraction and transformation of programs - logical aspects of quantum computing - logical foundations of programming paradigms - verification and program analysis - linear logic - higher-order logic - knowledge representation and reasoning - nonmonotonic reasoning Submission: -------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair: https://easychair.org/conferences/?conf=csl2026 (the link will be opened in early June) The CSL 2026 conference proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs), see https://drops.dagstuhl.de/entities/series/LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), see https://submission.dagstuhl.de/series/details/LIPIcs#author, presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC (but not PC chairs) are allowed. The submissions are double-blind: - Authors are not allowed to put their name on the paper, and they should avoid revealing their identities in text (references to previous or related work should be in third-person). - Authors are allowed (and even encouraged) to disseminate the work on public repositories (e.g. on arXiv or their websites). At least one of the authors of each accepted paper is expected to register for the conference in order to present their paper. Important dates: -------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. - Abstract submission: 15 July, 2025 - Paper submission: 21 July 2025 - Notification: 14 October 2025 - Final Version: 30 November 2025 - Conference: 23-28 February 2025 Committee Chairs -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France - Barbara König - University of Duisburg-Essen, Germany Program Committee -------------- - Antonis Achilleos - Reykjavik University, Iceland - Patrick Baillot - CNRS and University of Lille, France - Paolo Baldan - University of Padova, Italy - Harsh Beohar - University of Sheffield, UK - Florence Clerc - Heriot-Watt University Edinburgh, UK - Marcelo Fiore - University of Cambridge, UK - Nicola Gambino - University of Manchester, UK - Marianna Girlando - University of Amsterdam, Netherlands - Stefan Göller - University of Kassel, Germany - Giulio Guerrieri - University of Sussex, UK - Luisa Herrmann - TU Dresden, Germany - Naoki Kobayashi - The University of Tokyo, Japan - Dexter Kozen - Cornell University, USA - Antonín Kučera - Masaryk University Brno, Czech Republic - Clemens Kupke - University of Strathclyde Glasgow, UK - Aliaume Lopez - University of Warsaw, Poland - Giulio Manzonetto - Paris Cité University, France - Paul-André Melliès - CNRS and Paris Cité University, France - Aart Middeldorp - University of Innsbruck, Austria - Matteo Mio - CNRS and ENS Lyon, France - Larry Moss - Indiana University Bloomington, USA - Sara Negri - University of Genova, Italy - Elaine Pimentel - University College London, UK - Paolo Pistone - Claude Bernard University Lyon 1, France - Jurriaan Rot - Radboud University Nijmegen, Netherlands - Sven Schewe - University of Liverpool, UK - Sylvain Schmitz - Paris Cité University, France - Lutz Schröder - FAU Erlangen-Nürnberg, Germany - Thomas Schwentick - TU Dortmund University, Germany - Thomas Seiller - CNRS and Sorbonne Paris Nord University, France - Peter Selinger - Dalhousie University, Canada - Viorica Sofronie-Stokkermans - University of Koblenz, Germany - Lorenzo Tortora de Falco - Roma Tre University, Italy - Fabio Zanasi - University College London, UK - Margherita Zorzi - University of Verona, Italy Organisation committee: -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France

1 0