Facundo López Bristot, alumno (tesis Licenciatura dirigida por Pablo Heiber, beca CIN dirigida por V. Becher), ganó 2do premio de tesis de Licenciatura en JAIIO 2013, septiembre 2013Facundo López Bristot, alumno (tesis Licenciatura dirigida por Pablo Heiber, beca CIN dirigida por V. Becher), ganó 2do premio de tesis de Licenciatura en JAIIO 2013, septiembre 2013Facundo López Bristot, alumno (tesis Licenciatura dirigida por Pablo Heiber, beca CIN dirigida por V. Becher), ganó 2do premio de tesis de Licenciatura en JAIIO 2013, septiembre 2013
E. Bonelli co-organized DCM 2013, a satellite workshop of CONCUR 2013
Prof. Delia Kesner (PPS) will visit UBA in October 2013
Prof. Delia Kesner (PPS) will visit UBA in October 2013.Prof. Delia Kesner (PPS) will visit UBA in October 2013.Prof. Delia Kesner (PPS) will visit UBA in October 2013.
Prof. Eugene Asarin (LIAFA) visits UBA in August 2013
Prof. Eugene Asarin (LIAFA) visits UBA in August 2013.Prof. Eugene Asarin (LIAFA) visits UBA in August 2013.Prof. Eugene Asarin (LIAFA) visits UBA in August 2013.
P. Heiber and V. Becher visited LIA INFINIS France — July 2013
Pablo Heiber and Verónica Becher visited LIA INFINIS France (LIAFA at Université Paris Diderot) in July 2013.Pablo Heiber and Verónica Becher visited LIA INFINIS France (LIAFA at Université Paris Diderot) in July 2013.Pablo Heiber and Verónica Becher visited LIA INFINIS France (LIAFA at Université Paris Diderot) in July 2013.
V. Becher gives invited talk at DCM 2013 — 26/Aug/2013
Verónica Becher gives invited talk at DCM 2013, a satellite workshop of CONCUR 2013. Follow this link for more details.Verónica Becher gives invited talk at DCM 2013, a satellite workshop of CONCUR 2013. Follow this link for more details.Verónica Becher gives invited talk at DCM 2013, a satellite workshop of CONCUR 2013. Follow this link for more details.
Ioana Cristescu gave a talk at the LoReL seminar, UBA — 23/Aug/2013
Ioana Cristescu presents her joint work with Jean Krivine and Daniele Varacca titled A Compositional Semantics For The Reversible Pi-calculus at the LoReL seminar on the 23/Aug/2013.Ioana Cristescu presents her joint work with Jean Krivine and Daniele Varacca titled A Compositional Semantics For The Reversible Pi-calculus at the LoReL seminar on the 23/Aug/2013.Ioana Cristescu presents her joint work with Jean Krivine and Daniele Varacca titled A Compositional Semantics For The Reversible Pi-calculus at the LoReL seminar on the 23/Aug/2013.
Jean-Jacques Lévy gives course in the ECI School in UBA — 22 August 2013
[mantra-multi][mantra-column width=”1/2″]
Jean-Jacques Lévy presented a course at the ECI 2013. The title was “Reductions and Causality”. Further details may be consulted here.
[/mantra-column] [mantra-column width=”1/2″]
He also participated in discussions with the local group Logics and Dynamics of Programming Languages pertaining the topics of his expertise.
[/mantra-column]
[/mantra-multi]
Jean-Jacques Lévy presented a course at the ECI 2013. The title was “Reductions and Causality”. Further details may be consulted here. He also participated in discussions with the local group Logics and Dynamics of Programming Languages pertaining the topics of his expertise.Jean-Jacques Lévy presented a course at the ECI 2013. The title was “Reductions and Causality”. Further details may be consulted here. He also participated in discussions with the local group Logics and Dynamics of Programming Languages pertaining the topics of his expertise.