-
Jun 14, 2010 - UCHPC 2010 (UnConventional High Performance Computing 2010)
-
August 31st / September 1st, 2010, Ischia - Naples, Italy
Located in
CFP Folder
-
June 01, 2011 - SSV 2011 (6th International Workshop on Systems Software Verification, Real Software, Real Problems, Real Solutions)
-
6th International Workshop on Systems Software Verification (SSV 2011), Real Software, Real Problems, Real Solutions, August 26-27 2011, Nijmegen, The Netherlands, https://es.fbk.eu/events/ssv2011
Located in
CFP Folder
-
June 01, 2011 - VECoS'2011 (5th International Workshop on Verification and Evaluation of Computer and Communication Systems)
-
5th International Workshop on Verification and Evaluation
of Computer and Communication Systems
Tunis, Tunisia, September 15-16, 2011
http://www.vecos-world.org
Located in
CFP Folder
-
June 01, 2012 - AVoCS (12th International Workshop on Automated Verification of Critical Systems)
-
12th International Workshop on Automated Verification of Critical Systems
18-20th September 2012
Bamberg, Germany
http://www.swt-bamberg.de/AVoCS2012/
Located in
CFP Folder
-
June 01, 2012 - RSP (23rd IEEE International Symposium on Rapid System Prototyping)
-
23rd IEEE International Symposium on Rapid System Prototyping
October 11-12, 2012
Tampere, Finland, part of ESWeek 2012
http://www.rsp-symposium.org
Located in
CFP Folder
-
June 01, 2012 - TAPAS 2012 (The 3th Tools for Automatic Program AnalysiS workshop)
-
TAPAS 2012
The 3th Tools for Automatic Program AnalysiS workshop
(a SAS 2012 satellite workshop)
14 September 2012, Deauville, France
http://tapas2012.inrialpes.fr
Located in
CFP Folder
-
June 03, 2011 - LCPC 2011 (The 24th International Workshop on Languages and Compilers for Parallel Computing)
-
The 24th International Workshop on Languages and Compilers for Parallel Computing
Colorado State University, Fort Collins, Colorado
September 8-10, 2011
Located in
CFP Folder
-
June 03, 2012 - RV 2012 (International Conference on Runtime Verification )
-
International Conference on Runtime Verification (RV 2012)
September 25 - 28, 2012
Istanbul, Turkey
at the Koc University Research Center for Anatolian Civilizations in Pera
http://rv2012.ku.edu.tr/
Located in
CFP Folder
-
June 4, 2010 - HPPC 2010 (Highly Parallel Processing on a Chip)
-
August 31, 2010, Ischia - Naples, Italy
Located in
CFP Folder
-
June 05, 2012 - LCPC (25th International Workshop on Languages and Compilers for Parallel Computing)
-
June 05, 2012 - LCPC (25th International Workshop on Languages and Compilers for Parallel Computing)
http://www.kasahara.cs.waseda.ac.jp/lcpc2012/
Tokyo, Japan
Located in
CFP Folder