First LIA doctoral thesis in cotutelle — Defense set for 7/Nov/2014

Carlos Lombardi will be defending his PhD thesis Friday 7 November at 11AM in room E24 at the Departamento de Computación, FCEyN, UBA.

Directores argentinos: Dr. Alejandro Ríos, Dr. Eduardo Bonelli

Director francés: Dra. Delia Kesner

Jurados:
Dr. Mauricio Ayala Rincón (Universidad de Brasilia)
Dr. Alexandre Miquel (Universidad de París)
Dr. Nazareno Aguirre (Universidad Nacional de Río Cuarto)

Título: Espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios

Resumen:
En esta tesis estudiamos distintos aspectos ligados al espacio de
reducción de diversos sistemas de reescritura.
Los sistemas abarcados presentan características que hacen que el
estudio de sus espacios de reducción diste de ser una tarea sencilla.

Las principales contribuciones son:
(1) se define una estrategia de reducción multipaso para el Pure Pattern
Calculus, un cálculo con patrones no-secuencial, y se demuestra que
dicha estrategia es normalizante;
(2) se propone un criterio para formalizar el concepto de reducción
standard en el Linear Substitution Calculus, un cálculo de sustituciones
explícitas cuyas reducciones se consideran módulo una relación de
equivalencia sobre su conjunto de términos, obteniéndose un resultado de
unicidad de reducciones standard para el criterio definido; y
(3) se caracteriza la equivalencia entre reducciones para los sistemas
de reescritura de términos infinitarios de primer orden y lineales a
izquierda, utilizándose esta caracterización para desarrollar una
demostración alternativa del resultado de compresión.

Destacamos el uso de modelos genéricos de sistemas de reescritura: se
utiliza una formulación de Sistemas Abstractos de Reescritura para
estudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
un modelo basado en Proof Terms para estudiar la reescritura
infinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
genéricos utilizados, que pueden considerarse contribuciones adicionales
de la misma.

Attracting young research students — Event at DC, UBA — 27-28/Aug/2014

On August 27 and 28, 2014, the Department of Computer Science at Facultad de
Ciencias Exactas y Naturales organized a series of talks to communicate ongoing
research. The event counted with massive attendance of young students. Sergio
Abriola, Verónica Becher, and Gabriel Senno gave talks.

INFINIS and XVI Simposio Latinoamericano de Lógica Matemática, Buenos Aires — 27/Jul to 2/Aug

Members of INFINIS had an active role in XVI Simposio Latinoamericano de Lógica
Matemática, Buenos Aires, from 27 july to August 2. Carlos Areces organized the
Logic and Computability session. Verónica Becher gave a plenary at XVI Simposio
Latinoamericano de Lógica Matemática, Buenos Aires, entitled “On Normal Numbers”.
Olivier Carton gave an invited talk entitled “Monadic Second Order Logic on Linear
Ordres”.  Many members of INFINS gave contributed talks.

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