BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:Lectures by Dexter Kozen and Dorel Lucanu
DTSTART:20111107T113000Z
DTEND:20111107T133000Z
UID:e7557803-d85f-4328-9053-75d60de3c9f2
DESCRIPTION:Special edition of the ACG Colloquium organized by CWI's resea
 rch  group SEN3 (Foundations of Software Engineering) In the context of th
 e NWO project CORE: Coinductive calculi of Regular  Expressions (UL\, CWI)
 \, we will have the following two distinguished  guests: Dexter Kozen (Cor
 nell\, USA) andDorel Lucanu (Iasi\, Romania) Titles:    Dexter Kozen: Op
 timal Coin Flipping (abstract below)    Dorel Lucanu: Circular Behaviora
 l Reasoning (abstract below) You are all cordially invited.\n\nLocation:\n
 CWI\, room L120
LOCATION:CWI\, room L120
END:VEVENT
END:VCALENDAR