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.

Coffee breaks will be in room V334 from Monday to Wednesday, and in front of the rooms V106a and V106b from Thursday to Saturday.
Lectures of the advanced track will be in room V334 from Monday to Wednesday, and in room V106a from Thursday to Saturday.

	Monday 1 July room V334	Tuesday 2 July room V334	Wednesday 3 July room V334	Thursday 4 July room V106a/L109	Friday 5 July room V334	Saturday 6 July room V334
8:15	registration
8:30	coffee room V334	coffee room V334	coffee room V334	coffee room V106a	coffee room V334
8:45	introduction
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	Stochastic graph rewriting and (executable) knowledge representation for molecular biology Jean Krivine	Formal specification and analysis of real-time systems in Real-Time Maude Peter Csaba Ölveczky	coffee room V334
9:15						Picturing quantum processes Aleks Kissinger
10:30	break	break	break	break	break
10:45						break
11:00	Rewriting in theorem proving Christopher Lynch	Rewriting in theorem proving Christopher Lynch	Homotopy and homology of rewriting Yves Lafont	Homotopy and homology of rewriting Yves Lafont	Picturing quantum processes Aleks Kissinger	Automated complexity analysis of term rewrite systems Martin Avanzini
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	Higher-order term rewriting Cynthia Kop	Automated complexity analysis of term rewrite systems Martin Avanzini	Rewriting and music Florent Jacquemard
15:30	break	break	break	break	break	break
16:00	Infinitary rewriting and streams Hans Zantema	Infinitary rewriting and streams Hans Zantema	social event	Deduction modulo rewriting Gilles Dowek	Rewriting and music Florent Jacquemard	end
17:30	break	break	free time	break	break
18:00	Short talks session	Deduction modulo rewriting Gilles Dowek		Formal specification and analysis of real-time systems in Real-Time Maude Peter Csaba Ölveczky	end
18:30	cocktail
19:30	end	end		end
20:00			diner