I grant readers of this page the right to reproduce one copy of any
of these talks for the purposes of research and self-study.
2024
Developing Walnut Commands for Sequence Properties, guest lecture for a course,
Automatic Sequences,
for the Dutch national MSc programme in mathematics,
run by
Wieb Bosma and Robbert Fokkink, November 7 2024.
The video is here.
Additive Number Theory via Automata, invited talk for
AAA 101--Arbeitstagung Allgemeine Algebra (101st Workshop on General Algebra),
Department of Mathematics and Informatics, University of Novi Sad,
Serbia, June 6 2021.
Proving theorems in combinatorics on words with Walnut, part of
a mini-symposium at CanaDAM 2021
(Canadian Discrete and Algorithmic Mathematics Conference), May 25 2021.
Decidability in automatic
sequences, talk for the mini-symposium at the Canadam 2013
conference, June 11 2013. There were four other talks at this
mini-symposium, and they were:
A series of 4 expository talks for the Summer School CANT
(Combinatorics, Automata, and Number Theory) at the University
of Liège, Belgium, May 8-12 2006.
Note: Problems 3 and 5 have been solved by Soroosh Yazdani and Sabin Cautis. Problem 8 was solved in 2002 by David Moews but never published in
a journal.
Formal Languages and Number Theory,
invited talk at International Colloquium on Automata, Languages, and
Combinatorics, Kyoto, Japan, March 16, 2000.
Formal Languages and Number Theory,
invited talk at
workshop on Unusual Applications of Number Theory,
DIMACS, Rutgers University, January 14, 2000.
1999
Automaticity and Rationality,
slides for invited talk at Workshop on Descriptional Complexity
of Automata, Grammars, and Related Structures, Magdeburg,
Germany, July 22, 1999.
Automaticity,
plenary talk for the conference ``Emerging Applications of Number Theory'' at
the Institute for Mathematics and Its Applications (IMA), Minneapolis, MN,
July 23 1996.