Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

1 - 6 July 2019, 11th International School on Rewriting (ISR'19), Paris, France

Date: 1 - 6 July 2019
Location: Paris, France
Deadline: Friday 17 May 2019

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

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).
For more information, see https://isr2019.inria.fr/.

Please note that this newsitem has been archived, and may contain outdated information or links.