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
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.

Audience: Clark School  Graduate  Undergraduate  Faculty  Staff 

remind we with google calendar

 

March 2024

SU MO TU WE TH FR SA
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6
Submit an Event