Theory and Formal Methods Seminar Series Wednesdays at 9:00 in the DI meeting room The Theory and Formal Methods Seminar series (TfmSeminar) is a bi weekly scientific ...
FAST Seminar Series Wednesdays at 14:00 in the DI meeting room The FAST Seminar Series is a bi weekly scientific colloquium organized by the and Applications of ...
Propostas de Temas para Dissertações de Mestrado Extensões de Alto Nivel Para uma Linguagem de Programação Criptográfica ÁREA CIENTÍFICA: SECURITY AND PROTECTION ...
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 ...
The research group on Foundations and Applications of Software Technology is part of the Center for Computing Sciences and Technologies (Centro de Ciências e Tecnologias ...
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O projecto InPACT é um projecto de II DT com vista ao desenvolvimento de ferramentas ...
Propostas de Temas para Dissertações de Mestrado Um animador para a linguagem CALF. ÁREA CIENTÍFICA: SECURITY AND PROTECTION ANALYSIS OF ALGORITHMS AND ...
InPACT O projecto InPACT (Integrated Engineering Tools for Protection, Automation and Control Systems) é liderado pela EFACEC e acaba de obter financiamento do QREN ...
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. ...
FAST News New Project: FAST members participate in EFACEC's InPACT project. FAST members J.C. Campos and P.R. Henriques will be cooperating with EFACEC over the ...
2LT A two level data transformation system. 2LT is a deliverable of the PURe project. Examples of application include XML schema evolution coupled with document migration ...
The following research challenges have been targetted in recent work: How to model, design and reason rigorously about highly complex software systems (including ...
2008 Model based Methodologies for Pervasive and Embedded Software 2008 3ª Conferência Interacção Pessoa Máquina 2008 6th national conference of XML: Applications ...
Forthcoming Events 2008 Model based Methodologies for Pervasive and Embedded Software MOMPES (Model based Methodologies for Pervasive and Embedded Software ...
Ph.D. MAP/I Doctoral Programme in Computer Science M.Sc. Courses Master courses in Computer science at Minho University are built upon the concept of specialisation ...
TWiki.DI/FAST Web Preferences The following settings are web preferences of the TWiki.DI/FAST web. These preferences overwrite the site level preferences in ...
The FAST group develops and maintains software tools and libraries that support its research and education activities. name description Camila VDM meets ...
Livros a comprar Por favor indiquem o número de cópias e um link para a página respectiva na editora. E verifiquem se já existe na biblioteca! Kees Doets and ...
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
This is a subscription service to be automatically notified by e mail when topics change in this DI/FAST web. This is a convenient service, so you do not have to ...