Logic List Mailing Archive

ISR 2019: Rewriting

1-6 Jul 2019
Paris, France

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.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam