Author: Editorial team

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

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

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.