From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 4F0AF5D5 for ; Fri, 1 Feb 2019 11:11:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,548,1539640800"; d="scan'208,217";a="367534155" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Feb 2019 12:08:16 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2FF3D82595; Fri, 1 Feb 2019 12:08:16 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 29A4182581; Fri, 1 Feb 2019 12:02:02 +0100 (CET) Authentication-Results: mail2-smtp-roc.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=3A+hNRiB8pxKEzlv9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0OoUIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsLxUL40RC+i7791RxD0lC?= =?us-ascii?q?cJOTk58GTNhcxxiqJQvRatqhN7zoLRZoyaM+dwfqTHfdMGW2VOQ9pfWDJdDYO9?= =?us-ascii?q?d4sDEfcKMeJXooXholcDqwa1CwuxC+P10jJGhmP50qIn3eoiHw/IwgsuEskUv3?= =?us-ascii?q?jIqdX4LqcSXfy3waTO0D7Nb+lW2TD46IXQbx4uu/eMUq9qccXL1EIiCwfFjkuO?= =?us-ascii?q?poz+IjiY0f8NvHKd7+V9T+KgkXUqpBxtrTez3MsshJXGipgIylDc7yl52Jo1KM?= =?us-ascii?q?S+RUVmb9CkF55QuDubN4twWs4tXXtnuD06y7Iavp67eiYKx4o9xxHBbfyIb5aH?= =?us-ascii?q?4gn5WOmPPDd0nG9leLWjhxau60ehxPfzWtOo31lQtiZFnd7MtncC1xzX9MeLUO?= =?us-ascii?q?dy/kCk2TqXygDT6/pLIUMumaXBN5Et2KQ/loYVvE/eHSH2gF37gLKSe0gq4OSk?= =?us-ascii?q?9urqb7T8qpKSM4J4kBzyP6U2lsCiBek1PRICU3ab9OmzzrHu/FD1TK9Fg/EqlK?= =?us-ascii?q?TSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYhnwHLE5deB6dkofmJ03BLOr2Dfij?= =?us-ascii?q?mVisjS9ry+rePr39GpnNL37Dn6n9fbtl9kJRzAQ+wcpC659aC7wNOvz+V0vruN?= =?us-ascii?q?DFDxI1Kwm0zPzmCNV52IMeQ2WPAqqBPaPJq1CI4P8gI/OWa4IOpTnyN+Qq6+Tg?= =?us-ascii?q?jXAlg1MdYLGp0YEPaHCkBvhmOVmWYWLwgtcdFmcHphYxQ/bviF2GSDJTY3eyX7?= =?us-ascii?q?kg5jwgE4KnDYLDRpi3j7Cb3Se7GIdWZmFcBVyWH3fobZ2OW+0QZyKKPs9hjjsE?= =?us-ascii?q?WKC9RI8mzBGirRP1y756LuXP4SAYrpLi1N1t5+LJjx0y9Dp0D96c026XVW10kH?= =?us-ascii?q?kIFHcK2/V0plU4wVOe24B5heZZHJpd/bcBWQ4/MdvYzvdmI9H0QAPIONmTDB6t?= =?us-ascii?q?S9mrKTAtU5Q9wJtGaE9hFtqllBHOxAKvH7ZTnLXPTJI19KPA0j30IMpwzzPa1K?= =?us-ascii?q?QmlUgORspUKXbgnLFj903aDoXJnkPfm6vuPaAS1zWI9WGfwHCDp11wUQh+F6jJ?= =?us-ascii?q?G3kUIFbV6Zz950XPRqWGAq9hKRdIz8CFMKcMZ9H0yR1pbdLOA/zaYnmtgCGqGg?= =?us-ascii?q?qIg7qFZ4rnfSMR0WGVEFIDnEUX9HCJHQQ/BTrnr2GaRCBuGFX1bkap6fN5tn6h?= =?us-ascii?q?VWc9zkePblEn2raovlYJhfGbUeJW2rULuSwJgA4yN3OAmf/6Np7IrgVtdY1YYM?= =?us-ascii?q?gh+xFM1WvdsgFnJdq7IuQqj0UaWxp+pFjnzVN6BpgE2cwjtzYuzQFpAaaZy09a?= =?us-ascii?q?MS+FmJr9ILnWLC/+8VTnb6nZ21r21d+K+uES7vV9oVLlukelGxkM6XJihuJc1X?= =?us-ascii?q?eG793jCBQfStqlSU8x+wJzj73RaW8z7MXJzTt0Lf/n4Xf5x9s1Cb59mV6bdNBF?= =?us-ascii?q?PfbURVajQf1fPNCnLakRo3bsaxsFOO5I86ttY5GqfPDA1qXtIf4mhC701D0bsr?= =?us-ascii?q?A46VqF8m9HcsCNx4wMmq3K0gCMETn3ykq59Njry9gdOGMiW1GnwC2hP7Z/I61/?= =?us-ascii?q?eYFSWDW1JtGvgNl1jNjjUDhF7Bi7GwFf1Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ALAACZJlRclxAniMFkDggIAQYHBoFRC?= =?us-ascii?q?QsBgmpRMieEA4h5jHuDLYRthmWJNIEkAwJSMIFUhgcbBgEEMAkNAQMBAQIBAQE?= =?us-ascii?q?BARMBAQEBAQgWBkwMgjoMDAMDAYMVBjESAgVpAmCDNAGCBQuqEIEvhAIBewVAh?= =?us-ascii?q?HKMGj2BQD+BEScME4QNgVILAQGBOgSDLDGCJgKJYxKLXo0QCYI4hHiLH2mBAlK?= =?us-ascii?q?CS4IjgwSIEIMghwCFL4kahEQSbYEhMxoIMDsqAYJCCAksgXUCggt1VIEBiRcEO?= =?us-ascii?q?D40iiiCTQEB?= X-IPAS-Result: =?us-ascii?q?A0ALAACZJlRclxAniMFkDggIAQYHBoFRCQsBgmpRMieEA4h?= =?us-ascii?q?5jHuDLYRthmWJNIEkAwJSMIFUhgcbBgEEMAkNAQMBAQIBAQEBARMBAQEBAQgWB?= =?us-ascii?q?kwMgjoMDAMDAYMVBjESAgVpAmCDNAGCBQuqEIEvhAIBewVAhHKMGj2BQD+BESc?= =?us-ascii?q?ME4QNgVILAQGBOgSDLDGCJgKJYxKLXo0QCYI4hHiLH2mBAlKCS4IjgwSIEIMgh?= =?us-ascii?q?wCFL4kahEQSbYEhMxoIMDsqAYJCCAksgXUCggt1VIEBiRcEOD40iiiCTQEB?= X-IronPort-AV: E=Sophos;i="5.56,548,1539640800"; d="scan'208,217";a="367529925" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Feb 2019 11:56:08 +0100 Received: from eduroam-prg-sg-1-47-176.net.univ-paris-diderot.fr (roam-nat-fw-prg-194-254-61-40.net.univ-paris-diderot.fr [194.254.61.40]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id F283FC2701; Fri, 1 Feb 2019 10:56:06 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_5A62171C-E1C0-466F-A497-0E4F6A141861" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: Date: Fri, 1 Feb 2019 11:56:06 +0100 To: coq-club@inria.fr, caml-list@inria.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, logic@math.uni-bonn.de X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] FSCD 2019 - Deadline reminder (Abstracts: 8 February, Full Papers: 11 February) Reply-To: Sandra Alves X-Loop: caml-list@inria.fr X-Sequence: 17325 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_5A62171C-E1C0-466F-A497-0E4F6A141861 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 (Apologies for multiple copies of this announcement. Please circulate.) --------------- CALL FOR PAPERS Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019) 24 -- 30 June 2019, Dortmund, Germany http://easyconferences.eu/fscd2019/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.=20 Titles and Short Abstracts: 8 February 2019=20 Full Papers: 11 February 2019=20 Rebuttal period: 28 March -- 1 April 2019 Authors Notification: 8 April 2019=20 Final version for proceedings: 22 April 2019=20 FSCD 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, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). Suggested, but not exclusive, list of topics for submission are: 1. Calculi:=20 Rewriting systems, Lambda calculus, Concurrent calculi, Logics, Type theory, Homotopy type theory, Logical frameworks, Quantum calculi 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; 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; Proof assistants and interactive theorem provers; Applications in industry (e.g. design and verification of critical systems); Applications in other sciences (e.g. biology) 6. Semantics and verification in new challenging areas: Certification; Security; Blockchain protocols; Data bases; Deep learning and machine learning algorithms; Planning INVITED SPEAKERS ----------- Titles and abstracts available at http://easyconferences.eu/fscd2019/invited-speakers/ =C2=A0 * Beniamino Accattoli (INRIA, Paris, France) https://sites.google.com/site/beniaminoaccattoli/ * Amy Felty (University of Ottawa, Canada) http://www.site.uottawa.ca/~afelty/ * Sarah Winkler (University of Innsbruck, Austria) http://cl-informatik.uibk.ac.at/users/swinkler/ * Hongseok Yang (KAIST, Korea) https://sites.google.com/view/hongseokyang/ 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=20 --------------------- Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g.\ proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. 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: http://easyconferences.eu/fscd2019/ BEST PAPER AWARD BY JUNIOR RESEARCHERS=20 -------------------------------------- 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 the PC Chair that at least 50% of contribution is made by the junior researcher(s). SPECIAL ISSUE=20 ------------- Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science. PROGRAM COMMITTEE ----------------- H. Geuvers, Radboud U. Nijmegen (Chair) Z. Ariola, U. of Oregon M. Ayala Rinc=C3=B3n, U. of Brasilia A. Bauer, U. of Ljubljana F. Bonchi, U. of Pisa S. Broda, U. of Porto U. Dal Lago, U. of Bologna & Inria U. De'Liguoro, U. of Torino D. Kapur, U. of New Mexico P. Dybjer, Chalmers U. of Technology M. Fernandez, King's College London J. Giesl, RWTH Aachen N. Hirokawa, JAIST S. Lucas, U. Politecnica de Valencia A. Middeldorp, U. of Innsbruck F. Pfenning, Carnegie Mellon U. B. Pientka, McGill U. J. van de Pol, Aarhus U. & U. of Twente F. van Raamsdonk, VU Amsterdam=20 C. Sch=C3=BCrmann, ITU Copenhagen P. Severi, U. of Leicester A. Silva, U. College London S. Staton, Oxford U. T. Streicher, TU Darmstadt A. Stump, U. of Iowa N. Tabareau, Inria S. Tison, U. of Lille A. Tiu, Australian National U. T. Tsukada, U. of Tokyo J. Urban, CTU Prague P. Urzyczyn, U. of Warsaw J. Waldmann, Leipzig U. of Applied Sciences CONFERENCE CHAIR ---------------- Jakob Rehof, TU Dortmund LOCAL WORKSHOP CHAIR -------------------- Boris D=C3=BCdder, U. of Copenhagen STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- J. Vicary, Oxford U. PUBLICITY CHAIR --------------- Sandra Alves , Porto U. FSCD STEERING COMMITTEE ----------------------- S. Alves (Porto U.), M. Ayala-Rinc=C3=B3n (Brasilia U.) C. Fuhs (Birkbeck, London U.) D. Kesner (Chair, Paris U.)=20 H. Kirchner (Inria) N. Kobayashi (U. Tokyo) C. Kop (Radboud U. Nijmegen) D. Miller (Inria) L. Ong (Chair, Oxford U.)=20 B. Pientka (McGill U.) S. Staton (Oxford U.) --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_5A62171C-E1C0-466F-A497-0E4F6A141861 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
(A= pologies for multiple copies of this announcement. Please circulate.)
=
---------------
      &= nbsp;                    =    CALL FOR PAPERS
      &nb= sp;              Fourth International Co= nference on
        Formal Structu= res for Computation and Deduction (FSCD 2019)
  &= nbsp;                 24 -- 30 June= 2019, Dortmund, Germany
        &= nbsp;            http://easyconferences.eu/fscd2019/

IMPORTANT DATES
=
---------------
All deadlines are midn= ight anywhere-on-earth (AoE); late
submissions will no= t be considered. 
     Titles and = Short Abstracts:        8 February 2019&n= bsp;
     Full Papers:    = ;                     &nb= sp;    11 February 2019 
     Rebuttal period:         &nbs= p;              28 March -- 1 April 2019=
     Authors Notification:   &nbs= p;             8 April 2019 
     Final version for proceedings:  22 April=  2019 

FSCD covers all aspects of formal structures for computation and
deduction from theoretical foundations to applications.  B= uilding on
two communities, RTA (Rewriting Techniques = and Applications) and TLCA
(Typed Lambda Calculi and A= pplications), FSCD embraces their core
topics and broa= dens their scope to closely related areas in logics,
m= odels of computation (e.g. quantum computing, probabilistic
computing, homotopy type theory), semantics and verification in new
challenging areas (e.g. blockchain protocols or deep le= arning
algorithms).

Suggested, but not exclusive, list of topics for su= bmission are:
1. Calculi: 
&= nbsp;  Rewriting systems, Lambda calculus, Concurrent calculi, Logics,=
   Type theory, Homotopy type theory, Logic= al frameworks, Quantum
   calculi
2. Methods in Computation and Deduction:
&n= bsp;  Type systems; Induction and coinduction; Matching, unification,<= /div>
   completion and orderings; Strategies; Tre= e automata; Model
   checking; Proof search = and theorem proving; Constraint solving and
  &nb= sp;decision procedures
3. Semantics:
   Operational semantics; Abstract machines; Game Semantics= ; Domain
   theory; Categorical models; Quan= titative models
4. Algorithmic Analysis and Transforma= tions of Formal Systems:
   Type inference a= nd type checking; Abstract interpretation;
  &nbs= p;Complexity analysis and implicit computational complexity; Checking
=
   termination, confluence, derivational complexi= ty and related
   properties; Symbolic compu= tation
5. Tools and Applications:
   Programming and proof environments; Verification tools; Proof=
   assistants and interactive theorem prove= rs; Applications in
   industry (e.g. design= and verification of critical systems);
   A= pplications in other sciences (e.g. biology)
6. Semant= ics and verification in new challenging areas:
  =  Certification; Security; Blockchain protocols; Data bases; Deep
=
   learning and machine learning algorithms; Plan= ning

INVITED SPEAKERS
-----------
Titles and abstracts available at

*  Beniamino Accattoli (INRIA, Paris, France)
 &= nbsp;https://sites.google.com/site/beniaminoaccattoli/

*  Amy Felty (University of Ottawa, Canada)
&= nbsp; http:= //www.site.uottawa.ca/~afelty/

*  Sar= ah Winkler (University of Innsbruck, Austria)
  http://= cl-informatik.uibk.ac.at/users/swinkler/

*=  Hongseok Yang (KAIST,  Korea)
  https://sites.g= oogle.com/view/hongseokyang/

=
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.

SUBMISSIO= N GUIDELINES 
---------------------
Submissions can be made in two categories.  Regular research p= apers
are limited to 15 pages (including references, w= ith the possibility to
add an annex for technical deta= ils, e.g.\ proofs) and must present
original research = which is unpublished and not submitted
elsewhere. Syst= em descriptions are limited to 15 pages (including
ref= erences) and must present new software tools in which FSCD topics
play an important role, or significantly new versions of such
tools. Submissions must be formatted using the LIPIcs s= tyle files and
submitted via EasyChair.  Complete= instructions on submitting a paper
can be found on th= e conference web site:


BEST PAPER AWARD BY JUNIOR RE= SEARCHERS 
--------------------------------------=
The program committee will consider declaring this aw= ard to a paper in
which at least one author is a junio= r researcher, i.e. either a
student or whose PhD award= date is less than three years from the
first day of t= he meeting. Other authors should declare to the PC Chair
that at least 50% of contribution is made by the junior
researcher(s).

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


PROGRAM COMMITTEE
-----= ------------
H. Geuvers, Radboud U. Nijmegen (Chair)
Z. Ariola, U. of Oregon
M. Ayala R= inc=C3=B3n, U. of Brasilia
A. Bauer, U. of Ljubljana
F. Bonchi, U. of Pisa
S. Broda, U.= of Porto
U. Dal Lago, U. of Bologna & Inria
=
U. De'Liguoro, U. of Torino
D. Kapur, = U. of New Mexico
P. Dybjer, Chalmers U. of Technology<= /div>
M. Fernandez, King's College London
J. Giesl, RWTH Aachen
N. Hirokawa, JAIST
S. Lucas, U. Politecnica de Valencia
A. Mid= deldorp, U. of Innsbruck
F. Pfenning, Carnegie Mellon = U.
B. Pientka, McGill U.
J. van d= e Pol, Aarhus U. & U. of Twente
F. van Raamsdonk, = VU Amsterdam 
C. Sch=C3=BCrmann, ITU Copenhagen
P. Severi, U. of Leicester
A. Silv= a, U. College London
S. Staton, Oxford U.
T. Streicher, TU Darmstadt
A. Stump, U. of Io= wa
N. Tabareau, Inria
S. Tison, U= . of Lille
A. Tiu, Australian National U.
= T. Tsukada, U. of Tokyo
J. Urban, CTU Prague
P. Urzyczyn, U. of Warsaw
J. Waldmann, Lei= pzig U. of Applied Sciences

CONFERENCE CHAIR
----------------
Jakob Rehof, TU Dortmund


LOCAL WORKSHOP CHA= IR
--------------------
Boris D= =C3=BCdder, U. of Copenhagen


STEERING COMMITTEE WORKSHO= P CHAIR
--------------------------------
J. Vicary, Oxford U.


PUBLICITY CHAIR
---------------
Sandra Alves , Porto U.


FSCD STEERING COMMITTEE
-------------= ----------
S. Alves (Porto U.),
M= . Ayala-Rinc=C3=B3n (Brasilia U.)
C. Fuhs (Birkbeck, L= ondon U.)
D. Kesner (Chair, Paris U.) 
H. Kirchner (Inria)
N. Kobayashi (U. Tokyo)=
C. Kop (Radboud U. Nijmegen)
D. = Miller (Inria)
L. Ong (Chair, Oxford U.) 
B. Pientka (McGill U.)
S. Staton (Oxford= U.)

= --Apple-Mail=_5A62171C-E1C0-466F-A497-0E4F6A141861--