List of conferences - page 2


21st International Conference on Discovery Science (DS 2018): First Call for Papers
by George Angelos Papadopoulos, April 17, 2018

The 21st International Conference on Discovery Science (DS 2018) provides
an open forum for intensive discussions and exchange of new ideas among
researchers working in the area of Discovery Science.

The scope of the conference includes the development and analysis of
methods for discovering scientific knowledge, coming from machine
learning, data mining, intelligent data analysis, big data analysis as well as
their application in various scientific domains.

We welcome papers that focus on the analysis of different types of massive
and complex data, including structured, spatio-temporal and network data.
We particularly welcome papers addressing applications. Finally, we would
like to encourage contributions from the areas of computational
scientific discovery, mining scientific data, computational creativity and
discovery informatics.

SETTA 2018 deadline approaching
by Xinyu Feng, April 17, 2018

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

ICTAC 2018 2nd call for papers
by Tarmo Uustalu, April 13, 2018

CALL FOR PAPERS

15th International Colloquium on Theoretical Aspects of Computing
ICTAC 2018
Stellenbosch, South Africa, 16-19 October 2018
https://www.ictac.org.za/

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

CFP FM Doctoral Symposium 2018
by Fatiha Zaidi, April 5, 2018

FM Doctoral Symposium

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

The 6th International Conference on Enterprise Systems (ES 2018): Third Call for Papers
by George Angelos Papadopoulos, April 1, 2018

Welcome to the 6th International Conference on Enterprise Systems.
Enterprise Systems (ES), also referred to as Enterprise Information Systems,
has become increasingly popular over the last 20 years because it integrates
and extends business processes across the boundaries of business functions
and corporate walls, as well as country border lines. The International
Conference on Enterprise Systems (ES) has been held every year since 2013.
The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus,
8-9 October, 2018. The conference is hosted by the Department of Computer
Science, University of Cyprus.

This conference series is focusing on both the technical and application
aspects of enterprise systems, the complex and cross-disciplinary
problems of enterprise integration, and the new technological frontiers
such as Industrial Integration, Industrial Information Integration, and
Industry 4.0. The objectives of the conference are to provide high quality
research and professional interactions for the advancement of science
and technology. The main features of the conference include Keynote
Speeches, Regular and Special Sessions. It has been highlighted by the
IEEE Systems, Man, and Cybernetics Society: http://ieeesmc.org/ .

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

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