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 70B21822AC; Tue, 14 Nov 2017 17:39:46 +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=3AiyjheB8BXSvbxv9uRHKM819IXTAuvvDOBiVQ1KB5?= =?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?A0BrAgDmGwtalxAniMFdDhABBgyEGgNrJ?= =?us-ascii?q?4M7Q7Q1Ai2BXIJrhVJDFAEBAQEBAQEBAQESAQEBAQEIFgZXgjgiglcRBjEUKjo?= =?us-ascii?q?KAmCILAOCCgyNKJw3AoEvgieEFQGHBwEBASQ0gwCDXIFpKYRKgVsggS0Egzgxg?= =?us-ascii?q?jIFojSHbY4MgSKDZYIjg08Rg1mCG4FRjG2FfYR6NoFiHBY0IQgySS0BgiYBAQ4?= =?us-ascii?q?JQIIfBIE0BDt3AQGGPoJEAQEB?= X-IPAS-Result: =?us-ascii?q?A0BrAgDmGwtalxAniMFdDhABBgyEGgNrJ4M7Q7Q1Ai2BXIJ?= =?us-ascii?q?rhVJDFAEBAQEBAQEBAQESAQEBAQEIFgZXgjgiglcRBjEUKjoKAmCILAOCCgyNK?= =?us-ascii?q?Jw3AoEvgieEFQGHBwEBASQ0gwCDXIFpKYRKgVsggS0EgzgxgjIFojSHbY4MgSK?= =?us-ascii?q?DZYIjg08Rg1mCG4FRjG2FfYR6NoFiHBY0IQgySS0BgiYBAQ4JQIIfBIE0BDt3A?= =?us-ascii?q?QGGPoJEAQEB?= X-IronPort-AV: E=Sophos;i="5.44,395,1505772000"; d="scan'208,217";a="244614376" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Nov 2017 17:39:00 +0100 Received: from [192.168.1.69] (87-196-139-183.net.novis.pt [87.196.139.183]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 4A7D1C1B93; Tue, 14 Nov 2017 16:38:58 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_42D804D8-507F-4129-8A98-7AE7353CAD17" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: Date: Tue, 14 Nov 2017 16:38:48 +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 Second Call for Papers --Apple-Mail=_42D804D8-507F-4129-8A98-7AE7353CAD17 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: system descriptions; best paper award for student(= s) and special issue. =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.=20 http://fscd-conference.org/editions/fscd-2018 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 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 researcher, 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 th= e PC Chair that at least 50% of contribution is made by the junior researcher(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=_42D804D8-507F-4129-8A98-7AE7353CAD17 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:  system description= s; best paper award for student(s) and special issue.
=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 C= omputation and Deduction (FSCD'18)
&= nbsp;        Oxford, UK, July 9 - 1= 2th, 2018. 
http://fscd-conference.org/editions/fscd-2= 018

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

<= div class=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=3D

TOPICS:  FSCD covers all aspects of= formal structures for computation and deduction from theoretical foundatio= ns to applications.  
Building = on two communities, RTA (Rewriting Techniques and Applications) and TLCA (T= yped Lambda Calculi and Applications),
FSCD embraces their core topics and broadens their scope to closely rela= ted 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: &nbs= p;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 orderi= ngs - Strategies - Tree automata - Model checking - Proof search and theore= m proving - Constraint solving and decision procedures 
3. Semantics: Operational semantics  - Abstra= ct machines - Game Semantics - Domain theory and categorical models - Quant= itative models 
4. Algorithmic = Analysis and Transformations of Formal Systems: Type Inference and type che= cking - Abstract Interpretation - Complexity analysis and implicit computat= ional complexity - Checking termination, confluence, derivational complexit= y and related properties - Symbolic computation 
5. Tools and Applications: Programming and proof environm= ents - Verification tools - Libraries for proof assistants and interactive = theorem provers - Case studies in proof assistants and interactive theorem = provers - Certification - Applications to security, planning, data bases,= =E2=80=A6

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 researcher, i.e. either a student or who= se 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 = least 50% of contribution is
made by the junior researcher(s).

PUBLICATION : The proceedings will be published as an electronic volume in t= he Leibniz International Proceedings in Informatics (LIPIcs)  of Schlo= ss Dagstuhl. 
http://www.dagstuhl.de/publikationen/lipics/
All 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.

SUBMISSION GUIDELINES: Submissions can be made in two categories.

- Regular research papers are limited to 1= 5 pages and must present original research which is unpublished and not sub= mitted elsewhere. 
- System descri= ptions a= re limited to 6 pages (excluding references) and must present new software = tools in which FSCD topics play an important role, or significantly new ver= sions of such tools. Please check http://www.cs.le.ac.uk/events/fscd2018/cfp.html#guideline= s, for more details on what should a system description contain.
 
Submissions must be formatted using the LIPIcs style = files (http://www.dagstuhl.de/en/publications/lipics/in= structions-for-authors/) and submitted via EasyChair (https://easychair.or= g/conferences/?conf=3Dfscd18).


IMPORTAN= T DATES: All = deadlines are midnight anywhere-on-earth (AoE); late submissions will not b= e considered. 

<= /span>
Abstract Deadline:  January  15th, 2018=  
Submission Deadline: January  22nd, 2018
Rebuttal:  March  22 - 25th, 2018
Notification: April 2nd, 2018 
Camera-Ready: May  2nd, 2018 
FSCD Conference: July 9 - 12t= h, 2018 
FLoC Conference: July 6 - 19th, 2018 

PROGRAM COMMITTEE CHAIR: H=C3=A9l=C3=A8ne Kirchner, Inria =

PROGRAM COMMITTEE
S. Akshay, II= T Bombay
T. Aoto, Niigata U.
P. Arrighi, Marseille U.
L. Birkedal, Aarhus U.
E. = Bonelli, Quilmes U.&= nbsp;
A. Bouhoula, Carthage U.
C. Castro, F. Santa Maria Tech. U.
U. Dal Lago, Bologna U. 
S. Es= cobar, U.P. Valencia 
M.=  Fern=C3=A1ndez= , King's College London 
V. Ganesh, Wat= erloo U. 
<= span class=3D"" style=3D"font-family: Menlo-Regular;">H. Geuvers, Nijmegen U. =
M. Hasegawa, Kyoto U.
P.B. Levy, U. of Birmingham
C. Loeding, Aachen U.
= A. Miquel, UdelaR, Montevide= o
G. Moser, Innsbruck U. 
C. Nalon, Brasilia U. 
V. Nigam, Paraiba U. & fortiss
P.C. =C3=96lveczky, Oslo U.
G. Rosu, Illino= is U.
P. Severi, Leicester U.
V. Sofronie-Stokkermans, Koblenz-Landau U.
N. Tabareau, Inria 
R. Thiemann, Innsbruck U.
A.&nb= sp;Tiu, NTU S= ingapore 
<= span class=3D"" style=3D"font-family: Menlo-Regular;">F. van Raamsdonk, = ;VU Amsterdam <= /span>
L. Zhi, CAS Beijing 

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

FSCD STEERING COMMITTEE
T. Altenkirch (Nottingham U.),
S. A= lves (Porto U.),
M. Fern=C3=A1ndez (= King's College London),
C. Fuhs (Bir= kbeck, London U.),
D. Kesner (Paris = U.), 
N. Kobayashi (Tokyo U.),<= /span>
D. Miller (Inria),
L. Ong (Chair, Oxford U.), 
B. Pientka (McGill U.),
S. Staton (Oxford U.),
R. T= hiemann  (Innsbruck U.).
= --Apple-Mail=_42D804D8-507F-4129-8A98-7AE7353CAD17--