The deadline for submitting a paper to the 10th International Conference on Formal Structures for Computation and Deduction (FSCD'25) is on 17 February 2025. FSCD'25 is scheduled to take place in Birmingham, UK, from 14 to 20 July 2025. Please have a look at the Call for Papers for more inform...
The FSCD Steering Committee has received three nominations for the election of two new SC members at the General Meeting of FSCD 2024 on 12th July 2024. Their names and election statements are available on the web pages of FSCD 2024. Information about the current composition of the SC is availab...
Formal Structures for Computation and Deduction (FSCD)
Steering Committee Membership Election 2024
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 electe...
The accepted papers for the 9th International Conference on Formal Structures for Computation and Deduction (FSCD'24) have been announced!
The deadline for submitting a paper to the 9th International Conference on Formal Structures for Computation and Deduction (FSCD'24) is on 12 February 2024. FSCD'24 is scheduled to take place in Tallinn, Estonia, from 10 to 13 July 2024. Please have a look at the Call for Papers for more infor...
The FSCD Steering Committee has received two nominations for the election of two new SC members at the General Meeting of FSCD 2023 on 5th July 2023. Their names and election statements are available on the web pages of FSCD 2023. Information about the current composition of the SC is available...
Formal Structures for Computation and Deduction (FSCD)
Steering Committee Membership Election 2023
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 electe...
The accepted papers for the 8th International Conference on Formal Structures for Computation and Deduction (FSCD'23) have been announced!
Call for Location for FSCD 2025
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...
Submit a workshop proposal to FSCD 2023 and CADE 2023 (co-located) by 18 December 2022. Check the Call-for- Workshops for more information.
The deadline for submitting a paper to the 8th International Conference on Formal Structures for Computation and Deduction (FSCD'23) is on 3 February 2023. Please have a look at the Call for Papers for more information.
The key dates for the 8th International Conference on Formal Structures for Computation and Deduction (FSCD'23) are now available:
The FSCD Steering Committee is happy to welcome its three new members: Amy Felty, Jürgen Giesl and Daniele Nantes. We gratefully thank the three members leaving the Steering Committee: Damiano Mazza, Jakob Rehof and Jamie Vicary, for their valuable contributions and commitment to the FSCD conference...
The FSCD Steering Committee has received three nominations for the election of two new SC members at the General Meeting of FSCD 2022 on 5th August 2022. Their names and election statements are available on the web pages of FSCD 2022. Information about the current composition of the SC is availa...
Formal Structures for Computation and Deduction (FSCD)
Steering Committee Membership Election 2022
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 electe...
The accepted papers for the 7th International Conference on Formal Structures for Computation and Deduction (FSCD'22) have been announced!
Call for Location for FSCD 2024
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...
Call for Location for FSCD 2023
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...
The deadline for submitting a paper to the 7th International Conference on Formal Structures for Computation and Deduction (FSCD'22) is on 11 February 2022. Please have a look at the Call for Papers for more information.
The FSCD Steering Committee is happy to welcome its three new members: Naoki Kobayashi, Alejandro Díaz-Caro and Luigi Liquori. We gratefully thank the four members leaving the Steering Committee: Luke Ong, Hélène Kirchner, Mauricio Ayala-Rincón and Cynthia Kop, for their valuable contributions and c...
Formal Structures for Computation and Deduction (FSCD)
Steering Committee Membership Election 2021
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 electe...
The accepted papers for the 6th International Conference on Formal Structures for Computation and Deduction (FSCD'21) have been announced!
The deadline for submitting a paper to the 6th International Conference on Formal Structures for Computation and Deduction (FSCD'21) is on 15 February 2021. Please have a look at the Call for Papers for more information.
The 2020 edition of FSCD is now taking place online (https://fscd2020.org). Following the FSCD Rules of Business, the FSCD 2020 General Meeting will take place, during which two new SC members will be elected. The General Meeting will take place on Friday, July 3rd at 16h30 (CEST timezone - UTC+2)....
The election of the SC members will occur at the Virtual General Meeting, taking place on July 3, 2020, during FSCD 2020. The statements for the nominated candidated can be found here.
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.
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.
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...
Registration for FSCD 2019 is now open.
The early registration deadline is May 13, 2019.
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...
FSCD 2019 will take place in Dortmund, Germany from 24 to 30 of June, 2019. Check the UPCOMING CONFERENCES section for updates.
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.
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 the FSC...
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...
We have created a mailing list to publicise FSCD related information. You can use this link to subscribe to the list.
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...
The webpage for FSCD 2018 is now available. All the information about the 3rd edition of FSCD will be available here.
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...
The SC has prepared a final proposal of the FSCD Rules of Business for the 2017 meeting. Check the final proposal of the [FSCD Rules] (http://fscdconference.org/organization/rules-of-business).
Submit a workshop proposal to FSCD 2018 by June 19, 2017. Check the Call-for- Workshops.
The deadline for submitting a paper to the Third International Conference on Formal Structures for Computation and Deduction (FSCD'18) is January 15, 2018. Check the Call-for-Papers.
A report on the first FSCD conference has been published in the ACM SIGLOG Newsletter.
Check the call-for-papers for the Second International Conference on Formal Structures for Computation and Deduction (FSCD'17) available here.
Our dear colleague Kris Rose passed away on September 17, 2016 after prolonged illness. It is unarguable how important Kris was in the establishment of FSCD. He will truly be missed.
Check the FSCD code of conduct.