FACS: Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FACS 2016 International Conference on Formal Aspects of Component Software
Oct 19, 2016 - Oct 21, 2016 Besançon, France Jul 1, 2016
FACS 2015 12th International Conference on Formal Aspects of Component Software
Oct 14, 2015 - Oct 16, 2015 Rio de Janeiro Jul 12, 2015
FACS 2014 11th International Symposium on Formal Aspects of Component Software
Sep 10, 2014 - Sep 12, 2014 Bertinoro, Italy Jun 16, 2014 (Jun 9, 2014)
FACS 2013 The 10th International Symposium on Formal Aspects of Component Software
Oct 28, 2013 - Oct 30, 2013 Nanchang, China Jul 15, 2013 (Jul 8, 2013)
FACS 2012 9th International Symposium on Formal Aspects of Component Software
Sep 12, 2012 - Sep 14, 2012 Mountain View, USA Jun 15, 2012 (Jun 8, 2012)
FACS 2011 8th International Symposium on Formal Aspects of Component Software
Sep 14, 2011 - Sep 16, 2011 Oslo, Norway Jun 26, 2011
FACS 2010 7th International Workshop on Formal Aspects of Component Software
Oct 14, 2010 - Oct 16, 2010 Guimarães, Portugal Jul 9, 2010 (Jul 2, 2010)
 
 

Present CFP : 2016

[Empty]
 

Related Resources

SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
FACS Workshops 2016   Call for Workshop Proposals at FACS 2016 (13th International Conference on Formal Aspects of Component Software)
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
ICFEM 2017   19th International Conference on Formal Engineering Methods
icaase 2016   The 2nd International Conference on Advanced Aspects of Software Engineering (ICAASE’16)
DMCIT 2017   2017 International Conference on Data Mining, Communications and Information Technology(DMCIT 2017)--Ei&Scopus
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
ICSCA 2017   6th International Conference on Software and Computer Applications (ICSCA 2017)-Ei Compendex
NFM 2017   The 9th NASA Formal Methods Symposium