List of conferences - page 2


COORDINATION 2020: CfP - Malta, June 15-19
by Simon Bliudze, Dec. 23, 2019

******************************************************************
22nd International Conference on Coordination Models and Languages
COORDINATION 2020

15-19th of June, 2020 at the University of Malta, Valletta

http://www.discotec.org/2020/coordination

COORDINATION 2020 is one of the three conferences of DisCoTec 2020
******************************************************************

NFM 2020 Paper Submission Extension
by Anastasia Mavridou, Dec. 13, 2019

*********************************************************************
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
********************************************************************

Extended Deadlines
--------------------
Abstract Submission: 12 Dec 2019 24 Dec 2019
Paper Submission: 19 Dec 2019 30 Dec 2019
Paper Notifications: 20 Feb 2020
Camera-ready Papers: 27 Mar 2020
Symposium: 11-15 May 2020


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.

CfP: 12th NASA Formal Methods Symposium (NFM 2020)
by Anastasia Mavridou, Dec. 2, 2019

****************************************************
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
by Ana Sokolova, Nov. 26, 2019

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.

FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems
by Maurice ter Beek, Nov. 22, 2019

-------------------------

FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems

Vienna, Austria, September 2–3, 2020

https://fmics20.ait.ac.at/

-------------------------

NEW THIS YEAR: special track on "Formal Methods for Security in IoT" and special issue in STTT

-------------------------

CFP - DisCoTec 2020
by kikofernandez, Nov. 21, 2019

DisCoTec 2020 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues.

CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20
by Dario Di Nucci, Nov. 13, 2019

CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20

IEEE/ACM CGO-2020 Call for submissions to Student Research Competition (SRC)
by fabian_gruber, Nov. 4, 2019

The ACM Student Research Competition (SRC) offers a unique forum for undergraduate and graduate students to present their original research before a panel of judges and attendees at CGO. Participants must be undergraduates or graduate students pursuing an academic degree at the time of initial submission. Participants must be current student members of the ACM. The abstracts will be examined by a selection committee and selected abstracts will be invited to present as posters at the conference. SRC poster submissions are, in addition, evaluated by a jury during the poster session at the conference. The best three posters are then invited to give a short presentation (10 minutes + 5 minutes questions) on the next day. Based on the submitted abstract, the poster, and the presentation, the winner of CGO's Student Research Competition will be selected, who will receive an award. In addition, the winner will be invited to participate in the grand 2020 ACM SRC competition. Further information on the ACM SRC is available at: https://src.acm.org