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
Course on rewriting by Pierre Lescanne (ENS, Lyon) in XX Escuela de Verano de Ciencias Informáticas — 18 to 23 February 2013
Bookmark the permalink.