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

Upcoming Deadlines

Deadline Name When Where
January 8, 2007 FMOODS'07 June 6-8, 2007 Paphos, Cyprus
January 12, 2007 SBLP'07 May 23-25, 2007 Natal, Brazil
January 12, 2007 CiE 2007 (Computability in Europe) June 18-23, 2007 Siena, Italy
January 21, 2007 ACSD (7th Inter Conf. Application of Concurrency to System Design) June 1-13, 2007 Bratislava, Slovak Republik
January 27, 2007 Coordination'07 June 6-8, 2007 Paphos, Cyprus
January 28, 2007 CALCO'07 (2nd Conf. Algebra and Coalgebra in Computer Science) August 20-24, 2007 Bergen, Norway
January 28, 2007 [[http://www.sei.ecnu.edu.cn/TASE2007/] [TASE'07(1st IEEE & IFIP Inter. Symp. Theoretical Aspects of Software Eng.)]] June 6-8, 2006 Shangai, China
January 29, 2007 IFM 2007 (Integrated Formal Methods) July 2-6, 2007 Oxford, UK
January 30, 2007 EuroPLoP 2007 (12th European Conf. Pattern Languages of Programs) July 4-8, 2007 Irsee Monastery, Germany
February 16, 2007 Qac'07 (First Inter. Workshop on Quality Aspects of Coordination) June 4-5, 2007 Shangai, China
February 20, 2007 SARP'2007 (First Int. Ws. Software Architecture Research and Practice) July 1-6, 2007 Silicon Valley, USA
March 11, 2007 SACT'07 (2th IEEE A Software Architectures & Component Technologies) July 24-27, 2007 Beijing, China
March 19, 2007 ESEC/FSE 2007 September 3-7 Dubrovnik, Croatia
March 19, 2007 MODELS 2007 September 30 - October 5, 2007 Nashville, USA
March 26, 2007 CONCUR'07 September 4-7 Lisbon, Portugal
May 4, 2007 Refine'07 (BCS-FACS Refinement Workshop) July 2-6, 2007 Oxford, UK
May 15, 2007 SBMF'07 August, 29-31 Ouro Preto, Brazil
April 16, 2007 SCAM'07 September 30 - October 1, 2007 Maison Internationale, Paris, France

Past Deadlines

Deadline Name When Where
July 8, 2005 3nd APPSEM II Workshop September 12-15, 2005 Frauenchiemsee, Germany
July 8, 2005 Trends in Functional Programming September 23-24, 2005 Tallinn, Estonia
July 15, 2005 Formal Aspects of Component Software October 24-25, 2005 Macao
August 7, 2005 Implementation and Application of Functional Languages September 19-21, 2005 Dublin, Ireland
August 20, 2005 Practical Aspects of Declarative Languages January 11-13, 2006 South Carolina, USA
October 3, 2005 Programming Language Technologies for XML January 14, 2006 South Carolina, USA
October 7, 2005 ETAPS'06 (FASE, FOSSACS, ESOP, TACAS, CC) March 25 - April 2, 2006 Vienna, Austria
November 11, 2005 FLOPS'06 (Eighth International Symposium on Functional and Logic Programming) April 24-26, 2006 Fuji Susono, Japan
December 2, 2005 SC'06 (5th International Workshop on Software Composition) March 25-26, 2006 Vienna, Austria
December 11, 2005 CSR'06 (International Computer Science Symposium in Russia) June, 8-12, 2006 St. Petersburg, Russia
December 14, 2005 FESCA'06 (Formal Foundations of Embedded Software and Component-Based Software Architectures) March 26, 2006 Vienna, Austria
January 8, 2006 CMCS'06 (8th International Workshop on Coalgebraic Methods in Computer Science) March 25-27, 2006 Vienna, Austria
January 10, 2006 FMOODS'06 (8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems) June 13-16, 2006 Bologna, Italy
January 10, 2006 Coordination'06 (8th International Conference on Coordination Models and Languages) June 13-16, 2006 Bologna, Italy
January 20, 2006 ICPC'06 (14th International Conference on Program Comprehension) June 14-16, 2006 Athens, Greece
January 21, 2006 SBLP (10º Brazilian Symposium on Programing Languages) May 15-19, 2006 Itatiaia, Brasil
January 27, 2006 DEON'06(Deontic Logic in Computer Science) July 12-14, 2006 Utrecht, The Netherlands
January 27, 2006 MPC'06 & AMAST'06 July 3-5, 2006 Kuressaare, Estonia
February 3, 2006 LICS'06 (Logic in Computer Science) August 12-15 Seattle, USA
February 10, 2006 ICALP'06 (33rd International Colloquium on Automata, Languages and Programming) July, 9-16 Venice, Italy
February 15, 2006 MFPS XXII (Twenty-second Conference on the Mathematical Foundations of Programming Semantics) May, 24-27 Genoa, Italy
February 24, 2006 FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS August 21 - 27, 2006 Hamilton, Canada
February 27, 2006 RelMiCS/AKA 2006: Joint 9th International Conference on RELATIONAL METHODS IN COMPUTER SCIENCE and 4th International Workshop on APPLICATIONS OF KLEENE ALGEBRA 29 Aug.-2 Sep. 2006 Manchester, UK
March 3, 2006 JMLC2006 September, 12-15 Oxford, UK
March 20, 2006 MoDELS'06 October, 1-6 Genoa, Italy
March 21, 2006 CONCUR'06 August 27-30 Bonn, Germany
March 27, 2006 AiML'06: Advances in Modal Logic September 25-28 Queensland, Australia
March 31, 2006 MTCoord'06 June 13 Bologna, Italy
April 11, 2006 SIGSOFT 2006 / FSE 14 (14th ACM Symposium on Foundations of Software Engineering) November 5-11 Portland, Oregon, USA
April 11, 2006 CSL'06 (Computer Science Logic 2006) September 25-29 Szeged, Hungary
April 30, 2006 Generative Programming and Component Engineering (GPCE'06) October 22-26 Portland, USA
May 1, 2006 ICTAC'06 (Int. Symp. Theo. Aspects of Computing) November 22-24 Gammarth/Tunis, Tunisia
May 12, 2006 ICFEM 2006 (Eighth International Conference on Formal Engineering Methods) October 30 - November 3 Macau

Summer and Winter Schools

Deadline Name When Where
July 1, 2005 APPSEM II September 8-12, 2005 Frauenchiemsee, Germany

Journals

r100 - 28 Jun 2007 - 11:39:39 - JoseBacelarAlmeida
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