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

Dates of FSCD 2019

December 4, 2017, 11:46 am

FSCD 2019 will take place in Dortmund, Germany from 24 to 30 of June, 2019. Check the UPCOMING CONFERENCES section for updates.

Continue Reading...

FSCD 2018 webpage

September 29, 2017, 10:52 am

The webpage for FSCD 2018 is now available. All the information about the 3rd edition of FSCD will be available here.

Continue Reading...

FSCD 2019 in Dortmund

September 26, 2017, 3:46 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...

Steering Committee new and past members

September 7, 2017, 5:06 pm

The FSCD Steering Committee warmly welcomes three new members: Carsten Fuhs, Dale Miller and Sam Staton. We also gratefully thank the three members leaving the Steering Committee, Gilles Dowek, Santiago Escobar and Hugo Herbelin, for their commitment and valuable contributions to the FSCD conference...

Continue Reading...