Rewriting is an important branch of theoretical computer science which combines elements of logic and mathematics. The Fourth International School on Rewriting (ISR'09) will be held at Universidade de Brasília, the week before RDP'09, the Federated Conference on Rewriting, Deduction, and Programming. The school is organized for Master and PhD students, researches and practitioners interested in the study of rewriting concepts and applications. In addition, the school is divided in two tracks (A and B) in order to accommodate the different backgrounds of the participants. The courses allocated on track A are for the participants without previous exposure to rewriting, while the courses on track B are advanced lectures on recent developments and applications. The lectures will be given by some of the best experts on rewriting and applications.
Lecturer of The Fourth International School on Rewriting (ISR'09)
PAOLINI, LUCA LUIGI
2009-01-01
Abstract
Rewriting is an important branch of theoretical computer science which combines elements of logic and mathematics. The Fourth International School on Rewriting (ISR'09) will be held at Universidade de Brasília, the week before RDP'09, the Federated Conference on Rewriting, Deduction, and Programming. The school is organized for Master and PhD students, researches and practitioners interested in the study of rewriting concepts and applications. In addition, the school is divided in two tracks (A and B) in order to accommodate the different backgrounds of the participants. The courses allocated on track A are for the participants without previous exposure to rewriting, while the courses on track B are advanced lectures on recent developments and applications. The lectures will be given by some of the best experts on rewriting and applications.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
