Workshop for Manuel Hermenegildo's
60th Birthday
October 8th, 2019
Auditorium, World of Discoveries Museum, Porto, Portugal
(same location as LOPSTR 2019)
Co-located with
FM Week 2019 (3rd World Congress on Formal Methods)
Overview
This informal workshop celebrates Manuel Hermenegildo’s 60th birthday, honouring his numerous contributions to the areas of programming language design and implementation, static program analysis and verification, including abstract interpretation and parallelism in logic programs. The event will consist of a collection of short invited talks. It will take place in the meeting room of LOPSTR 2019 (see FM Week program) starting at 16.45.
Program
| 16.45 | Opening |
|---|---|
| 17.00 | Manuel Carro. Random Snapshots |
| 17.20 | Vítor Santos Costa. YAP and the Globalized World |
| 17.40 | Wim Vanhoof. An an old (but still unsolved?) problem in program specialization |
| 18.00 | Break |
| 18.15 | John P. Gallagher. The Futamura projections and parallelization |
| 18.35 | Pedro Lopez-Garcia. Resource Usage Analysis with CiaoPP |
| 18.55 | Maria-del-Mar Gallardo. Analysis of extra-functional properties in mobile applications |
| 19.15 | Closing (Manuel H) |
After the workshop we will go to dinner at 8pm, Typographia Progresso restaurant, R. de Sousa Viterbo 89, Porto. Workshop participants are welcome to join us.
Organizers
John P. Gallagher
Roberto Giacobazzi
Pedro Lopez-Garcia