Half Century of Automata Theory

--- Celebration and Inspiration

SYMPOSIUM PROGRAM

Wednesday, July 26, 2000
3345 Somerville House, University of Western Ontario

      Opening: 9:00 -  9:15
   
          J. Hart and A. Salomaa
          Opening Remarks
   
      Session I: 9:15 - 11:00
   
          J. A. Brzozowski
          Circuits, Automata, and Mathematics
   
          S. A. Greibach
          Origins and Early Directions of Formal Language Theory
   
          M. A. Harrison
          Research Paradigms
   
          Break: 11:00 - 11:15
   
       Session II: 11:15 - 12:30
   
          J. Hartmanis
          Goedel, Undecidability and Automata Theory
   
          J. E. Hopcroft
          Automata Theory: Its Past and Future
   
          Lunch: 12:30 - 2:00
   
       Session III: 2:00 - 3:45
   
          W. Kuich
          Forty Years of Formal Power Series in Automata Theory
   
          R. McNaughton
          Playing Infinite Games in Finite Time
   
          M. Nivat
          Can There Be a Theory of Partial Words?
   
          Break: 3:45 - 4:00
   
       Session IV: 4:00 - 6:00
   
          M. O. Rabin
          From Words to Trees, From Non-Determinism to Randomization
   
          G. Rozenberg
          The Computational Beauty and Mystery of DNA Processing
          in Ciliates
   
          A. Salomaa
          Compositions over a Finite Domain: from Completeness to
          Synchronizable Automata
   
       Conference Dinner: 7:00

Sponsoring Organizations:

          ACM SIGACT
          EATCS