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 San-Diego 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 Wisconsin-Madison.
  • 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, Echigo-Yuzawa, 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 Graph-Theoretic Concepts in Computer Science (WG 2002), Czech Republic.
  • Models and Computability, Alma-Ata, 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 Urbana-Champaign.
  • 26th Workshop on Graph-Theoretic 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 Japan-New Zealand Workshop, Auckland.
  • The University of Wisconsin-Madison.
  • 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 Japan--New 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)
  • Erlangen-Leipzig Workshop on Logic and Combinatorics, Leipzig, Germany.
  • Conference on Logic and Complexity, Indiana.
• 1990-1994 (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.
• 1984-1990 (total: 11)
  • Algebra and Logic Department, Novosibirsk University, USSR (five presentations).
  • Kazan University, USSR.
  • Institute of Mathematics, Alma-Ata, USSR.
  • Tashkent Institute of Cybernetics, USSR.
  • Mathematics Department, Tashkent University, USSR (three presentations).