W O R K S H O P S
Workshop 
Full Name 
Edition 
Link 
UNIF 
International Workshop on Unification 
33rd 

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

IWC 
International Workshop on Confluence 
8th 

TLLA 
Trends in Linear Logic and Applications 
3rd 
http://tlla.linearlogic.org/2019 
SD 
International Workshop on Structures and Deduction 
5th 
http://www.anupamdas.com/sd19 
HOR 
International Workshop on HigherOrder Rewriting 
10th 
http://imft.ftn.uns.ac.rs/HOR2019 
IFIP 
IFIP Working Group 1.6: Rewriting 
22nd 
FSCD 2019 WORKSHOP SCHEDULE


Mon 24.06.19 
WPTE, UNIF 
Wed 26.06.19 
IFIP 
Fri 28.06.19 
IWC, HOR 
Sat 29.06.19 
TLLA, SD 
Sun 30.06.19 
TLLA, SD 
** Venue: Technical University of Dortmund ONLY on 24/06
FSCD 2019 will be the fourth edition of the International Conference on Formal Structures for Computation and Deduction. The FSCD conference was created by the communities behind two major conferences, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications). The first event took place in Porto, Portugal in June 2016 and was extremely successful, attracting 186 participants and 11 workshops.
IMPORTANT DATES
Main conference: June 2528, 2019
Workshop dates: June 24 and June 2930, 2019
Related Event
Term rewriting is a conceptually simple but powerful abstract model of computation which has numerous applications in computer science and many other fields: mathematics, quantum physics, biology, music, model checking, logic, programming languages, …
This school proposes to master students, PhD students and researchers, two parallel tracks:
 Basic track: introduction to firstorder term rewriting and λcalculus
 Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).
Organizers: Frédéric Blanqui (INRIA) and Olivier Hermant (MINES ParisTech).