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 News
Automated Reasoning and Symbolic Computation
November 20, 2003