Past Events
Les événements qui se sont déjà déroulés.
- January 22, 2012 - CAV (24th International Conference on Computer Aided Verification (CAV 2012) Jan 22, 2012 12:00 AM — Berkeley, California, USA,
- 24th International Conference on Computer Aided Verification (CAV 2012) July 7-13, 2012 Berkeley, California, USA Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia Website: http://cav12.cs.illinois.edu/
- January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering) Jan 20, 2012 from 12:00 AM to 11:55 PM — Beijing, China,
- The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012) 4-6 July 2012, Beijing, China http://selab.bjut.edu.cn/tase2012
- January 20,2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science) Jan 20, 2012 from 12:00 AM to 11:35 PM — Omaha, Nebraska,
- 12th Workshop on "Tools for Program Development and Analysis in Computational Science" which takes place in conjunction with the ICCS conference in Omaha, Nebraska in June 2012.
- January 15, 2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science" ) Jan 15, 2012 from 12:00 AM to 11:25 PM — Omaha, Nebraska,
- 12th Workshop on "Tools for Program Development and Analysis in Computational Science" in conjunction with the ICCS conference in Omaha, Nebraska
- January 15, 2012 - (ACM International Conference on Computing Frontiers) Jan 15, 2012 from 12:00 AM to 11:25 PM — Cagliari, Italy,
- 2012 ACM International Conference on Computing Frontiers May 15-17, 2012, Cagliari, Italy
- January 15, 2012 - (4th International Workshop on “Tools and Techniques in Software Development Process”) Jan 15, 2012 from 12:00 AM to 09:35 PM — Salvador de Bahia, Brazil,
- 4th International Workshop on “Tools and Techniques in Software Development Process” in conjunction with The 2012 International Conference on Computational Science and Its Applications (ICCSA 2012)
- January 13, 2012 - HP-PAC (Eighth IEEE Workshop on High-Performance, Power-Aware Computing) Jan 13, 2012 from 12:00 AM to 11:20 PM
- Eighth IEEE Workshop on High-Performance, Power-Aware Computing (HP-PAC) May 21, 2012 to be held in conjunction with IPDPS May 21 - 25, 2012 Shanghai, China
- January 11, 2012 - PLC’2012 (Multicore and GPU Programming Models, Languages and Compilers Workshop) Jan 11, 2012 from 12:00 AM to 11:20 PM — Shanghai, China,
- Multicore and GPU Programming Models, Languages and Compilers Workshop (PLC’2012) Shanghai, China, May 21, 2012 Co-located with 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2012), May 21-- May 25, 2012 http://perlbench.hpc.cs.tsinghua.edu.cn/plc12
- January 5, 2012 - RAW 2012 (9th Reconfigurable Architectures Workshop) Jan 05, 2012 from 12:00 AM to 11:10 PM — Shanghai, China,
- 9th Reconfigurable Architectures Workshop May 21-22, 2012 Shanghai, China
- December 16, 2011 - INTERACT-16 (16th Workshop on Interaction between Compilers and Computer Architectures) Dec 16, 2011 from 12:00 AM to 08:55 PM — New-Orleans, Louisiana,
- INTERACT-16 -- CALL FOR PAPERS The 16th Workshop on Interaction between Compilers and Computer Architectures (http://aces.snu.ac.kr/interact-16/) Held in conjunction with HPCA 2012
- November 6, 2011 - PLDI (Programming Language Design and Implementation ) Nov 06, 2011 09:35 PM — Beijing,
- Programming Language Design and Implementation — 11–16 June, Beijing
- October 21, 2011 - ITNG 2012 (The 4th International Symposium on Software Testing) Oct 21, 2011 from 12:00 AM to 11:30 PM — Las Vegas, Nevada, USA,
- The 4th International Symposium on Software Testing April 16-18, 2012 Las Vegas, Nevada, USA http://www.vteonline.com/ITNG2012/ In association with the 9th International Conference on Information Technology New Generations (ITNG 2012)
- October 14, 2011 - CC 2012 (International Conference on Compiler Construction) Oct 14, 2011 from 12:00 AM to 04:35 PM — Talinn, Estonia,
- International Conference on Compiler Construction (CC 2012) http://conferences.inf.ed.ac.uk/cc2012 24 March - 1 April 2012, Talinn, Estonia CC is part of ETAPS European Joint Conference on Theory & Practice of Software
- September 25, 2011 - CPC 2012 (16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING) Sep 25, 2011 from 12:00 AM to 11:20 PM — Padova, Italy,
- 16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING (CPC 2012) January 11-13, 2012 Padova, Italy http://aacse.dei.unipd.it/cpc2012/
- September 20, 2011 - CGO (10th International Symposium on Code Generation and Optimization) Sep 20, 2011 from 12:00 AM to 11:50 PM — San Jose, California,
- 2012 International Symposium on Code Generation and Optimization Welcome to the Official Website of CGO 2012 March 31 - April 4 San Jose, California
- September 11, 2011 - DATE E (DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE, TRACK E: "Embedded Systems Software", TOPIC E2: "Compilers and Software Synthesis for Embedded Systems") Sep 11, 2011 from 12:00 AM to 11:50 PM — DRESDEN, GERMANY,
- CALL FOR PAPERS DATE 2012 TRACK E: "Embedded Systems Software" TOPIC E2: "Compilers and Software Synthesis for Embedded Systems" DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE ICC, DRESDEN, GERMANY 12TH-16TH MARCH 2012 http://www.date-conference.com
- September 11, 2011 - NWPT'11 (23rd NORDIC WORKSHOP ON PROGRAMMING THEORY ) Sep 11, 2011 from 12:00 AM to 11:30 PM — Västerås, Sweden,
- 23rd NORDIC WORKSHOP ON PROGRAMMING THEORY (NWPT'11) Mälardalen University, Västerås, Sweden http://www.mrtc.mdh.se/nwpt2011/
- August 31, 2011 - SAC/PL (ACM 2012 SYMPOSIUM ON APPLIED COMPUTING, Technical Track on "Programming Languages" ) Aug 31, 2011 from 12:00 AM to 11:35 PM — Riva del Garda, Trentino, Italy,
- SAC '12 - ACM 2012 SYMPOSIUM ON APPLIED COMPUTING March 25-29, 2012 Riva del Garda, Trentino, Italy Technical Track on "Programming Languages"
- August 31, 2011 - SAC/SVT (27th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track) Aug 31, 2011 from 12:00 AM to 11:35 PM
- 27th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 25 - 29, 2012, Riva del Garda (Trento), Italy More information: http://www.win.tue.nl/sacsvt12/ and http://www.acm.org/conferences/sac/sac2012/
- August 31, 2011 - SAC/EMBS (27th ACM Symposium on Applied Computing, EMBEDDED SYSTEMS Across Hardware and Software) Aug 31, 2011 from 12:00 AM to 11:25 PM — Trento, Italy,
- 27th ACM Symposium on Applied Computing Trento, Italy, March 25-29 2012 http://www.acm.org/conferences/sac/sac2012 CALL FOR PAPERS FOR THE "EMBS" TRACK: EMBEDDED SYSTEMS Across Hardware and Software http://www.ing.unipi.it/sac12
Document Actions