Summer School

event

Visible to the public  CPS Summer School 2017
Jun 09, 2017 4:00 pm - 5:00 pm EDT

Submitted by Anonymous on Fri, 06/09/2017 - 3:10pm

CPS Summer School 2017

Designing Cyber-Physical Systems - From concepts to implementation
Multi-objective Methodologies and Tools for Self-healing and Adaptive Systems

Porto Conte Ricerche, Alghero - Sardinia - Italy | September 25-30, 2017 | http://www.cpsschool.eu

event

Visible to the public  HSST 2017
Jun 12, 2017 7:00 am - Jun 15, 2017 6:30 pm CEST

Submitted by Anonymous on Wed, 05/03/2017 - 4:25pm

The 7th Halmstad Summer School on Testing

(Organised in cooperation with the TOCSYC Network)

event

Visible to the public  ACACES 2017
Jul 09, 2017 7:00 am - Jul 15, 2017 6:00 pm CEST

Submitted by Anonymous on Fri, 04/14/2017 - 2:54pm

Thirteenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems

Organized by the HiPEAC Network, sponsored by Horizon 2020: http://acaces.hipeac.net/2017

event

Visible to the public  ProbProgSchool 2017
May 29, 2017 3:30 pm - Jun 04, 2017 4:30 pm WEST

Submitted by Anonymous on Fri, 04/14/2017 - 2:42pm

1st School on Foundations of Programming and Software systems.

event

Visible to the public  MARKTOBERDORF SUMMER SCHOOL
Mar 06, 2017 12:15 pm - 1:15 pm CET

Submitted by Anonymous on Mon, 03/06/2017 - 12:22pm

Logical Methods for Safety and Security of Software Systems

August 2-11 2017 | Marktoberdorf, Germany | https://asimod.in.tum.de/2017/

Apply online: https://asimod.in.tum.de/2017/participation.shtml
Deadline: April 9

event

Visible to the public  DSM-TP
Jul 10, 2017 7:00 am - Jul 14, 2017 6:00 pm EDT

Submitted by Anonymous on Tue, 02/21/2017 - 1:27pm

8th Summer School on Domain Specific Modelling Theory and Practice (DSM-TP)

at the University of Montreal

event

Visible to the public  Coq Intensive
Jul 13, 2017 7:00 am - Jul 15, 2017 6:00 pm EDT

Submitted by Anonymous on Thu, 01/26/2017 - 3:40pm

Coq Intensive

Overview

The DeepSpec Summer School on Verified Systems summer school will open with a three-day intensive course on the fundamentals of the Coq proof assistant, for participants who are new to Coq. The main lectures take place during the weeks of July 17 and 24.

  • July 13-15 (Thu-Sat) Coq intensive
  • July 17-21 Week 1
  • July 24-28 Week 2

Lecturers and Topics

event

Visible to the public  DeepSpec
Jul 17, 2017 7:00 am - Jul 28, 2017 6:00 pm EDT

Submitted by Anonymous on Thu, 01/26/2017 - 3:35pm

DeepSpec Summer School on Verified Systems

Overview

Can critical systems be built with no bugs in hardware, operating systems, compilers, crypto, and other key components? It may seem a pipe dream, but the past decade has seen explosive advances in the technology required to realize it.

event

Visible to the public  DeepLearn 2017
Jul 17, 2017 4:15 pm - Jul 21, 2017 5:15 pm EDT

Submitted by Anonymous on Fri, 01/20/2017 - 4:16pm

Early registration April 21

event

Visible to the public  VTSA16
Aug 29, 2016 7:00 am - Sep 02, 2016 6:00 pm CEST

Submitted by Anonymous on Tue, 07/05/2016 - 3:04pm

Summer School on Verification Technology, Systems & Applications

The 9th edition of the Summer School on Verification Technology, Systems and Applications (VTSA) will be organized by the University of Liege, in cooperation with Inria Nancy - Grand Est, Max-Planck-Institut fur Informatik Saarbrucken, Universite du Luxembourg, and Universitat Koblenz-Landau. The school will take place from August 29th to September 2nd, 2016 at the Montefiore Institute in Liege, Belgium.

The following speakers have accepted to give courses at VTSA 2016: