Events

Forthcoming

FInCo 2007


Satellite event of ETAPS 2007

OpenCert'07


Satellite event of ETAPS 2007

LDTA 2007

Seventh Workshop on Language Descriptions, Tools and Applications

March 25, 2007, Braga, Portugal

Satellite event of ETAPS 2007

TERMGRAPH 2007


Workshop on Computing with Terms and Graphs 

31 March 2007 Braga, Portugal

A satellite event of ETAPS 2007

ETAPS 2007

March 24 - April 1, 2007, Braga, Portugal. Homepage

etaps-logo-2007

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops and other events. ETAPS 2007 is the tenth event in the series.

Summer School on Generative and Transformational Techniques in Software Engineering

2 - 7 July, 2007, Braga, Portugal.

GTTSE 2007 is the second instance in a series of international summer schools on Generative and Transformational Techniques in Software Engineering. The first instance was held in 2005

Theory and Formal Methods at U.Minho