皆様
6月にポルトガル・ポルトで行われます FSCD の参加者募集の案内をお送り 致します。早期登録の締切は5月22日になっております。
廣川 (JAIST)
==================================================================
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.
INVITED SPEAKERS Amal Ahmed (Northeastern University, USA) Ichiro Hasuo (University of Tokyo, Japan) Gérard Huet (INRIA Paris Center, France) Tobias Nipkow (Technical University Munich, Germany)
SATELLITE EVENTS - 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)
ACCEPTED PAPERS * 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
REGISTRATION 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/
VENUE 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.
PROGRAM CHAIRS Delia Kesner (Univ. Paris-Diderot) Brigitte Pientka (McGill University)
PROGRAM COMMITTEE 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)
CONFERENCE CHAIR Sandra Alves (University of Porto) WORKSHOPS CHAIR Sabine Broda (University of Porto)
CONTACT: [email protected] mailto:[email protected]
Looking forward to seeing you in Porto! ==================================================================