[Colloquium] Reminder: Talk by Moshe Vardi, Rice University Today
Katie Casey
caseyk at cs.uchicago.edu
Mon Apr 21 08:19:01 CDT 2008
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF CHICAGO
Date: Monday, April 21, 2008
Time: 2:30 p.m.
Place: Ryerson 251, 1100 E. 58th Street
----------------------------------------------------------
Speaker: Moshe Vardi
From: Rice University
Web page: http://www.cs.rice.edu/~vardi/
Title: From Philosophical to Industrial Logics
Abstract: One of the surprising developments in the area of program
verification is how several ideas introduced by logicians in the first
part of the 20th century ended up yielding at the start of the 21st
century industry-standard property-specification languages called PSL
and SVA. This development was enabled by the equally unlikely
transformation of the mathematical machinery of automata on infinite
words, introduced in the early 1960s for second-order arithmetics,
into effective algorithms for industrial model-checking tools. This
talk attempts to trace the tangled threads of this development.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20080421/c92abab8/attachment.html
More information about the Colloquium
mailing list