caml-list - the Caml user's mailing list
 help / Atom feed
From: Sandra Alves <>
To:,,,, ProofTheory@Lists.Bath.Ac.UK,,,,,,,,,,,,, theory-logic@CS.CMU.EDU,,,,,,
Subject: [Caml-list] FSCD 2019 - Call for Participation (early registration ends May 13th)
Date: Thu, 11 Apr 2019 14:34:22 +0100
Message-ID: <> (raw)

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

(Apologies for multiple copies of this announcement. Please circulate.)

                            CALL FOR PARTICIPATION
                     Fourth International Conference on
        Formal Structures for Computation and Deduction (FSCD 2019)
                    24 -- 30 June 2019, Dortmund, Germany

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

The registration page is already open and linked from: <>

The early registration deadline is *** 13 May 2019 ***.
(for more details please visit the conference webpage).

Titles and abstracts available at   <>

*  Beniamino Accattoli (INRIA, Paris, France) <>
*  Amy Felty (University of Ottawa, Canada) <>
*  Sarah Winkler (University of Innsbruck, Austria) <>
*  Hongseok Yang (KAIST,  Korea) <>

- UNIF: 33rd International Workshop on Unification 
  ( <>)
- WPTE:  6th  International Workshop on Rewriting Techniques for Program Transformations and Evaluation 
  ( <>)
- IWC: 8th International Workshop on Confluence
  ( <>)
- TLLA: 3rd Trends in Linear Logic and Applications
  ( <>) 
- SD: 5th International Workshop on Structures and Deduction
  ( <>)
- HOR: 10th International Workshop on Higher-Order Rewriting
  ( <>)
- IFIP: 22nd  IFIP Working Group 1.6: Rewriting
  ( <>)

Herman  Geuvers, Radboud U. Nijmegen 

Jakob Rehof, TU Dortmund

Boris Düdder, U. of Copenhagen

H. Geuvers, Radboud U. Nijmegen 
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

Jamie Vicary, Oxford U.

Sandra Alves , Porto U.

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

Looking forward to seeing you in Dortmund!

[-- Attachment #2: Type: text/html, Size: 8210 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:

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

  git send-email \ \ \ \
    --cc=ProofTheory@Lists.Bath.Ac.UK \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
    --cc=theory-logic@CS.CMU.EDU \ \ \

* 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

AGPL code for this site: git clone public-inbox