Foundations and Applications of Software Technology



  • MOMPES 2008 - Model-based Methodologies for Pervasive and Embedded Software
  • Interacção 2008 - 3ª Conferência Interacção Pessoa-Máquina
  • XATA 2008 - 6th national conference of XML: Applications and Technologies. Évora, 14,15 February 2008



  • New Project: FAST members participate in EFACEC's InPACT project
  • Co-chair: J. C. Campos was designated co-chair of the programme committee of INTERACÇÃO'08.
  • New Paper: Simulation and Formal Verification of Industrial Systems Controllers
  • New Paper: Formal analysis of interactive systems: opportunities and weaknesses
  • New Paper: Connecting rigorous system analysis to experience centred design


Post-doctoral positions

  • The Computer Science and Technology Center (Centro de Ciências e Tecnologias de Computação, CCTC) invites applications for a 3 year research position in the area of Software Foundations. Specific expertise is sought in applied semantics, software analysis and transformation, formal verification, provable security and theory of programming languages as well as eager interest in formal foundations and a strong aptitude for projects with real-world potential. (Application deadline: 30-09-2008; more information).

PhD Opportunities

MsC Opportunities

r4 - 29 Sep 2009 - 15:04:07 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM