List of conferences - page 14
- VSTTE 2020: Call for papers
CALL FOR PAPERS
Verified Software: Theories, Tools and Experiments (VSTTE) 2020
July 19-20, 2020, Los Angeles, USA (co-located with CAV 2020 and ISSTA 2020)
https://sri-csl.github.io/VSTTE20/
===================================================================The Verified Software Initiative (VSI), spearheaded by Tony
Hoare and Jayadev Misra, is an ambitious research program for making
large-scale verified software a practical reality. The Working
Conference on Verified Software: Theories, Tools and Experiments
(VSTTE) is the main forum for advancing the initiative. VSTTE brings
together experts spanning the spectrum of software verification in
order to foster international collaboration on the critical research
challenges. The theoretical work includes semantic foundations and
logics for specification and verification, and verification algorithms
and methodologies. The tools cover specification and annotation
languages, program analyzers, model checkers, interactive verifiers
and proof checkers, automated theorem provers and SAT/SMT solvers, and
integrated verification environments. The experimental work drives the
research agenda for theory and tools by taking on significant
specification/verification exercises covering hardware, operating
systems, compilers, computer security, parallel computing, and
cyber-physical systems.The 2020 edition of VSTTE will be the 12th working conference in the
series, and will be co-located with CAV 2020 and ISSTA 2020 in Los
Angeles, USA.SCOPE: We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been proved
to meet its functional specifications. Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.
We are especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge. We also welcome
papers describing novel experiments and case studies evaluating
verification techniques and technologies.Topics of interest include, but are not limited to
Education
Requirements modeling
Specification languages
Specification/verification/certification case-studies
Formal calculi
Software design methods
Automatic code generation
Refinement methodologies
Compositional analysis
Verification tools
Tool integration
Benchmarks
Challenge problems
Integrated verification environmentsWork on diverse verification technologies, e.g., static analysis,
dynamic analysis, model checking, theorem proving, satisfiability, is
particularly encouraged.SUBMISSIONS: VSTTE 2020 will accept both long (limited to 16 pages,
excluding references) and short (limited to 10 pages, excluding
references) paper submissions. Short submissions also cover
Verification Pearls describing an elegant proof or proof
technique. Submitted research papers and system descriptions must be
original and not submitted for publication elsewhere. Submissions of
theoretical, practical, and experimental contributions are equally
encouraged, including those that focus on specific problems or problem
domains.Papers can be submitted at the VSTTE 2020 conference page:
https://easychair.org/conferences/?conf=vstte2020
Submissions that arrive late, are not in the proper format, or are too
long will not be considered. The post-conference proceedings of VSTTE
2020 will be published by Springer-Verlag in the LNCS series. Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag. The use of LaTeX
and the Springer LNCS class files
(http://www.springer.de/comp/lncs/authors.html) is strongly
encouraged.IMPORTANT DATES:
April 14, 2020 : Abstract submission
April 20, 2020 : Paper submission
June 5, 2020: Notification of acceptance
July 19-20, 2020: Conference
August 28, 2020 : Camera-ready for post-conference proceedingsGENERAL CHAIR:
Natarajan Shankar (SRI International, USA)PROGRAM CHAIRS:
Maria Christakis (MPI-SWS, Germany)
Nadia Polikarpova (UCSD, USA)PROGRAM COMMITTEE:
Christel Baier (TU Dresden, Germany)
Nikolaj Bjørner (Microsoft Research, USA)
Supratik Chakraborty (IIT Bombay, India)
Eva Darulova (MPI-SWS, Germany)
Ankush Desai (UC Berkeley and AWS, USA)
Gidon Ernst (LMU Munich, Germany)
Grigory Fedyukovich (Florida State University, USA)
Pietro Ferrara (Ca' Foscari University of Venice, Italy)
Jean-Christophe Filliâtre (CNRS, France)
Carlo A. Furia (USI, Switzerland)
Patrice Godefroid (Microsoft Research, USA)
Marieke Huisman (University of Twente, Netherlands)
Rajeev Joshi (AWS, USA)
Dejan Jovanović (SRI International, USA)
Akash Lal (Microsoft Research, India)
Nuno P. Lopes (Microsoft Research, UK)
Peter Müller (ETH Zurich, Switzerland)
Jorge Navas (SRI International, USA)
Andrei Paskevich (Paris-Sud University, France)
Hila Peleg (UCSD, USA)
Chris Poskitt (SMU, Singapore)
Zvonimir Rakamaric (University of Utah, USA)
Philipp Rümmer (Uppsala University, Sweden)
Christian Schilling (IST Austria, Austria)
Rahul Sharma (Microsoft Research, India)
Julien Signoles (CEA LIST, France)
Graeme Smith (The University of Queensland, Australia)
Michael Tautschnig (Queen Mary University of London and AWS, UK)
Tachio Terauchi (Waseda University, Japan)
Caterina Urban (INRIA, France)
Thomas Wies (NYU, USA)
Kirsten Winter (The University of Queensland, Australia)
Valentin Wüstholz (ConsenSys Diligence, Germany)
Damien Zufferey (MPI-SWS, Germany)- CFP: SEFM - International Conference on Software Engineering and Formal Methods
SEFM aims to bring together leading researchers and practitioners
from academia, industry, and government, to advance the state of
the art in formal methods, to facilitate their uptake in the
software industry, and to encourage their integration within
practical software engineering methods and tools.- LangDev'20 Call for Talk Proposals
The Language Developer’s Meetup (LangDev) is an informal two-day meeting where language engineering enthusiasts from both industry and academia can come together to discuss the state-of-the-art and state-of-the-practice of language engineering.
April 27-28, Mainz, Germany, http://langdevcon.org/
- SEFM 2020 - Preliminary Call for Papers
18th International Conference on Software Engineering and Formal Methods, Amsterdam, The Netherlands, 14-18 September 2020
- Call for Papers - MDEML track at Euromicro SEAA 2020
MDEML: Model-Driven Engineering and Modeling Languages
August 26-28, 2020 (https://dsd-seaa2020.um.si)Abstracts: March 2, 2020; Papers: March 16, 2020.
- CfP SPLC 2020 24th International Systems and Software Product Line Conference (Montréal, Canada)
SPLC 2020: 24th International Systems and Software Product Line Conference
October 19 to 23, 2020
Montréal, Canada
https://splc2020.net/The Systems and Software Product Line Conference (SPLC) is a premier forum where researchers, practitioners, and educators can present and discuss the most recent ideas, trends, experiences, and challenges in the area of software and system product lines engineering. Conference events include opportunities to hear industry leaders’ real-world experiences and researchers’ latest ideas and to learn from both.
The 24th International Systems and Software Product Line Conference (SPLC 2020) will be held from October 19th to 23rd with a planned collocation with the IEEE / ACM 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS).
- COORDINATION 2020: CfP - Malta, June 15-19
******************************************************************
22nd International Conference on Coordination Models and Languages
COORDINATION 202015-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
*********************************************************************
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.
