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/current/newsitem/14850
/25-August---1-September-2024-14th-International-S
chool-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 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. The School is aimed at
master and PhD students, researchers and practitio
ners interested in the study of rewriting concepts
and their applications.

\n It offers three
parallel tracks, taught by well-known experts:

\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

\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.

URL:http://cl-informatik.uibk.ac.at/isr24/
END:VEVENT
END:VCALENDAR