Current Students Faculty and Staff Alumni Parents Business Partners
Directory Contact Us A-Z Index
Admissions Athletics
Alumni and Friends
Computer Science Home
Computer Science Home
Giving to Ball State
Giving to Ball State
Our Partners
Our Partners
Academic Programs
Bachelor's Degrees
Bachelor's Degrees
Master's Degrees
Master's Degrees
Doctoral Degree
Doctoral Degree
Resources
Research Teams
Research Teams
Faculty and Staff
Faculty and Staff
 
Paul Buis, Chair
Department of
Computer Science
RB 455
Ball State University
Muncie, IN 47306
Phone: (765) 285-8641
Fax: (765) 285-2614
00pebuis@bsu.edu
A department in the college of sciences and humanities-Computer Science
Email This Email a Friend   Printer Friendly Print   Download to Outlook Add to Outlook  
Computer Science Department Colloquium
Event Information
Date
11/18/2009
Time
3:30 PM - 4:30 PM
Venue
Robert Bell Building
RB104
Audience
General Audience
Additional Information
Jay Bagga and Dung Quang Vu, one of our United Nations international scholars, will speak on “Model Checking and Bytecode Verification with SPIN and Java Pathfinder”
Contact Information
Name
Jay Bagga
Email
jbagga@bsu.edu


Ball State University Copyright © 2008 Ball State University   2000 W. University Ave. Muncie, IN 47306
800-382-8540 and 765-289-1241
Legal Information    |    Employment    |    TTY Numbers
"Education Redefined" is a registered trademark of Ball State University.