Invited Talks and
Presentations at Conferences and Seminars (total: 166)
 2012: (total: 4)
 International workshop on randomness and probability through computability. Tokyo University (Invited talk).
 International workshop on automata and applications (invited talk). Kyoto.
 Logic seminar (3 presentations). National University of Singapore.
 Banff international workshop on computable structures, Canada (an hour talk).
 2012: (total: 2)
 Logic seminar. National University of Singapore.
 International workshop on Automata, logic and quantum computation. University of Putra Malaysia.
 2011: (total: 4)
 International workshop on Automata and Applications, Institute for Mathematical Sciences, NUS.
 Theoretical Computer Science Seminar, AUT. Seminar at the Institute for Mathematical Research, The UPM, Malaysia.
 Malcev meeting, Novosibirsk University.
 2010: (total: 5)
 Logic Seminars at Stevens Institute of Technology. Kyoto Sangyo University. Graduate Center of the City University of New York.
 Computability in Europe (CiE 2010), Portugal.
 DIMACS workshop on Exotic Constructions in group theory.
 2009: (total: 8)
 Logic Seminars at University of Hawaii (2 talks), Cornell University, Novosibirsk University, Graduate Center CUNY, Penn State University, Stevens Institute of Technology.
 Mathematical Foundations of Computer Science (MFCS 09), Slovakia.
 2008: (total: 6)
 Logic Seminars at The University of Chicago, Cornell University, and MIT.
 Logic in Computer Science (LICS 2008), Pittsburgh.
 Developments in Language Theory (DLT 2008), Kyoto
 Computability in Europe (CiE08).
 2007: (total: 7)
 Logic Seminar, National University of Singapore.
 Mathematics department seminar, University of Florida.
 Logic Seminar, University of Florida.
 Computability Theory Seminar, University of Florida (3 lectures).
 Logic Seminar, University of SanDiego at California.
 Invited Tutorials on Automatic Structures (3 lectures). Logic Colloquium 2007.
Tutorials can be downloaded from here.

2006: (Total: 4)
 Logic Seminar, Mathematics and Computer Science Departments,
National University of Singapore (two lectures)
 Mathematics department seminar, University of Malaya.
 Inagural Lecture, The University of Auckland.

2005: (Total: 10)
 New Your Logic Colloqium, Graduate Center of the City University of New Yourk (two hour invited talk)
 Logic Seminar, Mathematics Department, University of Connecticut.
 Logic Seminar, Mathematics Department, University of WisconsinMadison.
 Logic Seminar, George Washington University, Washington DC.
 Logic Seminar, Mathematics Department, Cornell University.
 Computer Science Department, Beijing Institute of Technology (two lectures).
 Asian Logic Conference, Invited talk, Novosibirsk, Russia.
 Computer Science Logic conference, Oxford, UK.

2004: (total: 5)
 AMS special session on computability and applications, Evanston, IL, USA.
 LICS 2004. Talk: Automatic Structures: Richness and Limitations, Finland.
 Seminar at Algebra Institute, Drezden Technical University, Germany.
 Logic and Computation Conference (Nelson, New Zealand): three lectures on
automatic structures, New Zealand.
 Complexity session, VIC 04 conference, New Zealand.

2003: (total: 10)
 Theory Seminar, Computer Science Department, Rice University.
 Logic Seminar, Computer Science Department, The University of Chicago (3 presentations).
 Logic Seminar, Math Department, Cornell University (2 presentations).
 Theoretical Computer Science Seminar, The University of Heidelberg.
 Computer Science Logic Conference (CSL 2003), Vienna, Austria.
 LIAFA Seminar, University of Paris 7, France.
 DMTCS 2003 conference, Dijon, France.

2002 (total: 35)
 Weighted Automata: Theory and Applications.
Dresden University of Technology, Germany. Talk: Some Thoughts
About Automatic Structures.
 European Logic Colloquium, Munster, Germany.
Talk: Computably Enumerable Algebras,
Abstract Data Types, and Algebraic Specifications.
 Asian Logic Conference. Chongqing, China.
Talk: Games on Graphs, Complexity, and Automata.
 Logic Seminar, Mathematical Institute, The University of Oxford. Talk: Computable Models and Isomorphisms.
 Computer Science Department Colloquium, The University of Manchester.
 Formal Methods seminar, Computer Science Department, The University of Manchester.
 Theory Seminar, Lab for Foundations of Computer Science, The University of Edinburgh.
 Logic Seminar, Mathematics Department, The University of Leeds.
 Computer Science Department Seminar, The University of Liverpool.
 Mathematical Logic Group Meeting, EchigoYuzawa, Japan.
 Game Theory Seminar, The University of Tsukuba, Japan.
 Programming Languages Lab Seminar,
Japan Advanced Inst of Science and Technology (JAIST).
 LICS 2002, Copenhagen, Denmark.
 Complexity Theory Seminar. Tokyo Institute of Technology.
 Logic Seminar. JAIST.
 National Institute of Informatics, Tokyo.
 Faculty of Science, Kyoto Sangyo University.
 28th International Workshop on GraphTheoretic Concepts in
Computer Science (WG 2002), Czech Republic.
 Models and Computability, AlmaAta, Kazakhstan.
 Complexity and Algorithms Lab seminar. Kyoto University.
 Computer Science Department Seminar, The University of Auckland.
 School of Computing, University of Leeds, UK.
 Computer Science Colloquium, Computer Science Department,
The University of Swansea, UK.
 16th International Workshop on Algebraic Development Techniques (WADT 2002), Germany.
 Logic and Informatics Group, Mathematics Institute, The University of Heidelberg, Germany (three seminar presentations).
 Mathematics Department, Bilgi University, Turkey.
 Faculty of Eng and Natural Sciences, Sabonchi University, Turkey (three seminar presentations).
 Computer Science Seminar, The University of Leicester.
 Computer Science Colloquium, The University of Birmingham.
 Theory and Semantics Group Seminar, Computer Lab, The University of Cambridge.
 Algebra of Programming group seminar, Computing Lab,
The University of Oxford.

2001 (total: 5)
 Complexity Theory Seminar. Tokyo Institute of Technology.
 Theory of Numerations Seminar. Novosibirsk University.
 Plenary talk at the International Computability Theory Workshop held in honor of Prof. S. Goncharov's 50th birthday. Novosibirsk University.
 Oberwolfach meeting on Computability. (I could not present an invited talk due to unplanned circumstances).
 International Symposium on Algorithms and Computation (ISAAC 2001), Christchurch, New Zealand.

2000 (total: 4)
 Australasian Theory Symposium, CATS 2000, Canberra,
Australian National University.
 The ASL annual conference, June, University of Illinois at
UrbanaChampaign.
 26th Workshop on GraphTheoretic Concepts. in Computer Science, Konstanz, Germany.
 The University of Heidelberg, Germany.
 1999 (total: 7)
 The AMS meeting, Computability Theory Session, March, Gainesville, Florida.
 The AMS Joint Summer Research Conference, Computability Theory
and Applications Conference, The University of Colorado, Boulder,
Colorado.
 Australaisan Workshop on Combinatorics and Algorithms, Perth.
 The University of Chicago.
 The University of Notre Dame.
 The University New South Wales.
 Curtin University at Perth.

1998 (total: 6)
 Logic Colloquium, Computability Theory Meeting, Prague.
 Logic in Computer Science, The Second JapanNew
Zealand Workshop, Auckland.
 The University of WisconsinMadison.
 Cornell University.
 Victoria University at Wellington.
 The University of Waikato.

1997 (total: 6)
 The AMS meeting, Computability Theory Session,
October, Milwaukee, Wisconsin.
 Logic Colloquium, Computability Theory Meeting, Leeds, UK.
 Logic in Computer Science, The First JapanNew Zealand Workshop, Auckland.
 Japan Advanced Institute of Science and Technology.
 Kyoto University.
 Cornell University.

1996 (total: 9)
 The annual meeting of the Association for Symbolic Logic,
Madisnon, Wisconsin.
 The AMS meeting, Special Session on Feasible
Mathematics, Orlando, Florida.
 Theoretical Computer Science Conference, Victoria University in Wellington.
 The University of Chicago.
 The University of Notre Dame.
 The University of Connecticut.
 Cornell University.
 Victoria University at Wellington.
 Japan Advanced Institute of Science and Technology.
 1995 (total: 4)
 The Annual Meeting of the
Association of Symbolic Logic, Irvine, California.
 Cornell University.
 Mathematical Sciences Institute at Cornell University.
 The University of Wisconsin at Madison.
 1994 (total: 2)
 ErlangenLeipzig Workshop on Logic and Combinatorics, Leipzig, Germany.
 Conference on Logic and Complexity, Indiana.
 19901994 (total: 6)
 Cornell University.
 Institute of Informatik, Karlsruhe, Germany.
 Workshop on Feasible Mathematics II, Ithaca, New York.
 Logical Methods Symposium in honor of Prof. Anil Nerode, Ithaca, New York.
 The Meeting on Algebra in honor of Academician A. Malcev,
Novosibirsk, Russia.
 International Conference in Algebra, Barnaul, USSR.
 19841990 (total: 11)
 Algebra and Logic Department, Novosibirsk University, USSR (five presentations).
 Kazan University, USSR.
 Institute of Mathematics, AlmaAta, USSR.
 Tashkent Institute of Cybernetics, USSR.
 Mathematics Department, Tashkent University, USSR (three presentations).