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/2024/newsitem/14850/25
 -August---1-September-2024-14th-International-Scho
 ol-on-Rewriting-ISR-2024-Obergurgl-Austria
DTSTAMP:20240229T180449
SUMMARY:14th International School on Rewriting (IS
 R 2024), Obergurgl, Austria
DTSTART;VALUE=DATE:20240825
DTEND;VALUE=DATE:20240901
LOCATION:Obergurgl, Austria
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 14th International School o
 n Rewriting takes place in Obergurgl, Austria.  Th
 e School is aimed at master and PhD students, rese
 archers and practitioners interested in the study 
 of rewriting concepts and their applications.  It 
 offers three parallel tracks, taught by well-known
  experts:  - Track A: comprehensive introduction t
 o first-order term rewriting, lecturer: Aart Midde
 ldorp  - Track B: comprehensive introduction to ty
 pe theory and lambda calculus, lecturers: Herman G
 euvers and Niels van der Weide  - Track C: advance
 d courses on - Interoperability of Proof Systems u
 sing Lambdapi lecturer: Frederic Blanqui - Randomi
 zed Programming and Rewriting lecturer: Ugo Dal La
 go - Tools in Rewriting lecturer: Nao Hirokawa - T
 ermination and Complexity in Higher-Order Term Rew
 riting lecturer: Cynthia Kop - SAT/SMT Solving and
  Applications in Rewriting lecturer: Sarah Winkler
 .
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. The 14t
 h International School on Rewriting takes place in
  Obergurgl, Austria.&nbsp; The School is aimed at 
 master and PhD students, researchers and practitio
 ners interested in the study of rewriting concepts
  and their applications.</p>\n  <p>It offers three
  parallel tracks, taught by well-known experts:<br
 >\n  - Track A: comprehensive introduction to firs
 t-order term rewriting, lecturer: Aart Middeldorp<
 br>\n  - Track B: comprehensive introduction to ty
 pe theory and lambda calculus, lecturers: Herman G
 euvers and Niels van der Weide<br>\n  - Track C: a
 dvanced courses on - Interoperability of Proof Sys
 tems using Lambdapi lecturer: Frederic Blanqui - R
 andomized Programming and Rewriting lecturer: Ugo 
 Dal Lago - Tools in Rewriting lecturer: Nao Hiroka
 wa - Termination and Complexity in Higher-Order Te
 rm Rewriting lecturer: Cynthia Kop - SAT/SMT Solvi
 ng and Applications in Rewriting lecturer: Sarah W
 inkler.</p>\n
URL:http://cl-informatik.uibk.ac.at/isr24/
END:VEVENT
END:VCALENDAR