BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:CWI Lectures 25 Years of Concurrency Theory at CWI (2008)
DTSTART:20080523T093000Z
DTEND:20080523T133000Z
UID:9cb46d3c-5a14-41ad-81b3-c67e159ed7e6
DESCRIPTION:25 Years of Concurrency Theory at CWI. Speakers: 	Jos Baeten\,
  Gerard Holzmann\, Jan Bergstra\, Moshe Vardi. The SEN2 group at CWI has p
 layed a prominent role in concurrency theory since the early 80's\, with a
 n emphasis on algebraic techniques for the specification and verification 
 of software systems. Five consecutive leaders of SEN2 started research gro
 ups at Dutch universities. Now that concurrency theory is so well establis
 hed in The Netherlands\, CWI has decided to shift the focus of SEN2 to ser
 vice-oriented computing.
END:VEVENT
END:VCALENDAR