The Coq mailing list

[Carsten Fuhs <c.fuhs AT bbk.ac.uk>]

=========================================================
    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-physical-sciences/school-of-computer-science/computer-science-courses-events/10th-international-conference-on-formal-structures-for-computation-and-deduction

STUDENT FEE WAIVERS
-------------------
A small number of student fee waivers are available. Any interested 
students should contact fscd2025 AT 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 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://www.acm.org/about-acm/policy-against-harassment