-
May 10, 2012 - RP 12 (6th International Workshop on Reachability Problems)
-
6th International Workshop on Reachability Problems (RP'12)
(September 17-19, 2012, Bordeaux, France)
Deadline for submissions: 10 May, 2011
http://rp12.labri.fr/
Located in
CFP Folder
-
June 01, 2012 - RSP (23rd IEEE International Symposium on Rapid System Prototyping)
-
23rd IEEE International Symposium on Rapid System Prototyping
October 11-12, 2012
Tampere, Finland, part of ESWeek 2012
http://www.rsp-symposium.org
Located in
CFP Folder
-
June 28, 2012 - HeteroPar'2012 (10th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)
-
10th International Workshop on Algorithms, Models and Tools
for Parallel Computing on Heterogeneous Platforms
HeteroPar'2012
August 27, 2012, Rhodes Island, Greece
in conjunction with EuroPar 2012
http://pm.bsc.es/heteropar12/
Located in
CFP Folder
-
April 27, 2012 - ISoLA 2012 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation)
-
2012 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
Amirandes, Heraklion, Greece
15-18 October, 2012
http://www.cs.uni-potsdam.de/isola/isola2012/
Special track "Timing Constraints: Theory Meets Practice"
Located in
CFP Folder
-
April 25, 2012 - WATERS 2012 (3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems)
-
3rd International Workshop on Analysis Tools and Methodologies for
Embedded and Real-time Systems (WATERS 2012)
http://retis.sssup.it/waters2012
July 10th, 2012, Pisa, Italy
In conjunction with ECRTS 2012
Located in
CFP Folder
-
September 10, 2012 - CGO 2013 (2013 International Symposium on Code Generation and Optimization)
-
2013 International Symposium on Code Generation and Optimization
Shenzhen, China
February 23-27, 2013
http://www.cgo.org/cgo2013/
Located in
CFP Folder
-
April 27, 2012 - WODA 2012 (10th International Workshop on Dynamic Analysis)
-
WODA 2012 : 10th International Workshop on Dynamic Analysis
(with ISSTA)
Located in
CFP Folder
-
June 01, 2012 - TAPAS 2012 (The 3th Tools for Automatic Program AnalysiS workshop)
-
TAPAS 2012
The 3th Tools for Automatic Program AnalysiS workshop
(a SAS 2012 satellite workshop)
14 September 2012, Deauville, France
http://tapas2012.inrialpes.fr
Located in
CFP Folder
-
May 16, 2012 - HiPC 2012 (19th IEEE International Conference on High Performance Computing)
-
19th IEEE International Conference on High Performance Computing
(HiPC 2012)
December 18-21, 2012
Pune, INDIA
http://www.hipc.org
Located in
CFP Folder
-
April 01, 2012 - DASIP 2012 (The 2012 Conference on Design and Architectures for Signal and Image Processing)
-
The 2012 Conference on Design and Architectures for Signal and Image Processing
Karlsruhe, Germany
October 23-25, 2012
Located in
CFP Folder