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/2014/newsitem/5306/20-
 31-January-2014-Workshop-Tutorials-Representing-St
 reams-II-Leiden-the-Netherlands
DTSTAMP:20131017T000000
SUMMARY:Workshop & Tutorials "Representing Streams
  II", Leiden, the Netherlands
DTSTART;VALUE=DATE:20140120
DTEND;VALUE=DATE:20140131
LOCATION:Leiden, the Netherlands
DESCRIPTION:Streams are infinite sequences of symb
 ols that are studied by both mathematicians and co
 mputer scientists. Mathematicians are motivated by
  combinatorial problems that arise from number the
 ory or probability. Computer scientists are motiva
 ted by specifying and reasoning about infinite dat
 a types and ongoing computations. The workshop wil
 l bring together researchers from both disciplines
  with the aim to learn from each other, exchange i
 deas and establish collaborations.   Representing 
 Streams II will consist of a tutorial week(January
  20-24) and a workshop week (January 27-31). There
  will be ample time for participants to cooperate 
 on open problems. The goal is not necessarily to s
 olve all of them, but rather learning from each ot
 her's approach to these problems.  For more inform
 ation, see http://www.lorentzcenter.nl/lc/web/2014
 /603/info.php3?wsid=603.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Streams 
 are infinite sequences of symbols that are studied
  by both mathematicians and computer scientists. M
 athematicians are motivated by combinatorial probl
 ems that arise from number theory or probability. 
 Computer scientists are motivated by specifying an
 d reasoning about infinite data types and ongoing 
 computations. The workshop will bring together res
 earchers from both disciplines with the aim to lea
 rn from each other, exchange ideas and establish c
 ollaborations. </p>\n        <p>Representing Strea
 ms II will consist of a tutorial week(January 20-2
 4) and a workshop week (January 27-31). There will
  be ample time for participants to cooperate on op
 en problems. The goal is not necessarily to solve 
 all of them, but rather learning from each other's
  approach to these problems.</p>\n    \n        <p
 >For more information, see <a target="_blank" href
 ="http://www.lorentzcenter.nl/lc/web/2014/603/info
 .php3?wsid=603">http://www.lorentzcenter.nl/lc/web
 /2014/603/info.php3?wsid=603</a>.</p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5306/20-
 31-January-2014-Workshop-Tutorials-Representing-St
 reams-II-Leiden-the-Netherlands
END:VEVENT
END:VCALENDAR
