TWiki's DI/FAST web
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST
The DI/FAST web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.DI/FAST
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST
/twiki/pub/Main/LocalLogos/um_eengP.jpgTfmSeminar
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/TfmSeminar
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 ... (last changed by JoseNunoOliveira)2010-05-14T00:01:27ZJoseNunoOliveiraFastSeminar
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastSeminar
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 ... (last changed by JoseNunoOliveira)2010-05-13T23:54:40ZJoseNunoOliveiraMscThemes0910
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/MscThemes0910
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 ... (last changed by ManuelBernardoBarbosa)2009-09-29T16:49:44ZManuelBernardoBarbosaFastOpportunities
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastOpportunities
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 ... (last changed by JoseBacelarAlmeida)2009-09-29T15:04:07ZJoseBacelarAlmeidaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/WebHome
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 ... (last changed by PedroRangelHenriques)2009-06-28T00:49:26ZPedroRangelHenriquesFastProjects
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastProjects
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O projecto InPACT é um projecto de II DT com vista ao desenvolvimento de ferramentas ... (last changed by AntonioNestorRibeiro)2009-06-23T13:18:07ZAntonioNestorRibeiroMscThemes0809
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/MscThemes0809
Propostas de Temas para Dissertações de Mestrado Um animador para a linguagem CALF. ÁREA CIENTÍFICA: SECURITY AND PROTECTION ANALYSIS OF ALGORITHMS AND ... (last changed by JoseBacelarAlmeida)2008-09-26T17:00:42ZJoseBacelarAlmeidaInPACT
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/InPACT
InPACT O projecto InPACT (Integrated Engineering Tools for Protection, Automation and Control Systems) é liderado pela EFACEC e acaba de obter financiamento do QREN ... (last changed by JoseCampos)2008-09-08T23:41:19ZJoseCamposFastNews
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastNews
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 ... (last changed by JoseCampos)2008-09-08T23:30:49ZJoseCamposFastNewsHeadlines
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastNewsHeadlines
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. ... (last changed by TWikiGuest)2008-09-08T23:30:49ZguestFastPeople
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastPeople
Staff (All email addresses are AT di.uminho.pt except where indicated) Nuno Oliveira (PI, Associate Professor) http://repositorium.sdum.uminho.pt/items ... (last changed by JoseBacelarAlmeida)2008-08-29T14:00:45ZJoseBacelarAlmeidaFastTools
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastTools
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 ... (last changed by JoseBacelarAlmeida)2008-04-09T17:16:21ZJoseBacelarAlmeidaFastResearch
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastResearch
The following research challenges have been targetted in recent work: How to model, design and reason rigorously about highly complex software systems (including ... (last changed by JoseBacelarAlmeida)2008-04-09T16:53:41ZJoseBacelarAlmeidaFastPastProjects
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastPastProjects
Past Projects Program Understanding and Re engineering: Calculi and Applications (FCT contract POSI/CHS/44304/2002) http://www.di.uminho.pt/~jmf/ ... (last changed by JoseBacelarAlmeida)2008-03-30T16:02:34ZJoseBacelarAlmeidaFastEvents
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastEvents
Forthcoming Events 2008 Model based Methodologies for Pervasive and Embedded Software MOMPES (Model based Methodologies for Pervasive and Embedded Software ... (last changed by JoseBacelarAlmeida)2008-03-29T04:51:56ZJoseBacelarAlmeidaFastEventsHeadlines
http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST/FastEventsHeadlines
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 ... (last changed by TWikiGuest)2008-03-29T04:51:56Zguest