Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Line: 23 to 23 | ||||||||
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. | ||||||||
Deleted: | ||||||||
< < | 9. Journal Version of ARMS 2013, submitted to IEEE Trans. Robotics June 2013, under revision, Return 11/15. | |||||||
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. | ||||||||
Changed: | ||||||||
< < | * 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. Still in review. | |||||||
> > | 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. | |||||||
Changed: | ||||||||
< < | * 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. | |||||||
> > | 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/) | ||||||||
Changed: | ||||||||
< < | * 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. | |||||||
> > | 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. * ISR 2016, Munich Germany, Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver, Submitted 1/11. Decision 2/18. Will need full paper 3/31 if accepted. | |||||||
Line: 39 to 41 | ||||||||
Added: | ||||||||
> > | ||||||||
IN PROGRESS | ||||||||
Changed: | ||||||||
< < | * Multirobot OA mission paper: RSS 2015 (July 15, 2015 Rome) Deadline 1/22/15. Fallbacks: ICAR 2015 (July 27, 2015 Istanbul) Deadline 2/1/15, Syroco 2015 (Aug 26 2015 Brazil) Deadline 2/15/15. Submitted. Initial reviews 3/5. Responded 3/8. | |||||||
> > | * Localization verification paper. Target is IROS, Daejeon Korea, Oct 9-14 2016. Deadline March 1st 2016. In Progress. Shu has this now. | |||||||
Changed: | ||||||||
< < | * Alternate for RSS paper: 2015 International Conference on Intelligent Robotics and Applications (ICIRA2015) will be held in Portsmouth, UK on August 24th – 27th, 2015.(http://www.icira2015.org/) Deadline 4/20. | |||||||
> > | * Autogen paper: target ? | |||||||
Changed: | ||||||||
< < | * Colored MoG paper. In Progress. tentative: IEEE ICCA 2015, (December, Kathmandu, Nepal). Deadline 5/15.(http://www.ieee-icca.org/) | |||||||
> > | * HIL paper: target ? | |||||||
Deleted: | ||||||||
< < | * SMT paper. Tentative. 13th int. Workshop on SMT. (July, San Francisco CA) Deadline 4/30. Extended abs or full paper.(http://smt2015.csl.sri.com/) | |||||||
Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Added: | ||||||||
> > |
COMPLETED1. 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.
IN PROGRESS* Multirobot OA mission paper:RSS 2015 (July 15, 2015 Rome) Deadline 1/22/15. Fallbacks: ICAR 2015 (July 27, 2015 Istanbul) Deadline 2/1/15, Syroco 2015 (Aug 26 2015 Brazil) Deadline 2/15/15. Submitted. Initial reviews 3/5. Responded 3/8. * Alternate for RSS paper: 2015 International Conference on Intelligent Robotics and Applications (ICIRA2015) will be held in Portsmouth, UK on August 24th – 27th, 2015.(http://www.icira2015.org/) Deadline 4/20. * Colored MoG paper. In Progress. tentative: IEEE ICCA 2015, (December, Kathmandu, Nepal). Deadline 5/15.(http://www.ieee-icca.org/) * SMT paper. Tentative. 13th int. Workshop on SMT. (July, San Francisco CA) Deadline 4/30. Extended abs or full paper.(http://smt2015.csl.sri.com/) UPCOMING/ALTERNATES See below for some interesting past venues. 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:
|