2011
2010
2009
2008
- Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 5235 of Lecture Notes in Computer Science, Springer, Braga, Portugal, July 2008.
2007
2006
- Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised PapersRalf Lämmel, João Saraiva, Joost Visser, editors, Volume 4143 of Lecture Notes in Computer Science, Springer, 2006.
2003
2002
- Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced LecturesGilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva, editors, Volume 2395 of Lecture Notes in Computer Science, Springer, 2002.
2000
1999
1998