From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7321A7F034 for ; Mon, 7 Dec 2015 09:15:45 +0100 (CET) IronPort-PHdr: 9a23:rXnAfBFSSELIAtQlwr84h51GYnF86YWxBRYc798ds5kLTJ75pMiwAkXT6L1XgUPTWs2DsrQf27SQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0YLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuxJ2vNMNv44ZCeSpN5g/GLdRCTBjN2Eu+OXqswPCRE2B/CgySGITxxpBGBPI7Tn5Q43wtzC8tft6xC7fIIv/RvY2QWfxp5x3QQPl3X9UfwUy93va35UogQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hassei@kurims.kyoto-u.ac.jp; spf=None smtp.mailfrom=hassei@kurims.kyoto-u.ac.jp; spf=None smtp.helo=postmaster@omls-1.kuins.kyoto-u.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hassei@kurims.kyoto-u.ac.jp) identity=pra; client-ip=130.54.130.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hassei@kurims.kyoto-u.ac.jp"; x-sender="hassei@kurims.kyoto-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hassei@kurims.kyoto-u.ac.jp) identity=mailfrom; client-ip=130.54.130.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hassei@kurims.kyoto-u.ac.jp"; x-sender="hassei@kurims.kyoto-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@omls-1.kuins.kyoto-u.ac.jp) identity=helo; client-ip=130.54.130.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hassei@kurims.kyoto-u.ac.jp"; x-sender="postmaster@omls-1.kuins.kyoto-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C3AAChP2VWnFSCNoJehA1uBrsMhBYXDIUhSoEyOxEBAQEBAQEBARABAQEBAQYNCQkhLoItgisVAQcuERWBPBEFhzlfAQ27FIQdAQEBH5AGA4MFDEGBMQWNKXWIQ4UtgnKFHYIkmQ4BgTo3glOBbGMBhCWBSQEBAQ X-IPAS-Result: A0C3AAChP2VWnFSCNoJehA1uBrsMhBYXDIUhSoEyOxEBAQEBAQEBARABAQEBAQYNCQkhLoItgisVAQcuERWBPBEFhzlfAQ27FIQdAQEBH5AGA4MFDEGBMQWNKXWIQ4UtgnKFHYIkmQ4BgTo3glOBbGMBhCWBSQEBAQ X-IronPort-AV: E=Sophos;i="5.20,393,1444687200"; d="scan'208";a="156361816" Received: from omls-1.kuins.kyoto-u.ac.jp ([130.54.130.84]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Dec 2015 09:15:43 +0100 Received: from scmls-s01.kuins.kyoto-u.ac.jp (scmls-s01.kuins.kyoto-u.ac.jp [133.3.201.214]) by omls-1.kuins.kyoto-u.ac.jp (8.14.4/8.12.7) with ESMTP id tB78FKLF037644 for ; Mon, 7 Dec 2015 17:15:41 +0900 X-AuditID: 0ae0fd9d-f791f6d000003eea-35-5665402df830 Received: from imls-1a.kuins.net (imls-1a.kuins.net [10.224.253.3]) by scmls-s01.kuins.kyoto-u.ac.jp (Symantec Messaging Gateway) with SMTP id 91.19.16106.D2045665; Mon, 7 Dec 2015 17:15:41 +0900 (JST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by imls-1a.kuins.net (8.14.4/8.12.10) with ESMTP id tB78Ff5F011501 for ; Mon, 7 Dec 2015 17:15:41 +0900 Received: from tinu.kurims.kyoto-u.ac.jp (akou [130.54.16.75]) by kurims.kurims.kyoto-u.ac.jp (8.13.8/8.13.8) with ESMTP id tB78FbZa027497; Mon, 7 Dec 2015 17:15:37 +0900 (JST) Received: from 133.5.165.50 (RisuMail authenticated user hassei) by tinu.kurims.kyoto-u.ac.jp with HTTP; Mon, 7 Dec 2015 17:15:37 +0900 (JST) Message-ID: <49388.133.5.165.50.1449476137.risu@tinu.kurims.kyoto-u.ac.jp> Date: Mon, 7 Dec 2015 17:15:37 +0900 (JST) From: hassei@kurims.kyoto-u.ac.jp To: caml-list@inria.fr Cc: hassei@kurims.kyoto-u.ac.jp User-Agent: RisuMail 3.1 X-Mailer: RisuMail 3.1 MIME-Version: 1.0 Content-Type: text/plain;charset=us-ascii Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFupgleLIzCtJLcpLzFFi42LhevCXWVfXITXM4EM3l8WnHRtYHBg9Jr04 xBLAGMVlk5Kak1mWWqRvl8CVsbD9BmvBTPuKHcsuMzcwrjTuYuTkkBAwkbjz+B0zhC0mceHe erYuRi4OIYEzjBJTjrwGSwgJXGOU6J3sBJHYwigx+XobO4SzglHiyeYnQA4HB6+Al8TfnmiQ BhYBLYlVG44wgtjCAuoS2+9eZQOx2QQUJV6s+AEWFwHaNmv+FRYQm1lAXmJr03uwGlEBCYmH /96zwFx0cd4CJhCbV0BQ4uTMJ1D1mhLrF7YwwvQ2b50N98GEdb/AbE4BIYmOq52sExiFZyFp n4WkfRaS9gWMzKsYhYuTc3OKdYsNDPWySzPzivXyUks2MUICee4OxlO7XQ4xCnAwKvHwCvSn hAmxJpYVV+YeYpTkYFIS5a20Sg0T4kvKT6nMSCzOiC8qzUktPsQowcGsJMIrHAdUzpuSWFmV WpQPk5LmYFES52WcXRoiJJCeWJKanZpakFoEk5Xh4FCS4O2zAxoqWJSanlqRlplTgpBm4uAE Gc4DNPwESA1vcUFibnFmOkT+FKMux5ubfbuZhFjy8vNSpcR5H4EUCYAUZZTmwc0BJaAmMwHG V4ziQG8J894BqeIBJi+4Sa+AljABLYl6mQyypCQRISXVwNg5IerOnLiYu3bigaeUzbh3WO+c cP6d/M3NIoWT+znt4h833Hz06cHriv38Z5de60qoLMnRn+rikGR15QXDsTzr19FnXsxbGHDl s9C3nPqv3e9cHeeLVq466q81Oe3X79mVKtLyevfen2Hca/rA790riVP3PX8ZHvJSvGnwf63i lyc1iybU7pqrxFKckWioxVxUnAgAxJGQaBsDAAA= X-Validation-by: hassei@kurims.kyoto-u.ac.jp Subject: [Caml-list] FSCD'16 Second Call for Papers SECOND CALL FOR PAPERS First International Conference on Formal Structures for Computation and Deduction (FSCD'16) 22 June -- 26 June 2016, Porto, Portugal http://fscd2016.dcc.fc.up.pt/ [NEW: INVITED SPEAKERS, CONFERENCE AWARDS, SPECIAL ISSUE, SATELLITE EVENTS] ========================================================================== IMPORTANT DATES Abstract Submission: 29 January 2016 Paper Submission : 5 February 2016 Rebuttal : 21 - 23 March 2016 Notification : 6 April 2016 ========================================================================== FSCD (http://fscdconference.org/) covers 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. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area. Suggested, but not exclusive, list of topics for submission are: 1 Calculi * Lambda calculus * Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.) * Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.) * Proof theory (natural deduction, sequent calculus, proof nets, etc.) * Type theory and logical frameworks * Homotopy type theory 2. Methods in Computation and Deduction * Type systems (polymorphism, dependent, recursive, intersection, session, etc.) * Induction, coinduction * Matching, unification, completion, orderings * Strategies (normalization, completeness, etc.) * Tree automata * Model building and model checking * Proof search (resolution, paramodulation, narrowing, focusing, etc.) * Constraint solving and decision procedures 3. Semantics * Operational semantics and abstract machines * Game Semantics and applications * Domain theory and categorical models * Quantitative models (timing, probabilities, resources, etc.) * Quantum computation and emerging models in computation 4. Algorithmic Analysis and Transformations of Formal Systems * Type Inference and type checking * Abstract Interpretation * Complexity analysis and implicit computational complexity * Checking termination, confluence, derivational complexity and related properties * Symbolic computation 5. Tools and Applications * Programming and proof environments (proof assistants, automated theorem prover, proof checkers, specialized provers, dependently typed languages, etc.) * Verification tools (abstract interpretation, termination, confluence, specialized provers, etc.) * Libraries for proof assistants and interactive theorem provers (support for variable bindings, nominal, polynomial, equality, etc.) * Case studies in proof assistants and interactive theorem provers (formalizations, mechanizations, certifications) * Certifications (theorems, rewriting techniques, etc.) * Applications of formal systems inside and outside of CS (biology, linguistics, physics, education, etc.) INVITED SPEAKERS Amal Ahmed (USA) Ichiro Hasuo (Japan) Gerard Huet (France) Tobias Nipkow (Germany) PROGRAM CHAIRS Delia Kesner (Univ. Paris-Diderot) Brigitte Pientka (McGill University) fscd16@easychair.org 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) FSCD STEERING COMMITTEE: Thorsten Altenkirch (Univ. Nottingham) Gilles Dowek (INRIA) Santiago Escobar (Univ. Politecnica de Valencia) Maribel Fernandez (King's College London) Masahito Hasegawa (Univ. Kyoto) Hugo Herbelin (INRIA) Nao Hirokawa (JAIST) Luke Ong (Chair, Univ. Oxford) Jens Palsberg (UCLA) Kristoffer Rose (Two Sigma Investments) Rene Thiemann (Univ. Innsbruck) Pawel Urzyczyn (Univ. Warsaw) Femke van Raamsdonk (VU Univ. Amsterdam) PUBLICATION The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs). All LIPIcs proceedings are open access. SUBMISSION GUIDELINES Submissions can be made in two categories: regular research papers and system descriptions. Submissions of research papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 15 pages (including figures and bibliography). Submissions of research papers will be judged on originality, significance, correctness, and readability. Submission of system descriptions must describe a working system which has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System descriptions will be judged on originality, significance, usefulness, and readability. Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. Submissions must be formatted using the LIPIcs style files using the instructions at http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ A condition of submission is that, if accepted, one of the authors must attend the conference to give the presentation. Papers should be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=fscd16 CONFERENCE AWARDS Two awards will be selected: one for the best paper and another one for the best student paper. SPECIAL ISSUE After the conference, authors of selected papers will be invited to submit extended versions of their work to a special issue published in the open-access journal Logical Methods in Computer Science (LMCS). SATELLITE EVENTS The following meetings and workshops are colocated with FSCD 2016: CL&C, DCM, HDRA, HOR, IFIP Working Group 1.6, ITRS, Linearity, LFMTP, LSFA, UNIF, WPTE, WWV. ORGANISING COMMITTEE Sandra Alves (Univ. Porto) Sabine Broda (Univ. Porto) Jose Espirito-Santo (Univ. do Minho) Mario Florido (Univ. Porto) Nelma Moreira (Univ. Porto) Luis Pinto (Univ. do Minho) Rogerio Reis (Univ. Porto) Ana Paula Tomas (Univ. Porto) Pedro Vasconcelos (Univ. Porto)