News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

6 - 10 July 2020, 11th International School on Rewriting (ISR 2020), Madrid, Spain

Date: 6 - 10 July 2020
Location: Madrid, Spain
Deadline: Friday 20 September 2019

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.

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), and 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 the last schools.

For more information, see http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html or contact Narciso Marti-Oliet at .

Please note that this newsitem has been archived, and may contain outdated information or links.