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