Past Events
Upcoming Events
Past Events
-
GraMSec 2015Jul 13, 2015 1:00 AM - Jul 13, 2015 10:00 AMThe Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate …
-
CSF 2015Jul 13, 2015 1:00 AM - Jul 17, 2015 10:00 AMThe Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…
-
MPSoC'15Jul 13, 2015 10:00 AM - Jul 17, 2015 7:00 PM15th International Forum on MPSoC for Software-defined Hardware Focus:
-
Guest Lecturer by Bosch in Matthias Althoff's Cyber-Physical Systems Lecture at TUMJul 14, 2015 7:00 AM - Jul 14, 2015 8:00 AMJens Oehlerking was guest lecturer in Matthias Althoff's Cyber-Physical Systems lecture at TUM, giving an industrial perspective on formal verification and testing.
-
VSTTE 2015Jul 18, 2015 8:00 AM - Jul 19, 2015 5:00 PM7th Working Conference on Verified Software: Theories, Tools, and Experiments The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by…
-
CAV 2015Jul 18, 2015 10:00 AM - Jul 24, 2015 8:00 PM27th International Conference on Computer Aided Verification
-
ViPES 2015Jul 19, 2015 12:00 AM - Jul 19, 2015 9:00 AM3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems July 19th, 2015, Samos, Greece held in conjunction to the Samos conference, July 20-23rd, 2015 Background
-
STAF 2015Jul 20, 2015 1:00 AM - Jul 24, 2015 10:00 AMSoftware Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a…
-
DMCC 2015Jul 20, 2015 1:00 AM - Jul 24, 2015 10:00 AMThe 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) As part of The International Conference on High Performance Computing & Simulation (HPCS 2015) http://hpcs2015.cisedu.info or http://cisedu…
-
GCM 2015Jul 20, 2015 1:00 AM - Jul 20, 2015 10:00 AMSixth International Workshop on Graph Computation Models Co-located with ICGT 2015 Part of STAF 2015 Background and Aims
-
ICGT 2015Jul 20, 2015 7:00 AM - Jul 24, 2015 4:00 PMThe 8th International Conference on Graph Transformation (ICGT 2015) will be held in L'Aquila (Italy) in July 2015. It continues the series of conferences previously held in Barcelona (Spain) in 2002, Rome (Italy) in 2004 (ICGT 2004), Natal (Brazil) in…
-
ICINCO 2015Jul 21, 2015 1:00 AM - Jul 23, 2015 10:00 AMICINCO 2015 will be held in conjunction with ICETE 2015, ICSOFT 2015, SIMULTECH 2015 and DATA 2015. Registration to ICINCO allows free access to the ICETE, ICSOFT, SIMULTECH and DATA conferences (as a non-speaker).
-
INDIN 2015Jul 22, 2015 2:00 AM - Jul 24, 2015 11:00 AMINDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK Sponsored by: IEEE Industrial Electronics Society and Anglia Ruskin University, Cambridge, UK Technical co-sponsor: Institution of Engineering and…
-
ISLPED '15Jul 22, 2015 7:00 AM - Jul 24, 2015 4:00 PMThe International Symposium on Low Power Electronics and Design (ISLPED) will be held July 22-24, 2015 at the Sapienza University of Rome, Faculty of Engineering at the Cloister of San Pietro in Vincoli (Saint Peter in Chains), Via Eudossiana 18, Rome,…
-
Telephone conference for integrating CORA into SpaceExJul 24, 2015 3:00 AM - Jul 24, 2015 4:45 AMDiscussion on how to write and integrate code from CORA for SpaceEx
-
SummerSim '15Jul 26, 2015 8:00 AM - Jul 29, 2015 7:00 PM2015 Summer Simulation Multi-Conference is SCS's premier international conference in cooperation with ACM SIGSIM. The conference focuses on modeling and simulation, tools, theory, methodologies and applications and provides a forum for the latest R…