BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260408T180147Z
UID:Seminar-LDCSL-935@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Othon Michail:MAILTO:Othon.Michail@liverpool.ac.uk
DTSTART:20100318T150000
DTEND:20100318T160000
SUMMARY:Liverpool Distinguished Computer Science Lecture Series
DESCRIPTION:Professor Moshe Y. Vardi: From Philosophical to Industrial Logic\n\nOne 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 in 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.\n\n\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=935
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR