Forthcoming Events

Date Event
Every Thursday PUReCafe
2004.09.30 Project Evaluation Meeting
2004.10.10 Annual Report
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

Date Event
2002.05.22 Proposal submission to FCT Research Projects Call
2002.06.23 - 07.15 Visit: Alberto Pardo [Montevideo]
2002.07.2 (pre) Workshop'02
2003.06.23 - 07.15 Visit: Bernhard Aichernig [UNU/IIST, Macau]
2003.07.3 (pre) Workshop'03
2003.09.12 FCT Approval (rated Excellent)
2003.09.24 Coordination Meeting (1)
2003.10.15 Formal Starting Date
2004.01.14 Coordination Meeting (2)
2004.06.21-22 1st Research.PURe Seminar Algebras of Program Construction by R. Backhouse
2004.06.23 Project Evaluation Meeting
2004.07.18 Visit of Sun Meng (until Aug, 11)
2004.09.13-14 1st Research.PURe Workshop'04 Call for Participation