-
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
-
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
-
January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering)
-
The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE 2012)
4-6 July 2012, Beijing, China
http://selab.bjut.edu.cn/tase2012
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 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 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
-
September 11, 2011 - NWPT'11 (23rd NORDIC WORKSHOP ON PROGRAMMING THEORY )
-
23rd NORDIC WORKSHOP ON PROGRAMMING THEORY (NWPT'11)
Mälardalen University, Västerås, Sweden
http://www.mrtc.mdh.se/nwpt2011/
Located in
CFP Folder
-
October 21, 2011 - ITNG 2012 (The 4th International Symposium on Software Testing)
-
The 4th International Symposium on Software Testing
April 16-18, 2012
Las Vegas, Nevada, USA
http://www.vteonline.com/ITNG2012/
In association with the 9th International Conference on Information Technology New Generations (ITNG 2012)
Located in
CFP Folder
-
August 18, 2011 - HVC 2011 (Haifa Verification Conference 2011)
-
Haifa Verification Conference 2011 (HVC 2011)
December 6-8, 2011
Organized by IBM R&D Labs in Israel
http://www.research.ibm.com/haifa/conferences/hvc2011
Located in
CFP Folder
-
September 25, 2011 - CPC 2012 (16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING)
-
16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING (CPC 2012)
January 11-13, 2012
Padova, Italy
http://aacse.dei.unipd.it/cpc2012/
Located in
CFP Folder