News

New Paper

Paper Coupled Schema Transformation and Data Conversion For XML and SQL (by Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, and Joost Visser) accepted by PADL 2007 (Nice, France).

New Paper

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

New Paper

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

New Paper

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

New Paper

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

Theory and Formal Methods at U.Minho