Past Events
- June 01, 2012 - RSP (23rd IEEE International Symposium on Rapid System Prototyping) Jun 01, 2012 from 12:00 AM to 11:15 PM — Tampere, Finland,
- 23rd IEEE International Symposium on Rapid System Prototyping October 11-12, 2012 Tampere, Finland, part of ESWeek 2012 http://www.rsp-symposium.org
- June 01, 2012 - AVoCS (12th International Workshop on Automated Verification of Critical Systems) Jun 01, 2012 from 12:00 AM to 11:00 PM — Bamberg, Germany,
- 12th International Workshop on Automated Verification of Critical Systems 18-20th September 2012 Bamberg, Germany http://www.swt-bamberg.de/AVoCS2012/
- May 25, 2012 - SASSUR (International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems) May 25, 2012 from 12:00 AM to 11:45 PM — Magdeburg, Germany,
- SASSUR International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems http://www-e.uni-magdeburg.de/safecomp/about-sc-2012/workshops/104-sassur Magdeburg, Germany, September 25, 2012 In conjunction with 31st International Conference on Computer Safety, Reliability and Security www.ovgu.de/safecomp
- May 24, 2012 - RP'12 (6th International Workshop on Reachability Problems) May 24, 2012 from 12:00 AM to 11:45 PM — Bordeaux, France,
- 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/
- May 16, 2012 - HiPC 2012 (19th IEEE International Conference on High Performance Computing) May 16, 2012 from 12:00 AM to 11:45 PM — Pune, INDIA,
- 19th IEEE International Conference on High Performance Computing (HiPC 2012) December 18-21, 2012 Pune, INDIA http://www.hipc.org
- May 11, 2012 - PSTI 2012 (Third International Workshop on Parallel Software Tools and Tool Infrastructures) May 11, 2012 from 12:00 AM to 11:50 PM — Pittsburgh, PA USA,
- Third International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI 2012) Held in Conjunction with ICPP 2012, The 41st International Conference on Parallel Processing Pittsburgh, PA USA, September 10-13, 2012 http://www.psti-workshop.org
- May 05, 2012 - Science of Computer Programming, Special Issue on Automated Verification of Critical Systems May 05, 2012 from 12:00 AM to 11:40 PM — NA,
- Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editors: Cliff Jones, Alexander Romanovsky Submission deadline: 05.05.2012 Notification: 01.08.2012 This special issue is devoted to the scope of the international workshop on Automated Verification of Critical Systems (AVoCS 2011 - see http://conferences.ncl.ac.uk/AVoCS2011/) which Newcastle University hosted in September 2011. AVoCS is devoted to tools and techniques for the verification of critical systems.
- May 04, 2012 - SCMA 2012 (12th IEEE International Working Conference on Source Code Analysis and Manipulation ) May 04, 2012 from 12:00 AM to 11:20 PM — Trento, Italy,
- 12th IEEE International Working Conference on Source Code Analysis and Manipulation SCAM 2012 http://scam2012.cs.usask.ca/ September 23 - 24, 2012 Riva Del Garda, Trento, Italy
- April 27, 2012 - SC12 (SuperComputing) Apr 27, 2012 from 12:00 AM to 11:30 PM — Salt Lake City, Utah,
- 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
- April 27, 2012 - ISoLA 2012 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation) Apr 27, 2012 from 12:00 AM to 11:05 PM — Heraklion, Greece,
- 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"
- April 27, 2012 - WODA 2012 (10th International Workshop on Dynamic Analysis) Apr 27, 2012 08:10 AM — Minneapolis, Minnesota,
- WODA 2012 : 10th International Workshop on Dynamic Analysis (with ISSTA)
- April 25, 2012 - WATERS 2012 (3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems) Apr 25, 2012 from 12:00 AM to 11:00 PM — Pisa, Italy,
- 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
- April 20, 2012 - WCET (12th International Workshop on Worst-Case Execution Time Analysis) Apr 20, 2012 from 12:00 AM to 11:15 PM — Pisa, Italy,
- 12th International Workshop on Worst-Case Execution Time Analysis Pisa, Italy, July 10, 2012 http://www.artist-embedded.org/artist/-WCET-2012-.html In conjunction with the 24th Euromicro International Conference on Real-Time Systems (ECRTS) http://ecrts.eit.uni-kl.de/ecrts12
- April 09, 2012 - (12th International Workshop on Worst-Case Execution Time Analysis) Apr 09, 2012 from 12:00 AM to 11:15 PM — Pisa, Italy,
- 12th International Workshop on Worst-Case Execution Time Analysis Pisa, Italy, July 10, 2012 http://www.artist-embedded.org/artist/WCET-2012.html (URL TO BE CONFIRMED) In conjunction with the 24th Euromicro International Conference on Real-Time Systems (ECRTS) http://ecrts.eit.uni-kl.de/ecrts12
- April 06, 2012 - LCTES WiP (The International Conference on Languages, Compilers, Tools and Theory for Embedded Systems) Apr 06, 2012 from 12:00 AM to 10:30 PM — Beijing,
- The International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES) 12-13 June, 2012, Beijing WORK-IN-PROGRESS SESSION CALL FOR PAPERS http://lctes12.cs.purdue.edu/content/work-progress-session
- April 04, 2012 - ESWeek 2012 (Embedded Systems Week) Apr 04, 2012 from 12:00 AM to 11:50 PM — Tampere, Finland,
- Call for Papers – ESWeek 2012 – http://www.esweek.org Embedded Systems Week (ESWeek), a federated conference including CASES, CODES+ISSS, and EMSOFT, is a forum for research in all aspects of embedded computing. ESWeek will be held in Tampere, Finland, October 7-12, 2012.
- April 04, 2012 - CASES 2012 (Compilers Architectures and Synthesis for Embedded Systems) Apr 04, 2012 from 12:00 AM to 11:40 PM — Tampere, Finland,
- CASES 2012 Compilers Architectures and Synthesis for Embedded Systems when: October 7-12, 2012 where: Tampere, Finland www: http://esweek.acm.org/cases/
- April 04, 2012 - FMICS 2012 (17th International Workshop on Formal Methods for Industrial Critical Systems) Apr 04, 2012 from 12:00 AM to 11:20 PM — Paris, France,
- FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems http://fmt.cs.utwente.nl/conferences/fmics2012/ August 27/28, 2012, Paris, France
- April 01, 2012 - DASIP 2012 (The 2012 Conference on Design and Architectures for Signal and Image Processing) Apr 01, 2012 from 12:00 AM to 11:45 PM — Karlsruhe, Germany,
- The 2012 Conference on Design and Architectures for Signal and Image Processing Karlsruhe, Germany October 23-25, 2012
- March 31, 2012 - ICA3PP 2012 (12th International Conference on Algorithms and Architectures for Parallel Processing) Mar 31, 2012 from 12:00 AM to 11:45 PM — Fukuoka, Japan,
- ICA3PP 2012 Call For Papers ------------------------------------------------ 12th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2012) http://anss.org.au/ica3pp12 Fukuoka, Japan, September 04-07, 2012
Document Actions