[Agda] Announcement: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France

[Frédéric Blanqui]

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

      11th International School on Rewriting (ISR'19)

          1-6 July 2019, MINES ParisTech, France

                https://isr2019.inria.fr/

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

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

ISR'19 is hosted in the center of Paris and proposes to master students,
PhD students and researchers, two parallel tracks:

- basic track: introduction to first-order term rewriting and λ-calculus
   with lectures by Aart Middeldorp, Sarah Winkler and Femke van Raamsdonk

- advanced track: lectures on rewriting theory and applications
     . Automated complexity analysis of term rewrite systems, Martin 
Avanzini
     . Reachability in logically constrained term rewriting systems, 
Ștefan Ciobâcă
     . Deduction modulo rewriting, Gilles Dowek
     . Introduction to graph rewriting, Rachid Echahed
     . Rewriting and music, Florent Jacquemard
     . Picturing quantum processes, rewriting quantum pictures, Aleks 
Kissinger
     . Stochastic graph rewriting and (executable) knowledge 
representation for molecular biology, Jean Krivine
     . Higher-order term rewriting, Cynthia Kop
     . Homotopy and homology of rewriting, Yves Lafont
     . Rewriting in theorem proving, Christopher Lynch
     . Formal specification and analysis of real-time systems in 
Real-Time Maude, Peter Csaba Ölveczky
     . Infinitary rewriting and streams, Hans Zantema

Registration will open in March.

The organizers are Frédéric Blanqui (INRIA, LSV and ENS Paris-Saclay) 
and Olivier Hermant (MINES ParisTech).

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

ISR'19 is promoted by the IFIP WG1.6 and supported by RFSI, Région 
Ile-de-France, INRIA, LSV and CNRS.