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/Events/Conferences/newsitem/161
 40/12---16-July-2026-International-School-on-Rewri
 ting
DTSTAMP:20260401T151738
SUMMARY:International School on Rewriting
DTSTART;TZID=Europe/Amsterdam:20260712T090000
DTEND;TZID=Europe/Amsterdam:20260716T170000
LOCATION:Nijmegen [NL]
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 mathematics, theorem proving, and prot
 ocol verification.  ISR 2026 is organised by the S
 oftware Science group of Radboud University Nijmeg
 en and the Theory group of VU Amsterdam. The schoo
 l is aimed at master and PhD students, researchers
  and practitioners interested in the study of rewr
 iting concepts and their applications.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Term rewriting
  is a powerful model of computation that underlies
  much of declarative programming and which is heav
 ily used in symbolic computation in mathematics, t
 heorem proving, and protocol verification.</p>\n  
 <p>ISR 2026 is organised by the&nbsp;Software Scie
 nce&nbsp;group of&nbsp;Radboud University Nijmegen
 &nbsp;and the&nbsp;Theory&nbsp;group of&nbsp;VU Am
 sterdam. The school is aimed at master and PhD stu
 dents, researchers and practitioners interested in
  the study of rewriting concepts and their applica
 tions.</p>\n
URL:https://isr2026.cs.ru.nl/index.html
CONTACT:Cynthia Kop at C.Kop at cs.ru.nl
END:VEVENT
END:VCALENDAR