<span style="color: blue;"> </span> <span style="color: blue;"> </span> ---+++ 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. * [[http://dl.acm.org/citation.cfm?id=1774674&picked=prox][Table of Contents of 2008 PerMIS Workshop]]. Includes all proceedings as pdf files. * [[http://dl.acm.org/citation.cfm?id=1865909&picked=prox][Table of Contents of 2009 PerMIS Workshop]]. Includes all proceedings as pdf files. * [[http://www.nist.gov/el/isd/upload/PerMIS_2010_Program.pdf][2010 PerMIS Workshop Schedule and proceedings]]. Does not include full proceedings. 3. IROS 2012,Oct 7-11 2012, Portugal, SEAMS paper majorly edited and submitted March 10th; Decisions July 1st; Accepted - Full paper due 7/21. Completed. 2012 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. <strong> <font color=red> ---+++ IN PROGRESS * IROS 2016 Deajeon Korea. Oct 9-14 2016. http://www.iros2016.org/. Deadline March 1st 2016. Submitted. Decision 7/1. rejected. Revised. resubmitted ICTAI 2016 11/6-8 2016 San Jose CA. Decision 8/16. * Jpaper2. * Autogen paper: target ? * Lumped paper: target ? </font> </strong> 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. %RED%Deadline: Abs 3/25, paper 4/1 %ENDCOLOR% ** DARS 2014 Nov 2-5 2014 Daejeon Korea%RED% Deadline 5/30%ENDCOLOR% 2014 ** ICARCV'14 13th Int Conf on Control AutomationRobotics and Vision (ICARCV) Marina Bay Sands Singapore Dec 10-12 2014.%RED% Deadline 4/1%ENDCOLOR% (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. <br /> 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 <meta name="robots" content="noindex" /> -- Main.DamianLyons
This topic: Main
>
WebHome
>
FordhamRoboticsAndComputerVisionLaboratory
>
FRCVProjects
>
DTRA
>
DTRAConferenceList
Topic revision: r5 - 2016-07-25 - DamianLyons
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback