List of conferences - page 15
- CfP: 12th NASA Formal Methods Symposium (NFM 2020)
****************************************************
The Twelfth NASA Formal Methods Symposium
https://ti.arc.nasa.gov/events/nfm-2020/
11 - 15 May 2020
NASA Ames Research Center, Moffett Field, CA, USA
****************************************************Theme of the Symposium:
-----------------------
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.
New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.Important Dates:
----------------
Abstract Submission: 12 Dec 2019
Paper Submission: 19 Dec 2019
Paper Notifications: 20 Feb 2020
Camera-ready Papers: 27 Mar 2020
Symposium: 11-15 May 2020- Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien
QONFEST is the umbrella conference comprising the joint international
2020 meetings CONCUR (31st International Conference on Concurrency
Theory), QEST (17th International Conference on Quantitative
Evaluation of SysTems), FORMATS (18th International Conference on
Formal Modeling and Analysis of Timed Systems) and FMICS (25th
International Conference on Formal Methods for Industrial Critical
Systems). QONFEST 2020 will be hosted at TU Wien, Vienna, Austria,
with the conferences taking place in the main building at Karlsplatz
13, 1040 Wien, and the workshops in the computer science building at
Favoritenstr. 9–11, 1040 Wien.- CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20
CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20
- ECOOP '20 Call for Artifact Evaluation Committee Members
ECOOP' 20 solicits self-nominations from junior researchers for the Artifact Evaluation Committee to foster diversity and train the next generation of researchers. Nominations can be submitted at https://2020.ecoop.org/track/ecoop-2020-artifacts#Call-for-reviewers.
- Practical Aspects of Declarative Languages PADL2020: 2nd CFP
22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020)
https://popl20.sigplan.org/home/PADL-2020,
20-21 January 2020, New Orleans, Louisiana, United States
Co-located with ACM POPL 2020 (https://popl20.sigplan.org/)- Call for Participation - Formal Aspects of Component Software (FACS 2019), Amsterdam
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.
Invited speakers: Carlo Ghezzi, Kim Larsen, Wan Fokkink. Tutorial: Jan Friso Groote & Tim Willemse.
- TAPAS 2019 - Call for Participation - Register Early by Sep 10
Register early by September 10 to the 10th Workshop on Tools for Automatic Program Analysis (Porto, Portugal, part of the FM Week)
https://staticanalysis.org/tapas2019/- PADL 2020 (co-allocated with POPL 2020): first call for papers
Declarative programming languages is an umbrella term for functional, logic, answer-set and constraint-solving programming paradigms, as well as a range of verification and theorem proving methods that rely on such languages. These languages have been successfully applied to many different real-world situations, ranging from data base management and active networks to software engineering to decision support systems.
PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of declarative programming.
