PIPS Project
https://pips4u.org
January 10, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
https://pips4u.org/cfp_folder/january-10-2013
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.
No publishercall for papers2013/02/09 19:15:00 GMT+1EventJanuary 15, 2013 - CAV (25th International Conference on Computer Aided Verification)
https://pips4u.org/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, RussiaNo publishercall for papers2013/02/09 19:11:46 GMT+1EventFebruary 01, 2013 - ASAP 2013 (24th IEEE International Conference on Application-specific Systems, Architectures and Processors)
https://pips4u.org/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., USANo publishercall for papers2013/02/09 19:06:07 GMT+1EventJanuary 20, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
https://pips4u.org/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.No publishercall for papers2013/02/09 19:03:22 GMT+1EventJanuary 22, 2013 - COMPUTATION TOOLS 2013 (The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking)
https://pips4u.org/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 No publishercall for papers2013/02/09 19:00:23 GMT+1EventJune 15, 2013 - HPCC 2013 (15th IEEE International Conference on High Performance Computing and Communications)
https://pips4u.org/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)No publishercall for papers2013/02/09 18:57:46 GMT+1EventJanuary 18, 2013 - CSTVA'13 (5th International workshop on Constraints in Software Testing, Verification and Analysis)
https://pips4u.org/cfp_folder/january-18-2013-cstva13-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, 2013No publishercall for papers2013/02/09 18:53:57 GMT+1EventFebruary 10, 2013 - SAS 2013 (The 20th International Static Analysis Symposium)
https://pips4u.org/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/No publishercall for papers2013/02/09 18:50:55 GMT+1EventMarch 11, 2013 - DSD (The Euromicro Conference on Digital System Design)
https://pips4u.org/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)No publishercall for papers2013/02/09 18:48:04 GMT+1EventJanuary 25, 2013 - ALCHEMY Workshop (Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems)
https://pips4u.org/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
No publishercall for papers2013/02/09 18:44:08 GMT+1EventMarch 01, 2013 - APMM 2013 (3rd International Workshop on New Algorithms and Programming Models for the Manycore Era)
https://pips4u.org/cfp_folder/march-01-2013-apmm-2013-3rd-international-workshop-on-new-algorithms-and-programming-models-for-the-manycore-era
3rd International Workshop on New Algorithms and Programming Models for the Manycore Era (APMM 2013)
As part of HPCS 2013, The 2013 Int. Conf. on High Performance Computing & Simulation
July 1-5, 2013,
Helsinki, Finland
http://hpcs2013.cisedu.info/2-conference/workshops/workshop-06-apmm No publishercall for papers2013/02/09 18:39:38 GMT+1EventMay 05, 2013 - SCAM (13th IEEE International Working Conference on Source Code Analysis and Manipulation)
https://pips4u.org/cfp_folder/may-05-2013
13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
September 22-23, 2013
Eindhoven, The Netherlands
Co-located with ICSM 2013No publishercall for papers2013/02/09 18:33:36 GMT+1EventApril 24, 2013 - ICSM (29th IEEE International Conference on Software Maintenance)
https://pips4u.org/cfp_folder/april-24-2013-icsm-29th-ieee-international-conference-on-software-maintenance
29th IEEE International Conference on Software Maintenance
22 - 28 September 2013 - Eindhoven, The Netherlands
http://icsm2013.tue.nl/No publishercall for papers2013/02/09 18:32:50 GMT+1EventFebruary 12, 2013 - LCTES 2013 (The conference on Languages, Compilers and Tools for Embedded Systems)
https://pips4u.org/cfp_folder/february-12-2013-lctes-2013-the-conference-on-languages-compilers-and-tools-for-embedded-systems
LCTES 2013 is co-located with PLDI 2013, in Seattle, Washington, June 16-23 2013. This will be the fourteenth conference in the LCTES series.
About LCTES: The conference on Languages, Compilers and Tools for Embedded SystemsNo publishercall for papers2013/02/09 18:25:37 GMT+1EventApril 26, 2013 - EnA-HPC 2013 (Fourth International Conference on Energy-Aware High Performance Computing)
https://pips4u.org/cfp_folder/april-26-2013-ena-hpc-2013-fourth-international-conference-on-energy-aware-high-performance-computing
CALL FOR PAPERS Fourth International Conference on Energy-Aware High Performance Computing (EnA-HPC 2013) Held in Conjunction with 7th Parallel Tools Workshop Dresden, Germany, September 2-3, 2013 http://www.ena-hpc.org No publishercall for papers2013/02/09 18:19:27 GMT+1Event