BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2006/newsitem/1199/27- 30-August-2006-CONCUR-06-17th-International-Confer ence-on-Concurrency-Theory-Bonn-Germany DTSTAMP:20060220T000000 SUMMARY:CONCUR'06: 17th International Conference o n Concurrency Theory, Bonn, Germany DTSTART;VALUE=DATE:20060827 DTEND;VALUE=DATE:20060830 LOCATION:Bonn, Germany DESCRIPTION:CONCUR 2006, the 17th International Co nference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together res earchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2n d German Verification Day, and the 11th Internatio nal ERCIM Workshop on Formal Methods for Industria l Critical Systems. For more information, see ht tp://depend.cs.uni-sb.de/concur06/. Submissions are solicited in all areas of semantics, logics, and verification techniques for concurrent systems . Submission deadline is March 23, 2006. X-ALT-DESC;FMTTYPE=text/html:
CONCU R 2006, the 17th International Conference on Conc urrency Theory,\nwill take place in Bonn, Germany, August 27 - 30, 2006. The purpose of\nthe CONCUR conferences is to bring together researchers worki ng on the\ntheory of concurrency and its applicati ons. About ten workshops will be held in affiliati on with CONCUR 2006, including the 2nd German Veri fication Day, and the 11th International ERCIM Wor kshop on Formal Methods for Industrial Critical Sy stems.\n
\n \n \nFor mor e information, see\n http://de pend.cs.uni-sb.de/concur06/.\n
\nSubmissions are solicited in all areas of semantics, logics, and\nverificati on techniques for concurrent systems.\n S ubmission deadline is March 23, 2006.\n
\ n