Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for registration: 11th International Scho...

Email Gateway (Aug 22 2022 at 19:47):

From: Frédéric Blanqui <frederic.blanqui@inria.fr>
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.

Last updated: Apr 25 2024 at 08:20 UTC