Workshop

event

Visible to the public  FIT 2018
Aug 15, 2018 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Thu, 04/26/2018 - 12:01pm

The Fourth International Workshop on the Future of the Internet of Things (FIT 2018)

in conjunction with The 15th International Conference on Mobile Systems and Pervasive Computing

event

Visible to the public  SYNCHRON 2018
Nov 26, 2018 7:00 am - Nov 30, 2018 6:00 pm CET

Submitted by Anonymous on Thu, 04/26/2018 - 11:47am

25th International Open Workshop on Synchronous Programming (SYNCHRON 2018)

The 25th International Open Workshop on Synchronous Programming and related technologies will be held this year in France, in the "Villa Clythia" CNRS resort on the French Riviera, from November 26th to 30th.

event

Visible to the public  AVoCS 2018
Jul 18, 2018 7:00 am - Jul 19, 2018 6:00 pm BST

Submitted by akarns on Fri, 04/20/2018 - 11:54am

18th International Workshop on Automated Verification of Critical Systems (AVoCS 2018)

Overview

event

Visible to the public  WAISE 2018
Sep 18, 2018 3:00 pm - 4:00 pm CEST

Submitted by Anonymous on Tue, 04/03/2018 - 12:58pm

First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)

In conjunction with SAFECOMP 2018

event

Visible to the public  5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Jul 13, 2018 7:00 am - 6:00 pm BST

Submitted by Anonymous on Wed, 03/14/2018 - 2:37pm

5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

The ARCH workshop will be held as part of the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).

Philosophy

This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

event

Visible to the public  GCM 2018
Jun 27, 2018 4:15 pm - 5:15 pm EDT

Submitted by Anonymous on Wed, 03/14/2018 - 2:24pm

Ninth International Workshop on Graph Computation Models (GCM 2018)

Co-located with ICGT 2018
Part of STAF 2018

BACKGROUND AND AIMS

event

Visible to the public  NSV 2018
Jul 18, 2018 7:00 am - Jul 19, 2018 6:00 pm BST

Submitted by Anonymous on Wed, 03/14/2018 - 2:10pm

11th International Workshop on Numerical Software Verification (NSV 2018)

Federated Logic Conference (FLoC) 2018

event

Visible to the public  FMIS 2018
Jun 25, 2018 7:00 am - Jun 26, 2018 6:00 pm CEST

Submitted by Anonymous on Wed, 02/28/2018 - 11:55am

7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018)

Affiliated Workshop of STAF 2018

event

Visible to the public  SelPhyS 2018
Apr 23, 2018 7:00 am - 6:00 pm BST

Submitted by Anonymous on Wed, 02/28/2018 - 11:42am

Third Workshop on Self-Awareness in Cyber-Physical Systemsp

The concept of self-awareness has become a hot research topic in a variety of disciplines such as robotics, artificial intelligence, control theory, networked systems, and so on. Its applicability has been explored in various application domains such as automotive, military, consumer electronics, industrial control, medical equipment, and so forth.