BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20120521T074844Z
CREATED:20120116T142221Z
UID:ATEvent-baf9753bdb4627887a92fc8850b94f5f
LAST-MODIFIED:20120116T142755Z
SUMMARY:Seminario\: "A Tableau for Until and Since over Linear Time"
DTSTART:20120120T103000Z
DTEND:20120120T113000Z
DESCRIPTION:We use mosaics (and games) to provide a simple\, sound and
  complete tableau reasoning procedure for the temporal logic of until 
 and since over general linear time.
LOCATION:Sala Riunioni
CONTACT:Angelo Montanari\, angelo.montanari@uniud.it
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR