From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9169 Path: news.gmane.org!.POSTED!not-for-mail From: Sandra Alves Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.isabelle.user,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories,gmane.comp.lang.agda Subject: FSCD 2017 - Last Call for Papers (ABSTRACT DEADLINE THIS WEEK) Date: Wed, 5 Apr 2017 08:48:50 +0100 Message-ID: Reply-To: Sandra Alves NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) Content-Type: multipart/alternative; boundary="Apple-Mail=_2F4067BE-5E42-4C56-A6D0-AAB90A93A3AA" X-Trace: blaine.gmane.org 1491378659 19416 195.159.176.226 (5 Apr 2017 07:50:59 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 5 Apr 2017 07:50:59 +0000 (UTC) To: cl-isabelle-users@lists.cam.ac.uk, types-announce@lists.seas.upenn.edu, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@lists.lri.fr, cade@itu.dk, concurrency@listserver.tue.nl, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@CS.CMU.EDU, agda@lists.chalmers.se, asl@vassar.edu, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de Original-X-From: caml-list-owner@inria.fr Wed Apr 05 09:50:52 2017 Return-path: Envelope-to: gclci-caml-list@gmane.org Original-Received: from mxfilter-048034.atla03.us.yomura.com ([107.189.48.34]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cvfiI-0003hj-9d for gclci-caml-list@gmane.org; Wed, 05 Apr 2017 09:50:46 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from mail2-relais-roc.national.inria.fr (unknown [192.134.164.83]) by mxfilter-048034.atla03.us.yomura.com (Halon) with ESMTPS id 942fc6e2-19d4-11e7-8ed1-b499baa2b07a; Wed, 05 Apr 2017 07:50:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.36,277,1486422000"; d="scan'208,217";a="267741075" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Apr 2017 09:50:43 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 66E7080113; Wed, 5 Apr 2017 09:50:43 +0200 (CEST) Original-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 583A97F04D; Wed, 5 Apr 2017 09:49:04 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sandra@dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra@dcc.fc.up.pt; spf=Pass smtp.helo=postmaster@smtp.dcc.fc.up.pt IronPort-PHdr: =?us-ascii?q?9a23=3AY9dbexMY1xANKecLNZgl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K//zpMbcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJNyI2/27KhMJzgqxVvhWvqgdlzILIZYGYLvp+cr/Dcd4cWGFPXtxRVytEAo6k?= =?us-ascii?q?coUAFewBMvtCr4bnulADsR++BReyC+P01zRFgWT20rc80+s8CwHJxhctEM8Sv3?= =?us-ascii?q?vIttn1OrsdXfqozKnQ1znDd+9W1C775YPVfB4hpvSMUqhxccrX0UQvGRjFgUmN?= =?us-ascii?q?poP5ODOV0OoNvHaB7+V+U+Kgl3Aopxt2oji1yccgko7Jh40Pxl/e6Sp12ps1Jd?= =?us-ascii?q?6+RUVmYtCkCINduzyeOoZ4WM8uXm9ltScgxrAIvZO3ZjUGxZUhyhXCcfKIaZKI?= =?us-ascii?q?7QjmVOuJITd3mnZleL X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiBwBVoORY/xAniMFcDjoYB4MdYYELo?= =?us-ascii?q?iqUfyqJP0MUAQEBAQEBAQEBAQFqKIIzIIJmNxRrTRgSiBkDgQ1pCqxTinMBJYZ?= =?us-ascii?q?OggWEJoJ0BIJsDFyCMQWccIZ+jD6BE1WCYIF5gyaGa487hDs2IYEFJRYILUERA?= =?us-ascii?q?YI2gU1RgTY+PzUBhwuCPQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DiBwBVoORY/xAniMFcDjoYB4MdYYELoiqUfyqJP0MUAQE?= =?us-ascii?q?BAQEBAQEBAQFqKIIzIIJmNxRrTRgSiBkDgQ1pCqxTinMBJYZOggWEJoJ0BIJsD?= =?us-ascii?q?FyCMQWccIZ+jD6BE1WCYIF5gyaGa487hDs2IYEFJRYILUERAYI2gU1RgTY+PzU?= =?us-ascii?q?BhwuCPQEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,277,1486422000"; d="scan'208,217";a="219331970" Original-Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Apr 2017 09:48:52 +0200 Original-Received: from khandinsky.dcc.fc.up.pt (khandinsky.dcc.fc.up.pt [192.168.50.54]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 726ABC1E26; Wed, 5 Apr 2017 08:48:51 +0100 (WEST) X-Mailer: Apple Mail (2.3259) X-Validation-by: sandra@dcc.fc.up.pt X-Loop: caml-list@inria.fr X-Sequence: 15571 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Gmane-Expiry: 2017-04-19 Xref: news.gmane.org gmane.comp.lang.caml.inria:66450 gmane.science.mathematics.logic.isabelle.user:14414 gmane.comp.science.types.announce:6708 gmane.science.mathematics.prooftheory:1549 gmane.science.mathematics.logic.coq.club:19153 gmane.science.mathematics.categories:9169 gmane.comp.lang.agda:9269 Archived-At: --Apple-Mail=_2F4067BE-5E42-4C56-A6D0-AAB90A93A3AA Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii *** Apologies for multiple copies, please redistribute *** CALL FOR PAPERS Second International Conference on Formal Structures for Computation and Deduction (FSCD'17) 4 -- 7 September 2017, Oxford, UK (in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 20= 17) http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD (http://fscdconference.org/ ) covers all a= spects 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 or homotopy type theory. IMPORTANT DATES All deadlines are midnight anywhere-on-earth (AoE) and are firm; late submissions will not be considered. Abstract Deadline: 7 April 2017 Submission Deadline: 14 April 2017 Rebuttal: 29--31 May 2017 Notification: 14 June 2017=20 Camera-Ready: 7 July 2017=20 Suggested, but not exclusive, list of topics for submission are: 1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting systems * Proof theory * Type theory and logical frameworks 2. Methods in Computation and Deduction: Type systems * Induction and coinduction * Matching, unification, completion, and orderings * Strategies * Tree automata * Model checking * Proof search and theorem proving * Constraint solving and decision procedures 3. Semantics: Operational semantics * Abstract machines * Game Semantics * Domain theory and categorical models * Quantitative models 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 * Verification tools * Libraries for proof assistants and interactive theorem provers * Case studies in proof assistants and interactive theorem provers * Certification PUBLICATION The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SUBMISSION GUIDELINES Submissions can be made in two categories. Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 10 pages and must describe a working system which has not been published or submitted elsewhere. Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Complete instructions on submitting a paper can be found on the conference web site. SPECIAL ISSUES Full versions of several accepted papers, to be selected by the program committee, will be invited for submission to a special issue of Logical Methods in Computer Science. BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will consider declaring this award to a paper in which all authors are junior researchers: a junior researcher is a person who is either a student or whose PhD award date is less than three years from the first day of the meeting. PROGRAM COMMITTEE CHAIR Dale Miller, Inria Saclay & LIX > PROGRAM COMMITTEE Andreas Abel, Gothenburg Univ.=20=20 Elvira Albert, Complutense Madrid=20 Maria Alpuente, TU Valencia=20 Takahito Aoto, Niigata Univ. Zena Ariola, Univ. Oregon=20 Federico Aschieri, TU Wien=20 Stefano Berardi, Univ. Turin=20 Lars Birkedal, Aarhus Univ. Filippo Bonchi, CNRS, ENS Lyon=20 Pierre Clairambault, CNRS, ENS Lyon Ugo Dal Lago, Univ. Bologna=20 Herman Geuvers, Radboud Univ.=20 Silvia Ghilezan, Univ. Novi Sad=20 Juergen Giesl, RWTH Aachen=20 Hugo Herbelin, Inria Paris Jan Hoffmann, Carnegie Mellon=20 Deepak Kapur, Univ. New Mexico=20 Paul Blain Levy, Univ. Birmingham=20 Paulo Oliva, QMUL, London=20 Vincent van Oostrom, Univ. Innsbruck=20 Daniela Petrisan, LIAFA, Paris=20 Femke van Raamsdonk, VU Univ. Amsterdam=20 Grigore Rosu, Univ. Illinois=20 Albert Rubio, UPC-BarcelonaTech Paula Severi, Univ. Leicester=20 Bas Spitters, Aarhus Univ.=20=20 Aaron Stump, Univ. Iowa=20 Kazushige Terui, Kyoto Univ. Rene Thiemann, Univ. Innsbruck=20 Sophie Tison, Lille Univ. CONFERENCE CHAIR Sam Staton, Univ. of Oxford WORKSHOP CHAIR Jamie Vicary, Univ. of Oxford PUBLICITY CHAIR Sandra Alves, Univ. of Porto FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingham), S. Alves (Univ. Porto), G. Dowek, (Inria), S. Escobar (Univ. Politecnica de Valencia), M. Fernandez (King's College London), H. Herbelin (Inria), D. Kesner (Univ. Paris), N. Kobayashi (Univ. Tokyo), L. Ong (Chair, Univ. Oxford), B. Pientka (McGill Univ.), R. Thiemann (Univ. Innsbruck). --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_2F4067BE-5E42-4C56-A6D0-AAB90A93A3AA Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii     &= nbsp;    *** Apologies for multiple copies, please redistribute *= **

=    CALL FOR PAPERS

  Second = International Conference on
     For= mal Structures for Computation and Deduction (FSCD'17)

 &= nbsp;4 -- 7 September 2017, Oxford, UK
(in-cooperation with t= he ACM SIGLOG and SIGPLAN and co-located with ICFP 2017)
  =    http://www.cs.ox.ac.uk/conferences/fscd2017/
<= br class=3D"">FSCD (http:= //fscdconference.org/) covers all aspects of formal
struc= tures for computation and deduction from theoretical foundations
to applications.  Building on two communities, RTA (RewritingTechniques 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 comput= ing or homotopy
type theory.

IMP= ORTANT DATES All deadlines are midnight anywhere-on-earth (AoE) and
are firm; late submissions will not be considered.
Abstract Deadline:        &n= bsp;    7 April 2017
Submission Deadline:=       14 April 2017
Rebuttal: =             &nb= sp;            =  29--31 May   2017
Notification:   &= nbsp;           &nbs= p;      14 June  2017 
Camera-Ready:           = ;     7 July  2017 

Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus * Concurrent calcul= i * Logics * Rewriting
  systems * Proof theory * T= ype theory and logical frameworks

2. Methods i= n Computation and Deduction: Type systems * Induction and
&nb= sp; coinduction * Matching, unification, completion, and orderings *  Strategies * Tree automata * Model checking * Proo= f search and
  theorem proving * Constraint solving= and decision procedures

3. Semantics: Operati= onal semantics * Abstract machines * Game
  Semanti= cs * Domain theory and categorical models * Quantitative
&nbs= p; models

4. Algorithmic Analysis and Tra= nsformations of Formal Systems: Type
  Inference an= d 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 environment= s *
  Verification tools * Libraries for proof assi= stants and interactive
  theorem provers * Case stu= dies in proof assistants and interactive
  theorem = provers * Certification

PUBLICATION The procee= dings will be published as an electronic volume
in the Leibni= z International Proceedings in Informatics (LIPIcs) of
Schlos= s Dagstuhl. All LIPIcs proceedings are open access.

SUBMISSION GUIDELINES Submissions can be made in two categories.
Regular research papers are limited to 15 pages and must present<= br class=3D"">original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 10 pages and mustdescribe a working system which has not been published or subm= itted
elsewhere.  Submissions must be formatted using th= e LIPIcs style files
and submitted via EasyChair.  Compl= ete instructions on submitting a
paper can be found on the co= nference web site.

SPECIAL ISSUES Full version= s of several accepted papers, to be
selected by the program c= ommittee, will be invited for submission to a
special issue o= f Logical Methods in Computer Science.

BEST PA= PER AWARD BY JUNIOR RESEARCHERS The program committee will
co= nsider declaring this award to a paper in which all authors are
junior researchers: a junior researcher is a person who is either a
student or whose PhD award date is less than three years from the=
first day of the meeting.

PROGR= AM COMMITTEE CHAIR
 Dale Miller, Inria Saclay & LIX = <fscd17@easychair.org= >

PROGRAM COMMITTEE
 = ;Andreas Abel, Gothenburg Univ.  
 Elvira Albert, C= omplutense Madrid 
 Maria Alpuente, TU Valencia&nbs= p;
 Takahito Aoto, Niigata Univ.
 Zen= a Ariola, Univ. Oregon 
 Federico Aschieri, TU Wien=  
 Stefano Berardi, Univ.  Turin 
 Lars Birkedal, Aarhus Univ.
 Filippo Bonchi= , CNRS, ENS Lyon 
 Pierre Clairambault, CNRS, ENS L= yon
 Ugo Dal Lago, Univ. Bologna 
&nb= sp;Herman Geuvers, Radboud Univ. 
 Silvia Ghilezan,= Univ.  Novi Sad 
 Juergen Giesl, RWTH Aachen&= nbsp;
 Hugo Herbelin, Inria Paris
 Ja= n Hoffmann, Carnegie Mellon 
 Deepak Kapur, Univ. &= nbsp;New Mexico 
 Paul Blain Levy, Univ.  Birm= ingham 
 Paulo Oliva, QMUL, London 
 Vincent van Oostrom, Univ. Innsbruck 
 = Daniela Petrisan, LIAFA, Paris 
 Femke van Raamsdon= k, VU Univ. Amsterdam 
 Grigore Rosu, Univ. Illinoi= s 
 Albert Rubio, UPC-BarcelonaTech
&= nbsp;Paula Severi, Univ.  Leicester 
 Bas Spit= ters, Aarhus Univ.  
 Aaron Stump, Univ. Iowa =
 Kazushige Terui, Kyoto Univ.
 Rene = Thiemann, Univ.  Innsbruck 
 Sophie Tison, Lil= le Univ.

CONFERENCE CHAIR
 = Sam Staton, Univ. of Oxford

WORKSHOP CHAIR
 Jamie Vicary, Univ. of Oxford

PUBLICITY CHAIR
 Sandra Alves, Univ. of Porto

FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingha= m), S. Alves
(Univ. Porto), G. Dowek, (Inria), S. Escobar (Un= iv. Politecnica de
Valencia), M. Fernandez (King's College Lo= ndon), H. Herbelin (Inria),
D. Kesner (Univ. Paris), N. Kobay= ashi (Univ. Tokyo), L. Ong (Chair,
Univ. Oxford), B. Pientka = (McGill Univ.), R. Thiemann (Univ. Innsbruck).= --Apple-Mail=_2F4067BE-5E42-4C56-A6D0-AAB90A93A3AA--