New SC members 2019

June 19, 2020, 2:58 pm

The FSCD Steering Committee gladly welcomes three new members: Herman Geuvers, Damiano Mazza and Jakob Rehof. We gratefully thank the two members leaving the Steering Committee: Naoki Kobayashi and Brigitte Pientka, for their valuable contributions to the FSCD conference.

Continue Reading...

FSCD 2019 in Dortmund

June 19, 2020, 2:58 pm

The 4th International Conference on Formal Structures for Computation and Deduction (FSCD'19) will take place in Dortmund in June/July 2019. Check the UPCOMING CONFERENCES section for updates.

Continue Reading...

FSCD mailing list

June 19, 2020, 2:58 pm

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

Continue Reading...

FSCD 2021 - CALL FOR LOCATION

June 19, 2020, 2:58 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...

FSCD 2019 Registration is now open!

June 19, 2020, 2:58 pm

Registration for FSCD 2019 is now open.

(REGISTER HERE)

The early registration deadline is May 13, 2019.

Continue Reading...