FESCA Workshops

Welcome to the joint website of FESCA Workshops! The series of FESCA workshops so far includes:

FESCA @ ETAPS 2016

13th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 3rd April 2016, Eindhoven, Netherlands
http://fesca.ipd.kit.edu/fesca2016/

FESCA @ ETAPS 2015

12th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 12st April 2015, London, UK
http://fesca.ipd.kit.edu/fesca2015/

FESCA @ ETAPS 2014

11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 12st April 2014, Grenoble, France
http://fesca.ipd.kit.edu/fesca2014/

FESCA @ ETAPS 2013

10th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 23st March 2013, Rome, Italy
http://fesca.ipd.kit.edu/fesca2013/

FESCA @ ETAPS 2012

9th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 31st March 2012, Tallin, Estonia
http://fesca.ipd.kit.edu/fesca2012/

FESCA @ ETAPS 2011

8th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 2nd-3rd April 2011, Saarbruecken, Germany
http://fesca.ipd.kit.edu/fesca2011/

FESCA @ ETAPS 2010

7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 27th March 2010, Paphos, Cyprus
http://fesca.ipd.kit.edu/fesca2010/

FESCA @ ETAPS 2009

6th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on 28th March 2009, York, UK
http://fesca.ipd.kit.edu/fesca2009/

FESCA @ ETAPS 2008

5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, Satellite event of ETAPS, held on 29th March 2008, Budapest, Hungary
http://palab.dcs.kcl.ac.uk/fesca/index.html

FESCA @ ETAPS 2007

4th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, Satellite event of ETAPS, held on 24th March 2007, Braga, Portugal
http://palab.dcs.kcl.ac.uk/fesca/index2007.html

FESCA @ ETAPS 2006

3rd International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, Satellite event of ETAPS, held on 26th March 2006, Vienna, Austria

FESCA @ ETAPS 2005

2nd International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, Satellite event of ETAPS, held on 10th April 2005, Edinburgh, Scotland

FESCA @ ETAPS 2004

1st International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, Satellite event of ETAPS, held on 3rd April 2004, Barcelona, Spain