Advanced track

Page under construction!…

Picturing quantum processes, rewriting quantum pictures

Aleks Kissinger (Radboud University)

Reachability in logically constrained term rewriting systems

Ștefan Ciobâcă (Alexandru Ioan Cuza University, Romania)

Homotopy and homology of rewriting

Yves Lafont (Université d’Aix-Marseille)

Higher-order term rewriting

Cynthia Kop (Radboud University)

Deduction modulo rewriting

Gilles Dowek (INRIA and ENS Paris-Saclay)

Rewriting and music

Florent Jacquemard (INRIA and IRCAM)

Introduction to graph rewriting

Rachid Echahed (CNRS, LIG Grenoble)

Stochastic graph rewriting and (executable) knowledge representation for molecular biology

Jean Krivine (CNRS and Université Paris Diderot)

Automated complexity analysis of term rewrite systems

Martin Avanzini (Inria)

Rewriting in theorem proving

Christopher Lynch (Clarkson University, USA)

Formal specification and analysis of real-time systems in Real-Time Maude

Peter Csaba Ölveczky (Oslo University)

Infinitary rewriting and streams

Hans Zantema (Eindhoven University of technology)

Comments are closed.