Olivier Carton is visiting the Departamento de Computacion, FCEyN, Universidad de Buenos Aires, July 7 to July 27, 2012Olivier Carton is visiting the Departamento de Computacion, FCEyN, Universidad de Buenos Aires, July 7 to July 27, 2012Olivier Carton is visiting the Departamento de Computacion, FCEyN, Universidad de Buenos Aires, July 7 to July 27, 2012

Verónica Becher was Visiting Fellow Isaac Newton Institute for Mathematical Sciences , in the Program Semantics and Syntax – A Legacy of Alan Turing, Cambridge UK, 17 June-July 6, 2012. http://www.newton.ac.uk/SAS/Verónica Becher was Visiting Fellow Isaac Newton Institute for Mathematical Sciences , in the Program Semantics and Syntax – A Legacy of Alan Turing, Cambridge UK, 17 June-July 6, 2012. http://www.newton.ac.uk/SAS/Verónica Becher was Visiting Fellow Isaac Newton Institute for Mathematical Sciences , in the Program Semantics and Syntax – A Legacy of Alan Turing, Cambridge UK, 17 June-July 6, 2012. http://www.newton.ac.uk/SAS/

Time: Wednesday 18 July, 17hs.
Place: Departamento de Computacion, (room to be determined)

Title: Two-way transducers
Speaker: Olivier Carton, Université Paris Diderot

Abstract:
In this talk, we consider two-way transducers with a two-way
output tape. To each cell of the input tape corresponds a cell of the
output tape where the transducer can write a finite word. At each
transition, the transducer reads one cell of the input tape and either
leave unchanged the corresponding cell of the output tape or write a new
word into it, overwriting the previous content. We show that each
relation realized by such a two-way transducer is rational. It can be
realized by a one-way transducer. We also show that any rational function
can be realized by a deterministic two-way transducer.

Olivier Carton is professor at the Université Paris Diderot and member of the
LIAFA and INFINIS (Association between CONICET-UBA/CNRS-Universite
Paris Diderot) laboratories. Olivier Carton is a renowned expert in
automata theory. http://www.liafa.univ-paris-diderot.fr/~carton/Time: Wednesday 18 July, 17hs.
Place: Departamento de Computacion, (room to be determined)

Title: Two-way transducers
Speaker: Olivier Carton, Université Paris Diderot

Abstract:
In this talk, we consider two-way transducers with a two-way
output tape. To each cell of the input tape corresponds a cell of the
output tape where the transducer can write a finite word. At each
transition, the transducer reads one cell of the input tape and either
leave unchanged the corresponding cell of the output tape or write a new
word into it, overwriting the previous content. We show that each
relation realized by such a two-way transducer is rational. It can be
realized by a one-way transducer. We also show that any rational function
can be realized by a deterministic two-way transducer.

Olivier Carton is professor at the Université Paris Diderot and member of the
LIAFA and INFINIS (Association between CONICET-UBA/CNRS-Universite
Paris Diderot) laboratories. Olivier Carton is a renowned expert in
automata theory. http://www.liafa.univ-paris-diderot.fr/~carton/Estan todos invitados proximo Miercoles 18 de Julio, a las 17 hs
Lugar: Departamento de Computacion, aula a determinar

Título: Two-way transducers
Orador: Olivier Carton, Université Paris Diderot

Resumen:
In this talk, we consider two-way transducers with a two-way
output tape. To each cell of the input tape corresponds a cell of the
output tape where the transducer can write a finite word. At each
transition, the transducer reads one cell of the input tape and either
leave unchanged the corresponding cell of the output tape or write a new
word into it, overwriting the previous content. We show that each
relation realized by such a two-way transducer is rational. It can be
realized by a one-way transducer. We also show that any rational function
can be realized by a deterministic two-way transducer.

Olivier Carton es profesor de la Universidad Paris Diderot y miembro del
Laboratorios LIAFA y INFINIS (Asociado CONICET-UBA/CNRS-Universite Paris
Diderot). Olivier Carton es un reconocido especialista en teoria de
automatas http://www.liafa.univ-paris-diderot.fr/~carton/

Various members of the LIA INFINIS are participating in both the organization and program committee of WOLLIC 2012 which this year will be held in Buenos Aires. Various members of the LIA INFINIS are participating in both the organization and program committee of WOLLIC 2012 which this year will be held in Buenos Aires.Various members of the LIA INFINIS are participating in both the organization and program committee of WOLLIC 2012 which this year will be held in Buenos Aires.

An article on ECI appeared in Canal AR, an important online tech news site, in which INFINIS is mentioned.An article on ECI appeared in Canal AR, an important online tech news site, in which INFINIS is mentioned.An article on ECI appeared in Canal AR, an important online tech news site, in which INFINIS is mentioned.

Diego Garbervetsly program co-chair of the 2nd Workshop on Developing Tools as Plug-ins colated with ICSE. June 2012.Diego Garbervetsly program co-chair of the 2nd Workshop on Developing Tools as Plug-ins colated with ICSE. June 2012.Diego Garbervetsly program co-chair of the 2nd Workshop on Developing Tools as Plug-ins colated with ICSE. June 2012.

Delia Kesner, is co-chair of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012) which will hold in Rio de Janeiro in September 2012.
http://www.uff.br/lsfa/Delia Kesner, is co-chair of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012) which will hold in Rio de Janeiro in September 2012.
http://www.uff.br/lsfa/Delia Kesner, is co-chair of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012) which will hold in Rio de Janeiro in September 2012.
http://www.uff.br/lsfa/