Page 29 – International Research Project SINFIN

Pictures of the INFINIS Workshop — 14/Nov/2013

[mantra-multi][mantra-column width=”1/2″]

Pablo Heiber.

[/mantra-column] [mantra-column width=”1/2″]

Carlos Lombardi.

[/mantra-column]

[mantra-column width=”1/2″]

Flavia Bonomo.

[/mantra-column] [mantra-column width=”1/2″]

Thibaut Balabonski.

[/mantra-column]

[mantra-column width=”1/2″]

Esteban Pavese.

[/mantra-column] [mantra-column width=”1/2″]

Edgardo Zoppi.

[/mantra-column]

[mantra-column width=”1/2″]

The audience.

[/mantra-column] [mantra-column width=”1/2″]

Another view of the audience.

[/mantra-column]

[mantra-column width=”1/2″]

Lunch!

[/mantra-column] [mantra-column width=”1/2″]

Carlos Lombardi at lunch.

[/mantra-column]

[/mantra-multi]

Gabriel Senno visits LIAFA — 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.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

	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

	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

For more information on CONCUR 2013 workshops please follow this link.For more information on CONCUR 2013 workshops please follow this link.For more information on CONCUR 2013 workshops please follow this link.

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

For more information on DCM 2013 please follow this link.For more information on DCM 2013 please follow this link.For more information on DCM 2013 please follow this link.

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.