25th International Conference on Computer Aided Verification 2013CAV2013: Jul 13, 2013 - Jul 19, 2013 in St. Petersburg, RussiaSubmissions: Jan 7, 2013Notification: Mar 6, 2013Call for PapersPrevious EditionsPrevious PublicationsThe conference on Computer Aided Verification (CAV), 2013, is the 25th
in a series dedicated to the advancement of the theory and practice of
computer-aided formal analysis methods for hardware and software
systems. CAV considers it vital to continue spurring advances in
hardware and software verification while expanding to new domains such ... Read MoreDevelopments in Implicit Computational Complexity 2013DICE2013: Mar 16, 2013 - Mar 17, 2013 in ROMA, ITALYSubmissions: Jan 10, 2013Notification: Jan 25, 2013Call for PapersPrevious EditionsPrevious PublicationsThe area of Implicit Computational Complexity (ICC) has grown out from several proposals
to use logic and formal methods to provide languages for complexity-bounded computation
(e.g. Ptime, Logspace computation). It aims at studying computational complexity without
referring to external measuring conditions or a particular machine model, ... Read More10th International Workshop on Formal Engineering approaches to Software Components and Architectures 2013FESCA2013: Mar 23, 2013 - Mar 23, 2013 in Rome, ItalySubmissions: Dec 5, 2012Notification: Jan 25, 2013Call for PapersPrevious EditionsPrevious PublicationsComponent-based software design has received considerable attention in industry and academia in the past decade. In recent years, the growing need for trustworthy software systems and the increased relevance of systems quality properties (e.g. reliability, performance, and scalability) have stimulated the emergence of formal techniques and arch ... Read More22nd Australasian Software Engineering Conference 2013ASWEC 20132013: Jun 4, 2013 - Jun 7, 2013 in Melbourne, AustraliaSubmissions: Dec 14, 2012Notification: Feb 11, 2013Call for PapersPrevious EditionsPrevious PublicationsEstablished in 1986, ASWEC is a leading technical forum for the exchange of peer-reviewed research outcomes and industry best-practice in software engineering. It attracts a wide range of participants including software engineering researchers, practitioners and educators for across Australia, its regional neighbours, and from other internation ... Read More10th International Conference on integrated Formal Methods 2013iFM 20132013: Jun 10, 2013 - Jun 14, 2013 in Turku, FinlandSubmissions: Jan 17, 2013Notification: Mar 11, 2013Call for PapersPrevious EditionsPrevious PublicationsApplying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. Correspondingly, different analysis techniques will be used to examine differently modeled system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conf ... Read MoreSecond Workshop on Validation Strategies for Software Evolution (VSSE 2013) 2013VSSE2013: Mar 16, 2013 - Mar 16, 2013 in Rome, ItalySubmissions: Dec 20, 2012Notification: Jan 20, 2013Call for PapersPrevious EditionsPrevious PublicationsVSSE focuses on the verification and testing of software changes and upgrades.
Software is usually not written all at once, but is built incrementally for several reasons:
- Maintenance - fixing errors and flaws, hardware changes, etc.
- Enhancements - new functionality, improved efficiency, extension, new regulations, etc.
Changes are ... Read MoreInternational Conference on Exploring Service Science 1.3 2013IESS2013: Feb 7, 2013 - Feb 9, 2013 in Porto, PortugalSubmissions: Oct 29, 2012Notification: Call for PapersPrevious EditionsPrevious PublicationsSince 2010, the IESS conferences provide a forum for the presentation and exchange of research results and practical experiences within the new field of Service Science, bringing together researchers and practitioners from many different areas.
Services represent the largest sector of the economy in many nations. Service Science aims to unders ... Read MoreStrategic Reasoning 2013SR20132013: Mar 16, 2013 - Mar 17, 2013 in Rome, ITalySubmissions: Dec 14, 2012Notification: Jan 17, 2013Call for PapersPrevious EditionsPrevious PublicationsFifth International Conference on Fundamentals of Software Engineering 2013 2013FSEN2013: Apr 24, 2013 - Apr 26, 2013 in Tehran, IranSubmissions: Oct 26, 2012Notification: Dec 14, 2012Call for PapersPrevious EditionsPrevious PublicationsFSEN is an international conference that aims to bring together
researchers, engineers, developers, and practitioners from the
academia and the industry, who work in every area of formal
methods. This conference seeks to facilitate the transfer of
experience, adaptation of methods, and where possible, foster
collaboration among different g ... Read MoreSeventh International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) 2013vamos2013: Jan 23, 2013 - Jan 25, 2013 in Pisa, ItalySubmissions: Oct 8, 2012Notification: Dec 2, 2012Call for PapersPrevious EditionsPrevious PublicationsVariability management is a major challenge in the development, maintenance, and evolution of software-intensive systems. An important precondition to the effective and efficient management of variability is that it must be explicitly modelled. Thus VaMoS 2013 will focus broadly on innovative work in the area of variability modelling and manage ... Read More