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/2019/newsitem/10576/1-
 --6-July-2019-11th-International-School-on-Rewriti
 ng-ISR-19-Paris-France
DTSTAMP:20190402T145100
SUMMARY:11th International School on Rewriting (IS
 R'19), Paris, France
DTSTART;VALUE=DATE:20190701
DTEND;VALUE=DATE:20190706
LOCATION:Paris, France
DESCRIPTION:Rewriting is a simple yet powerful mod
 el of computation with numerous applications in co
 mputer science and many other fields: logic, mathe
 matics, programming languages, model checking, qua
 ntum computing, biology, music...  This school pro
 poses to master students, PhD students and researc
 hers, two parallel tracks: Basic track: introducti
 on to first-order term rewriting and λ-calculusAdv
 anced track: advanced lectures on rewriting theory
  (graph rewriting, conditional rewriting, geometry
  of rewriting, computational complexity of rewrite
  systems) and an overview of many applications of 
 rewriting techniques in other fields (quantum phys
 ics, biology, music, automated deduction, model ch
 ecking).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Rewriting is a
  simple yet powerful model of computation with num
 erous applications in computer science and many ot
 her fields: logic, mathematics, programming langua
 ges, model checking, quantum computing, biology, m
 usic...</p>\n\n  <p>This school proposes to master
  students, PhD students and researchers, two paral
 lel tracks:</p>\n\n  <ul>\n    <li>Basic track: in
 troduction to first-order term rewriting and λ-cal
 culus</li>\n\n    <li>Advanced track: advanced lec
 tures on rewriting theory (graph rewriting, condit
 ional rewriting, geometry of rewriting, computatio
 nal complexity of rewrite systems) and an overview
  of many applications of rewriting techniques in o
 ther fields (quantum physics, biology, music, auto
 mated deduction, model checking).</li>\n  </ul>\n
URL:https://isr2019.inria.fr/
END:VEVENT
END:VCALENDAR