ACM International Conference on Computing Frontiers 2016 (CF'16) May 16 - 18, 2016, Como, Italy |  www.computingfrontiers.org

The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers

The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.

The 8th  International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Scope

20th International Symposium on Formal Methods SCOPE AND TOPICS

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014) http://cecris-project.eu/wosocer2014 3-6 November 2014, Naples, Italy The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014. We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.

7th  International Workshop on Numerical Software Verification July 17-18, 2014 A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014 Novelty of this edition

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 19-21 October, 2014

ACM Symposium On Applied Computing For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.