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/2021/newsitem/12854/5-
 --16-July-2021-12th-International-School-on-Rewrit
 ing-ISR-2020-Virtual
DTSTAMP:20210622T152942
SUMMARY:12th International School on Rewriting (IS
 R 2020), Virtual
DTSTART;VALUE=DATE:20210705
DTEND;VALUE=DATE:20210716
LOCATION:Virtual
DESCRIPTION:Rewriting is a powerful model of compu
 tation that underlies much of declarative programm
 ing and is ubiquitous in mathematics, logic, theor
 em proving, verification, model-checking, compilat
 ion, biology, chemistry, physics, etc. In 2021, th
 e 12th International School on Rewriting (ISR 2021
 ) will take place online as a virtual event hosted
  via zoom by the Computer Science School at Univer
 sidad Complutense de Madrid, Spain. The school is 
 aimed at Master and PhD students, researchers and 
 practitioners interested in the use or the study o
 f rewriting and its applications.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Rewriting is a
  powerful model of computation that underlies much
  of declarative programming and is ubiquitous in m
 athematics, logic, theorem proving, verification, 
 model-checking, compilation, biology, chemistry, p
 hysics, etc. In 2021, the 12th International Schoo
 l on Rewriting (ISR 2021) will take place online a
 s a virtual event hosted via zoom by the Computer 
 Science School at Universidad Complutense de Madri
 d, Spain. The school is aimed at Master and PhD st
 udents, researchers and practitioners interested i
 n the use or the study of rewriting and its applic
 ations.</p>\n
URL:https://dalila.sip.ucm.es/isr2021/
CONTACT:Narciso Marti-Oliet at narciso at ucm.es
END:VEVENT
END:VCALENDAR