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