-
September 17, 2012 - ICST 2013 (6th IEEE International Conference on Software Testing, Verification, and Validation)
-
ICST 2013 - CALL FOR PAPERS
6th IEEE International Conference on Software Testing,
Verification, and Validation
(ICST 2013)
March 18-22, 2013, Luxembourg
http://www.icst.lu/
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
-
May 25, 2012 - SASSUR (International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems)
-
SASSUR International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems
http://www-e.uni-magdeburg.de/safecomp/about-sc-2012/workshops/104-sassur
Magdeburg, Germany, September 25, 2012
In conjunction with 31st International Conference on Computer Safety, Reliability and Security
www.ovgu.de/safecomp
Located in
CFP Folder
-
February 28, 2013 - ParCo 2013 (PARALLEL COMPUTING 2013)
-
PARALLEL COMPUTING 2013 (ParCo2013)
10 – 13 September 2013
Munich, Germany
ANNOUNCEMENT & CALL FOR PAPERS
Located in
CFP Folder
-
June 11, 2012 - CPA 2012 (Communicating Process Architectures)
-
=== CPA 2012 ===
Communicating Process Architectures
University of Abertay Dundee
26th-29th August 2012
http://wotug.org/cpa2012/
cpa2012@wotug.org
Located in
CFP Folder
-
June 29, 2012 - SBAC PAD 2012 (THE 24th INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING)
-
SBAC-PAD 2012
THE 24th INTERNATIONAL SYMPOSIUM ON
COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING
Columbia University, New York City, October 24-26, 2012
http://www.sbc.org.br/sbac/2012
Located in
CFP Folder
-
September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track)
-
28th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
March 18 - 22, 2013, Coimbra, Portugal
More information:
http://www.win.tue.nl/sacsvt13/ and
http://www.acm.org/conferences/sac/sac2013/
Located in
CFP Folder
-
May 04, 2012 - SCMA 2012 (12th IEEE International Working Conference on Source Code Analysis and Manipulation )
-
12th IEEE International Working Conference on Source Code Analysis and Manipulation
SCAM 2012
http://scam2012.cs.usask.ca/
September 23 - 24, 2012
Riva Del Garda, Trento, Italy
Located in
CFP Folder
-
May 24, 2012 - RP'12 (6th International Workshop on Reachability Problems)
-
6th International Workshop on Reachability Problems (RP'12)
(September 17-19, 2012, Bordeaux, France)
Deadline for abstract registration: 17 May 2012
Deadline for submission: 24 May 2012
http://rp12.labri.fr/
Located in
CFP Folder
-
April 15, 2011 - SCAM 2011 (Eleventh IEEE International Working Conference on Source Code Analysis and Manipulation)
-
Call for Papers and Tool Papers - SCAM 2011
Eleventh IEEE International Working Conference
on Source Code Analysis and Manipulation
25th-26th September,
Williamsburg, VA, USA,
Co-located with ICSM 2011
http://www2011.ieee-scam.org/
Located in
CFP Folder
