Gabriel Senno visited LIAFA (Université Paris Diderot) from March to July 2013.Gabriel Senno visited LIAFA (Université Paris Diderot) from March to July 2013.Gabriel Senno visited LIAFA (Université Paris Diderot) from March to July 2013.
LIA INFINIS Workshop — UBA — 14/Nov/2013
LIA INFINIS Workshop is scheduled to take place at the Departamento de Computación, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. The program is included below. You are welcome to attend
| Speaker | Affiliation | Title | |
| 9:45:00 | Delia Kesner, Sergio Yovine | Welcome | |
| 10:00:00 | Pablo Heiber | UBA | A computational perspective on normal numbers |
| 10:30:00 | Carlos Lombardi | UNQ, UBA | Proof-terms for infinitary rewriting |
| 11:00:00 | Flavia Bonomo | UBA | Minimum weight clique cover in claw-free perfect graphs |
| 11:30:00 | Coffee | ||
| 12:00:00 | Thibaut Balabonski | INRIA | Weak Optimality, and the Meaning of Sharing |
| 12:30:00 | Esteban Pavese | UBA | Quantitative analysis of partial verification efforts |
| 13:00:00 | Edgardo Zoppi | UBA | Quantitative analysis of .NET programs to infer heap memory consumption |
| 13:30:00 | Delia Kesner, Sergio Yovine | Closing remarks |
LIA INFINIS Workshop is scheduled to take place at the Departamento de Computación, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. The program is included below. You are welcome to attend!
| Speaker | Affiliation | Title | |
| 9:45:00 | Delia Kesner, Sergio Yovine | Welcome | |
| 10:00:00 | Pablo Heiber | UBA | A computational perspective on normal numbers |
| 10:30:00 | Carlos Lombardi | UNQ, UBA | Proof-terms for infinitary rewriting |
| 11:00:00 | Flavia Bonomo | UBA | Minimum weight clique cover in claw-free perfect graphs |
| 11:30:00 | Coffee | ||
| 12:00:00 | Thibaut Balabonski | INRIA | Weak Optimality, and the Meaning of Sharing |
| 12:30:00 | Esteban Pavese | UBA | Quantitative analysis of partial verification efforts |
| 13:00:00 | Edgardo Zoppi | UBA | Quantitative analysis of .NET programs to infer heap memory consumption |
| 13:30:00 | Delia Kesner, Sergio Yovine | Closing remarks |
LIA INFINIS Workshop is scheduled to take place at the Departamento de Computación, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. The program is included below. You are welcome to attend!
| Speaker | Affiliation | Title | |
| 9:45:00 | Delia Kesner, Sergio Yovine | Welcome | |
| 10:00:00 | Pablo Heiber | UBA | A computational perspective on normal numbers |
| 10:30:00 | Carlos Lombardi | UNQ, UBA | Proof-terms for infinitary rewriting |
| 11:00:00 | Flavia Bonomo | UBA | Minimum weight clique cover in claw-free perfect graphs |
| 11:30:00 | Coffee | ||
| 12:00:00 | Thibaut Balabonski | INRIA | Weak Optimality, and the Meaning of Sharing |
| 12:30:00 | Esteban Pavese | UBA | Quantitative analysis of partial verification efforts |
| 13:00:00 | Edgardo Zoppi | UBA | Quantitative analysis of .NET programs to infer heap memory consumption |
| 13:30:00 | Delia Kesner, Sergio Yovine | Closing remarks |
D. Garbervetsky and E. Bonelli were workshop organizers at CONCUR 2013 — Aug. 2013
D. Garbervetsky gave a tutorial at QEST 2013, CONCUR 2013 — Aug. 2013
D. Garbervetsky gave a tutorial at QEST 2013, CONCUR 2013 — Aug. 2013D. Garbervetsky gave a tutorial at QEST 2013, CONCUR 2013 — Aug. 2013D. Garbervetsky gave a tutorial at QEST 2013, CONCUR 2013 — Aug. 2013
F.L. Bristot won the 2nd prize for his undergraduate thesis in JAIIO 2013 — Sep. 2013
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.