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

ICFEM 2017   19th International Conference on Formal Engineering Methods
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
STACS 2017   34th International Symposium on Theoretical Aspects of Computer Science
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
NFM 2017   The 9th NASA Formal Methods Symposium
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ASE 2017   The 32nd IEEE/ACM International Conference on Automated Software Engineering
DMCIT 2017   ACM-2017 International Conference on Data Mining, Communications and Information Technology(DMCIT 2017)--EI