(Apologies for multiple copies of this announcement. Please circulate.)
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
algorithms).
REGISTRATION
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).
INVITED SPEAKERS
Titles and abstracts available at
SATELLITE EVENTS
- UNIF: 33rd International Workshop on Unification
- WPTE: 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- IWC: 8th International Workshop on Confluence
PROGRAM CHAIR
Herman Geuvers, Radboud U. Nijmegen
CONFERENCE CHAIR
Jakob Rehof, TU Dortmund
LOCAL WORKSHOP CHAIR
Boris Düdder, U. of Copenhagen
PROGRAM COMMITTEE
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
STEERING COMMITTEE WORKSHOP CHAIR
Jamie 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.)
Looking forward to seeing you in Dortmund!
==================================================================