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

  • The programme for the main conference is now available at: check here.  More...
    2016-05-23 
  • The FSCD 2016 organisation apologises for any delays in answering requests. Because we had major problems with our mail servers, if you have contacted FSCD and did not get a reply, we kindly ask you to contact us again (fscd2016@dcc.fc.up.pt or fscd2016@gmail.com).  More...
    2016-05-20 
  • IMPORTANT: The deadline for early registration has been extended to May 22.
    check here.
      More...
    2016-05-16 
"It is our thesis that formal elegance is a prerequisite to efficient implementation."
Gérard Huet

Upcoming Events

  •   WWV:   16 April 2016
  •   HoTT/UF:   20 April 2016
  •   WPTE:   22 April 2016
  •   HOR:   2 May 2016
    (Old date: 25 April 2016)
  •   UNIF:   1 May 2016

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