[Hol-info] [fm-announcements] NFM 2016 - Call for participation

CALL FOR PARTICIPATION The 8th NASA Formal Methods Symposium June 7 - June 9, 2016 McNamara Alumni Center University of Minnesota

[Hol-info] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10

SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing

[Hol-info] [fm-announcements] RV'17 - First call for papers and tutorials

RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2...@easychair.org Runtime verification

[Hol-info] [fm-announcements] SPIN 2017 - Call for papers

SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing

[Hol-info] [fm-announcements] SPIN 2017 - 2nd Call for Papers *Paper Submission: February 10, 2017*

SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing

[Hol-info] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline

SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing

[Hol-info] [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions

RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2...@easychair.org Runtime verification

[Hol-info] [fm-announcements] RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017

Dear colleagues, The RERS Challenge 2017: is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with ISSTA/SPIN 2017. The event will be held in July 2017, in Santa Barbara, USA. RERS is designed to encourage software developers and researchers to

[Hol-info] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers

ISSTA 2017 Demonstrations http://conf.researchr.org/track/issta-2017/issta-2017-demos Call for Papers The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and

[Hol-info] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials

RV 2017 Call for Papers and Tutorials The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2...@easychair.org Runtime verification

[Hol-info] [fm-announcements] RV 2017 - 1st Call for Participation

CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification, September 13-16 2017, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Affiliated Event: RV-CuBES - An International Workshop on

[Hol-info] [fm-announcements] RV-CuBES Deadline Extension

RV-CuBES An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools Held in conjunction with the 17th International Conference on Runtime Verification (RV 2017) http://rv2017.cs.manchester.ac.uk/rv-cubes/ The goal of this

[Hol-info] [fm-announcements] RV 2017 - 2nd Call for Participation

CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA Website: http://rv2017.cs.manchester.ac.uk Program: http://easychair.org/smart-program/RV2017/

[Hol-info] [fm-announcements] RV 2018 Call for Papers

RV 2018 Call for Papers The 18th International Conference on Runtime Verification November 10-13, 2018, Limassol, Cyprus https://rv2018.isp.uni-luebeck.de rv18(at)easychair(dot)org

[Hol-info] [fm-announcements] SPIN 2019 in Beijing - Call for Papers and Participation

SPIN 2019 24th International Symposium on Model Checking of Software Beijing, China, July 15-19, 2019 https://conf.researchr.org/home/spin-2019 Co-located with ISSTA 2019 The 26th edition of the SPIN symposium aims at bringing together researchers and