ETAPS 2007

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


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.

Theory and Formal Methods at U.Minho