[Agda] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
Frédéric Blanqui
frederic.blanqui at inria.fr
Mon May 6 08:23:41 CEST 2019
The early registration deadline is May 17! Special price for master
students.
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
11th International School on Rewriting (ISR'19)
1-6 July 2019, MINES ParisTech, France
https://isr2019.mines-paristech.fr/
Deadline for early registration: May 17
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
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
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 the DIM RFSI, the
Région Ile-de-France, INRIA, the GDR GPL and the LSV.
More information about the Agda
mailing list