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/2017/newsitem/8631/3--
 -7-July-2017-9th-International-School-on-Rewriting
 -ISR-2017-Eindhoven-The-Netherlands
DTSTAMP:20170504T150931
SUMMARY:9th International School on Rewriting (ISR
  2017), Eindhoven, The  Netherlands
DTSTART;VALUE=DATE:20170703
DTEND;VALUE=DATE:20170707
LOCATION:Eindhoven, The  Netherlands
DESCRIPTION:Rewriting is a branch of computer scie
 nce whose origins go back to the origins of comput
 er science itself. It has strong links with mathem
 atics, algebra, and logic, it is used in many area
 s of software engineering, and it is the basis of 
 well-known programming paradigms like functional a
 nd equational programming. The 9th International S
 chool on Rewriting (ISR 2017) is aimed at master a
 nd PhD students, researchers, and practitioners in
 terested in the study of rewriting concepts and th
 eir applications.  The school features lectures by
  renowned researchers in rewriting, and is organiz
 ed in two parallel tracks. The Basic Track is an i
 ntroduction to Term Rewriting taught by Aart Midde
 ldorp and Sarah Winkler from the University of Inn
 sbruck in Austria. It can be concluded with an exa
 m for 3 EC. The Advanced Track consists of a varie
 ty of lectures on advanced topics in rewriting. Th
 ere will also be the opportunity for participants 
 to present their own research.  Deadline for early
  registration is May 15, 2017.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Rewriting is a
  branch of computer science whose origins go back 
 to the origins of computer science itself. It has 
 strong links with mathematics, algebra, and logic,
  it is used in many areas of software engineering,
  and it is the basis of well-known programming par
 adigms like functional and equational programming.
  The 9th International School on Rewriting (ISR 20
 17) is aimed at master and PhD students, researche
 rs, and practitioners interested in the study of r
 ewriting concepts and their applications.</p>\n\n 
  <p>The school features lectures by renowned resea
 rchers in rewriting, and is organized in two paral
 lel tracks. The Basic Track is an introduction to 
 Term Rewriting taught by Aart Middeldorp and Sarah
  Winkler from the University of Innsbruck in Austr
 ia. It can be concluded with an exam for 3 EC. The
  Advanced Track consists of a variety of lectures 
 on advanced topics in rewriting. There will also b
 e the opportunity for participants to present thei
 r own research.</p>\n\n  <p>Deadline for early reg
 istration is May 15, 2017.</p>\n
URL:http://www.win.tue.nl/~hzantema/isr.html
CONTACT:h.zantema at tue.nl
END:VEVENT
END:VCALENDAR