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

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

FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*)
by Carsten Fuhs 05 Jun '25

05 Jun '25

========================================================= UPDATE: Student fee waivers: apply by 9 June 2025 ========================================================= SECOND 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 --------------- Student fee waivers: 9 June 2025 Early registration: 15 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, with the early deadline *** 15 June 2025 ***: https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physi… STUDENT FEE WAIVERS ------------------- A small number of student fee waivers are available. Any interested students should contact fscd2025(a)gmail.com with subject 'Student Fee Waiver' to request this, by *** 9 June 2025 ***. 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 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

[fm-announcements] PVS Day at NFM 2025, June 10, 2025
by Munoz, Cesar A. (LARC-D320) via fm-announcements 29 May '25

29 May '25

------------------------------------------------------- Call for Participation: PVS DAY @ NFM 2025 ------------------------------------------------------- June 10, 2025, Williamsburg, Virginia, United States of America Web: https://shemesh.larc.nasa.gov/nfm2025/pvs-day.html Collocated with the 17th NASA Formal Methods Symposium (https://shemesh.larc.nasa.gov/nfm2025/) Join us for an exciting and collaborative workshop dedicated to the Prototype Verification System (https://pvs.csl.sri.com/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpvs.csl.s…>). This event aims to bring together users, practitioners, and enthusiasts from around the world to foster a vibrant and supportive community centered around PVS. Whether you are a seasoned PVS user or new to the theorem prover, this workshop offers a unique opportunity to learn, connect, and contribute to the PVS community. Don't miss out on this chance to be part of a global network of like-minded individuals passionate about advancing formal verification and theorem proving. The PVS Day will also be hosted by the Computer Science Department at William & Mary<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.ed…>, in Williamsburg, Virginia. Following the NFM spirit, participation in the PVS Day is free, but registration is mandatory at https://forms.office.com/r/kZ06pKNUuv<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fforms.off…>. Contact: Mariano Moscato (AMA @ NASA LaRC) – mariano.m.moscato(a)nasa.gov<mailto:mariano.m.moscato@nasa.gov> Cesar Munoz (NASA) – cesar.a.munoz(a)nasa.gov<mailto:cesar.a.munoz@nasa.gov> --- 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

DEON 2025 -- Call for Participation
by Hackl, Andrea 28 May '25

28 May '25

================================================ CALL FOR PARTICIPATION: DEON 2025, VIENNA ================================================ The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held from July 1 - July 3, 2025 at TU Wien (Vienna, Austria). The conference will be preceded by a day of tutorials on June 30. *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. *Special focus* In addition to the general themes of the DEON conference series, the special theme of this year's edition is 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. *Keynotes* Natasha Alechina (Utrecht University, The Netherlands) Henry Prakken (Utrecht University, The Netherlands) Christian Straßer (Ruhr University Bochum, Germany) *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. The tutorial will be given by: - Pedro Cabalar (Corunna University, Spain) - Ilaria Canavotto (University of Maryland, US) - Elisa Freschi (University of Toronto) & Josephine Dik (TU Wien) - Matthias Scheutz (Tufts Institute for AI, US) *Registration* The early registration ends on Monday June 2nd (CEST) https://sites.google.com/view/deon-2025/registration *Program Chairs* Agata Ciabattoni, Vienna University of Technology (TU Wien) John Horty, University of Maryland, USA *Accepted Papers* Norm Avoidance and Reinforcement Learning: Definitions and Analysis Authors: Benoit Alcaraz, Emery Neufeld, Amro Najjar and Leon van der Torre Reasoning with and about normative conflicts Authors: Kees van Berkel and Christian Strasser Extending McNamara’s Recent Modifications of the DWE Framework Author: Paul McNamara Deolingo: extending Answer Set Programming with Deontic Reasoning Authors: Pedro Cabalar and Ovidio Manteiga Reasons and the Logic of Obligation Author: Stephan Krämer Trivalent Semantics for Conditional Obligations Authors: Paul Égré, Lorenzo Rossi and Jan Sprenger Deontic Argumentation Authors: Guido Governatori and Antonino Rotolo Quantified Deontic Stit Logic Authors: Edward Roussel and Stef Frijters A Truthmaker Semantics for Reason-Based Conditionals Authors: Alessandro Giordani and Vita Saitta Modal Logic for Agent-based Legal Classifications Authors: Daniil Khaitovich and Lorenz Hornung Input/Output Logic via Possible Worlds Authors: Brandon Hopkins Reasons against, balancing, and defeasible logic Authors: Aleks Knoks Connecting Free Choice Permission with Obligation and Prohibition by Not Doing It Authors: Zilu Wang and Yanjing Wang A Contrastive Semantics for Iffy Oughts Authors: Xuefeng Wen and Yanan Liu Navigating Permission and Exceptions: A First-Order Perspective Authors: Josephine Dik and Dominik Pichler Is moral particularism a problem for rule-based artificial normative systems? Author: Joris Graff Using Simple Deontic Constraints for Fast Norm-Conforming Reinforcement Learning Authors: Daniel Little and Matthias Scheutz Backward looking responsibility reconsidered. Authors: Jan Broersen Rational Monotony in Input Output Logic Authors: Xu Li, Leendert van der Torre and Liuwen Yu Deontically Constrained Policy Improvement in Reinforcement Learning Agents Authors: Alena Makarova and Houssam Abbas Deontic Explanations in Åqvist's systems Authors: Agata Ciabattoni, Blaž Istenič Urh and Xavier Parent

1 0

FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*)
by Carsten Fuhs 19 May '25

19 May '25

FIRST 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 --------------- Early registration: 15 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, with the early deadline *** 15 June 2025 ***: https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physi… 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 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