BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/105
76/1---6-July-2019-11th-International-School-on-Re
writing-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 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...

\n\n This school proposes to master
students, PhD students and researchers, two paral
lel tracks:

\n\n \n - Basic track: in
troduction to first-order term rewriting and λ-cal
culus
\n\n - 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).
\n

\n
URL:https://isr2019.inria.fr/
END:VEVENT
END:VCALENDAR