default search action

combined dblp search
author search
venue search
publication search

ask others

International Conference on Formal Structures for Computation and Deduction (FSCD)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

access: some or all publications openly available
predecessor: International Conference on Rewriting Techniques and Applications (RTA)
predecessor: International Conference on Typed Lambda Calculus and Applications (TLCA)
is part of: Federated Logic Conference (FLoC)
has part (since 2016): International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE)

10th FSCD 2025: Birmingham, UK

- view
- export record
  dblp key:
  - conf/fscd/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/2025
Maribel Fernández:
10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK. LIPIcs 337, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-374-4 [contents]

9th FSCD 2024: Tallinn, Estonia

- view
- export record
  dblp key:
  - conf/fscd/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/2024
Jakob Rehof:
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia. LIPIcs 299, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-323-2 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-05822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-05822
Florian Rabe, Claudio Sacerdoti Coen:
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2024, Tallinn, Estonia, 8th July 2024. EPTCS 404, 2024 [contents]

8th FSCD 2023: Rome, Italy

- view
- export record
  dblp key:
  - conf/fscd/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/2023
Marco Gaboardi, Femke van Raamsdonk:
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. LIPIcs 260, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-277-8 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-09918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-09918
Alberto Ciaffaglione, Carlos Olarte:
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. EPTCS 396, 2023 [contents]

7th FSCD 2022: Haifa, Israel

- view
- export record
  dblp key:
  - conf/fscd/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/2022
Amy P. Felty:
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. LIPIcs 228, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-233-4 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14219
Clemens Grabmayer:
Proceedings Twelfth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2022, Technion, Haifa, Israel, 1st August 2022. EPTCS 377, 2023 [contents]

6th FSCD 2021: Buenos Aires, Argentina [Virtual Conference]

- view
- export record
  dblp key:
  - conf/fscd/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/2021
Naoki Kobayashi:
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). LIPIcs 195, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-191-7 [contents]

5th FSCD 2020: Paris, France [Virtual Conference]

- view
- export record
  dblp key:
  - conf/fscd/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/2020
Zena M. Ariola:
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference). LIPIcs 167, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-155-9 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2102-01804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-01804
Patrick Bahr:
Proceedings 11th International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2020, Online, 5th July 2020. EPTCS 334, 2021 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14305
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14305
Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents]

4th FSCD 2019: Dortmund, Germany

- view
- export record
  dblp key:
  - conf/rta/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/2019
Herman Geuvers:
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. LIPIcs 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-107-8 [contents]

3rd FSCD 2018: Oxford, UK

- view
- export record
  dblp key:
  - conf/rta/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/2018
Hélène Kirchner:
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. LIPIcs 108, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-077-4 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-01352
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01352
Frédéric Blanqui, Giselle Reis:
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 274, 2018 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-03732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03732
Robert Atkey, Sam Lindley:
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. EPTCS 275, 2018 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1902-01510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01510
Maribel Fernández, Ian Mackie:
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 288, 2019 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1903-12402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-12402
Pedro Quaresma, Walther Neuper:
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. EPTCS 290, 2019 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06159
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents]

2nd FSCD 2017: Oxford, UK

- view
- export record
  dblp key:
  - conf/rta/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/2017
Dale Miller:
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. LIPIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-047-7 [contents]

1st FSCD 2016: Porto, Portugal

- view
- export record
  dblp key:
  - conf/rta/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/2016
Delia Kesner, Brigitte Pientka:
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal. LIPIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-010-1 [contents]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kobayashi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kobayashi17
Naoki Kobayashi:
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. EPTCS 242, 2017 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.