Institute for Systems Research  
 


search


ISR     UMD

Search ISR news archives

rss ISR news on RSS

twitter Follow on Twitter

Bookmark and Share


Event Information

Dr. Moshe Y. Vardi from Rice University - Special Seminar: “A Logical Revolution”
Friday, April 5, 2013
3:00 p.m.-4:30 p.m.
1110 Kim Engineering Building
For More Information:
Jasmine Cooper
301 405 3114
cooperj@umd.edu

Starting from the mid 1970s, there has been a quiet revolution in logic in computer science, and problems that are theoretically undecidable or intractable were shown to be quite feasible in practice. This talk describes the rise, fall, and rise of logic in computer science, describing several modern applications of logic to computing, include databases, hardware design, and software engineering.

This Event is For: Clark School • Graduate • Undergraduate • Faculty • Staff


   

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

April 2014
SU M TU W TH F SA
1 2 3 4 5 w
6 7 8 9 10 11 12 w
13 14 15 16 17 18 19 w
20 21 22 23 24 25 26 w
27 28 29 30 w

Search Events



ISR Distinguished Lecturer Series

IAI Colloquia Series

Advanced Networks Colloquia Series

Model-Based Systems Engineering Colloquia Series

Qualcomm Microsystems Seminar Series

-------

A.V. Williams Building Map

Clark School Calendar

Campus Map

Submit Event

 

 
Back to top          
Clark School Home UMD Home ISR Home