Event | When | Where | Deadline | |
SAFE 2011 |
4th International Conference on Safety and Security Engineering | |
Jul 4, 2011 - Jul 6, 2011 |
Antwerp, Belgium |
TBD |
IWLS 2011 |
International Workshop on Logic and Synthesis | |
Jun 3, 2011 - Jun 5, 2011 |
La Jolla, CA, USA |
TBD |
IOLTS 2009 |
IEEE International On-Line Testing Symposium | |
Jun 24, 2009 - Jun 27, 2009 |
Sesimbra-Lisbon, Portugal |
Feb 2, 2009 |
SSIRI 2009 |
The Third IEEE International Conference on Secure Software Integration and Reliability Improvement | |
Jul 8, 2009 - Jul 10, 2009 |
Shanghai, China |
Mar 8, 2009 |
OMG 2009 |
Workshop on Distributed Object Computing for Real-time and Embedded Systems | |
Jul 13, 2009 - Jul 15, 2009 |
Washington, D.C. |
Mar 11, 2009 |
ICDCS 2009 |
The 2009 IACSIT International Conference on Distributed Computing System | |
Dec 4, 2009 - Dec 6, 2009 |
Frankfort,Germany |
Jul 1, 2009 (Sep 5, 2009) |
BIONETICS 2009 |
4th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems | |
Dec 9, 2009 - Dec 11, 2009 |
Avignon, France |
Jul 5, 2009 |
ARES 2010 |
The Fifth International Conference on Availability, Reliability and Security | |
Feb 15, 2010 - Feb 18, 2010 |
Krakow, Poland |
Sep 1, 2009 |
DATE 2010 |
Design, Automation and Test in Europe, Simulation and Validation Track | |
Mar 8, 2010 - Mar 12, 2010 |
Dresden, Germany |
Sep 6, 2009 |
NSDI 2010 |
7th USENIX Symposium on Networked Systems Design and Implementation | |
Apr 28, 2010 - Apr 30, 2010 |
San Jose, CA, USA. |
Oct 2, 2009 (Sep 25, 2009) |
Eurosys 2010 |
Fifth European Conference on Computer Systems | |
Mar 30, 2010 - Apr 2, 2010 |
Paris, France |
Oct 19, 2009 |
IJNSA 2009 |
International journal of Network Security & Its Applications (IJNSA) | |
N/A |
N/A |
Oct 20, 2009 |
ITNG - Software Testing 2010 |
7th International Conference on Information Technology New Generations - Software Testing Track | |
Apr 12, 2010 - Apr 14, 2010 |
Las Vegas, Nevada |
Oct 23, 2009 |
SEPA 2010 |
Software Engineering Processes and Applications 2010 | |
Mar 23, 2010 - Mar 26, 2010 |
Fukuoka, Japan |
Oct 31, 2009 |
TBFM 2010 |
Workshop on Tool Building in Formal Methods | |
Feb 22, 2010 - Feb 22, 2010 |
Orford, Quebec, Canada |
Nov 15, 2009 |
WRLA 2010 |
8th International Workshop on Rewriting Logic and its Applications | |
Mar 20, 2010 - Mar 21, 2010 |
Paphos, Cyprus |
Dec 5, 2009 |
Bytecode 2010 |
5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation | |
Mar 27, 2010 - Mar 28, 2010 |
Paphos, Cyprus |
Dec 21, 2009 (Dec 14, 2009) |
GT-VMT 2010 |
9th International Workshop on Graph Transformation and Visual Modeling Techniques | |
Mar 20, 2010 - Mar 21, 2010 |
Cyprus |
Dec 27, 2009 (Dec 23, 2009) |
QSIC 2010 |
10th International Conference on Quality Software | |
Jul 14, 2010 - Jul 15, 2010 |
Zhangjiajie, China |
Jan 4, 2010 |
TGC 2010 |
5th Intl. Symposium on Trustworthy Global Computing | |
Feb 24, 2010 - Feb 26, 2010 |
Munich, Germany |
Jan 8, 2010 |
|