W O R K S H O P S

Workshop

Full Name

Edition

Link

UNIF

International Workshop on Unification

33rd

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

WPTE

International Workshop on Rewriting Techniques for Program Transformations and Evaluation

6th

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

IWC

International Workshop on Confluence

8th

http://iwc219.cic.unb.br

TLLA

Trends in Linear Logic and Applications

3rd

TBA

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

http://cbr.uibk.ac.at/ifip-wg1.6/events/event-2019.html

 

 

FSCD 2019 WORKSHOPS SCHEDULE

DATE

WORKSHOPS

Mon 24.06.19

WPTE, UNIF 

Thu 27.06.19

IFIP 

Fri 28.06.19

IWC, HOR 

Sat 29.06.19

TLLA, SD 

Sun 30.06.19

TLLA, SD 

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

ISR 2019 Website