COURSES ON REWRITING

Courses on Rewriting

International School on Rewriting:

http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html
A list of courses, by N. Dershowitz:

http://www.cs.tau.ac.il/~nachumd/course.html
Rewriting in computer Science and Logic, by F. Winkler:

http://www.risc.jku.at/education/courses/ss2011/rw/
Automated Deduction for Equational Logic, by Uwe Waldmann:

http://www.mpi-sb.mpg.de/~uwe/lehre/eqlogic/

See also the lecture notes available on the Quality and Safety of Software repository.

Realized by Nachum Dershowitz and Laurent Vigneron.
Last modified: 18-Dec-2014.