-
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
-
January 20,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" which takes place in
conjunction with the ICCS conference in Omaha, Nebraska in June 2012.
Located in
CFP Folder
-
July 30, 2012 - PDP 2013 (Special Session on GPU Computing and Hybrid Computing)
-
Special Session on GPU Computing and Hybrid Computing
PDP 2013, Belfast 27th February - 1st March 2013
http://conf.laas.fr/GPU13/
Located in
CFP Folder
