[TYPES/announce] Call for participation - 1st edition of FSCD, Porto 2016

Sandra Alves sandra at dcc.fc.up.pt
Wed Apr 13 13:09:30 EDT 2016

(Apologies for multiple copies of this announcement. Please circulate.)

                            CALL FOR PARTICIPATION
                        1st International Conference on
               Formal Structures for Computation and Deduction
                                    FSCD 2016
                                22-26 June 2016
                                 Porto, Portugal

                                                      "It is our thesis that formal elegance is
                                                       a prerequisite to efficient implementation."
                                                                                          -- Gérard Huet

FSCD is a new conference covering all aspects of formal structures for
computation and deduction from theoretical foundations to applications.
Building on two communities, RTA (Rewriting Techniques and Applications)
and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics, proof
theory and new emerging models of computation such as quantum computing
and homotopy type theory.

Amal Ahmed    (Northeastern University, USA)
Ichiro Hasuo  (University of Tokyo, Japan)
Gérard Huet   (INRIA Paris Center, France)
Tobias Nipkow (Technical University Munich, Germany)

- 6th Workshop on Classical Logic and Computation (CL&C)
- Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction: Project Meeting (CRECOGI)
- 2nd Workshop on Higher-Dimensional Rewriting and Applications (HDRA)
- 8th Workshop on Higher-Order Rewriting (HOR)
- IFIP Working Group on Term Rewriting (IFIP-WG 1.6)
- 2nd Workshop on Homototy Theory/Univalent Foundations (HOTT/UF)
- 8th Workshop on Intersection Types and Related Systems (ITRS)
- 4th Workshop on Linearity (LINEARITY)
- 18th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
- 11th Logical and Semantic Frameworks with Applications (LSFA)
- 30th Workshop on Unification (UNIF)
- 3rd Workshop on Rewriting Techniques for Program Transformation and Evaluation (WPTE)  
- 12th Workshop on Automated Specification of Web Systems (WWV)

The registration page and the hotel reservation page are already open.
The early registration deadline is May 15 (local time). 
For more details please visit our conference webpage:

The conference will be held at the Department of Computer Science,
from the Faculty of Science of the University of Porto. 
The beautiful city of Porto is the second largest city in Portugal, dating
back to the IV century, and classified as world heritage patrimony by UNESCO.
The city gives its name to the worldwide renowned Port Wine.

 Delia Kesner (Univ.  Paris-Diderot)
 Brigitte Pientka (McGill University)

Andreas Abel (Gothenburg Univ.)
Zena Ariola (Univ.  Oregon)
Patrick Baillot (CNRS & ENS Lyon)
Andrej Bauer (Univ.  Ljubljana)
Eduardo Bonelli (Univ. Quilmes)
Patricia Bouyer (ENS Cachan)
Ugo Dal Lago (Univ.  Bologna)
Nachum Dershowitz (Univ. Tel Aviv)
Mariangiola Dezani-Ciancaglini (Univ. Torino)
Derek Dreyer (MPI-SWS)
Santiago Figueira (Univ. Buenos Aires)
Marcelo Fiore (Univ. Cambridge)
Juergen Giesl (Univ. Aachen)
Nao Hirokawa (JAIST)
Martin Hofmann (LMU Munchen)
Delia Kesner (Univ. Paris-Diderot)
Naoki Kobayashi (Univ. Tokyo)
Dan Licata (Wesleyan Univ.)
Chris Lynch (Clarkson Univ.)
Narciso Marti-Oliet (Univ. Complutense)
Aart Middeldorp (Univ. Innsbruck)
Dale Miller (INRIA Saclay)
Cesar Munoz (NASA)
Vivek Nigam (Univ. Paraiba)
Brigitte Pientka (McGill Univ.)
Jakob Rehof (Univ. Dortmund)
Xavier Rival (ENS Paris)
Peter Selinger (Dalhousie Univ.)
Paula Severi (Univ. Leicester)
Jakob Grue Simonsen (Univ. Copenhagen)
Matthieu Sozeau (INRIA Rocquencourt)
Sophie Tison (Univ. Lille)
Femke van Raamsdonk (VU Univ. Amsterdam)
Nobuko Yoshida (Imperial College)

Sandra Alves (University of Porto)
Sabine Broda (University of Porto)

CONTACT: fscd2016 at dcc.fc.up.pt

Looking forward to seeing you in Porto!

More information about the Types-announce mailing list