- 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

FSCD 2025: Third Call for Participation (late registration by *29 June 2025*)
by Carsten Fuhs 19 Jun '25

19 Jun '25

========================================================== UPDATE: Late registration deadline on 29 June 2025 ========================================================== THIRD CALL FOR PARTICIPATION 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 --------------- Late registration: 29 June 2025 Workshops: 14 July and 19-20 July 2025 Conference: 15-18 July 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. REGISTRATION ------------ Registration is now open for the late deadline *** 29 June 2025 ***: https://fscd2025.github.io/registration.htm INVITED SPEAKERS ---------------- Liron Cohen, Ben-Gurion University Mariangiola Dezani, University of Torino Ekaterina Komendantskaya, University of Southampton Jose Meseguer, University of Illinois Urbana-Champaign ACCEPTED PAPERS --------------- The list of accepted papers can be found here: https://fscd2025.github.io/accepted.htm PROGRAMME --------- The programme can be found here: https://easychair.org/smart-program/FSCD2025/ WORKSHOPS --------- * UNIF 2025: 39th International Workshop on Unification - 14 July 2025 * HOR 2025: 12th International Workshop on Higher-Order Rewriting - 14 July 2025 * WiL 2025: Women in Logic 2025 - 14 July 2025 * LFMTP 2025: International Workshop on Logical Frameworks and Meta Languages: Theory and Practice - 19 July 2025 * IFIP-WG1.6 2025: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting - 19 July 2025 * TLLA 2025: 9th International Workshop on Trends in Linear Logic and Applications - 19 and 20 July 2025 * GALOP 2025: 17th Workshop on Games for Logic and Programming Languages - 19 and 20 July 2025 * WPTE 2025: 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation - 20 July 2025 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 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

CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 10-11, 2025
by José Proença 18 Jun '25

18 Jun '25

================================================== ReacTS'25 International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications ================================================== 1st Call for Papers https://reacts-workshop.github.io/2025/ Tuesday, 10-11 November 2025, Toledo, Spain Satellite event of SEFM 2025 (https://sefm-conference.github.io/sefm2025) ================================================== OVERVIEW ================================================== Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations. This workshop aims to bring together the whole community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics, and topological and algebraic semantics), or formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). Also, our goal is to devise novel approaches and potential applications, and share a common perspective on the discipline. ================================================== SUBMISSION GUIDELINES ================================================== Authors are invited to submit, via CMT, research contributions or experience reports (https://cmt3.research.microsoft.com/reacts2025). All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html. There are two categories of submissions: - FULL PAPERS up to 12 pages (excluding references) – to present original research and the analysis, interpretation and validation of the research findings. - SHORT PRESENTATIONS up to 4 pages (excluding references) – to present work in progress and preliminary results. Both kinds of submissions allow system descriptions, to present a new tool, a new tool component or novel extensions to an existing tool aiming at supporting open community approaches, or the use/customisation of an existing tool in the context of RTS. Accepted full papers will be included in the workshop programme and will appear in the workshop LNCS proceedings. Accepted short presentations will be included in the pre-proceeding (available online before the Workshop) but not published in the LNCS proceedings. ================================================== LIST OF TOPICS ================================================== The scope of the workshop includes (but it is not limited to): - Reconfigurable transitions systems (RTS) * Models for the analysis of reconfigurable systems * Applications of formal models for reconfigurable systems * Computational tools to animate and analyze RTS * Generalizations of RTS - Fuzzy RTS, Paraconsistent RTS, Weighted RTS, - Stochastic RTS, etc. * Featured Transition Systems * Reconfigurable Cyber Physical Systems - Logical Methods * Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS * Bisimulations and general algebraic constructions * Model Checking and Tools * Reactive systems and Process Algebra * Logics for Cyber Physical Systems * Topological an Algebraic Semantics * Applications of AI for RTS ================================================== PROGRAM CO-CHAIRS ================================================== - José Proença, University of Porto (Portugal) - Umberto Rivieccio, Universidad Nacional de Educación a Distancia (Spain) ================================================== PROGRAM COMMITTEE ================================================== - Luis Soares Barbosa, Universidade Do Minho (Portugal) - Benjamin Bedregal, Universidade Federal do Rio Grande do Norte (Brazil) - Mario Benevides, Universidade Federal Fluminense (Brazil) - Patrick Blackburn, University of Roskilde (Denmark) - Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET (Argentina) - Madalena Chaves, Centre Inria d'Université Côte d'Azur (France) - Gabriel Ciobanu, Institute of Computer Science, Romanian Academy (Romania) - Raul Fervari, Universidad Nacional de Córdoba and CONICET (Argentina) - Daniel Figueiredo, University of Aveiro (Portugal) - Sabine Frittella, Université d'Orleans (France) - Sujata Gosh, Indian Statistical Institute, Chennai (India) - Andreas Herzig, CNRS, Université Paul Sabatier (France) - Juha Kontinen, University of Helsinki (Finland) - Alexandre Madeira, University of Aveiro (Portugal) - Sergio Marcelino, IT & Dep. Mathematics IST, University of Lisbon (Portugal) - Vanina Martínez, IIIA-CSIC, Barcelona (Spain) - Manuel Martins, University of Aveiro (Portugal) - Carles Noguera Clofent, Università degli Studi di Siena (Italy) - Aybüke Özgün, University of Amsterdam (The Netherlands) - Alessandra Palmigiano, Vrije Universiteit Amsterdam (The Netherlands) - Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil) - François Schwarzentruber, ENS Rennes (France) - Sonja Smets, ILLC, University of Amsterdam (The Netherlands) - Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian Academy (Romania) - Fernando R. Velázquez-Quesada, University of Bergen (Norway) - Fan Yang, Utrecht University (The Netherlands) ================================================== PUBLICATION ================================================== Accepted full papers will be published by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs), which will collect contributions to some workshops co-located with SEFM 2025. Condition for inclusion in proceedings is that at least one of the co-authors has presented the paper at the Workshop. Similarly to the last edition of ReacTS, we plan to invite authors of selected contributions to submit extended versions to a special issue, e.g. to the Journal of Applied Logics. ================================================== IMPORTANT DATES (AoE) ================================================== - Abstract submission: August 13, 2025 - Paper submission: August 20, 2025 - Author notification: September 22, 2025 - Workshop: November 10-11, 2025 ================================================== CONTACT ================================================== If you have any problems or questions, please contact us via e-mail at: jose.proenca(a)fc.up.pt / umberto(a)fsof.uned.es -- José Proença https://jose.proenca.org

1 0

SETTA 2025 CfP - 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications, Oxford, UK, 1-3 December 2025
by Christoph Haase 17 Jun '25

17 Jun '25

(apologies for cross postings) The 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025), will be held in Oxford, United Kingdom, on 1-3 December 2025. The event will be hosted at St Catherine's College, University of Oxford. **Conference Webpage and Submission Link** https://www.setta2025.uk/ https://setta2025.hotcrp.com/ **Important Dates (AoE)** SETTA 2025 will accept submissions in two rounds. All deadlines are at 23:59 AOE. * Paper Submission (Round 2): August 20, 2025 * Notification (Round 2): October 8, 2025 **Call for Papers** Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community has formed researching, developing, and teaching formal theories, techniques and tools for software modeling, specification, design, and verification. However, the impact of formal methods on the quality and improvement of software systems is, in practice, lagging behind. This is, for instance, reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. The purpose of the SETTA symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. It aims at academic excellence and its objective is to become a flagship conference on formal software engineering in Asia. All previous instances of SETTA have taken place in Asia, and 2025 is the first time the conference is being held outside its traditional home region. To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium particularly encourages the participation of young researchers and students. Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. All submissions must be in pdf format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. The review process is double-blind and each submission will be reviewed by at least two members of the technical program committee. All accepted papers will have to be presented at the conference by one of their authors. As in previous iterations of SETTA, extended versions of selected papers will be recommended to special issues of a reputable journal (TBA) after the proceedings of the conference. **Topics and Scope** Topics of interest include, but are not limited to: Requirements specification and analysis Formalisms for modeling, design, and implementation Model checking, theorem proving, and decision procedures Scalable approaches to formal system analysis Formal approaches to simulation, run-time verification, and testing Integration of formal methods into software engineering practice Contract-based engineering of components, systems, and systems of systems Formal and engineering aspects of software evolution and maintenance Parallel and multicore programming Embedded, real-time, hybrid, probabilistic, and cyber-physical systems Mixed-critical applications and systems Formal aspects of service-oriented and cloud computing Safety, reliability, robustness, and fault-tolerance Dependability of smart software and systems Empirical analysis techniques and integration with formal methods Applications and industrial experience reports Software tools to assist in the construction or analysis of software systems Trustworthy and explainable AI **Committees** *Technical Program Committee Chairs* Amir Goharshady, University of Oxford Christoph Haase, University of Oxford *Technical Program Committee* S Akshay, IIT Bombay Guy Amir, Cornell University Jie An, ISCAS Luca Arnaboldi, University of Birmingham Martin Berger, University of Sussex Dariusz Biernacki, University of Wrocław Michael Blondin, Université de Sherbrooke Benedikt Bollig, ENS Paris-Saclay / CNRS Timothy Bourke, INRIA / ENS Qinxiang Cao, Shanghai Jiao Tong University Supratik Chakraborty, IIT Bombay Liqian Chen, National University of Defense Technology Guillaume Dupont, IRIT Pascal Fontaine, Université de Liège Hongfei Fu, Shanghai Jiao Tong University Luca Geatti, University of Udine Mirco Giacobbe, University of Birmingham R Govind, Uppsala University Ashutosh Gupta, IIT Bombay Hossein Hojjat, Tehran Institute for Advanced Studies Lukáš Holík, Brno University of Technology Minghao Liu, University of Oxford Andreas Lööw, Imperial College London Kaushik Mallik, IMDEA Software Institute Alessio Mansutti, IMDEA Software Institute Umang Mathur, National University of Singapore Harshit Motwani, MPI-SWS Muhammad Syifa'ul Mufid, Institut Teknologi Sepuluh Nopember Amy Nejati, Newcastle University Andreas Pavlogiannis, Aarhus University Guillermo Perez, University of Antwerp Basile Pesin, ENAC Rajarshi Roy, University of Oxford Andrew Ryzhikov, University of Warsaw Christian Schilling, Aalborg University Taro Sekiyama, National Institute of Informatics Mikhail Starchak, St Petersburg University Chenglin Wang, HKUST Guannan Wei, INRIA / ENS Georg Weissenbacher, TU Wien Nisansala Yatapanage, Australian National University Bohua Zhan, ISCAS Đorđe Žikelić, Singapore Management University *General Chair* Naijun Zhan, Peking University *Publicity Chair* Jonathan Bowen, Museophile / London South Bank University *Steering Committee* Zhenhua Duan, Xidian University Martin Fränzle, University of Oldenburg Kim Larsen, Aalborg University Xuandong Li, Nanjing University Zhiming Liu, Southwest University Sriram Rajamani, Microsoft Research Ji Wang, NUDT Kwangkeun Yi, Seoul National University Naijun Zhan, Peking University *Advisory Board* Zhou Chaochen, Institute of Software, CAS He Jifeng, East China Normal University Cliff Jones, Newcastle University Deepak Kapur, University of New Mexico Li Wei, Beihang University

1 0

Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)
by Carsten Fuhs 13 Jun '25

13 Jun '25

---------------------------------------------------------------------- ** PLEASE NOTE THAT ATTENDANCE OF PRESENTATIONS IS OPEN ** TO ALL REGISTERED PARTICIPANTS, NOT ONLY WG MEMBERS! ---------------------------------------------------------------------- ** ** **** CALL FOR PARTICIPATION **** ** ** Meeting of the IFIP Working Group 1.6 on Rewriting (IFIP WG 1.6) ** 19 July 2025 ** Birmingham, United Kingdom ** ** https://ifip-wg-rewriting.cs.ru.nl/events/event-2025.html ** ---------------------------------------------------------------------- ** ** IFIP WG 1.6 in 2025 is co-located with FSCD 2025: ** ** https://fscd-conference.org/2025/ ** ---------------------------------------------------------------------- ** OVERVIEW ---------------------------------------------------------------------- IFIP Working Group 1.6 is one of the working groups of the Technical Committee 1 of the International Federation for Information Processing (IFIP). IFIP is the leading multinational, apolitical organisation in Information & Communications Technologies and Sciences. It is recognised by United Nations and other world bodies, represents IT Societies from 56 countries or regions, covering all 5 continents with a total membership of over half a million. WG 1.6 Aims ----------- * To promote research efforts in rewriting and its applications. * To establish close cooperation between existing groups and to facilitate the emergence of new ones. * To increase awareness of rewriting techniques in the computer science community at large. * To foster development of applications of theoretical advances. WG 1.6 Scope ------------ * Rewriting for computing and reasoning. * Theoretical studies of the rewriting relation of different orders. * Complexity issues of rewriting. * Compilation techniques and applications. * Theory and applications of rewriting logic and calculus. * Application of rewriting to constraint solving, theorem proving and algebraic specifications. * The design, promotion and teaching of rewrite based techniques and applications. ---------------------------------------------------------------------- ** PRELIMINARY PROGRAMME ---------------------------------------------------------------------- The programme of the meeting consists of invited talks by selected researchers and of discussions focussed on the activities of the Working Group. 9:00 - 10:00: Session 1 - 60' Santiago Escobar 10:30 - 12:30: Session 2 - 60' Raúl Gutiérrez - 60' Daniele Nantes 12:30 - 14:00: Break 14:00 - 15:30: Session 3 - 60' Florian Frohn - 30' Update on the International School on Rewriting 16:00 - 17:00: Session 4 - 60' David Cerna 17:00 - 17:30: Session 5 - 30' Business meeting (members-only) ---------------------------------------------------------------------- ** REGISTRATION ---------------------------------------------------------------------- The registration page for FSCD 2025 and affiliated events, such as the meeting of the IFIP WG 1.6, is available here: https://fscd2025.github.io/registration.htm All parts of the programme are public, except for the members-only business meeting at the end of the programme. The deadline for early registration is on: **** 15 June 2025 **** ---------------------------------------------------------------------- ** CONTACT ---------------------------------------------------------------------- * Chair: Cynthia Kop, Radboud University Nijmegen * Co-Chair and secretary: Carsten Fuhs, Birkbeck, University of London ----------------------------------------------------------------------

1 0

announcement re: postdoc opportunity
by Martin Otto 06 Jun '25

06 Jun '25

Dear FMT-list team, I would be happy for distribution of the following announcement regarding a postdoc position in the logic group at TU Darmstadt. Thanks and best wishes, Martin Otto ----------------------------------------------------------------- Postdoc position in Mathematical Logic (TU Darmstadt, 2 years) The Department of Mathematics at TU Darmstadt is offering a 2 year postdoc position in Mathematical Logic. The logic group at the department has links with various application areas of mathematical logic in other fields of mathematics as well as in theoretical computer science. For the present position, preference would be given to candidates with research interests in model-theoretic methods broadly conceived. Main focus is on application domains such as finite and algorithmic model theory, the study of logics of a modal character, or of team semantics. For informal enquiries please contact Martin Otto (otto(a)mathematik.tu-darmstadt.de). The more formal, official advertisement, for this position among others, is to be found under https://www.career.tu-darmstadt.de/HPv3.Jobs/TU-Darmstadt/stellenangebot/47… (in English) https://www.career.tu-darmstadt.de/HPv3.Jobs/TU-Darmstadt/stellenangebot/47… (in German) ----------------------------------------------------------------

1 0