|ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods|
For online paper submission refer to our Online Conference Service
Research papers, case studies, lessons learned, status reports, and discussions of practical problems faced by industry and user domains are all welcome submissions. For review, submissions are divided into two categories: Technical Papers and Experience Reports. Technical papers should describe original research, and industrial experience should include practical projects or lessons learned emphasizing outcomes, insights gained, and lessons learned. All submissions will be reviewed by program committee members on the basis of relevance, significance, technical quality, and clarity.
Accepted contributions will be published in the Pre-conference proceedings distributed at ISoLA. Post Conference formal Proceedings as well as a number of Special Sections/issues of international journals will appear after the conference. Authors of these papers will have to sign a copyright release form. Papers, panels and special sections should be submitted electronically here
For any enquiries on the Submission policy and details please refer to the Program Chair Bernhard Steffen ( firstname.lastname@example.org )