New SC members 2019

June 29, 2019, 8:25 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 SC election

June 13, 2019, 9:55 am

The election of the SC members will occur at the General Meeting, taking place on June 28, 2019, at FSCD 2019 in Dortmund. The statements for the nominated candidated can be found at the FSCD 2019 webpage.

Continue Reading...

Steering Committee Membership Election 2019

CALL FOR NOMINATION

The FSCD SC consists of the SC Chair, 6 elected members, PC Chairs of the last 3 years, the Publicity Chair, Workshop Chair and former SC Chair. Every year the outgoing elected SC members are replaced by new members elected by a sec...

Continue Reading...

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