[TYPES/announce] Call for participation - 1st edition of FSCD, Porto 2016 (Deadline for early registration - May 22)

Sandra Alves fscd2016 at dcc.fc.up.pt
Tue May 17 11:29:19 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
                        http://fscd2016.dcc.fc.up.pt/ <http://fscd2016.dcc.fc.up.pt/>

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

* Dmitriy Traytel.  Formal Languages, Formally and Coinductively 
* Olivier Laurent.  Focusing in Orthologic 
* Stefan Kahrs and Connor Smith.  Non-omega-overlapping TRSs are UN 
* Tomer Libal and Dale Miller.  Functions-as-constructors Higher-order Unification 
* Franziska Rapp and Aart Middeldorp.  Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground TRSs 
* Martin Avanzini and Georg Moser.  Complexity of Term Graph Rewriting
* Ofer Arieli and Arnon Avron.  Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency 
* Thorsten Altenkirch and Ambrus Kaposi.  Normalisation by Evaluation for Dependent Types 
* Ryota Akiyoshi and Kazushige Terui.  Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule
* Takahito Aoto and Yoshihito Toyama.  Ground Confluence Prover based on Rewriting Induction 
* Thierry Coquand and Bassel Mannaa.  The Independence of Markov’s Principle in Type Theory 
* Andrej Dudenhefner, Jakob Rehof and Moritz Martens.  The Intersection Type Unification Problem 
* Cynthia Kop and Jakob Grue Simonsen.  Complexity Hierarchies and Higher-Order Cons-Free Rewriting 
* Marcin Benke, Aleksy Schubert and Daria Walukiewicz-Chrząszcz.  Synthesis of Functional Programs with Help of First-order Intuitionistic Logic
* Kaustuv Chaudhuri, Sonia Marin and Lutz Strassburger.  Modular Focused Proof Systems for Intuitionistic Modal Logics 
* Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet and Piotr Polesiuk.  Environmental bisimulations for delimited-control operators with dynamic prompt generation 
* Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky and Domenico Ruoppolo.  New Results on Morris's Observational Theory: the benefits of separating the inseparable 
* Fer-Jan de Vries.  On Undefined and Meaningless in Lambda Definability 
* Stéphane Gimenez and David Obwaller.  Interaction Automata and the ia2d Interpreter
* Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco.  Computing connected proof(-structure)s from their Taylor expansion
* Vincent van Oostrom and Yoshihito Toyama.  Normalisation by Random Descent
* Naoki Nishida, Adrian Palacios and German Vidal.  Reversible Term Rewriting
* Amin Timany and Bart Jacobs.  Category Theory in Coq 8.5 
* Philippe Malbos and Samuel Mimram.  Homological Computations for Term Rewriting Systems
* Jon Hael Brenas, Rachid Echahed and Martin Strecker.  Proving Correctness of Graph Rewriting Systems using C2PDL 
* Christian Sternagel and Thomas Sternagel.  Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
* Valentin Blot.  Classical extraction in continuation models 
* James Laird.  Weighted Relational Models for Mobile Names 
* Krzysztof Bar, Aleks Kissinger and Jamie Vicary.  Globular: a proof assistant for higher rewriting
* Daniele Nantes-Sobrinho, Mauricio Ayala-Rincon and Maribel Fernandez.  Nominal Narrowing 
* Makoto Hamana.  Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theory 
* Ryuta Arisaka.  Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

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:
http://fscd2016.dcc.fc.up.pt/registration/ <http://fscd2016.dcc.fc.up.pt/registration/>

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 <mailto:fscd2016 at dcc.fc.up.pt>

Looking forward to seeing you in Porto!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160517/aeb15343/attachment-0001.html>

More information about the Types-announce mailing list