BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Auxiliary variables revisited
DTSTART:20180222T111500
DTEND:20180222T121500
DTSTAMP:20260407T024547Z
UID:6e4a2952b902f4a80500b8189ba3e88dce1c1db32362585989ccadd8
CATEGORIES:Conferences - Seminars
DESCRIPTION:By Stephan Merz\, Inria Nancy (joint work with Leslie Lamport)
 \n\nAbstract\nAuxiliary variables are often needed for verifying that an i
 mplementation is correct with respect to a higher-level specification. The
 y augment the formal\ndescription of the implementation without changing i
 ts semantics—that is\, the set of behaviors that it describes. I will pr
 esent rules for introducing history\, prophecy\, and stuttering variables 
 and discuss completeness results for these rules.\n\nBio\nStephan Merz is 
 a researcher at Inria Nancy and head of the VeriDis research group interes
 ted in techniques of computer-aided deduction and their application to dis
 tributed algorithms and systems. He obtained his PhD and habilitation degr
 ees at the University of Munich\, working on temporal logic and formal met
 hods for the specification and verification of computer systems.\n\nMore i
 nformation\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR