Forthcoming Events

Date	Event
2004.10.10	Annual Report
2004.09.30	Project Evaluation Meeting
Every Thursday	PUReCafe
2004.10.18-21	Visit of Simon Thompson (Seminar on Refactoring)

First Research.PURe Workshop (Sep, 13-14, 2004)

Call for Participation (pdf)

Talks:

13 Sep

• Generalizing the Hylo-Shift Law, Jorge Sousa Pinto (Minho)
• Code Conversion for Pointfree Representation, Miguel Vilaça (Minho)
• Invariants in Program Calculation, J. Carlos Bacelar (Minho)
• Designing Databases with 'Simplicity', José Nuno Oliveira (Minho)
• (slides) Objectification of Formal Specifications, Miguel Cruz (Sidereus, SA)
• Formal Models for Software Connectors, Marco António Barbosa (Minho)
• DISCUSSION: (slides) Pointfree vs Pointwise (and how to live with them), moderated by Alcino Cunha (Minho)

14 Sep

• A Program Fusion Tool, Alberto Pardo (Univ. La República, Montevideo)
• (slides) Implementation of Program Understanding in Haskell, Joost Visser (Minho)
• More Pointless Generic Programming, Bruno Oliveira (Oxford University)
• (slides) Refinement in a Coalgebraic Setting, Luis Soares Barbosa (Minho)
• Design, Implementation and Animation of Spreadsheets, João Saraiva (Minho)
• Generalizing LR Parsing, João Fernandes (Oxford)
• CCS goes .Net, Nuno Rodrigues (Oxford)
• DISCUSSION: The Uminho Haskell Libraries, moderated by Joost Visser (Minho)

Past Events