Get the Flash Player to see this rotator.
 
 


search


Robotics     UMD

Search Robotics news archives

Bookmark and Share

logo


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 »

July 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 31 w

Search Events



Clark School Calendar

Robotics Seminar Series

Campus Map

A.V. Williams Building Map

Submit Event

 

 
Back to top          
Clark School Home UMD Home ISR Home