http://www.pips4u.org All events in the site daily 1 2009-11-13T13:36:45Z http://www.pips4u.org/cfp_folder/may-24-2012-rp12-6th-international-workshop-on-reachability-problems 6th International Workshop on Reachability Problems (RP'12) (September 17-19, 2012, Bordeaux, France) Deadline for abstract registration: 17 May 2012 Deadline for submission: 24 May 2012 http://rp12.labri.fr/ No publisher irigoin conference call for papers 2012-05-11T16:46:30Z Event http://www.pips4u.org/cfp_folder/june-01-2012-avocs-12th-international-workshop-on-automated-verification-of-critical-systems 12th International Workshop on Automated Verification of Critical Systems 18-20th September 2012 Bamberg, Germany http://www.swt-bamberg.de/AVoCS2012/ No publisher irigoin conference call for papers 2012-02-28T16:59:45Z Event http://www.pips4u.org/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 No publisher irigoin conference call for papers 2012-05-11T12:15:47Z Event http://www.pips4u.org/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 No publisher irigoin conference call for papers 2012-04-04T16:15:58Z Event http://www.pips4u.org/cfp_folder/june-04-2012-proper-2012-5th-workshop-on-productivity-and-performance-tools-for-hpc-application-development 5th Workshop on Productivity and Performance Tools for HPC Application Development (PROPER 2012) http://www.vi-hps.org/proper2012ws/ at Euro-Par 2012 Conference, Rhodes island, Greece, 27-31 August 2012 No publisher irigoin conference call for papers 2012-02-28T11:33:49Z Event http://www.pips4u.org/cfp_folder/june-04-2012-heteropar2012-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/ No publisher irigoin conference call for papers 2012-05-01T07:23:32Z Event http://www.pips4u.org/cfp_folder/may-22-2012-lcpc-25th-international-workshop-on-languages-and-compilers-for-parallel-computing June 05, 2012 - LCPC (25th International Workshop on Languages and Compilers for Parallel Computing) http://www.kasahara.cs.waseda.ac.jp/lcpc2012/ Tokyo, Japan No publisher irigoin conference call for papers 2012-04-11T14:41:13Z Event http://www.pips4u.org/cfp_folder/june-06-2012-nsad-2012-the-third-international-workshop-on-numerical-and-symbolic-abstract-domains The Third International Workshop on Numerical and Symbolic Abstract Domains NSAD 2012 No publisher irigoin conference abstract interpretation call for papers 2012-03-01T01:11:47Z Event http://www.pips4u.org/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 No publisher irigoin conference call for papers 2012-03-22T11:58:08Z Event http://www.pips4u.org/cfp_folder/september-07-2012-hpca-19-19th-international-symposium-on-high-performance-computer-architecture 19th International Symposium on High-Performance Computer Architecture Shen Zhen, China No publisher irigoin conference call for papers 2012-02-28T20:55:44Z Event http://www.pips4u.org/cfp_folder/september-12-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/ No publisher irigoin conference call for papers 2012-04-09T09:50:35Z Event http://www.pips4u.org/cfp_folder/september-21-2012-sac-28th-annual-acm-symposium-on-applied-computing-software-verification-and-testing-track 28th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 18 - 22, 2013, Coimbra, Portugal More information: http://www.win.tue.nl/sacsvt13/ and http://www.acm.org/conferences/sac/sac2013/ No publisher irigoin conference call for papers 2012-05-17T08:25:26Z Event