1st International Conference
FSCD - Formal Structures for Computation and Deduction

22-26 of June 2016
Porto, Portugal

FSCD Satellite Events

FSCD has 12 satellite events!
Check the list here.

FSCD satellite events

FSCD 2016
Upcoming deadlines

WWV:16 April 2016
HoTT/UF:20 April 2016
WPTE:22 April 2016

Latest News FB Feeds

  • Check the FSCD 2016 website for the group photo:
    check here.
      More...
    2016-07-11 
  • Please check the changes is Saturday's HOR and LSFA programme:check here.  More...
    2016-06-24 
  • The FSCD Steering Committee stands by the following code of conduct: check here.  More...
    2016-06-24 
"It is our thesis that formal elegance is a prerequisite to efficient implementation."
Gérard Huet

Conference Poster


WORKSHOPS


CL&C

6th Workshop on Classical Logic and Computation

More...

HDRA

2nd Workshop on Higher-Dimensional Rewriting and Applications

More...

HOR

8th Workshop on Higher-Order Rewriting

More...

HoTT/UF

2nd Workshop on Homotopy Type Theory/Univalent Foundations

More...

IFIP Working Group 1.6

Term Rewriting

More...

ITRS

8th Workshop on Intersection Types and Related Systems

More...

LFMTP

18th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

More...

LSFA

11th Logical and Semantic Frameworks with Applications

More...

Linearity

4th Workshop on Linearity

More...

UNIF

30th Workshop on Unification

More...

WPTE

3rd Workshop on Rewriting Techniques for Program Transformation and Evaluation

More...