FSCD 2019 Registration is now open!

April 12, 2019, 5:01 pm

Registration for FSCD 2019 is now open.

(REGISTER HERE)

The early registration deadline is May 13, 2019.

Continue Reading...

FSCD 2021 - CALL FOR LOCATION

December 13, 2018, 10:09 pm

Call for Location for FSCD 2021

The FSCD conference covers all aspects of Formal Structures for Computation and Deduction from theoretical foundations to applications. The annual FSCD conference comprises the main conference and a considerable number of affiliated workshops (expectedly, more than...

Continue Reading...

New SC members 2018

September 2, 2018, 4:29 pm

The FSCD Steering Committee gladly welcomes its three new members: Hélène Kirchner, Mauricio Ayala-Rincón and Cynthia Kop. We gratefully thank the three members leaving the Steering Committee: Maribel Fernández, Thorsten Altenkirch and René Thiemann, for their contributions and commitment to th...

Continue Reading...

Steering Committee Membership Election 2018

CALL FOR NOMINATION

The FSCD Steering Committee (SC) comprises the SC Chair, one former SC Chair, six elected members, and PC Chairs (or Co-chairs) of the three preceding FSCDs. Every year the SC is joined by the current PC Chair, and two new SC member...

Continue Reading...

FSCD mailing list

March 15, 2018, 3:04 pm

We have created a mailing list to publicise FSCD related information. You can use this link to subscribe to the list.

Continue Reading...