From January to June 2013 the Semester in Computability Complexity and Randomness will be held in Buenos Aires, organized programatically by Theodore Slaman (USA), Antonio Montalbán (USA) Noam Greenberg (NZ), Joseph Miller (USA), and locally by the INFINIS members Verónica Becher and Santiago Figueira. Also Serge Grigorieff is part of the event and Laurent Bienvenu and Benoit Monin will participate in the program. http://www-2.dc.uba.ar/ccr/From January to June 2013 the Semester in Computability Complexity and Randomness will be held in Buenos Aires, organized programatically by Theodore Slaman (USA), Antonio Montalbán (USA) Noam Greenberg (NZ), Joseph Miller (USA), and locally by the INFINIS members Verónica Becher and Santiago Figueira. Also Serge Grigorieff is part of the event and Laurent Bienvenu and Benoit Monin will participate in the program. http://www-2.dc.uba.ar/ccr/From January to June 2013 the Semester in Computability Complexity and Randomness will be held in Buenos Aires, organized programatically by Theodore Slaman (USA), Antonio Montalbán (USA) Noam Greenberg (NZ), Joseph Miller (USA), and locally by the INFINIS members Verónica Becher and Santiago Figueira. Also Serge Grigorieff is part of the event and Laurent Bienvenu and Benoit Monin will participate in the program. http://www-2.dc.uba.ar/ccr/
WoLLIC 2012 to be held in Buenos Aires — September 3-6, 2012
The 9th Workshop on Logic, Language, Information and Computation, WoLLIC 2012 will be held in Buenos Aires, September 3-6, 2012.
Santiago Figueira is a local organizer
http://www.glyc.dc.uba.ar/wollic12/
Carlos Areces to give invited talk at the Logic and Computability Session, IV Congreso Latinoamericano de Matemática (CLAM) — 6-10 August 2012
Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/
Verónica Becher to give plenary lecture at the Logic Workshop at Buenos Aires "A Tribute to Horacio Arló-Costa" — August 2-4, 2012
Verónica Becher will give a plenary lecture about the definition of randomness, at the Logic Workshop at Buenos Aires “A Tribute to Horacio Arló-Costa”. SADAF, Buenos Aires, August 2-4, 2012. http://www.sadaf.org.ar/web/actividades/reuniones-academicas.htmlVerónica Becher will give a plenary lecture about the definition of randomness, at the Logic Workshop at Buenos Aires “A Tribute to Horacio Arló-Costa”. SADAF, Buenos Aires, August 2-4, 2012. http://www.sadaf.org.ar/web/actividades/reuniones-academicas.htmlVerónica Becher will give a plenary lecture about the definition of randomness, at the Logic Workshop at Buenos Aires “A Tribute to Horacio Arló-Costa”. SADAF, Buenos Aires, August 2-4, 2012. http://www.sadaf.org.ar/web/actividades/reuniones-academicas.html
Olivier Carton visiting UBA — July 7 to July 27, 2012
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
Paper presented at the 7th Conference on Computability, Complexity and Randomness CCR 2012
In the 7th Conference on Computability, Complexity and Randomness CCR 2012, Isaac Newton Institute, Cambridge UK, July 2-6, 2012,
Verónica Becher and Pablo Heiber presented a new result on Normality and Differentiability
http://www.newton.ac.uk/programmes/SASsasw04.htmlIn the 7th Conference on Computability, Complexity and Randomness CCR 2012, Isaac Newton Institute, Cambridge UK, July 2-6, 2012,
Verónica Becher and Pablo Heiber presented a new result on Normality and Differentiability
http://www.newton.ac.uk/programmes/SASsasw04.htmlIn the 7th Conference on Computability, Complexity and Randomness CCR 2012, Isaac Newton Institute, Cambridge UK, July 2-6, 2012,
Verónica Becher and Pablo Heiber presented a new result on Normality and Differentiability
http://www.newton.ac.uk/programmes/SASsasw04.html
Plenary talk by Verónica Becher at Turing Centenary Conference CiE 2012
In Turing Centenary Conference CiE 2012 – How the World Computes, Cambridge UK, 18-23 June 2012, Verónica Becher gave a plenary lecture on “Turing’s normal numbers: towards randomness”.
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/In Turing Centenary Conference CiE 2012 – How the World Computes, Cambridge UK, 18-23 June 2012, Verónica Becher gave a plenary lecture on “Turing’s normal numbers: towards randomness”.
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/In Turing Centenary Conference CiE 2012 – How the World Computes, Cambridge UK, 18-23 June 2012, Verónica Becher gave a plenary lecture on “Turing’s normal numbers: towards randomness”.
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/
Verónica Becher was Visiting Fellow Isaac Newton Institute for Mathematical Sciences
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/
Talk by Olivier Carton – Two-way transducers – 18/Jul – 17hs
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/