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