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/2010/newsitem/3351/3-8
 -July-2010-5th-International-School-on-Rewriting-I
 SR-2010-Utrecht
DTSTAMP:20100425T000000
SUMMARY:5th International School on Rewriting (ISR
  2010), Utrecht
DTSTART;VALUE=DATE:20100703
DTEND;VALUE=DATE:20100708
LOCATION:Utrecht
DESCRIPTION:Term rewriting is a powerful model of 
 computation that underlies much of declarative pro
 gramming and which is heavily used in symbolic com
 putation in logic and computer science. Applicatio
 ns can be found for example in theorem proving and
  protocol verification, but also in fields such as
  mathematics, philosophy and biology.   To accommo
 date the different backgrounds of the participants
 , we offer two tracks: basic (master / Phd - level
 ) and advanced (PhD / researcher - level).    The 
 Fifth International School on Rewriting (ISR 2010)
  will be held at Utrecht University, as part of Ut
 recht Summer School 2010. Previous editions of ISR
  were held in Nancy, Obergurgl and Brasília.  For 
 more information, see http://www.utrechtsummerscho
 ol.nl/index.php?type=courses&code=H16 and http://w
 ww.phil.uu.nl/isr2010/.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Term rew
 riting is a powerful model of computation that und
 erlies much\n        of declarative programming an
 d which is heavily used in symbolic\n        compu
 tation in logic and computer science. Applications
  can be found\n        for example in theorem prov
 ing and protocol verification, but also in\n      
   fields such as mathematics, philosophy and biolo
 gy.</p>\n        <p>\n        To accommodate the d
 ifferent backgrounds of the participants, we offer
 \n        two tracks: basic (master / Phd - level)
  and advanced (PhD / researcher\n        - level).
 \n        </p>\n        <p>\n        The Fifth Int
 ernational School on Rewriting (ISR 2010) will be 
 held at\n        Utrecht University, as part of Ut
 recht Summer School 2010. Previous\n        editio
 ns of ISR were held in Nancy, Obergurgl and Bras&i
 acute;lia.</p>\n\n    \n        <p>For more inform
 ation, see\n        <a target="_blank" href="http:
 //www.utrechtsummerschool.nl/index.php?type=course
 s&amp;code=H16">http://www.utrechtsummerschool.nl/
 index.php?type=courses&amp;code=H16</a>\n        a
 nd <a target="_blank" href="http://www.phil.uu.nl/
 isr2010/">http://www.phil.uu.nl/isr2010/</a>.</p>\
 n    
URL:/NewsandEvents/Archives/2010/newsitem/3351/3-8
 -July-2010-5th-International-School-on-Rewriting-I
 SR-2010-Utrecht
END:VEVENT
END:VCALENDAR