2010-2011

Colloquium: Artificial Intelligence for Artificial Artificial Intelligence

Peng Dai, Graduate Student, University of Washington Computer Science

Venue:  220K CRMS

Time: 4:00-5:00pm

Host: Professor Goldsmith

Colloquium: The SNORT Intrusion Detection System

Xiongqi (Wesley) Wu, Graduate Student, UK Computer Science

Venue: 209 CRMS

Time: 4:00-5:00pm

Hosts: Professors Griffioen, Singhal, and Marek

Colloquium: "Where's my vote?"

Dr. James Heather, the University of Surrey

Venue: 220 CRMS

Time: 4:00-5:00pm

Colloquium: Privacy in Advertising: Not all Adware is Badware

Dr. Paul Francis of Max Planck Institute for Software

Venue: CB 110

Time: 4:00-5:00pm

Host: Professor K. Calvert

Colloquium: Verification of Programs with Weakest Precondition

Mr. W. Mark Vanfleet, US National Security Agency

Host: Professor V.W. Marek

Venue: 453f FPAT (Engineering Tower)

(Refreshments at 3.30 p.m., 773 FPAT) 

Colloquium: Current Research and Implementation of MILS

Mr. W. Mark Vanfleet, US National Security Agency

Hosts: Professors V.W. Marek and M. Singhal

Venue: Windstream Room, Hardymon Blg

(Refreshments at 3.30 p.m., Hardymon Blg, 2nd floor Commons).

Colloquium: Transitions Systems for Describing Combinatorial Search Procedures

Dr. Yulia Lierer, Postdoctoral Fellow, Department of Computer Science, University of Kentucky

Host: Professor M. Truszczynski

Venue: 112 Raymond Blg (Civil Engineering) 

Mid-Central Regional ACM Programming Contest

Satellite site: University of Kentucky.

Please register your teams via the ACM ICPC web page (check the deadlines)   (Instructions)