| Event | When | Where | Deadline | |
| ICIRA 2011 |
2011 International Conference on Intelligent Robotics and Applications | |
| Dec 6, 2011 - Dec 9, 2011 |
Aachen, Germany |
Apr 15, 2011 |
| Humanoids 2011 |
11th IEEE-RAS International Conference on Humanoid Robots | |
| Oct 26, 2011 - Oct 28, 2011 |
Bled, Slovenia |
Jun 15, 2011 |
| IEEE ICECS 2011 |
The IEEE International Conference on Electronics, Circuits, and Systems | |
| Dec 11, 2011 - Dec 14, 2011 |
Beirut, Lebanon |
Jul 15, 2011 |
| VMCAI 2012 |
13th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 22, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Aug 19, 2011 (Aug 12, 2011) |
| DATE 2012 |
Design, Automation and Test in Europe | |
| Mar 12, 2012 - Mar 16, 2012 |
Dresden - Germany |
Sep 11, 2011 |
| ICRA 2012 |
2012 IEEE International Conference on Robotics and Automation (ICRA) | |
| May 14, 2012 - May 19, 2012 |
St Paul, MN, USA |
Sep 16, 2011 |
| RadioTecC 2011 |
RadioTecC 2010 Transmit&TestSolutions 2010 | |
| Nov 24, 2010 - Nov 25, 2010 |
Berlin |
Oct 12, 2011 |
| ICST 2012 |
IEEE Fifth International Conference on Software Testing, Verification and Validation | |
| Apr 18, 2012 - Apr 22, 2012 |
Montreal, Canada |
Nov 4, 2011 (Oct 28, 2011) |
| NFM 2012 |
Fourth NASA Formal Methods Symposium | |
| Apr 3, 2012 - Apr 5, 2012 |
Norfolk, Virginia, USA |
Dec 11, 2011 |
| ACSD 2012 |
12th International Conference on Application of Concurrency to System Design | |
| Jun 27, 2012 - Jun 29, 2012 |
Hamburg, Germany |
Jan 20, 2012 (Jan 13, 2012) |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| CSTVA 2012 |
CSTVA'12 - 4th International Workshop on Constraints in Software Testing, Verification and Analysis | |
| Apr 21, 2012 - Apr 21, 2012 |
Montreal, Canada |
Feb 5, 2012 |
| FMICS 2012 |
17th International Workshop on Formal Methods for Industrial Critical Systems | |
| Aug 27, 2012 - Aug 28, 2012 |
Paris, France |
Apr 4, 2012 (Mar 28, 2012) |
| ICRA 2013 |
The 2013 IEEE International Conference on Robotics and Automation | |
| May 6, 2013 - May 10, 2013 |
Karlsruhe - Germany |
Sep 17, 2012 |
| DAC 2013 |
50th ACM/EDAC/IEEE Design Automation Conference (DAC) | |
| Jun 2, 2013 - Jun 6, 2013 |
Austin / U.S.A |
Dec 3, 2012 (Nov 27, 2012) |
| IROS 2013 |
IEEE/RSJ International Conference on Intelligent Robots and Systems | |
| Nov 3, 2013 - Nov 7, 2013 |
Tokyo, Japan |
Mar 22, 2013 |
| IJRA 2013 |
International Journal of Robotics and Automation | |
| Jan 1, 2013 - Dec 31, 2013 |
International |
Dec 31, 2013 |
|
