Program Understanding and Re-engineering: Calculi and Applications




Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau).

July 3 Paper Configurations of Web Services by MarcoAntonioBarbosa and LuisSoaresBarbosa has been accepted for FOCLASA'06 (Bonn, Germany).

July 3 Paper Strong Types for Relational Databases by Alexandra Silva and JoostVisser has been accepted for the Haskell Workshop 2006 (Portland, USA).

June 16 Paper Strongly Typed Rewriting For Coupled Software Transformation (by AlcinoCunha and JoostVisser) accepted by RULE 2006 (Seattle, USA).

May, 26 Paper Transposing Partial Coalgebras (by LuisSoaresBarbosa and JoseNunoOliveira) accepted for publication in TCS, Elsevier.

May, 11 Papers Type-safe two-level data transformation (by AlcinoCunha, JoseNunoOliveira and JoostVisser) and Pointfree factorization of operation refinement (by JoseNunoOliveira and Cesar Rodrigues) have been accepted by FM'06 (Canada).

May, 8 A paper entitled An Orchestrator for Dynamic Interconnection of Software Components, by MarcoAntonioBarbosa and LuisSoaresBarbosa, accepted at MTCoord'06 (Bologna).


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)


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

r10 - 12 Feb 2007 - 19:45:36 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM