2017

event

Visible to the public  GraMSec 2017
Aug 21, 2017 7:00 am - 6:00 pm CDT

Submitted by Anonymous on Mon, 03/06/2017 - 5:59pm

The Fourth International Workshop on Graphical Models for Security

Co-located with CSF 2017

event

Visible to the public  CyberC 2017
Oct 12, 2017 7:00 am - Oct 14, 2017 6:00 pm CST

Submitted by Anonymous on Mon, 03/06/2017 - 5:49pm

CyberC 2017 : The 9th International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery

Nanjing, China | October 12 - 14, 2017 | www.Cyberc.org

Cosponsors: IEEE Communication Society (technically - under approve), IEEE Big Data Initiative, IEEE SDN (Software Defined Networks) Initiative, IEEE Communications Society (ComSoc) Technical Committee on Big Data (TCBD)

Scope :

event

Visible to the public  GCM 2017
Jul 17, 2017 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 5:32pm

GCM 2017: Eighth International Workshop on Graph Computation Models

Marburg, Germany | 17 July 2017 | http://pages.di.unipi.it/corradini/Workshops/GCM2017

event

Visible to the public  WATERS 2017
Jun 27, 2017 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 5:21pm

8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017)

June 27th, 2017 | Dubrovnik, Croatia | http://waters2017.inria.fr

event

Visible to the public  RP '17
Sep 07, 2017 7:00 am - Sep 09, 2017 6:00 pm EDT

Submitted by Anonymous on Mon, 03/06/2017 - 4:58pm

The 11th International Workshop on Reachability Problems (RP'17)

Hosted at Royal Holloway, University of London.

The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification.

Invited Speakers:

event

Visible to the public  ICESS 2017
Mar 06, 2017 4:45 pm - 5:45 pm EST

Submitted by Anonymous on Mon, 03/06/2017 - 4:51pm

14th IEEE International Conference on Embedded Software and Systems (ICESS 2017)

Sydney, Australia | August 1-4, 2017 | http://www.stprp-activity.com/ICESS2017

Co-Located with IEEE TrustCom and IEEE BigDataSE

IMPORTANT DATES

  • Paper submission deadline: April 15, 2017
  • Notification of acceptance: May 15, 2017
  • Final paper submission: June 1, 2017

As the fastest growing industry, embedded systems have great societal and environmental impacts.

event

Visible to the public  VerifyThis 2017
Apr 22, 2017 7:00 am - Apr 23, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 4:37pm

VerifyThis Verification Competition 2017

ABOUT

VerifyThis 2017 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017) on April 22-23, 2017 in Uppsala, Sweden. It is the 6th event in the VerifyThis competition series.

event

Visible to the public  SERENE 2017
Sep 04, 2017 7:00 am - Sep 05, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 4:29pm

SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems

Co-located with EDCC, European Dependable Computing Conference.

Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc.

event

Visible to the public  RADIANCE 2017
Jun 26, 2017 7:00 am - Jun 26, 2017 6:00 pm MDT

Submitted by Anonymous on Mon, 03/06/2017 - 4:18pm

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms

Co-located with DSN 2017

Critical systems are becoming more and more complex and heterogeneous, integrating previously
separate systems and including design solutions ranging from the introduction of software Off
The Shelf (OTS) to the adoption of loosely-integrated and composable services. Innovative
dependability assessment solutions and certification processes are thus needed to deal with

event

Visible to the public  GandALF 2017
Sep 20, 2017 7:00 am - Sep 22, 2017 6:00 pm CEST

Submitted by akarns on Mon, 03/06/2017 - 3:47pm

The Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)

The aim of GandALF 2017 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

The topics covered by the conference include, but are not limited to, the following: