Author: Editorial team

Two researchers from U. Nacional de Gral. Sarmiento visit U. Paris Diderot (LIAFA) — May/2014

Eda Cesaratto and Guillermo Matera visit LIAFA as part of an ongoing collaboration with
Julien Clement, Brigitte Vallée, Valérie Berthé and Loick Lhote. They will participate a series of talks that will take place on 26 May and whose details are described below.

Place:
Salle commune LIAFA PPS 3052
Bât. Sophie Germain
3ème étage

Program:
10h00-10h30 : accueil
10h30-12h30: présentation du projet
Thème 1: Brigitte Vallée (Caen)
Thème 2: Eda Cesaratto (Buenos Aires)
Thème 3: Julien Clément (Caen)
Thème 4: Alfredo Viola (Montevideo)

13h : repas Crous Buffon.

14h30 : G. Matera On the number of elements in families of
univariate polynomials over a finite field with a given factorization pattern

15h30: Alfredo Viola How to find and enumerate k correlation-immune
functions of minimum
weight: an algorithmic approach

19h30 : repas restaurant Dupont (a cote du labo)

27 mai
10h00-12h30 : Eda and Valerie Analysis of some parameters of
interest in Sturmian words

13h : repas Crous Buffon

14h30 : Brigitte Vallée On periodic trajectories
Eda Cesaratto and Guillermo Matera visit LIAFA as part of an ongoing collaboration with
Julien Clement, Brigitte Vallée, Valérie Berthé and Loick Lhote. They will participate a series of talks that will take place on 26 May and whose details are described below.

Place:
Salle commune LIAFA PPS 3052
Bât. Sophie Germain
3ème étage

Program:
10h00-10h30 : accueil
10h30-12h30: présentation du projet
Thème 1: Brigitte Vallée (Caen)
Thème 2: Eda Cesaratto (Buenos Aires)
Thème 3: Julien Clément (Caen)
Thème 4: Alfredo Viola (Montevideo)

13h : repas Crous Buffon.

14h30 : G. Matera On the number of elements in families of
univariate polynomials over a finite field with a given factorization pattern

15h30: Alfredo Viola How to find and enumerate k correlation-immune
functions of minimum
weight: an algorithmic approach

19h30 : repas restaurant Dupont (a cote du labo)

27 mai
10h00-12h30 : Eda and Valerie Analysis of some parameters of
interest in Sturmian words

13h : repas Crous Buffon

14h30 : Brigitte Vallée On periodic trajectories
Eda Cesaratto and Guillermo Matera visit LIAFA as part of an ongoing collaboration with
Julien Clement, Brigitte Vallée, Valérie Berthé and Loick Lhote. They will participate a series of talks that will take place on 26 May and whose details are described below.

Place:
Salle commune LIAFA PPS 3052
Bât. Sophie Germain
3ème étage

Program:
10h00-10h30 : accueil
10h30-12h30: présentation du projet
Thème 1: Brigitte Vallée (Caen)
Thème 2: Eda Cesaratto (Buenos Aires)
Thème 3: Julien Clément (Caen)
Thème 4: Alfredo Viola (Montevideo)

13h : repas Crous Buffon.

14h30 : G. Matera On the number of elements in families of
univariate polynomials over a finite field with a given factorization pattern

15h30: Alfredo Viola How to find and enumerate k correlation-immune
functions of minimum
weight: an algorithmic approach

19h30 : repas restaurant Dupont (a cote du labo)

27 mai
10h00-12h30 : Eda and Valerie Analysis of some parameters of
interest in Sturmian words

13h : repas Crous Buffon

14h30 : Brigitte Vallée On periodic trajectories

Two researchers from U. Paris Diderot visit UBA — May/2014

Antonio Bucciarelli and Delia Kesner visited UBA for a period of 2 weeks starting 5 May. They interacted with the local group on rewriting and lambda calculus (LoReL). Antonio gave a talk on “Definability and Full Abstraction Problems for Lambda Calculi”.Antonio Bucciarelli and Delia Kesner visited UBA for a period of 2 weeks starting 5 May. They interacted with the local group on rewriting and lambda calculus (LoReL). Antonio gave a talk on “Definability and Full Abstraction Problems for Lambda Calculi”.Antonio Bucciarelli and Delia Kesner visited UBA for a period of 2 weeks starting 5 May. They interacted with the local group on rewriting and lambda calculus (LoReL). Antonio gave a talk on “Definability and Full Abstraction Problems for Lambda Calculi”.

Pablo Heiber defended his PhD thesis succesfully — DC, FCEyN, UBA — 17/Mar/14

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″]

2014-02-20 10.55.13
Eda Cesaratto.

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

2014-02-20 10.55.18
Eda Cesaratto.

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

2014-02-20 10.55.33
Some of the participants.

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

2014-02-20 12.04.19
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″]

photo1

Pablo Heiber.

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

photo2

Carlos Lombardi.

[/mantra-column]

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

photo3

Flavia Bonomo.

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

photo4

Thibaut Balabonski.

[/mantra-column]

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

photo5

Esteban Pavese.

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

photo6

Edgardo Zoppi.

[/mantra-column]

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

photo7

The audience.

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

photo8

Another view of the audience.

[/mantra-column]

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

photo9

Lunch!

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

photo10

Carlos Lombardi at lunch.

[/mantra-column]

[/mantra-multi]

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