From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 A79018239C; Fri, 8 Dec 2017 14:58:42 +0100 (CET) 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sandra@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sandra@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AGMe5pB/e5tdMDf9uRHKM819IXTAuvvDOBiVQ1KB5?= =?us-ascii?q?2u0cTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a2qD8JEx/yMQ54?= =?us-ascii?q?Y/nuF5TJp8C2zPypvZbaZkNBj3ygYvc6MASuoB6Uv88QhpZkIasZzhrSvmAOYO?= =?us-ascii?q?lf3iV1PV+VmVDx6tr0tIRu7D5Rp/Mn+OZNV76/e7U/S/pWFnBuC3oy48PXtRTE?= =?us-ascii?q?VxqnwnoHTn5QuBNUA07s51fHfdO5uzPired48C2bJtHtC6w/QnKj4aYtTBr1zi?= =?us-ascii?q?sKc3Yy93iSgchthopapgigrlpx2cqca4iQML96f7jBVdIcX2tIGMhLE2RdD5m5?= =?us-ascii?q?c4wIC/EpOedDs5K7o0EP6xWkQUGnDe/i4j5Umzn63uly2O09HA7Bxg0tBPoLrH?= =?us-ascii?q?2Sp9yxfKkTV+GpwezNyjnOa7ZK2Tr68pngdhE6verKR61scY/YwEIvGgWDgljU?= =?us-ascii?q?4YjrNCjQ1+IRvnKW9PZIVOShzWMr7Qh65CWsgo8oi4/Ej5g9wUuC7jlwxogyP9?= =?us-ascii?q?H+RUJmJZaLOb59jAmeNpBqWYU4XH1o/S8zwb0Lv9i3cWxC0I4gyFvbYvqIW4SJ?= =?us-ascii?q?4Q+lWOXVaSt4iXV/dbf6nwy170W60cX1V4+x0UoMoyZY1pHQtn0KzQ2W7s+IS/?= =?us-ascii?q?BV1Xzn8hOykS3/16UMKE84nILfKoU92fg7lpMXtEnZBWntlQG+hbSSXlst4fOh?= =?us-ascii?q?8aLqbqii7puVLMpwiwrlGqAvgdCkR/gldwIDRWya/6Kw2fmr4VzhTa5iivwtjr?= =?us-ascii?q?Kfu5DTIcEWvLX/GAIRmoIk5Be0JzKvzNRegH8GaVhCfhTBg4W6FUvJJaXDBPGz?= =?us-ascii?q?mV3kuTN1yuuOaqboBJnXJ1DPm7ync7079lYa0BZlnoMX3I5dFrxUeKG7YUT2rt?= =?us-ascii?q?GNVhI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuAgCGmSpalxAniMFcDhABBgyEJANxJ?= =?us-ascii?q?4M/Q5p4mUcCLYFcgmuGOkMUAQEBAQEBAQEBARIBAQEBAQgWBleCOCKCWxEGMRI?= =?us-ascii?q?CKjoKAmCILwOCDAyKGJw4AoEygieEFQGGWQEBAQEjNIMng2GBaSkLhECBWiaBL?= =?us-ascii?q?wSDODGCMgWjCId5jhqBI4NsgiaDVhGDXoIggVSNCIYRhH42gUAcFTIaCDA6KgG?= =?us-ascii?q?BbgEBDgk2gh8EgTQEO3gBAYdsgkgBAQE?= X-IPAS-Result: =?us-ascii?q?A0DuAgCGmSpalxAniMFcDhABBgyEJANxJ4M/Q5p4mUcCLYF?= =?us-ascii?q?cgmuGOkMUAQEBAQEBAQEBARIBAQEBAQgWBleCOCKCWxEGMRICKjoKAmCILwOCD?= =?us-ascii?q?AyKGJw4AoEygieEFQGGWQEBAQEjNIMng2GBaSkLhECBWiaBLwSDODGCMgWjCId?= =?us-ascii?q?5jhqBI4NsgiaDVhGDXoIggVSNCIYRhH42gUAcFTIaCDA6KgGBbgEBDgk2gh8Eg?= =?us-ascii?q?TQEO3gBAYdsgkgBAQE?= X-IronPort-AV: E=Sophos;i="5.45,377,1508796000"; d="scan'208,217";a="247699594" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Dec 2017 14:58:39 +0100 Received: from [192.168.1.66] (89-180-105-177.net.novis.pt [89.180.105.177]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 716E7BFC84; Fri, 8 Dec 2017 13:58:37 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_2E917E58-AE85-4FC1-AD0C-3CDDD906A02B" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <906DB317-07EB-4720-B89F-094D397C8DCA@dcc.fc.up.pt> Date: Fri, 8 Dec 2017 13:58:26 +0000 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, 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 X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] FSCD 2018 Third Call for Papers --Apple-Mail=_2E917E58-AE85-4FC1-AD0C-3CDDD906A02B Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 (Apologies for multiple copies of this announcement. Please circulate.) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Updated information on: Invited speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Third International Conference on Formal Structures for Computation and Ded= uction (FSCD'18) Oxford, UK, July 9 - 12th, 2018. http://www.cs.le.ac.uk/events/fscd2018/ Part of The Federated Logic Conference, FLoC 2018, Oxford, UK, July 6 - 19th, 2018.=20=20 http://www.floc2018.org =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D TOPICS: FSCD covers all aspects of formal structures for computation and d= eduction from theoretical foundations to applications.=20=20 Building on two communities, RTA (Rewriting Techniques and Applications) an= d 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. Suggested, but not exclusive, list of topics for submission are: 1. Calculi: Lambda calculus - Concurrent calculi - Logics - Rewriting sys= tems - Proof theory - Type theory and logical frameworks 2. Methods in Computation and Deduction: Type systems - Induction and coind= uction - Matching, unification, completion, and orderings - Strategies - Tr= ee automata - Model checking - Proof search and theorem proving - Constrain= t solving and decision procedures=20 3. Semantics: Operational semantics - Abstract machines - Game Semantics -= Domain theory and categorical models - Quantitative models=20 4. Algorithmic Analysis and Transformations of Formal Systems: Type Inferen= ce and type checking - Abstract Interpretation - Complexity analysis and im= plicit computational complexity - Checking termination, confluence, derivat= ional complexity and related properties - Symbolic computation=20 5. Tools and Applications: Programming and proof environments - Verificatio= n tools - Libraries for proof assistants and interactive theorem provers - = Case studies in proof assistants and interactive theorem provers - Certific= ation - Applications to security, planning, data bases,=E2=80=A6 INVITED SPEAKERS - Stephanie Delaune (CNRS/IRISA, France) - Grigori Rosu (U. of Illinois at Urbana-Champaign, US) - Peter Selinger (Dalhousie U., Canada) - Valeria Vignudelli (ENS, Lyon, France) Check the profiles of the invited speakers at http://www.cs.le.ac.uk/events= /fscd2018/invited.html. BEST PAPER AWARD BY JUNIOR RESEARCHERS: The program committee will consider= declaring this award to a paper in which at least one author is a junior r= esearcher, i.e. either a student or whose PhD award date is less than three= years from the first day of the meeting. Other authors should declare to t= he PC Chair that at least 50% of contribution is made by the junior researc= her(s). PUBLICATION : The proceedings will be published as an electronic volume in = the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss D= agstuhl.=20 http://www.dagstuhl.de/publikationen/lipics/ All LIPIcs proceedings are open access. SPECIAL ISSUE: Authors of selected papers will be invited to submit an exte= nded version for a special issue of Logical Methods in Computer Science. 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.=20 - System descriptions are limited to 6 pages (excluding references) and mus= t present new software tools in which FSCD topics play an important role, o= r significantly new versions of such tools. Please check http://www.cs.le.a= c.uk/events/fscd2018/cfp.html#guidelines , for more details on what should a system descri= ption contain. =20 Submissions must be formatted using the LIPIcs style files (http://www.dags= tuhl.de/en/publications/lipics/instructions-for-authors/ ) and submitted via = EasyChair (https://easychair.org/conferences/?conf=3Dfscd18 ). IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late s= ubmissions will not be considered.=20 Abstract Deadline: January 15th, 2018=20 Submission Deadline: January 22nd, 2018 Rebuttal: March 22 - 25th, 2018 Notification: April 2nd, 2018=20 Camera-Ready: May 2nd, 2018=20 FSCD Conference: July 9 - 12th, 2018=20 FLoC Conference: July 6 - 19th, 2018=20 PROGRAM COMMITTEE CHAIR: H=C3=A9l=C3=A8ne Kirchner, Inria=20 PROGRAM COMMITTEE S. Akshay, IIT Bombay T. Aoto, Niigata U. P. Arrighi, Marseille U. L. Birkedal, Aarhus U. E. Bonelli, Quilmes U.=20 A. Bouhoula, Carthage U. C. Castro, F. Santa Maria Tech. U. U. Dal Lago, Bologna U.=20 S. Escobar, U.P. Valencia=20 M. Fern=C3=A1ndez, King's College London=20 V. Ganesh, Waterloo U.=20 H. Geuvers, Nijmegen U.=20 M. Hasegawa, Kyoto U. P.B. Levy, U. of Birmingham C. Loeding, Aachen U. A. Miquel, UdelaR, Montevideo G. Moser, Innsbruck U.=20 C. Nalon, Brasilia U.=20 V. Nigam, Paraiba U. & fortiss P.C. =C3=96lveczky, Oslo U. G. Rosu, Illinois U. P. Severi, Leicester U. V. Sofronie-Stokkermans, Koblenz-Landau U. N. Tabareau, Inria=20 R. Thiemann, Innsbruck U. A. Tiu, NTU Singapore=20 F. van Raamsdonk, VU Amsterdam=20 L. Zhi, CAS Beijing=20 CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U.=20 PUBLICITY CHAIR: Sandra Alves, Porto U. FSCD STEERING COMMITTEE T. Altenkirch (Nottingham U.), S. Alves (Porto U.), M. Fern=C3=A1ndez (King's College London), C. Fuhs (Birkbeck, London U.), D. Kesner (Paris U.),=20 N. Kobayashi (Tokyo U.), D. Miller (Inria), L. Ong (Chair, Oxford U.),=20 B. Pientka (McGill U.), S. Staton (Oxford U.), R. Thiemann (Innsbruck U.).= --Apple-Mail=_2E917E58-AE85-4FC1-AD0C-3CDDD906A02B Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
(A= pologies for multiple copies of this announcement. Please circulate.)
=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Updated information on: Invited speakers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Third International Conference on Formal Stru= ctures for Computation and Deduction (FSCD'18)
         Oxford, = UK, July 9 - 12th, 2018.
http://www.cs.le.ac.uk/events/fscd2018/

= Part of The Federated Logic Conference, FLoC 2018,
          = Oxford, UK, July 6 - 19th, 2018.  
http://www.floc2018.org

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
TOPICS:  FSCD cove= rs all aspects of formal structures for computation and deduction from theo= retical foundations to applications.  
Building on two communities, RTA (Rewriting Techniques and Applicat= ions) and TLCA (Typed Lambda Calculi and Applications),
FSCD embraces their core topics and broadens their scop= e to closely related areas in logics, proof theory and new emerging models = of
computation such as quantum com= puting or homotopy type theory.

Suggested, but not exclusi= ve, 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 Deduc= tion: Type systems - Induction and coinduction - Matching, unification, com= pletion, and orderings - Strategies - Tree automata - Model checking - Proo= f search and theorem proving - Constraint solving and decision procedures&n= bsp;
3. Semantics: Operational seman= tics  - Abstract machines - Game Semantics - Domain theory and categor= ical models - Quantitative models 
4. Algorithmic Analysis and Transformations of Formal Systems: Type Inf= erence and type checking - Abstract Interpretation - Complexity analysis an= d implicit computational complexity - Checking termination, confluence, der= ivational complexity and related properties - Symbolic computation 
5. Tools and Applications: Programming= and proof environments - Verification tools - Libraries for proof assistan= ts and interactive theorem provers - Case studies in proof assistants and i= nteractive theorem provers - Certification - Applications to security, plan= ning, data bases,=E2=80=A6

<= b class=3D"">INVITED SPEAKERS
- Stephanie Delaune (CNRS/IRI= SA, France)
- Grigori Rosu (U. of Illinois at Urbana-Champaign, US)
- Peter Selinger (Dalhousie U., Canada)=
- Valeria Vignudelli = (ENS, Lyon, F= rance)

Check the profiles of the invited sp= eakers at http://www.cs= .le.ac.uk/events/fscd2018/invited.html.


<= div class=3D"">BEST PAPER AWARD BY = JUNIOR RESEARCHERS: The program committee will consider declaring this= award t= o a paper in which at least one author is a junior researcher, i.e. ei= ther a student or whose PhD award date is less than three years from the first day = of the meeting. Other authors should declare to the PC Chair that at l= east 50% of contribution is made by the junior researcher(s).

=
PUBL= ICATION : http://w= ww.dagstuhl.de/publikationen/lipics/
Al= l LIPIcs proceedings are open access.

SPECIAL ISSUE: Authors of selected papers will be invited to submit = an extended version for a special issue of Logical Methods in Computer= Science.

SUBM= ISSION GUIDELINES: Submissions can be made in two categories.

- Regular research papers are limited to 15 pages and must prese= nt original research which is unpublished and not submitted elsewhere. = ;
- System descriptions are limited to 6 pages = (excluding references) and must present new software tools in which FSCD to= pics play an important role, or significantly new versions of such tools. P= lease check http= ://www.cs.le.ac.uk/events/fscd2018/cfp.html#guidelines, for more detail= s on what should a system description contain.
 <= /div>
Submissions must be formatted using the LIPIcs style files (http://www.dagstuhl.de/en/publications/lipics/instructions-for-author= s/) and submitted via EasyChair (https://easychair.org/conferences/?conf= =3Dfscd18).
=

IMPORTANT DATES: All deadlines are = midnight anywhere-on-earth (AoE); late submissions will not be considered.&= nbsp;

Abstra= ct Deadline:  January  15th, 2018 <= br class=3D"" style=3D"font-family: Menlo-Regular;">Submission Deadline: Ja= nuary  22nd, 2018
Rebuttal:=  March  22 - 25th, 2018
N= otification: April 2nd, 2018 
C= amera-Ready: May  2nd, 2018 
FSCD Conference: July 9 - 12th, 2018 <= br class=3D"">FLoC Conference: July 6 - 19th, 2018 

P= ROGRAM COMMITTEE CHAIR: H=C3=A9l=C3=A8ne Kirchner, Inria 

PRO= GRAM COMMITTEE
<= span class=3D"" style=3D"font-family: Menlo-Regular;">S. Akshay, IIT Bombay<= br class=3D"" style=3D"font-family: Menlo-Regular;">T. Aoto, Niigata U.
P. Arrighi, Marseille U.
L.&= nbsp;Birkedal, Aarhu= s U.
E. Bonelli, Quilmes U. 
A. Bouhoula, Carthage U.
C. Castro, F. Santa Maria Tech. U.
U. Dal = Lago, Bologna U. 
S.&nbs= p;Escobar, U.P. Vale= ncia 
M. Fern=C3=A1ndez, King's College= London 
V. Ganesh, Waterloo U. 
H. Geuvers, Nijmegen U. 
M. Hasegawa, Kyoto U.
C. Loeding,&nb= sp;Aachen U.<= /span>
A. Miquel, UdelaR, Montevideo
G. Moser, Innsbruck U. 
C. Nalon, Brasilia U. 
V. Nigam, Para= iba U. & fortiss
P.C. =C3=96lvec= zky, Oslo U.
G. Rosu, Illinois U.
P. Severi, Leicester U.
V. Sofronie-Stokkermans, Koblenz-Landau U.
N. Tabareau, Inria 
R.<= /span> Thiemann= , Innsbruck U.
<= span class=3D"" style=3D"font-family: Menlo-Regular;">A. Tiu, NTU Singapore 
F. van Raamsdonk, VU Amsterdam 
L. Zhi, CAS Beijing 

CONFERENCE &= WORKSHOP CHAIR: Paula Severi, Leicester U. 
PUBLICITY CHAIR: Sandra Alves, Porto U.

FSCD= STEERING COMMITTEE
T. Altenkirch (N= ottingham U.),
<= span class=3D"" style=3D"font-family: Menlo-Regular;">S. Alves (Porto U.),<= /span>
M. Fern=C3=A1ndez (King's College Lo= ndon),
C. Fuhs (Birkbeck, London U.)= ,
D. Kesner (Paris U.), =
N. Kobayashi (Tokyo U.),
D. Miller (Inria),
L. Ong (Chair, Oxford U.), 
B. Pientka (McGill U.),
S. Stato= n (Oxford U.),
<= span class=3D"" style=3D"font-family: Menlo-Regular;">R. Thiemann  (In= nsbruck U.).
= --Apple-Mail=_2E917E58-AE85-4FC1-AD0C-3CDDD906A02B--