============================================================
Call for Lecture
Proposals for ISR 2020
International
School on Rewriting, Madrid, Spain, 6-10 July 2020
Deadline:
September 20th, 2019
============================================================
In 2020, ISR will
take place at Universidad Complutense de Madrid,
Spain.
Rewriting is a
powerful model of computation that underlies much of
declarative programming and is ubiquitous in
mathematics, logic, theorem proving, verification,
model-checking, compilation, biology, chemistry,
physics, etc.
The school is
aimed at Master and PhD students, researchers and
practitioners interested in the use or the study 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 advanced
track on more specialized topics, related to
state-of-the-art research and novel applications. The
typical day will contain 4 slots of 90 minutes.
The inscription
fees of ISR are traditionally low and will be waived
for the speakers. We plan to (partly) cover travel and
accommodation expenses of the speakers.
If you are
interested in giving a lecture in the advanced track,
send us a mail before the deadline above with the
following informations:
- a title,
- an abstract,
- an outline of
the lecture,
- some
bibliographical references,
- an expected
duration (in number of slots),
- whether the
lecture includes exercises or experiments.
We encourage
applications from both theory and applications and
will pay particular attention to submissions on topics
not covered in the last schools.
Timeline:
- September 20th,
2019 : submission
- October 30th,
2019 (or earlier) : notification
Narciso
Marti-Oliet, main organizer of ISR 2020.