BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20120120T103000Z
DTEND:20120120T113000Z
DCREATED:20120116T142221Z
UID:ATEvent-baf9753bdb4627887a92fc8850b94f5f
SEQUENCE:0
LAST-MODIFIED:20120116T142755Z
SUMMARY:Seminario\: "A Tableau for Until and Since over Linear Time"
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
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR