List of conferences - page 3


VECoS 2018: Deadline extensions
by Simon Bliudze, April 11, 2018

*****************************************************************
VECoS 2018
Call for Papers

!!! Abstract and paper submission deadlines extended !!!

12th International Conference on
Verification and Evaluation of Computer and Communication Systems

September 26-28, 2018, Grenoble, France

https://vecos.ensta-paristech.fr/2018/
*****************************************************************

1st CfP: International Conference on Runtime Verification 2018
by ccol002, April 2, 2018

RV 2018 will be held November 10-13 in Limassol, Cyprus. RV 2018 will
feature a tutorial day (November 10), and three conference days
(November 11-13).

IMPORTANT DATES
----------
Papers as well as tutorial proposals will follow the following timeline
(Anywhere on Earth):

* Abstract deadline: June 18, 2018
* Paper deadline: June 25, 2018
* Paper notification: September 10, 2018
* Camera-ready deadline: September 21, 2018
* Conference: November 10-13, 2018

Runtime verification is concerned with the monitoring and analysis of
the runtime behaviour of software and hardware systems. Runtime
verification techniques are crucial for system correctness, reliability,
and robustness; they provide an additional level of rigor and
effectiveness compared to conventional testing, and are generally more
practical than exhaustive formal verification. Runtime verification can
be used prior to deployment, for testing, verification, and debugging
purposes, and after deployment for ensuring reliability, safety, and
security and for providing fault containment and recovery as well as
online system repair.

Topics of interest to the conference include, but are not limited to:

* specification languages
* monitor construction techniques
* program instrumentation
* logging, recording, and replay
* combination of static and dynamic analysis
* specification mining and machine learning over runtime traces
* monitoring techniques for concurrent and distributed systems
* runtime checking of privacy and security policies
* statistical model checking
* metrics and statistical information gathering
* program/system execution visualization
* fault localization, containment, recovery and repair
* dynamic type checking

Upcoming Deadline for SAS 2018: April 13th
by Caterina Urban, March 31, 2018

= = = The submission deadline has been moved to April 13th, 2018 = = =

CFP: 16th Asian Symposium on Programming Languages and Systems (APLAS)
by Sukyoung Ryu, March 29, 2018

CALL FOR PAPERS

16th Asian Symposium on Programming Languages and Systems (APLAS)
Wellington, NZ
3rd – 5th of December 2018

IMPORTANT DATES

Abstract deadline: Tuesday, June 12, 2018
Submission deadline: Friday, June 15, 2018
Author response: Wednesday-Friday, July 25-27, 2018
Author notification: Monday, August 13, 2018
Camera-ready deadline: Friday, August 31, 2018

Deadline extension: SETTA 2018
by Xinyu Feng, March 27, 2018

*********************************************************************
Extended deadlines: April 23 for abstract, and April 30 for paper
*********************************************************************

*********************************************************************
SETTA 2018, Call for Papers
4th International Symposium on Dependable Software Engineering:
Theories, Tools and Applications
Beijing, China, September 4 - 6, 2018
<http://lcs.ios.ac.cn/setta2018/>
(Co-located with CONCUR, FORMATS, and QEST as part of CONFESTA)
*********************************************************************

*IMPORTANT DATES*
- Abstract deadline: April 23, 2018 (extended)
- Submission deadline: April 30, 2018
- Author notification: June 14, 2018
- Camera-ready version: June 28, 2018
- Symposium: September 4-6, 2018

CFP: Brazilian Symposium on Formal Methods (Abstract Deadline: July 2nd, Paper Deadline: July 13th)
by Mohammad Mousavi, March 26, 2018

CALL FOR PAPERS

21st Brazilian Symposium On Formal Methods (SBMF)
Supported by the Brazilian Computer Society (SBC)
Salvador-BA, Brazil
26 to 30 of November 2018

IMPORTANT DATES

Abstract Submission Deadline: July 2nd, 2018
Paper Submission Deadline: July 13th, 2018
Paper Acceptance Notification: August 28th, 2018
Paper Camera-ready Version: September 4th, 2018

Call for Papers: 15th International Conference on Formal Aspects of Component Software (FACS'18)
by Peter Olveczky, March 13, 2018

The conference seeks to address the application of
formal methods in all aspects of software components and
services.

Call for Papers: IFL 2018 (30th Symposium on Implementation and Application of Functional Language)
by Jurriaan Hage, March 13, 2018

Call for Papers for IFL 2018 30th Symposium on Implementation and Application of Functional Languages which will take place at the
University of Massachusetts Lowell, MA, USA on September 5th-7th, 2018. More information: http://iflconference.org