[Caml-list] FSCD 2019 - Call for Participation (early registration ends May 13th)

(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

                     http://easyconferences.eu/fscd2019/

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:

http://easyconferences.eu/fscd2019/registration-2/

The early registration deadline is *** 13 May 2019 ***.

(for more details please visit the conference webpage).

INVITED SPEAKERS

Titles and abstracts available at

 http://easyconferences.eu/fscd2019/invited-speakers/  

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

SATELLITE EVENTS

- UNIF: 33rd International Workshop on Unification 

  (http://www.mat.unb.br/unif2019)

- WPTE:  6th  International Workshop on Rewriting Techniques for Program Transformations and Evaluation 

  (http://nigam.info/conferences/wpte2019/main.html)

- IWC: 8th International Workshop on Confluence

  (http://iwc2019.cic.unb.br)
- TLLA: 3rd Trends in Linear Logic and Applications

  (http://tlla.linear-logic.org/2019) 
- SD: 5th International Workshop on Structures and Deduction
  (http://www.anupamdas.com/sd19)
- HOR: 10th International Workshop on Higher-Order Rewriting
  (http://imft.ftn.uns.ac.rs/HOR2019)
- IFIP: 22nd  IFIP Working Group 1.6: Rewriting
  (http://cbr.uibk.ac.at/ifip-wg1.6/events/event-2019.html)

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!

==================================================================