-
February 10, 2013 - SAS 2013 (The 20th International Static Analysis Symposium)
-
SAS 2013
The 20th International Static Analysis Symposium
20-22 June 2013, Seattle, WA
Co-located with PLDI'13
http://research.microsoft.com/sas2013/
Located in
CFP Folder
-
January 18, 2013 - CSTVA'13 (5th International workshop on Constraints in Software Testing, Verification and Analysis)
-
CSTVA'13 - 5th International workshop on
Constraints in Software Testing, Verification and Analysis
http://cstva2013.univ-fcomte.fr
A workshop of ICST'13, the 6th IEEE International Conference on Software Testing
Verification and Validation, held in Luxembourg, March 22nd, 2013
Located in
CFP Folder
-
June 15, 2013 - HPCC 2013 (15th IEEE International Conference on High Performance Computing and Communications)
-
15th IEEE International Conference on
High Performance Computing and Communications (HPCC 2013)
Located in
CFP Folder
-
January 22, 2013 - COMPUTATION TOOLS 2013 (The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking)
-
COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 27 - June 1, 2013 - Valencia, Spain
Located in
CFP Folder
-
January 20, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
-
13th Workshop on Tools for Program Development and
Analysis in Computational Science
which takes place in conjunction with the ICCS conference
in Barcelona, Spain in June 2013.
Located in
CFP Folder
-
January 10, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
-
13th Workshop on Tools for Program Development and
Analysis in Computational Science
which takes place in conjunction with the ICCS conference
in Barcelona, Spain in June 2013.
Located in
CFP Folder
-
March 23, 2012 - PACT (The 21st International Conference on Parallel Architectures and Compilation Techniques)
-
PACT-2012
Minneapolis, MN, USA
September 19-23, 2012
Located in
CFP Folder
-
March 23, 2012 - PACT (The 21st International Conference on Parallel Architectures and Compilation Techniques)
-
PACT-2012
Minneapolis, MN, USA
September 19-23, 2012
Located in
CFP Folder
-
June 18, 2012 - HiPEAC 2013 (8th International Conference on High-Performance Embedded Architectures and Compilers)
-
8th International Conference on High-Performance Embedded Architectures and Compilers
Berlin, Germany
January 21-23, 2013
Located in
CFP Folder
-
April 09, 2012 - (12th International Workshop on Worst-Case Execution Time Analysis)
-
12th International Workshop on Worst-Case Execution Time Analysis
Pisa, Italy, July 10, 2012
http://www.artist-embedded.org/artist/WCET-2012.html (URL TO BE CONFIRMED)
In conjunction with
the 24th Euromicro International Conference on Real-Time Systems (ECRTS)
http://ecrts.eit.uni-kl.de/ecrts12
Located in
CFP Folder
