[TYPES/announce] FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*)
Carsten Fuhs
c.fuhs at bbk.ac.uk
Mon May 19 09:13:25 EDT 2025
FIRST CALL FOR PARTICIPATION
Tenth International Conference on
Formal Structures for Computation and Deduction (FSCD 2025)
14-20 July 2025, Birmingham, UK
https://urldefense.com/v3/__https://fscd-conference.org/2025/__;!!IBzWLUs!XmVGxTKDQJSKn-jLjNCL-iYcApuNSZ2YebtNL_Q9VACMDHlh9VuUbV3LaSCnGtMHmHjM0UwJQ5NJEB_zC5I1JRok07vkkVE$
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://urldefense.com/v3/__https://fscd-conference.org/__;!!IBzWLUs!XmVGxTKDQJSKn-jLjNCL-iYcApuNSZ2YebtNL_Q9VACMDHlh9VuUbV3LaSCnGtMHmHjM0UwJQ5NJEB_zC5I1JRokACDKeu4$ ) 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://urldefense.com/v3/__https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physical-sciences/school-of-computer-science/computer-science-courses-events/10th-international-conference-on-formal-structures-for-computation-and-deduction__;!!IBzWLUs!XmVGxTKDQJSKn-jLjNCL-iYcApuNSZ2YebtNL_Q9VACMDHlh9VuUbV3LaSCnGtMHmHjM0UwJQ5NJEB_zC5I1JRokfRC9Xio$
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://urldefense.com/v3/__https://fscd2025.github.io/accepted.htm__;!!IBzWLUs!XmVGxTKDQJSKn-jLjNCL-iYcApuNSZ2YebtNL_Q9VACMDHlh9VuUbV3LaSCnGtMHmHjM0UwJQ5NJEB_zC5I1JRokIvfyjkA$
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 at 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://urldefense.com/v3/__https://www.acm.org/about-acm/policy-against-harassment__;!!IBzWLUs!XmVGxTKDQJSKn-jLjNCL-iYcApuNSZ2YebtNL_Q9VACMDHlh9VuUbV3LaSCnGtMHmHjM0UwJQ5NJEB_zC5I1JRokEAkx61I$
More information about the Types-announce
mailing list