Course on rewriting by Pierre Lescanne (ENS, Lyon) in XX Escuela de Verano de Ciencias Informáticas — 18 to 23 February 2013

The traditional summer school in Computer Science held annually at the campus of the Universidad Nacional de Río Cuarto (Provincia de Córdoba, República Argentina) in its XX edition, will include a course partially supported by INFINIS: Pierre Lescanne (Ecole Normale Superieure de Lyon, France) will give a course on rewriting and lambda calculus. For further details pleas consult http://dc.exa.unrc.edu.ar/rio/inicio