FAST

Foundations and Applications of Software Technology

Overview


Events

  • 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

                        (more...)


News

  • 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

                        (more...)

DI » FAST » WebRss
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-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki DIUM.DI/FAST http://wiki.di.uminho.pt/twiki/bin/view/DI/FAST /twiki/pub/Main/LocalLogos/um_eengP.jpg TfmSeminar 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:27Z JoseNunoOliveira FastSeminar 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:40Z JoseNunoOliveira MscThemes0910 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:44Z ManuelBernardoBarbosa FastOpportunities 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:07Z JoseBacelarAlmeida WebHome 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:26Z PedroRangelHenriques FastProjects 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:07Z AntonioNestorRibeiro MscThemes0809 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:42Z JoseBacelarAlmeida InPACT 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:19Z JoseCampos FastNews 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:49Z JoseCampos FastNewsHeadlines 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:49Z guest FastPeople 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:45Z JoseBacelarAlmeida FastTools 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:21Z JoseBacelarAlmeida FastResearch 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:41Z JoseBacelarAlmeida FastPastProjects 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:34Z JoseBacelarAlmeida FastEvents 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:56Z JoseBacelarAlmeida FastEventsHeadlines 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:56Z guest

r1 - 30 Jan 2003 - 08:15:57 - PeterThoeny?
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