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

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