-
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
-
May 10, 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 submissions: 10 May, 2011
http://rp12.labri.fr/
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 28, 2012 - HeteroPar'2012 (10th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)
-
10th International Workshop on Algorithms, Models and Tools
for Parallel Computing on Heterogeneous Platforms
HeteroPar'2012
August 27, 2012, Rhodes Island, Greece
in conjunction with EuroPar 2012
http://pm.bsc.es/heteropar12/
Located in
CFP Folder
-
April 27, 2012 - ISoLA 2012 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation)
-
2012 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
Amirandes, Heraklion, Greece
15-18 October, 2012
http://www.cs.uni-potsdam.de/isola/isola2012/
Special track "Timing Constraints: Theory Meets Practice"
Located in
CFP Folder