Advanced track

The advanced track provides more advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking). In total, there are 12 advanced lectures, each one split on 2 sessions of 1.5 hours on two consecutive days.

Monday 1 July

Tuesday 2 July

Wednesday 3 July

Thursday 4 July

Friday 5 July

Saturday 6 July

9:00

Introduction to graph rewriting
Rachid Echahed

Introduction to graph rewriting
Rachid Echahed

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

Deduction modulo rewriting
Gilles Dowek

Formal specification and analysis of real-time systems in Real-Time Maude
Peter Csaba Ölveczky

Formal specification and analysis of real-time systems in Real-Time Maude
Peter Csaba Ölveczky

10:30

break

break

break

break

break

break

11:00

Rewriting in theorem proving
Christopher Lynch

Rewriting in theorem proving
Christopher Lynch

Homotopy and homology of rewriting
Yves Lafont

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

Picturing quantum processes
Aleks Kissinger

Picturing quantum processes
Aleks Kissinger

12:30

lunch

lunch

lunch

lunch

lunch

lunch

14:00

Reachability in logically constrained term rewriting systems
Ștefan Ciobâcă

Reachability in logically constrained term rewriting systems
Ștefan Ciobâcă

Higher-order term rewriting
Cynthia Kop

Homotopy and homology of rewriting
Yves Lafont

Automated complexity analysis of term rewrite systems
Martin Avanzini

Automated complexity analysis of term rewrite systems
Martin Avanzini

15:30

break

break

social event

break

break

break

16:00

Infinitary rewriting and streams
Hans Zantema

Infinitary rewriting and streams
Hans Zantema

Higher-order term rewriting
Cynthia Kop

Rewriting and music
Florent Jacquemard

Rewriting and music
Florent Jacquemard

17:30

break

18:00

Deduction modulo rewriting
Gilles Dowek

Comments are closed.