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...)

%STARTINCLUDE%

body {
  background-color : lightgray;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px ;
}

a:link    { text-decoration : none ; color : darkblue ; }
a:visited { text-decoration : none ; color : darkblue ; }
a:hover   { text-decoration : none ; color : darkred ; }
a:active  { text-decoration : none ; color : darkred ; }

div.WebLeftBar a:link    { text-decoration : none ; color : white ; }
div.WebLeftBar a:visited { text-decoration : none ; color : lightgrey ; }
div.WebLeftBar a:hover   { text-decoration : none ; color : white ; }
div.WebLeftBar a:active  { text-decoration : none ; color : lightgrey ; }

hr { color : black ; border : solid 0 ; padding : 0 ; background-color : darkgray; height : 1px}

div.WebTopBar {
  background : white ;
  border : solid ;  
  border-width : 1px ;
  border-color : darkgray; 
  font-size : 200% ;
  font-style : italic ;
  margin: 0em ;
  padding : 0.5em ;
}

.WebTopMenuBar {
  background : %WEBBGCOLOR%;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 1px;  
  border-top-width: 0em;  
  border-bottom-width: 0em;  
  border-color: darkgray; 
/*  width : 100% ; */
  margin: 0em ;
  padding : 0.5em ;
}

.WebContentCanvas {
  background : %WEBBGCOLOR% ;
  border: solid ;
  border-right-width : 1px;  
  border-left-width : 1px;  
  border-bottom-width : 1px;  
  border-top-width : 0em;  
  border-color: darkgray; 
  margin: 0em ;
  padding : 0em ;
}

.ContentTopicTitle {
  font-size : 150% ;
}

H1, H2, H3, H4, H5, H6 { 
  display: block 
}

H1 { margin-top: 0em; margin-bottom: 0em }
H2, H3, H4 { margin-top: 0em; margin-bottom: 0em }
H5, H6 { margin-top: 1em }
//H1 { text-align: center }
H1, H2, H3, H4, H6 { font-weight: bold }
H3, H5 { font-style: italic }

H1 { font-size: x-large }
H2 { font-size: large }
H3 { font-size: medium }

.WebLeftBar {
  vertical-align : top ;
  background : %WEBBGCOLOR% ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 0em;  
  border-top-width: 0em;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  width : 120px ; 
  font-size : 90% ;
  color : #444444 ;
  float : left; 
  margin: 0em ;
  padding-left : 10px ;
  padding-top : 10px ;
  padding-right : 10px ;
  padding-bottom : 10px ;
}

.WebLeftBarInactive {
  .twikiLink {
a:link    { text-decoration : none ; color : white ; } ;
a:visited { text-decoration : none ; color : lightgrey ; };
a:hover   { text-decoration : none ; color : white ; };
a:active  { text-decoration : none ; color : white ; };
  };
  vertical-align : top ;
  background : %WEBBGCOLOR% ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 0em;  
  border-top-width: 0em;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  widthh : 120px ; 
  font-size : 90% ;
  float : left; 
  margin: 0em ;
  padding-left : 10px ;
  padding-top : 10px ;
  padding-right : 10px ;
  padding-bottom : 10px ;
}

.newsbar {
  font-size : 85% ;
}

.WebContent {
  position : scroll ;
  vertical-align : top ;
  background : white ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 1px;  
  border-top-width: 1px;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  padding-top : 20px ;
  padding-left : 20px ;
  padding-right : 20px ;
  padding-bottom : 10px ;
  margin-top: 0em ;
  margin-left: 140px ;;
}

.WebContentSolo {
  position : scroll ;
  vertical-align : top ;
  background : white ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 0em;  
  border-top-width: 0em;  
  border-bottom-width: 0em;  
  border-color: darkgray; 
  padding-top : 20px ;
  padding-left : 20px ;
  padding-right : 20px ;
  padding-bottom : 10px ;
  margin-top: 0em ;
  margin-left: 0px ;;
}

/* Show the "PREVIEW" word in the background when previewing a topic: */
.WebPreview {
  background: url('%PUBURL%/TWiki/PreviewBackground/previewbg.gif');
  vertical-align : top ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 1px;  
  border-top-width: 1px;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  padding-top : 20px ;
  padding-left : 20px ;
  padding-right : 20px ;
  padding-bottom : 10px ;
  margin-top: 0em ;
  margin-left: 140px ;;

}



/* Make warnings appear in red, bold text: */
font.warn
{
  color: red;
  font-weight: bold;
}

%STOPINCLUDE%

r2 - 21 Sep 2006 - 19:03:30 - JoostVisser
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