International Conference on Formal Aspects of Component Software

2017

FACS 2017

• 10-13 October
• Braga, Portugal

• Formal Aspects of Component Software
  • 14 Papers
  • 1 Volume

2016

FACS 2016

• 19-21 October
• Besançon, France

• Formal Aspects of Component Software
  • 16 Papers
  • 1 Volume

2014

FACS 2014

• 10-12 September
• Bertinoro, Italy

• Formal Aspects of Component Software
  • 22 Papers
  • 1 Volume

2013

FACS 2013

• 27-29 October
• Nanchang, China

• Formal Aspects of Component Software
  • 22 Papers
  • 1 Volume

2012

FACS 2012

• 12-14 September
• Mountain View, CA, USA

• Formal Aspects of Component Software
  • 16 Papers
  • 1 Volume

2011

FACS 2011

• 14-16 September
• Oslo, Norway

• Formal Aspects of Component Software
  • 21 Papers
  • 1 Volume

2010

FACS 2010

• 14-16 October
• Guimarães, Portugal

• Formal Aspects of Component Software
  • 20 Papers
  • 1 Volume