COMPLETED

1. SPIE Defense and Security Symposium 2012, April 23-27 Baltimore MD; Abstract due Oct 10th 2011. Abstract Submitted. Accepted. Paper Submitted. Minor formatting request and resubmit. Presentation Made.

2. PerMIS'12 Performance Metrics for Intelligent Systems, March 20-22, 2102, College Pk. MD; Paper due date Nov 14th 2011, (http://www.nist.gov/el/isd/permis2012.cfm) Paper Submitted. Accepted. Final version submitted. Presentation Made.

• Table of Contents of 2008 PerMIS Workshop. Includes all proceedings as pdf files.
• Table of Contents of 2009 PerMIS Workshop. Includes all proceedings as pdf files.
• 2010 PerMIS Workshop Schedule and proceedings. Does not include full proceedings.

http://www.iros2012.org/site/

4. CSER 2013: Conference on Systems Engineering Research, Atlanta GA, March 19-22, 2013. Paper due: Oct 8th. (http://cser13.gatech.edu). Submitted. Accepted. Final paper due 12/15. Presentation 3/20.

5. IAV'2013: The 2013 IFAC Intelligent Autonomous Vehicles Symposium Gold Coast, 26-28 June 2013 (http://www.iav2013.org/). Submitted 11/25. Accepted. Presentation June 26-28 2013.

6. AAMAS-ARMS 2013: Workshop at 12th AAMAS, non archival, deadline 2/9. Submitted. Accepted. Presentation May 6 2013

7. IROS 2013. IEEE/RSJ International Conference on Intelligent Robots and Systems November 3-7, 2013 at Tokyo Big Sight, Japan (http://www.iros2013.org/). Submitted 3/15. Decision 7/1. Accepted. Presentation 11/6.

8. SSRR 2013: 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) 21 Oct - 26 Oct 2013, Linkoping, Sweden. Deadline Abstract June 9 2013. Accepted.

10. RSS 2014, 5th Workshop on Formal Methods in Robotics. RSS 7/12-16 2014. Accepted 5/29. Presentation 7/11.

11. S5 2014. Safe and secure systems and software symposium, USAF sponsored (http://www.mys5.org/). 6/10-12 2014 Dayton Ohio. Accepted 5/21. Presented 6/11. All presentation slides will be online at http://www.mys5.org/ soon.

12. Journal Version of ARMS 2013, submitted to IEEE Trans. Robotics June 2013, under revision, Return 11/15, under rerewrite. Resubmitted 4/27. Conditionally accepted. 10/14. Resubmitted 11/11. Accepted Spring 2015. Published.

13. IROS 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago IL Sept 14-18 2014. Deadline 2/6. Decision 5/21. Accepted. Final submitted 6/21. Presented 9/15 (http://http://www.iros2014.org/)

14. SIMPAR 2014 Bergamo Italy Oct 20-23 2014. http://www.simpar.org Deadline 5/5. (http://www.kros.org/dars2014) Accepted. Final version submitted. Presented 10/20.

15. ICTAI 15 Vietri Sul Mare, Italy, Nov 9-11 2015, https://sites.google.com/site/ictai2015italy/ Submitted. Accepted. Presented by Shu.

16. ISR 2016, Munich Germany, http://conference.vde.com/isr2016/Pages/Start.aspx Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver, Submitted 1/11. Decision 2/18. Extended 2/29.Accepted. Presented.

IN PROGRESS

UPCOMING/ALTERNATES

See below for some interesting past venues.

TAROS 2016 Sheffield UK. http://www.sheffieldrobotics.ac.uk/conferences/taros-2016/ Paper deadline extended to march 4th 2016.

MMAR 2016 Miedzyzdroje Poland. March 7th paper deadline. 4-6 page papers. http://mmar.edu.pl/index.php/submission/deadlines/

FUTURE VENUES

* The 10th International Conference on Intelligent Unmanned Systems (ICIUS 2014) September 29 - October 1, 2014, Montreal, Quebec, Canada. *Deadline 5/1

* 23rd INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING - ICSEng 2014 Las Vegas, USA, August 19-21, 2014. (http://www.icseng.com ) *Deadline 3/21.

** SSV 2014 Systems Software Verification Conference. Vienna Austria July 23-24 2014. Deadline: Abs 3/25, paper 4/1

** DARS 2014 Nov 2-5 2014 Daejeon Korea Deadline 5/30 2014

** ICARCV'14 13th Int Conf on Control AutomationRobotics and Vision (ICARCV) Marina Bay Sands Singapore Dec 10-12 2014. Deadline 4/1 (http://www.icarcv.org/2014)

* Towards Autonomous Robotic Systems (TAROS 2014), 1st-3rd September 2014, Birmingham UK. Deadline april.

* IJCAI 2013: 23rd Int. Joint Conf. on AI, August 3-9 Beijing China (http://ijcai13.org); Abstract deadline 1/26/13, paper deadline 1/30/13).

* RSS 2013 Berlin, submit by 2/1/13, http://www.roboticsconference.org/

* ISMA'13: 9th International Symposium on Mechatronics and its Applications,April 9-11, 2013, Amman, Jordan (http://isma2013.isma-conf.org/). Submit 12/3/2012.

* ICIRA 2013 Amsterdam, submit by 12/31/12, http://www.waset.org/conferences/2013/amsterdam/icira/

* CAV'13 25th Int Conf on Computer Aided Verification, July 2013, St Petersburg Russia (http://cav2013.forsyte.at/). submit abstract 1/3/2013, papers 1/7/2013.
2011 -- (http://www.cs.utah.edu/events/conferences/cav2011) and special workshop on formal methods robotics (http://web.mae.cornell.edu/hadaskg/CAV11/index.html).

* AIM 2013 Wollongong, submit by 1/20/13, http://www.aim2013.org/

* ECMR 2013 submit 4/13 (estimate) http://www.iri.upc.edu/ecmr13/ PROBABLY NOT

* VMCAI 2012, 11th Int Conf on Verification, Model Checking, and Abstract Interpretation, January 2012, Papers due August 10th in 2011

* ACC 2012, American Control Conference, July 27-29 Montreal Ca, papers due Sept 15th 2011 (Try next year).

* ICINCO 2013 submit 2/5/2013 http://www.icinco.org/

* CLAWAR 2013 Sydney Australia, submit by 2/4/2013 http://clawar2013.feit.uts.edu.au

* ICAR 2013: 6th International Conference on Advanced Robotics, ICAR 2013, Universidad de la República in Montevideo, Uruguay, November 25-29th, 2013. (http://www.icar2013.org/) Deadline 6/30 submission, 8/30 decision.

*. ICRA 2014: 2014 IEEE International Conference on Robotics and Automation (ICRA) Hong Kong Convention and Exhibition Center, Hong Kong, China, May 31 to June 5, 2014 (http://web.utk.edu/~jtan10/icra2014/).

** CAV 2014 Int Conf on Computer Aided Verification, San Francisco CA. Deadline for submission 1/30/2015.

** SEFM 2015 13th Int Conf on Software Engineering and Formal Methods York UK. Deadline 3/20/2015

** AAMAS 2015: 14th int conf on autonomous agents and multiagent systems, Istanbul Turkey. Deadline 11/12.

Page Permissions:

• Set ALLOWTOPICCHANGE = FRCVRoboticsGroup

-- DamianLyons