International Conference on Model Transformation 2013ICMT2013: Jun 18, 2013 - Jun 19, 2013 in Budapest, HungarySubmissions: Feb 1, 2013Notification: Mar 22, 2013Call for PapersPrevious EditionsPrevious PublicationsThe International Conference on Model Transformation (ICMT) is the premier forum for researchers and practitioners alike from all areas of model transformation.
Model transformation encompasses a variety of technical spaces, including modelware, grammarware, dataware, and ontoware, a variety of model representations, e.g., based on different ... Read MoreThe 8th International Workshop on Mutation Analysis 2013Mutation 20132013: Mar 18, 2013 - Mar 18, 2013 in Luxembourg, LuxembourgSubmissions: Jan 11, 2013Notification: Feb 11, 2013Call for PapersPrevious EditionsPrevious Publications14th International Conference on Agile Software Development 2013XP2013: Jun 3, 2013 - Jun 7, 2013 in Vienna, AustriaSubmissions: Jan 3, 2013Notification: Feb 22, 2013Call for PapersPrevious EditionsPrevious Publications7th International Workshop on Computing with Terms and Graphs 2013TERMGRAPH2013: Mar 23, 2013 - Mar 23, 2013 in Rome, ItalySubmissions: Jan 7, 2013Notification: Jan 25, 2013Call for PapersPrevious EditionsPrevious PublicationsResearch in term and graph rewriting ranges from theoretical questions
to practical issues. Computing with graphs handles the sharing of
common subexpressions in a natural and seamless way, and improves the
efficiency of computations in space and time. Sharing is ubiquitous
in several research areas, for instance : the modelling o ... Read More25th 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 More