Harvard University:
CS 121: Introduction
to Formal Systems and Computation
CS 221: Computational Complexity (Spring 2000)
Massachusetts Institute of
Technology:
6.045/18.400:
Automata, Computability and Complexity (Spring 2005)
6.045/18.400:
Automata, Computability and Complexity (Spring 2004)
Princeton University
COS
487: Theory of Computation (Fall 2004)
COS
487: Theory of Computation (Fall 2004)
COS
487: Theory of Computation (Fall 2003)
COS
487: Theory of Computation (Fall 2002)
COS
487: Theory of Computation (Fall 2001)
COS
487: Theory of Computation (Fall 2000)
COS
487: Theory of Computation (Fall 1999)
COS
487: Theory of Computation (Fall 1998)
COS
487: Theory of Computation (Fall 1997)
Stanford University
CS 154:
Introduction to Automata and Complexity Theory (Spring 2005)
University of Washington
CSE
322: Introduction to Formal Models in Computer Science (Winter 2006)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 2005)
CSE
322: Introduction to Formal Models in Computer Science (Spring 2005)
CSE
322: Introduction to Formal Models in Computer Science (Winter 2005)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 2004)
CSE
322: Introduction to Formal Models in Computer Science (Spring 2004)
CSE
322: Introduction to Formal Models in Computer Science (Winter 2004)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 2003)
CSE
322: Introduction to Formal Models in Computer Science (Spring 2003)
CSE
322: Introduction to Formal Models in Computer Science (Winter 2003)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 2002)
CSE
322: Introduction to Formal Models in Computer Science (Spring 2002)
CSE
322: Introduction to Formal Models in Computer Science (Winter 2002)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 2001)
CSE
322: Introduction to Formal Models in Computer Science (Spring 2001)
CSE
322: Introduction to Formal Models in Computer Science (Winter 2001)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 2000)
CSE
322: Introduction to Formal Models in Computer Science (Spring 2000)
CSE
322: Introduction to Formal Models in Computer Science (Winter 2000)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 1999)
CSE
322: Introduction to Formal Models in Computer Science (Spring 1999)
CSE
322: Introduction to Formal Models in Computer Science (Winter 1999)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 1998)
CSE
322: Introduction to Formal Models in Computer Science (Spring 1998)
CSE
322: Introduction to Formal Models in Computer Science (Winter 1998)
CSE
322: Introduction to Formal Models in Computer Science (Autumn 1997)
California Institute of
Technology
CS 21: Decidability and Tractability (Spring 2004)
University of California,
Berkeley
CS 172: Computability
and Complexity (Spring 2005)
CS 172: Computability
and Complexity (Spring 2004)
CS 172: Computability
and Complexity (Spring 2003)
CS 172:
Computability and Complexity (Spring 2002)
CS 172: Computability
and Complexity (Spring 2001)
University of California, San
Diego
CSE 105: Theory of
Computability (Winter 2006)
CSE 105: Theory of
Computability (Summer 2005)
CSE 105: Theory of
Computability (Winter 2005)
CSE 105: Theory of
Computability (Summer 2004)
CSE 105: Theory of
Computability (Winter 2004)
Cornell University
CS 381:
Introduction to Theory of Computing (Fall 2005)
CS 381:
Introduction to Theory of Computing (Sum 2005)
CS 381:
Introduction to Theory of Computing (Fall 2004)
CS 381:
Introduction to Theory of Computing (Sum 2004)
CS 381:
Introduction to Theory of Computing (Fall 2003)
CS 381:
Introduction to Theory of Computing (Sum 2003)
CS 381:
Introduction to Theory of Computing (Fall 2002)
Yale University
CS460b/560b: Theoretical Methods in Computer Science (Spring 2005)
Brown University
CS 51: Models of Computation (Fall 2003)
CS 159: Applied Theory of Computation (Spring 2004)
University of Illinois at
Urbana-Champaign
CS 273: Introduction to
the Theory of Computation (Spring 2006)
University of Toronto
CSC 236 H1Y:
Introduction to Theory of Computation (Fall 2004)
Duke University
CPS
140: Mathematical Foundations of Computer Science (Spring 2006)
CPS
140: Mathematical Foundations of Computer Science (Spring 2005)
CPS
140: Mathematical Foundations of Computer Science (Spring 2004)
University of Texas, Austin
CS 341: Automata
Theory (Spring 2006)
CS 341:
Automata Theory (Fall 2005)
Texas A&M University
CPSC 433-500: Formal
Languages and Automata (Spring 1997)
Johns Hopkins University
600.271: Automata and Computation Theory (Fall 2003)
University of Maryland
CMSC 452:
Elementary Theory of Computation (Fall 2005)
CMSC 452:
Elementary Theory of Computation (Fall 2003)
University of Oregon
CIS 420/520:
Automata Theory (Fall 2005)
CIS 420/520:
Automata Theory (Fall 2004)
CIS 420/520:
Automata Theory (Fall 2003)
CIS 420/520:
Automata Theory (Spring 2002)
CIS 420/520:
Automata Theory (Winter 2002)
University of Pittsburg
CS
1502: Formal Methods in Computer Science (Spring 2005)
Boston University
CS 420:
Introduction to the Theory of Computation (Spring 2006)
University of Arizona
CSc 473:
Automata, Grammars and Languages (Fall 2003)
CSc 473:
Automata, Grammars and Languages (Fall 2002)
Rice University
COMP 481: Automata, Formal Languages and Computability (2006)
COMP 481: Automata, Formal Languages and Computability (2004)
COMP 481: Automata,
Formal Languages and Computability (2003)
COMP 481: Automata,
Formal Languages and Computability (2002)
COMP 481: Automata,
Formal Languages and Computability (2001)
COMP 481: Automata,
Formal Languages and Computability (2000)
COMP 481: Automata,
Formal Languages and Computability (1998)
COMP 481: Automata,
Formal Languages and Computability (1997)
COMP 481:
Automata, Formal Languages and Computability (1996)