The University of Maryland Institute for Advanced Computer Studies (UMIACS) has been sponsoring a weekly seminar series on Logic and Artificial Intelligence since 1993.

• Questions: Please address questions concerning the seminars to Don Perlis perlis@cs.umd.edu .
  
• Mailing list: If you wish to be included in (or removed from) the mailing list for this seminar, please send mail.
  
• Related seminar: A related seminar series that may be of interest is the Computational Linguistics Colloquium Series.

• Spring 01
• February 12, 2001
  
  Patrick J Hayes
  University of West Florida
  `Cyclic time intervals'
  
• February 26, 2001
  
  Lawrence S Moss
  Indiana University, visiting UMIACS & JHU Cog Sci
  `Circularity, Non-wellfounded Sets, and Coalgebra'
  
• March 12, 2001
  
  Fahiem Bacchus
  University of Toronto
  `A Search Engine based on Model Checking First Order Formulas'
  
• March 28, 2001
  
  Mark Turner
  University of Maryland
  `Cognition, Creativity, and Reason'
  
• April 16, 2001
  
  Claire Cardie
  Cornell University
  `Noun Phrase Coreference for Information Extraction'
  
• April 23, 2001
  
  Rohit Parikh
  Brooklyn College of the City University of New York
  `Social Software'
  
• May 7, 2001
  
  Paul Syverson
  U.S. Naval Research Laboratory
  `How to Open Two Envelopes'
  

• Fall 00
• Spring 00
• Fall 99
• Spring 99
• Fall 98
• Spring 98
• Fall 97
• Spring 97
• Fall 96
• Spring 96
• Fall 95
• Spring 95

• Jeff Horty. Dept. of Philosophy and UMIACS
• Jack Minker. Dept. of Computer Science and UMIACS
• Michael Morreau. Dept. of Philosophy and UMIACS
• Don Perlis. Dept. of Computer Science and UMIACS
• V.S. Subrahmanian. Dept. of Computer Science and UMIACS

Credits:
This page was originally written by Carolina Ruiz.
It used to be maintained by Betsy Klipple.
It is now being maintained by Active Logic Group . Send comments here.