BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260920T141708Z
UID:Seminar-dept-275@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20111214T110000
DTEND:20111214T120000
SUMMARY:School Seminar Series
DESCRIPTION:Ben Moszkowski: Compositional Reasoning using Intervals and Time Reversal\n\nWe apply Interval Temporal Logic (ITL), an established temporal formalism for reasoning about time periods, to extending known facts by looking at them in reverse and then reducing reasoning about infinite time to finite time.  Our presentation discusses a basic and interesting class of compositional ITL formulas and some properties obtained from them with the aid of time reversal. We are currently exploring the use of these techniques as part a compositional analysis of some aspects of concurrent behaviour involving mutual exclusion.  It also appears that time reversal can sometimes assist in reducing reasoning in ITL to conventional linear-time temporal logic.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=275
LOCATION:ALT
END:VEVENT
END:VCALENDAR