-
May 31, 2011 - ICA3PP 2011 (11th International Conference on Algorithms and Architectures for Parallel Processing)
-
11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2011)
http://anss.org.au/ica3pp11
October 24-26, 2011
Melbourne, Australia
Located in
CFP Folder
-
August 31, 2011 - HPCA-18 (The 18th International Symposium on High-Performance Computer Architecture)
-
HPCA-18: The 18th International Symposium
on High-Performance Computer Architecture,
February 25-29, 2012,
New Orleans, Louisiana, USA,
http://www.hpcaconf.org/hpca18
Located in
CFP Folder
-
January 15, 2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science" )
-
12th Workshop on "Tools for Program Development and Analysis in Computational Science"
in conjunction with the ICCS conference in Omaha, Nebraska
Located in
CFP Folder
-
January 22, 2012 - CAV (24th International Conference on Computer Aided Verification (CAV 2012)
-
24th International Conference on Computer Aided Verification (CAV
2012) July 7-13, 2012 Berkeley, California, USA
Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia
Website: http://cav12.cs.illinois.edu/
Located in
CFP Folder
-
January 23, 2012 - HPDC'12 (The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing)
-
The 21st International ACM Symposium on
High-Performance Parallel and Distributed Computing
(HPDC'12)
Delft University of Technology, Delft, the Netherlands
June 18-22, 2012
http://www.hpdc.org/2012
Located in
CFP Folder
-
January 15, 2012 - (4th International Workshop on “Tools and Techniques in Software Development Process”)
-
4th International Workshop on “Tools and Techniques in Software Development Process” in conjunction with
The 2012 International Conference on Computational Science and Its Applications (ICCSA 2012)
Located in
CFP Folder
-
February 17, 2012 - ( 20th IEEE International Conference on Program Comprehension)
-
20th IEEE International Conference on Program Comprehension
June 11-13, 2012
Passau, Germany
http://icpc12.sosy-lab.org/
Located in
CFP Folder
-
October 14, 2011 - CC 2012 (International Conference on Compiler Construction)
-
International Conference on Compiler Construction
(CC 2012)
http://conferences.inf.ed.ac.uk/cc2012
24 March - 1 April 2012, Talinn, Estonia
CC is part of ETAPS
European Joint Conference on Theory & Practice of Software
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, 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