Acerca del evento
- Categorías:
- Informática y telecomunicaciones
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.
In 2021, the 12th International School on Rewriting (ISR 2021) will take place online
as a virtual event hosted via zoom by the Computer Science School at Universidad
Complutense de Madrid, Spain.
The school is aimed at Master and PhD students, researchers and practitioners
interested in the use or the study of rewriting and its applications.
Compartir este evento por correo electrónico
La inscripción ha finalizado.