-
May 30, 2010 - HeteroPar'2010 (8th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms )
-
HeteroPar'2010, August 30, 2010, Ischia-Naples, Italy, in conjunction with EuroPar 2010, http://heteropar2010.ens-lyon.fr
Located in
CFP Folder
-
August 13 2010 - PLATEAU 2010 (Second Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) in conjunction with SPLASH/Onward! 2010 October 17-21, 2010 (Reno, NV))
-
Second Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)
in conjunction with SPLASH/Onward! 2010
October 17-21, 2010 (Reno, NV)
Located in
CFP Folder
-
APRIL 12, 2010 - ATVA 2010 (8th International Symposium on Automated Technology for Verification and Analysis)
-
ATVA 2010 Call for Papers
8th International Symposium on
Automated Technology for Verification and Analysis
21 – 24 September 2010,
National University of Singapore, Singapore
Located in
CFP Folder
-
November 19, 2010 - PLDI 2011 (ACM SIGPLAN Conference on Programming Language Design and Implementation)
-
PLDI 2011: ACM SIGPLAN Conference on Programming Language Design and
Implementation
Jun 06, 2011~Jun 05, 2011
San Jose, U.S.A
Located in
CFP Folder
-
February 4, 2010 - ICPP 2010 (Int'l Conf. Parallel Processing (ICPP) 2010)
-
Int'l Conf. Parallel Processing (ICPP) 2010 (San Diego, Sep 10)
Located in
CFP Folder
-
July 12, 2011 - POPL 2012 (39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
-
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Philadelphia, USA
January 25-27, 2012
Located in
CFP Folder
-
July 25, 2011 - DP 2012 (The 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing)
-
DP 2012 - The 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing
http://www.pdp2012.org
15-17 February 2012,
Garching near Munich, Germany
Located in
CFP Folder
-
July 18, 2011 - ASPLOS (17th International Conference on Architectural Support for Programming Languages and Operating Systems)
-
ASPLOS 2012
17th International Conference on Architectural Support for Programming Languages and Operating Systems
London, UK
March 3-7, 2012
http://research.microsoft.com/asplos_2012
Located in
CFP Folder
-
April 29, 2011 - (21st Workshop on Logic-based methods in Programming Environments)
-
21st Workshop on Logic-based methods in Programming Environments
Affiliated with ICLP 2011
July 10, 2011
Lexington, Kentucky, USA
http://imada.sdu.dk/~petersk/WLPE2011/
Located in
CFP Folder
-
June 13, 2001 - AVOCS (11th International Workshop on Automated Verification of Critical Systems)
-
11th International Workshop on Automated Verification of Critical Systems
AVOCS 2011
Call For Papers
12th - 15th September 2011
Newcastle upon Tyne, UK
http://conferences.ncl.ac.uk/AVoCS2011/
Located in
CFP Folder
