Verónica Becher
 
Talks and Conferences

2024

Perfect necklaces. Workshop EPA! (Entropy and Probabilistic Analysis of Algorithms), October 21-25, 2024, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, slides

Computability and Mathematical Definability, Celebrating the Seventieth Birthday of Theodore Slaman October 11-13, 2024, University of California, Berkeley slides

On Korobov's problem on the discrepancy associated to normal numbers. Workshop on Diophantine Approximation, Dynamical Systems and Related Topics Tsinghua Sanya International Mathematics Forum (TSIMF) China January 28- February 3,2024.

2023

Perfect Necklaces. Séminaire de l'équipe de Théorie Ergodique et Systèmes Dynamiques L'Institut Galilée, Université Sorbonne Paris Nord. October 11, 2023 slides

Invited speaker. Normal numbers with digit dependencies. Numeration 2023 May 22-26, Liège, Belgium. slides

Perfect necklaces and their discrepancy estimates. Colloquium. Quasi-Monte Carlo Methods: Theory and Applications FWF Austrian Science Fund, Special Research Program (SFB) January 12, 2023, Joannnes Kepler Univesität, Linz, Austria. slides


2022

Alan Turing's normal numbers. Carnegie Mellon Mathematical Logic seminar. slides November 29, 2022

Charla " Aleatoriedad", en materia Probabilidades y Estadística, Facultad de Ciencias Exactas y Natrales, Universidad de Buenos Aires, 18 octubre 2022.

Invited speaker. Normal number and perfect necklaces. Special session 70th birthday of Prof. Victor Selivanov. Fourth Workshop on Digitalization and Computable Models (WDCM-2022). Sobolev Institute of Mathematics (Novosibirsk, Russia) and Kazan Federal University (Russia) slides October 29, 2022

Invited speaker. Insertion in normal numbers. International conference on computability, complexity and randomness, SASW09 Isaac Newton Institute form Mathematical Sciences, June 6-10, 2022. slides

Poison generic real numbers. One World Numeration Seminar, May 31, 2022. slides

Charla " Tests de aleatoriedad", en materia Probabilidades y Estadística, Facultad de Ciencias Exactas y Natrales, Universidad de Buenos Aires, 18 de mayo 2022. .pdf

Invited speaker. Poisson generic real numbers. Nineteenth International Conference on Computability and Complexity in Analysis (CCA 2022) May 23 - 26, 2022

Poisson generic real numbers. Number Theory seminar, Tel Aviv University February 24, 2022.

2021

Invited Talk. "Perfect necklaces". TeresaFest, Symbolic and Numerical Algorithm in Algebriac Geometry. Conference in honor of Teresa Krick, 14 December 2021.

"Perfect necklaces". Talk at Virtual Meeting STIC AMSUD RAPA2 Project/RAOFA-SINFIN November 30, 2021.

Invited talk at inaugural conference of the Logic Association of Malaysia, October 20 2021.

Invited talk Joint Annual Conference of the German Mathematical Society DMV and the Austrian Mathematical Society ÖMG University of Passau, Germany. September 29, 2021.

Invited talk at Logic and Computability session 6th Latin-American Congress of Mathematicians CLAM 2021 Montevideo September 14th, 2021. slides

Nested perfect necklaces and normal numbers. Seminar in Diophantine Analysis, Faculty of Mechanics and Mathematics Moscow State University (M.V. Lomonosov). March 23, 2021 slides

Open questions on randomness and uniform distribution. Computability Theory and Applications Seminar. March 9, 2021. slides

On modifying normal numbers. Seventh International Conference on Uniform Distribution Theory February 22, 2021. slides

Normal numbers and perfect necklaces. Midwest Computability Seminar XXVI, Part ii. February 15, 2021. slides

2020

Extending de Bruijn sequences to larger alphabets STIC AMSUD RAPA2 Project - December 11, 2020 slides

2019

"Azar y Autómatas", 3er. D&iactute; de la investigación en Ciencias de la Computación, ICC y Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA, 15 de marzo 2019 slides

Normal numbers with digit dependencies. AMS-ASL Special Session on “Algorithmic Dimensions and Fractal Geometry” at the 2019 Joint Mathematics Meetings, January 16-19, 2019, Baltimore, MD, USA. slides

2018

Random! Semana de la Computació, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 13 de Junio de 2018. slides

Randomness and uniform distribution modulo one, joint work with Serge Grigorieff and Theodore Slaman. "Automata" seminar IRIF, Université Paris Diderot, January 19, 2018. slides

Randomness and uniform distribution modulo one, joint work with Serge Grigorieff and Theodore Slaman. Oberwolfach Workshop 1802 "Computability Theory'', January 7-13, 2018. slides

2017

Una construcción de un número absolutamente normal y con fracci&oaucte;n continua normal. Trabajo conjunto con Sergio Yuhjtman. Reunión Anual de la Unión Matemática Argentina,, Departamento de Matemática - Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. Buenos Aires, 11 al 15 de Diciembre 2017.

Randomness! Talk at Workshop of the Division for Logic, Methodology, and Philosophy of Science and Technology "Global Perspectives on Reasoning and Scientific Method", Salzburg, Austria. 30 November and 1 December 2017. slides

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.