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 ...
Forthcoming Events 2008 Model based Methodologies for Pervasive and Embedded Software MOMPES (Model based Methodologies for Pervasive and Embedded Software ...
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 ...
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 ...
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. ...
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 ...
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O projecto InPACT é um projecto de II DT com vista ao desenvolvimento de ferramentas ...
The following research challenges have been targetted in recent work: How to model, design and reason rigorously about highly complex software systems (including ...
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 ...
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 ...
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
InPACT O projecto InPACT (Integrated Engineering Tools for Protection, Automation and Control Systems) é liderado pela EFACEC e acaba de obter financiamento do QREN ...
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 ...
Propostas de Temas para Dissertações de Mestrado Um animador para a linguagem CALF. ÁREA CIENTÍFICA: SECURITY AND PROTECTION ANALYSIS OF ALGORITHMS AND ...
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 ...
The FAST group develops and maintains software tools and libraries that support its research and education activities. name description Camila VDM meets ...
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 ...
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 ...
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 ...
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 ...