Verónica Becher
 
Talks and Conferences

2017

Alan Turing, el padre de la computación. Jornadas sobre ecos de la obra y figura de Alan Turing en la Argentina 10 de Noviembre 2017. Universidad Nacional de General Sarmiento. slides

" A construction of an absolutely normal and continued fraction normal number" (joint work with Sergio Yuhjtman). Randomness days, October 17-18, 2017 Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. slides

Azar y Autómatas, Jornada de Investigación para Estudiantes de Computación , Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aire, 9 de octubre 2017. slides

"Normal numbers, Logic and Automata'', Highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL'2017 of European Association for Computer Science Logic ; Stockholm University, August 20, 2017. slides

"Computing normal numbers". Invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis , Daejeon, Republic of Korea, July 24 - 27, 2017. slides

"Normality together with other properties", Number theory seminar Nancy-Metz, Institut Élie-Cartan de Lorraine, June 1, 2017. slides

2016

"Construction of normal numbers", Workshop Normal Numbers: Arithmetic, Computational and Probabilistic Aspects. Erwin Schrödinger International Institute for Mathematics and Physics (ESI) , 14-18 November, 2016.

"Finite-state independence and normal sequences" LIA INFINIS Workshop 4 November 2016, Paris. slides

"Randomness!", Invited lecture, 28th European Summer School in Logic, Language and Information, Bolzano-Bozen, 23 August, 2016. slides

"Independence of normal numbers", Conference on Computability, Randomness and Applications, Centre International de Rencontres Mathématiques, Marseille. June 20 - 24, 2016. slides

2015

"Nuevos números normales". Charlas en honor a Joos Heintz por sus 70 aƱos. Técnicas (semi)numéricas en la resolución de sistemas polinomiales. Buenos Aires, 26 de octubre 2015. slides

"Constructing normal numbers" Invited talk in Mathematical Logic. 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, Finland, August 3--8, 2015. slides

"Constructing normal numbers", invited talk at North American Annual Meeting of the Association for Symbolic Logic, University of Illinois, March 25 to 28, 2015. slides

"On normal numbers" (an overview), Séminaire general de logique, Equipe de Logique Mathématique, Université Paris Diderot, February 2, 2015. slides

2014

"On normal numbers" (a constructive view) , Colloquium at Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 2 Octubre , 2014. slides

"On normal numbers (independence of normality to different bases)" Invited speaker at WoLLIC 2014 , Valparaiso Chile, September 1-4, 2014. slides

"El azar y las computadoras" Día de la investigación del Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 27 Agosto, 2014. slides

"On normal numbers (old problems, new results)". Plenary speaker at XVI Simposio Latinoamericano de Ló,gica Matemá,tica, Buenos Aires, 27 de julio al 2 de agosto de 2014. slides

"New normal numbers" Seminario de Probabilidades del Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, July 2, 2014. slides

"Normality, Computability and Diophantine Approximation", Algorithmic Randomness Programme, Institute for Mathematical Sciences, Singapore, June 16, 2014. slides

"A computable absolutely normal Liouville number", Algorithmic Randomness Programme, Institute for Mathematical Sciences, Singapore, May 26 , 2014. slides

2013

"On Turing's note on normal numbers", (including new results), invited talk at Developments in Computational Models 2013, a satellite event of CONCUR 2013, Buenos Aires August 26, 2013 slides

"On normal numbers", (including new results) at Dagstuhl Seminar 13311 "Duality in Computer Science", July 28-August 2, 2013 slides

"On normal numbers", talk at Séminaire Automates, LIAFA, Université Paris Diderot, July 12, 2013 slides

Lectures on normal numbers, Buenos Aires Semester in Computability Complexity and Randomness, March 2013. slides

2012

"Turing's normal numbers: Towards Randomness". Invited speaker in Turing Centenary Conference CiE 2012 How the World Computes, Cambridge, UK, June 18-23, 2012. slides

"On the Definition of Randomness" Invited speaker in Logic Workshop at Buenos Aires A Tribute to Horacio Arló Costa. SADAF, Buenos Aires, August 24, 2012.

"Normality and Differentiability", presented by Pablo Heiber. Seventh International Conference on Computability, Complexity and Randomness, Isaac Newton Institute form Mathematical Sciences, Cambridge, UK, June 2012. extended abstract

"Sobre el Problema de Dar Ejemplos de Números Normales" Instituto de Matemática Aplicada del Litoral (IMAL) del CONICET, Santa Fe, Abril 2012. slides

2011

"A better complexity of finite sequences" Invited speaker in "Computability, Complexity and Randomness 2011", Cape Town, South Africa, January 2011. slides

2010

"Efficient algorithms fror genomic sequence analysis", reunión científica STICAMSUD, Departamento de Computación, FCEyN, UBA, November 5, 2010.

"Deep into Genomes: Looking for Perfect Repeats in Eukaryote Genomes", P. Barenbaum, V. Becher, A. Deymonnaz, M. Halsband, P. Heiber, J. Herrero, H. Dopazo, Groupement De Recherche Européen (GDRE), Comparative Genomics Meeting, November 16-17, 2010, Barcelona, Spain.

Plenary conference, 1er Congreso Argentino de Bioinformática y Biología Computacional, Mayo 14,2010, Universidad Nacional de Quilmes, Buenos Aires.

2009

"A new efficient algorithm to find all DNA repeats with exact matching", in 24th IFIP conference on System Modelling and Optimization, July 27-31, 2009 Buenos Aires, Argentina, 2009.

"Perfect repeats in te human genome, an exhaustive but efficient computation", invited seminar talk IBM Life Science, Watson Research, New York, July 22, 2009.

"Effective hard sets", with Serge Grigorieff, Fourth International Conference in in Computability, Complexity and Randomness 29 June to July 3, 2009, CIRM center at Lumniny, Marseille, France.

"Perfect repeats in te human genome, an exhaustive but efficient computation", Invited seminar talk at IFIBYNE, CONICET, Depto. Fisiología, Biología Molecular y Celular, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, May 7, 2009.

"What do different chromosomes have in common? An exhaustive but efficient computation", Invited talk at Center for Genomic Regulation, Barcelona, España, January 27, 2009.

"What do different chromosomes have in common? An exhaustive but efficient computation", Invited seminar talk at Instituto de Investigaciones Príncipe Felipe, Valencia, España, January 23, 2009.

2008

"Random reals from usual mathematical notions", Computability, Complexity and Randomness", Nanjing China, 18 May 2008.

"Wadge Hardness and Randomness" Invited talk at Seminar on Topological and Game Theoretic Aspects of infinite computations, Schloss Dagstuhl, Wadern, Germany, June to 4 July 2008.

"Eulerian sequences in de Bruijn graphs", talk at the Séminaire Complexité, Logique et Informatique, Paris 7, LIAFA, Université Paris Diderot, February 2008.

"Cycles in de Bruij graphs", invited talk at "Jouurné de 60 ans de Serge Grigorieff, Université Paris Diderot, 15 Janvier 2008.

2007

"Números reales aleatorios", conferencia plenaria invitada, Unión Matemática Argentina, FAMAF, Universidad de Córdoba, 21 de septiembre de 2007.

2006

"Turing's unpublished algorithm for normal numbers", conferencia plenaria invitada, XIII Simposio Latinoamericano de Lógica Matemática, Oaxaca México, 10 Agosto 2006.

"On the old problem of a definition of randomness useful in practice", invited talk at Workshop on Effective Randomness, Palo Alto, 7 al 10 de Agosto 2006.

"Turing's unpublished algorithm for normal numbers", Turing days, Bilgi Universitesi, Istambul, 27 May 2006.

Turing's unpublished algorithm for normal numbers", Seminar on Kolmogorov Complexity and Alications, Schloss Dagstuhl, Enero 2006.

2005

"Cornucopia of randomness", Meeting in honor of Joos Heintz's 60th birthday, Third international workshop on seminumerical techniques in polynomial equation solving,Buenos Aires, October 2428, 2005.

"Old and new results in Program size complexity", LIAFA, Université Paris Diderot, France, March 2005.

2004

"High Randomness in the spirit of Rice's theorem for computability", University of Victoria at Wellington, New Zealand, November 2004.

"A conjecture on Randomness in the spirit of Rice's theorem", XII Latin American Symposium on Mathematical Logic, San José, Costa Rica, 1216 January 2004.

2003

"Is Complexity reusable?" Primeras Jornadas Latinoamericanas de Ingeniería y Desarrollo de Software. Microsoft Argentina, Pabellón Blanco de La Rural, October 30, 2003. Panelists: Verónica Becher, Yuri Gurevich , Joos Heintz.

"Randomness and Infinite Computations", Seminar on Kolmogorov Complexity and Aplications, Dagstuhl Schloss, Germany, April 2003.

"Program size complexity in possibly infinite computations", with S. Figueira y A. Nies, Workshop on Computability and Randomness, RuprechtKarlsUniversitat Heidelberg, Germany, April 2003.

2002

"Randomness: solved and unsolved questions", Ecole Normal Superieure, Paris, January 2002.

"On the Standard proof of randomness", King's College, London, UK, January 2002.

"On the Standard proof of randomness", ILLC, University of Amsterdam, The Netherlands, January 2002.

2001

"A Highly Random Number", Discrete Mathematics and Theoretical Computer Science, Constanta, Rumania, July 2001.

"Randomness and real numbers". CREA Ecole Polytechnique, Paris, July 2001.

"Examples of higher order randomness", XIV Coloquio Latinoamericano de Algebra, La Falda, Córdoba, Argentina, July 2001.

"El azar y los números reales". Dept.de Física, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, June 2001.

"El azar y los números reales", FAMAF, Universidad de Córdoba, Argentina, July 2001.

"Una Función de cambio Analítico", con Christian Durr, Workshop on Theory Change and Theory of Conditionals, Buenos Aires, December 2001.

1998

"Incompletitud y Azar", Sociedad Argentina de Análisis Filosófico (SADAF), December 1998.

1995

"A comparison between two defeasible conditionals in standard modal logics", Coloquio de Filosofía Teórica, SADAF, July 1995.

"Unified semantics for Revision and Update", Department of Computer Science, The University of British Columbia, January 1995.