-
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
-
January 15, 2013 - CAV (25th International Conference on Computer Aided Verification)
-
25th International Conference on Computer Aided Verification (CAV
2013) July 13-19, 2013 St. Petersburg, Russia
Located in
CFP Folder
-
February 01, 2013 - ASAP 2013 (24th IEEE International Conference on Application-specific Systems, Architectures and Processors)
-
ASAP 2013
24th IEEE International Conference on
Application-specific Systems, Architectures and Processors
5-7 June 2013
Washington D.C., USA
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 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
-
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 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
-
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
-
March 11, 2013 - DSD (The Euromicro Conference on Digital System Design)
-
*DSD 2013*
*16th EUROMICRO Conference on Digital System Design*
*Santander, Spain, 4 – 6 September, 2013*
*Scope*
The Euromicro Conference on Digital System Design (DSD)
Located in
CFP Folder
-
January 25, 2013 - ALCHEMY Workshop (Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems)
-
ALCHEMY Workshop (Architecture, Languages, Compilation and Hardware
support for Emerging ManYcore systems)
Held in conjunction with the International Conference on Computational
Science (ICCS 2013)
Barcelona, Spain, 5-7 June 2013
Located in
CFP Folder
