Forthcoming Events

• GTTSE'11 - 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011.

---

Past Events

• FACS 2010 - 7th Int. Conference on Formal Aspects of Component Software. Sep-Oct 2010.
• IFIP WG 2.1 - IFIP WG 2.1 meeting #65 hosted by the group. 25-29 January, 2010.
• GTTSE'09 - 3rd Summer School on Generative and Transformational Techniques in Software Engineering, 2009.
• CIC 2009 - 3rd Research Workshop on Coinduction, Interaction and Composition.
• Interacção 2008 - 3ª Conferência Interacção Pessoa-Máquina
• CIC 2007 - 2nd Research Workshop on Coinduction, Interaction and Composition.
• GTTSE'07 - 2nd Summer School on Generative and Transformational Techniques in Software Engineering, 2007.
• ETAPS'07 - European Joint Conferences on Theory and Practice of Software, 2007
• LDTA 2007
• OpenCert 2007
• TERMGRAPH 2007
• CIC 2006 - Research Workshop on Coinduction, Interaction and Composition, 2006
• DIPES 2006 - 5th IFIP Working Conference on Distributed and Parallel Embedded Systems
• 2nd. LerNet Project Meeting
• Jornada de Ciências da Computação '06
• Interacção 2006
• Developments in Computation Models (DCM'05)
• GTTSE'05 - 1st Summer School on Generative and Transformational Techniques in Software Engineering 2005
• ACSD 2003 - 3rd International Conference on Application of Concurrency to System Design
• APPSEM 2000 Summerschool
• Mathematics of Program Construction (MPC 2000)
• AFP 1998 - Advanced Functional Programming Summer School, 1998*