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/2020/newsitem/11052/6-
 --10-July-2020-11th-International-School-on-Rewrit
 ing-ISR-2020-Madrid-Spain
DTSTAMP:20210622T153015
SUMMARY:11th International School on Rewriting (IS
 R 2020), Madrid, Spain
DTSTART;VALUE=DATE:20200706
DTEND;VALUE=DATE:20200710
LOCATION:Madrid, Spain
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. The school 
 is aimed at Master and PhD students, researchers a
 nd practitioners interested in the use or the stud
 y of rewriting and its applications.  We intend to
  offer on the one hand a basic track on rewriting 
 and on lambda calculus, and on the other hand an a
 dvanced track on more specialized topics, related 
 to state-of-the-art research and novel application
 s. The typical day will contain 4 slots of 90 minu
 tes.  If you are interested in giving a lecture in
  the advanced track, send us a mail before the dea
 dline above with the following informations: a tit
 le, an abstract, an outline of the lecture, some b
 ibliographical references, an expected duration (i
 n number of slots), and whether the lecture includ
 es exercises or experiments.  We encourage applica
 tions from both theory and applications and will p
 ay particular attention to submissions on topics n
 ot covered in the the last schools.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Rewriting
  is a powerful model of computation that underlies
  much of declarative programming and is ubiquitous
  in mathematics, logic, theorem proving, verificat
 ion, model-checking, compilation, biology, chemist
 ry, physics, etc. The school is aimed at Master an
 d PhD students, researchers and practitioners inte
 rested in the use or the study of rewriting and it
 s applications.</p>\n\n  <p>We intend to offer on 
 the one hand a basic track on rewriting and on lam
 bda calculus, and on the other hand an advanced tr
 ack on more specialized topics, related to state-o
 f-the-art research and novel applications. The typ
 ical day will contain 4 slots of 90 minutes.</p>\n
 </div><div>\n  <p>If you are interested in giving 
 a lecture in the advanced track, send us a mail be
 fore the deadline above with the following informa
 tions: a title, an abstract, an outline of the lec
 ture, some bibliographical references, an expected
  duration (in number of slots), and whether the le
 cture includes exercises or experiments.</p>\n\n  
 <p>We encourage applications from both theory and 
 applications and will pay particular attention to 
 submissions on topics not covered in the the last 
 schools.</p>\n</div>
URL:http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.
 html
CONTACT:Narciso Marti-Oliet at narciso at ucm.es
END:VEVENT
END:VCALENDAR