[Colloquium] Talk by Moshe Vardi, Rice University on Monday, April 21, 2008

[Katie Casey]

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/20080414/10ac6606/attachment.html