caml-list - the Caml user's mailing list
 help / Atom feed
From: Sandra Alves <sandra@dcc.fc.up.pt>
To: fscd.conference@dcc.fc.up.pt
Cc: 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, eutypes@cs.ru.nl, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de
Subject: [Caml-list] FSCD 2019 Last Call for Papers
Date: Thu, 10 Jan 2019 17:16:59 +0000
Message-ID: <7F55930C-6B99-4843-89CA-37B644AD8FA1@dcc.fc.up.pt> (raw)

[-- Attachment #1: Type: text/plain, Size: 7090 bytes --]

(Apologies for multiple copies of this announcement. Please circulate.)
---------------
Updated information: titles and abstracts of invited talks are now available
---------------
                               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/ <http://easyconferences.eu/fscd2019/>

IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late
submissions will not be considered. 
     Titles and Short Abstracts:        8 February 2019 
     Full Papers:                              11 February 2019 
     Rebuttal period:                        28 March -- 1 April 2019
     Authors Notification:                 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.  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: 
   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/   <http://easyconferences.eu/fscd2019/invited-speakers/>

*  Beniamino Accattoli (INRIA, Paris, France)
  https://sites.google.com/site/beniaminoaccattoli/ <https://sites.google.com/site/beniaminoaccattoli/>

*  Amy Felty (University of Ottawa, Canada)
  http://www.site.uottawa.ca/~afelty/ <http://www.site.uottawa.ca/~afelty/>

*  Sarah Winkler (University of Innsbruck, Austria)
  http://cl-informatik.uibk.ac.at/users/swinkler/ <http://cl-informatik.uibk.ac.at/users/swinkler/>

*  Hongseok Yang (KAIST,  Korea)
  https://sites.google.com/view/hongseokyang/ <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 
---------------------
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/ <http://easyconferences.eu/fscd2019/>

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 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 Computer Science.


PROGRAM COMMITTEE
-----------------
H. Geuvers, Radboud U. Nijmegen (Chair)
Z. Ariola, U. of Oregon
M. Ayala Rincón, 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 
C. Schürmann, 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üdder, 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ón (Brasilia U.)
C. Fuhs (Birkbeck, London 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.)

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

[-- Attachment #2: Type: text/html, Size: 11697 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=7F55930C-6B99-4843-89CA-37B644AD8FA1@dcc.fc.up.pt \
    --to=sandra@dcc.fc.up.pt \
    --cc=GAMES@lists.rwth-aachen.de \
    --cc=ProofTheory@Lists.Bath.Ac.UK \
    --cc=agda@lists.chalmers.se \
    --cc=appsem@lists.tcs.ifi.lmu.de \
    --cc=asl@vassar.edu \
    --cc=cade@itu.dk \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=cl-isabelle-users@lists.cam.ac.uk \
    --cc=coq-club@inria.fr \
    --cc=eutypes@cs.ru.nl \
    --cc=finite-model-theory@lists.rwth-aachen.de \
    --cc=fscd.conference@dcc.fc.up.pt \
    --cc=las-lics@lists.tu-berlin.de \
    --cc=lfcs-interest@inf.ed.ac.uk \
    --cc=linear@cs.stanford.edu \
    --cc=logic@math.uni-bonn.de \
    --cc=prog-lang@diku.dk \
    --cc=rewriting@ens-lyon.fr \
    --cc=termtools@lists.lri.fr \
    --cc=theorem-provers@ai.mit.edu \
    --cc=theory-logic@CS.CMU.EDU \
    --cc=types-announce@lists.seas.upenn.edu \
    --cc=types@lists.chalmers.se \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox