Eduardo Bonelli, Delia Kesner, Carlos Lombardi and Alejandro Ríos, presented the paper “Normalisation for Dynamic Pattern Calculi” in the 23rd International Conference on Rewriting Techniques and Applications (RTA) which was held in Nagoya, Japan, in May-June 2012.
-
-
Recent Posts
- Article in local newspaper on film in tribute to Turing — 20/Apr/2013
- Llamado a candidatura Bernardo Houssay 2013-2014 — Estadías Doctorales y Post-Doctorales
- Interview with Verónica Becher and Ted Slaman in local newspaper
- Codebreaker — Documentary about life and work of Alan Turing — 10 April 2013, 18hs — UBA
- Four Lectures on Normal Numbers — 18/3 to 27/3 — UBA
- BEC.AR: Master’s (M2) in France for professionals from Argentina
- Methods for Modalities Workshop 2013 (24 CADE) organized by Carlos Areces
- Eduardo Bonelli visits PPS (Université Denis Diderot) — March 2013
- Semester in Computability, Complexity and Randomness in the news!
- Course on rewriting by Pierre Lescanne (ENS, Lyon) in XX Escuela de Verano de Ciencias Informáticas — 18 to 23 February 2013
Archives