========================================================= 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-physic... STUDENT FEE WAIVERS ------------------- A small number of student fee waivers are available. Any interested students should contact fscd2025@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@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