Tags:
tag this topic
create new tag
view all tags
<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
E
dit
|
A
ttach
|
Watch
|
P
rint version
|
H
istory
: r5
<
r4
<
r3
<
r2
<
r1
|
B
acklinks
|
V
iew topic
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r5 - 2016-07-25
-
DamianLyons
Home
Site map
Main web
Sandbox web
TWiki web
Main Web
Users
Groups
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
P
P
P
View
Raw View
Print version
Find backlinks
History
More topic actions
Edit
Raw edit
Attach file or image
Edit topic preference settings
Set new parent
More topic actions
Account
Log In
E
dit
A
ttach
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