Registration
Login
OCS
Conference
This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.
Open the overview of your actions in a new page.
Furthermore you can consult the Howtos.
| Name: | International Symposium on Leveraging Applications |
|---|---|
| Description: | The ISoLA Symposium is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. To bridge the gap between designers and developers of (formal methods based) rigorous tools, and users in engineering and in other disciplines, it fosters and exploits synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers. In particular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems and users in their search of adequate solutions to their problems. Applications and case studies with a conceptual message and experience papers with a clear link to tool construction are all encouraged. |
| PC Chairs: | Tiziana Margaria |
| Bernhard Steffen | |
| Conference flow: | Abstract Submission: March 20, 2012 23:59 HST, |
| Paper Upload: April 2, 2012 23:59 HST, | |
| Bidding for Review: March 22, 2012 23:59 HST, | |
| Assignment of Reviewers: April 3, 2012 23:59 HST, | |
| Review: April 30, 2012 23:59 HST, | |
| Decision: May 7, 2012 23:59 HST, | |
| Final: May 25, 2012 23:59 HST |
View papers
View paper sessions
Contact PC Chair
Howtos
User guide
Imprint
