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/159
 14/12---16-July-2026-International-School-on-Rewri
 ting-Nijmegen-NL-
DTSTAMP:20251121T125118
SUMMARY:International School on Rewriting, Nijmege
 n [NL]
DTSTART;VALUE=DATE:20260712
DTEND;VALUE=DATE:20260716
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.  The ISR is open to master and 
 PhD students, researchers and practitioners intere
 sted in the study of rewriting concepts and their 
 applications. Participants can follow one of two t
 racks: basic or advance.
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>The ISR is open to master and PhD students, res
 earchers and practitioners interested in the study
  of rewriting concepts and their applications. Par
 ticipants can follow one of two tracks: basic or a
 dvance.</p>\n
URL:https://isr2026.cs.ru.nl
CONTACT:Cynthia Kop at C.Kop at cs.ru.nl
CONTACT:Femke van Raasmdonk at f.van.raamsdonk at 
 vu.nl
END:VEVENT
END:VCALENDAR