FSCD 2025: Call for Papers

October 18, 2024, 12:28 pm

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

Continue Reading...

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

Continue Reading...

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

Continue Reading...

FSCD 2024: Call for Papers

August 31, 2023, 4:24 pm

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

Continue Reading...

The FSCD Steering Committee has received two proposals to host FSCD 2025, from Birmingham and Tbilisi. The proposals are available here and will be presented at the business meeting of FSCD 2023. After the presentations, an advisory vote of the members of the community in attendance at the busin...

Continue Reading...

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

Continue Reading...

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

Continue Reading...

FSCD 2025: Call for Location

February 17, 2023, 12:50 pm

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

Continue Reading...

FSCD 2023 and CADE 2023: Call for Workshops

November 29, 2022, 2:45 pm

Submit a workshop proposal to FSCD 2023 and CADE 2023 (co-located) by 18 December 2022. Check the Call-for- Workshops for more information.

Continue Reading...

FSCD 2023: Call for Papers

November 28, 2022, 9:20 pm

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.

Continue Reading...

The key dates for the 8th International Conference on Formal Structures for Computation and Deduction (FSCD'23) are now available:

  • abstract - 30 January 2023 (Monday)
  • paper - 3 February 2023 (Friday)
  • rebuttal - 24-28 March 2023 (Friday-Tuesday)
  • notification - 13 Apr...

Continue Reading...

New SC members 2022

August 7, 2022, 11:25 pm

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

Continue Reading...

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

Continue Reading...

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

Continue Reading...

The FSCD Steering Committee has received three proposals to host FSCD 2024, from Batumi, Birmingham, and Tallinn. The proposals are available here and will be presented at the business meeting of FSCD 2022. After the presentations, an advisory vote of the members of the community in attendance a...

Continue Reading...

FSCD 2024: Call for Location

March 15, 2022, 10:25 pm

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

Continue Reading...

FSCD 2023: Call for Location

October 29, 2021, 10:11 am

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

Continue Reading...

FSCD 2022: Call for Papers

October 1, 2021, 1:20 pm

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.

Continue Reading...

New SC members 2021

July 23, 2021, 2:15 pm

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

Continue Reading...

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

Continue Reading...

FSCD 2021: Call for Papers

November 6, 2020, 1:30 pm

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.

Continue Reading...

FSCD 2020 General Meeting

June 17, 2020, 9:25 pm

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

Continue Reading...

FSCD 2020 SC Election

June 17, 2020, 9:23 pm

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.

Continue Reading...

New SC members 2019

June 28, 2019, 9:30 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 12, 2019, 9:29 pm

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!

March 4, 2019, 9:36 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

February 15, 2019, 9:39 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...

Dates of FSCD 2019

November 5, 2018, 9:37 pm

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 2019 in Dortmund

October 17, 2018, 9:34 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...

New SC members 2018

July 12, 2018, 9:11 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 the FSC...

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 14, 2018, 9:32 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!

January 30, 2018, 9:23 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...

FSCD 2018 webpage

October 12, 2017, 9:38 pm

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

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

RULES OF BUSINESS

August 31, 2017, 1:26 pm

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

Continue Reading...

FSCD 2018: CALL FOR WORKSHOPS

June 3, 2017, 1:58 pm

Submit a workshop proposal to FSCD 2018 by June 19, 2017. Check the Call-for- Workshops.

Continue Reading...

FSCD 2018: CALL FOR PAPERS

June 2, 2017, 11:35 pm

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.

Continue Reading...

REPORT ON FSCD 2016

May 1, 2017, 1:15 pm

A report on the first FSCD conference has been published in the ACM SIGLOG Newsletter.

Continue Reading...

FSCD 2017 CALL FOR PAPERS

January 2, 2017, 2:01 am

Check the call-for-papers for the Second International Conference on Formal Structures for Computation and Deduction (FSCD'17) available here.

Continue Reading...

In Memory of Kristoffer H. Rose

August 1, 2016, 5:22 pm

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.

Continue Reading...

Code of Conduct

June 24, 2016, 5:28 pm