On March 17, 2014, Pablo Ariel Heiber defended his PhD. thesis at the Universidad de Buenos Aires entitled”A Computational Perspective on Normal Numbers!
Director: Verónica Becher
Jury: Antonio Montalbán, University California, Berkeley
Jean-Eric Pin, CNRS-Paris Diderot
Diego Vaggione, Universidad Nacional de Córdoba, ArgentinaOn March 17, 2014, Pablo Ariel Heiber defended his PhD. thesis at the Universidad de Buenos Aires entitled”A Computational Perspective on Normal Numbers!
Director: Verónica Becher
Jury: Antonio Montalbán, University California, Berkeley
Jean-Eric Pin, CNRS-Paris Diderot
Diego Vaggione, Universidad Nacional de Córdoba, ArgentinaOn March 17, 2014, Pablo Ariel Heiber defended his PhD. thesis at the Universidad de Buenos Aires entitled”A Computational Perspective on Normal Numbers!
Director: Verónica Becher
Jury: Antonio Montalbán, University California, Berkeley
Jean-Eric Pin, CNRS-Paris Diderot
Diego Vaggione, Universidad Nacional de Córdoba, Argentina
Jean-Eric Pin gives talk at DC, FCEyN, UBA — 19/Mar/14
Este Miércoles, 19 de Marzo, a las 17 hs, el Dr. Jean-Eric Pin, del CNRS y Universidad Paris Diderot, dará la charla:
“Todo lo que querías saber sobre autómatas y nunca te atreviste a preguntar”
Aula E24, Pabellón I
Dará una introducción básica a los autómatas finitos y sus aplicaciones. No se necesitan conocimientos previos sobre autómatas para entenderla. Las diapositivas serán en castellano, pero la charla será en inglés.
Jean-Eric Pin es director de investigación del CNRs y Universidad Paris Diderot. Es un reconocido especialista en la teoría algebraica de lenguajes y autómatas. Es autor de más de 140 publicaciones incluyendo varios libros, entre ellos “Infinite Words”, en co-autoría con Dominique Perrin, publicado en la serie Pure and Applied Mathematics, Elsevier, 2004. Su página web es http://www.liafa.univ-paris-diderot.fr/~jepEste Miércoles, 19 de Marzo, a las 17 hs, el Dr. Jean-Eric Pin, del CNRS y Universidad Paris Diderot, dará la charla:
“Todo lo que querías saber sobre autómatas y nunca te atreviste a preguntar”
Aula E24, Pabellón I
Dará una introducción básica a los autómatas finitos y sus aplicaciones. No se necesitan conocimientos previos sobre autómatas para entenderla. Las diapositivas serán en castellano, pero la charla será en inglés.
Jean-Eric Pin es director de investigación del CNRs y Universidad Paris Diderot. Es un reconocido especialista en la teoría algebraica de lenguajes y autómatas. Es autor de más de 140 publicaciones incluyendo varios libros, entre ellos “Infinite Words”, en co-autoría con Dominique Perrin, publicado en la serie Pure and Applied Mathematics, Elsevier, 2004. Su página web es http://www.liafa.univ-paris-diderot.fr/~jepEste Miércoles, 19 de Marzo, a las 17 hs, el Dr. Jean-Eric Pin, del CNRS y Universidad Paris Diderot, dará la charla:
“Todo lo que querías saber sobre autómatas y nunca te atreviste a preguntar”
Aula E24, Pabellón I
Dará una introducción básica a los autómatas finitos y sus aplicaciones. No se necesitan conocimientos previos sobre autómatas para entenderla. Las diapositivas serán en castellano, pero la charla será en inglés.
Jean-Eric Pin es director de investigación del CNRs y Universidad Paris Diderot. Es un reconocido especialista en la teoría algebraica de lenguajes y autómatas. Es autor de más de 140 publicaciones incluyendo varios libros, entre ellos “Infinite Words”, en co-autoría con Dominique Perrin, publicado en la serie Pure and Applied Mathematics, Elsevier, 2004. Su página web es http://www.liafa.univ-paris-diderot.fr/~jep
Brigitte Vallée and her team presents talk at LIA (UBA) — 20/Feb/2014
On 20 February Brigitte Vallée together with some of her colleagues presented a talk at the Departamento de Computación, FCEyN, UBA.
Apart from local members of LIA, the following researchers were present: Valérie Berthé (France), Loick Lhote (France), Julien Clément (France), Guillermo Matera (Argentina) and Alfredo Viola (Uruguay).
[mantra-multi][mantra-column width=”1/2″]
Eda Cesaratto.
[/mantra-column] [mantra-column width=”1/2″]
Eda Cesaratto.
[/mantra-column][mantra-column width=”1/2″]
Some of the participants.
[/mantra-column] [mantra-column width=”1/2″]
Eduardo Bonelli.
[/mantra-column]
[/mantra-multi]On 20 February Brigitte Vallée together with some of her colleagues presented a talk at the Departamento de Computación, FCEyN, UBA.
Apart from local members of LIA, the following researchers were present: Valérie Berthé (France), Loick Lhote (France), Julien Clément (France), Guillermo Matera (Argentina) and Alfredo Viola (Uruguay).On 20 February Brigitte Vallée together with some of her colleagues presented a talk at the Departamento de Computación, FCEyN, UBA.
Apart from local members of LIA, the following researchers were present: Valérie Berthé (France), Loick Lhote (France), Julien Clément (France), Guillermo Matera (Argentina) and Alfredo Viola (Uruguay).
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 |
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