| Topics in DI/FAST web: | Changed: now 17:12 | Changed by: |
| ConferenceList | 28 Jun 2007 - 11:39 - r100 | JoseBacelarAlmeida |
| Upcoming Deadlines Deadline Name When Where January 8, 2007 FMOODS'07 June 6 8, 2007 Paphos, Cyprus January 12, 2007 SBLP'07 May ... | ||
| FastEducation | 29 Mar 2008 - 04:49 - NEW | JoseBacelarAlmeida |
| 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 ... | ||
| FastEvents | 29 Mar 2008 - 04:51 - r3 | JoseBacelarAlmeida |
| Forthcoming Events 2008 Model based Methodologies for Pervasive and Embedded Software MOMPES (Model based Methodologies for Pervasive and Embedded Software ... | ||
| FastEventsHeadlines | 29 Mar 2008 - 04:51 - NEW | TWikiGuest |
| 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 ... | ||
| FastNews | 08 Sep 2008 - 23:30 - r3 | JoseCampos |
| 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 ... | ||
| FastNewsHeadlines | 08 Sep 2008 - 23:30 - NEW | TWikiGuest |
| 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. ... | ||
| FastOpportunities | 29 Sep 2009 - 15:04 - r4 | JoseBacelarAlmeida |
| 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 ... | ||
| FastPastProjects | 30 Mar 2008 - 16:02 - r2 | JoseBacelarAlmeida |
| Past Projects Program Understanding and Re engineering: Calculi and Applications (FCT contract POSI/CHS/44304/2002) http://www.di.uminho.pt/~jmf/ ... | ||
| FastPeople | 29 Aug 2008 - 14:00 - r6 | JoseBacelarAlmeida |
| Staff (All email addresses are AT di.uminho.pt except where indicated) Nuno Oliveira (PI, Associate Professor) http://repositorium.sdum.uminho.pt/items ... | ||
| FastProjects | 23 Jun 2009 - 13:18 - r4 | AntonioNestorRibeiro |
| InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O projecto InPACT é um projecto de II DT com vista ao desenvolvimento de ferramentas ... | ||
| FastResearch | 09 Apr 2008 - 16:53 - r3 | JoseBacelarAlmeida |
| The following research challenges have been targetted in recent work: How to model, design and reason rigorously about highly complex software systems (including ... | ||
| FastSeminar | 13 May 2010 - 23:54 - r38 | JoseNunoOliveira |
| 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 ... | ||
| FastTools | 09 Apr 2008 - 17:16 - r3 | JoseBacelarAlmeida |
| 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 ... | ||
| FlexibleSkinLeftBar | 28 Jun 2007 - 11:45 - r4 | JoseBacelarAlmeida |
| Home FAST Wiki Home FAST TfmSeminar Related Research.PURe Project Navigation Users Changes Index Statistics Webs Search | ||
| FlexibleSkinStyleSheet | 21 Sep 2006 - 19:03 - r2 | JoostVisser |
| body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ... | ||
| FlexibleSkinTopBar | 21 Sep 2006 - 18:36 - r2 | JoostVisser |
| FlexibleSkinTopicFooter | 21 Sep 2006 - 14:49 - NEW | JoostVisser |
| { Edit Attach Printable Diffs More... } | ||
| InPACT | 08 Sep 2008 - 23:41 - NEW | JoseCampos |
| InPACT O projecto InPACT (Integrated Engineering Tools for Protection, Automation and Control Systems) é liderado pela EFACEC e acaba de obter financiamento do QREN ... | ||
| LmfLivros | 28 Jun 2007 - 11:39 - r18 | JoseBacelarAlmeida |
| 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 ... | ||
| LocalLinksSideBar | 29 Mar 2008 - 04:38 - r2 | JoseBacelarAlmeida |
| do Minho of Informatics Science and Technology Center (CCTC) page @ CCTC site FAST Intranet | ||
| MscThemes0809 | 26 Sep 2008 - 17:00 - r3 | JoseBacelarAlmeida |
| Propostas de Temas para Dissertações de Mestrado Um animador para a linguagem CALF. ÁREA CIENTÍFICA: SECURITY AND PROTECTION ANALYSIS OF ALGORITHMS AND ... | ||
| MscThemes0910 | 29 Sep 2009 - 16:49 - r2 | ManuelBernardoBarbosa |
| 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 ... | ||
| PeopleSideBar | 29 Mar 2008 - 04:18 - NEW | JoseBacelarAlmeida |
| Staff Research Students External Research Students Former Research Members Former Students | ||
| ProjectsSideBar | 29 Mar 2008 - 04:36 - NEW | JoseBacelarAlmeida |
| Past Projects Old Webpages | ||
| ResearchSideBar | 29 Mar 2008 - 02:57 - r2 | JoseBacelarAlmeida |
| Research Partnerships Industrial Liaisons | ||
| Software | 28 Jun 2007 - 11:42 - r7 | JoseBacelarAlmeida |
| The FAST group develops and maintains software tools and libraries that support its research and education activities. name description Camila VDM meets ... | ||
| TfmSeminar | 14 May 2010 - 00:01 - r11 | JoseNunoOliveira |
| 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 ... | ||
| WebChanges | 16 Aug 2001 - 19:58 - NEW | PeterThoeny? |
| WebCss | 29 Mar 2008 - 03:33 - r2 | JoseBacelarAlmeida |
| .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... | ||
| WebHome | 28 Jun 2009 - 00:49 - r40 | PedroRangelHenriques |
| 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 ... | ||
| WebIndex | 24 Nov 2001 - 11:41 - r2 | PeterThoeny? |
| See also the faster WebTopicList | ||
| WebLeftBar | 16 Aug 2004 - 09:01 - NEW | ArthurClemens? |
| Web Web Home Changes Index Search Webs | ||
| WebNotify | 04 Jun 2006 - 14:33 - r5 | JoostVisser |
| 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 ... | ||
| WebPreferences | 28 Mar 2008 - 14:16 - r14 | JoseBacelarAlmeida |
| 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 ... | ||
| WebRss | 30 Jan 2003 - 08:15 - NEW | PeterThoeny? |
| TWiki's DI/FAST web /view/DI/FAST The DI/FAST web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. | ||
| WebSearch | 08 Aug 2001 - 05:26 - NEW | PeterThoeny? |
| WebSearchAdvanced | 17 May 2007 - 14:51 - NEW | TWikiGuest |
| WebSideBar | 29 Mar 2008 - 03:37 - r6 | JoseBacelarAlmeida |
| Overview Home Research People Projects Tools Opportunities Seminar Education "}% Events (more...) News ... | ||
| WebStatistics | 28 Jun 2007 - 11:45 - r1056 | JoseBacelarAlmeida |
| Statistics for DI/FAST Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and ... | ||
| WebTopicList | 24 Nov 2001 - 11:40 - NEW | PeterThoeny? |
| See also the verbose WebIndex. | ||