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

Rescue Fund for Martin... please help!

February 1, 2018, 4:54 pm

As many of you may have heard by now, our dear colleague, Martin Hofmann, is missing since he went hiking in the mountains in Japan, on the 21st of January.

His daughter, Johanna Hofmann, has set up a rescue fund: CLICK HERE.

"On 21st of January 2018 my father Martin Hofmann climbed Mount Nikk...

Continue Reading...