-
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 27, 2012 - SC12 (SuperComputing)
-
SC12 Call for Technical Papers
November 10 - 16, 2012
Salt Lake City, Utah
Abstracts due April 20, 2012; full papers due April 27, 2012
http://sc12.supercomputing.org/content/papers
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
-
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
-
April 30, 2010 - Journees du GDR SOC-SIP
-
L'objectif de cette manifestation est de rassembler les équipes françaises menant des recherches dans le domaine de la Conception et du Test de circuits et de systèmes électroniques.
Located in
CFP Folder
-
April 30, 2011 - (Memory and Data Parallelism on Multi- and Manycore Platforms)
-
Workshop "Memory and Data Parallelism on Multi- and Manycore Platforms" at the PPAM 2011 (http://www.ppam.pl/)
http://www.ppam.pl/memory-and-data-parallelism-on-multi-and-manycore-platforms
Located in
CFP Folder
-
April 30, 2011 - APPT (Advanced Parallel Processing Technology Symposium)
-
Advanced Parallel Processing Technology Symposium
http://ppi.fudan.edu.cn/appt2011
September 26 - 27, 2011
Shanghai, Fudan University
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
-
August 18, 2011 - HVC 2011 (Haifa Verification Conference 2011)
-
Haifa Verification Conference 2011 (HVC 2011)
December 6-8, 2011
Organized by IBM R&D Labs in Israel
http://www.research.ibm.com/haifa/conferences/hvc2011
Located in
CFP Folder
-
August 19, 2011 - PPoPP 17 (17th ACM ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming)
-
PPoPP-17: 17th ACM ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming,
25-29 February 2012,
New Orleans, Louisiana USA
Located in
CFP Folder