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.linear-logic.org/2019 |
SD |
International Workshop on Structures and Deduction |
5th |
http://www.anupamdas.com/sd19 |
HOR |
International Workshop on Higher-Order 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 25-28, 2019
Workshop dates: June 24 and June 29-30, 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 first-order 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).