Recent News
Dissertation defense, April 7: Ala Jararweh
March 31, 2025
Dissertation defense, April 4: John Ringer
March 31, 2025
Computer Science Colloquium will discuss the use of AI in cyber-physical systems
March 27, 2025
Computer Science Colloquium will discuss strategies for sustainable AI data centers
March 10, 2025
News Archives
November
Automated Reasoning and Symbolic Computation
November 20, 2003
December
Human-Like Cognitive Models as a Basis for Cognitive Systems
December 9, 2003
Spatio-temporal Covariance Model for Human Brain MEG Analysis
December 4, 2003