The FSCD programme can be found here.

All talks will be streamed for free - details below.

The 10^th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Birmingham, UK, Tuesday 15 - Friday 18 July, 2025, with workshops on Monday 14 and Saturday 19 - Sunday 20, in co-operation with ACM SIGLOG.

FSCD 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.

Stream via Zoom

We are pleased to announce that FSCD 2025 will be streamed for free via Zoom. The stream will cover the main conference, including the business meeting (without voting rights), but not the workshops.

In order to access the Zoom link, please register first here.

Invited Speakers

• Liron Cohen (Ben-Gurion University)
• Mariangiola Dezani (University of Torino)
• Ekaterina Komendantskaya (University of Southampton)
• Jose Meseguer (University of Illinois Urbana-Champaign)

Programme

The Steering Committee and Programme Committee chairs would like to share the following.
"Message for FSCD 2025 participants (25 July 2025):
The FSCD SC and PC have not provided support to people outside the committee for emails to be sent to FSCD authors or participants. The address fscd2025@easychair.org has as only recipient the PC chair.
FSCD expects presentation slots to be used exclusively to present scientific results.
Patrick Baillot (SC chair), Maribel Fernandez (PC chair)"

The FSCD 2025 programme can be found here. All talks of the main conference will take place in the Fry Suite, on the ground floor of the Edgbaston Park Hotel and Conference Centre, the conference venue [Google Maps].

Workshop programmes are available on each workshop's webpage (see below). All workshops will take place on the first floor of the Edgbaston Park Hotel (rooms indicated below).

Proceedings

Proceedings for FSCD 2025 are published open access under LIPIcs and can be found here.

Workshops

Details of the workshops' programmes can be found here.

Business meeting

The FSCD business meeting is on Thursday 17th July at 14:00-15:00 in the Fry Suite. It includes the election of new Steering Committee members, with the following candidates standing:

     Sandra Alves - Election statement
     Jürgen Giesl - Election statement