Travel

  1. December 6-9, 2022: IEEE Conference on Decision and Control, Cancun, Mexico.

  2. July 12-15, 2022: European Control Conference, London, UK.

  3. June 8-10, 2022: American Control Conference, Atlanta, USA.

  4. April 21-24, 2020: Cyber-Physical Systems and Internet-of-Things Week, Sydney, Australia.

  5. December 11-13, 2019: 58th IEEE Conference on Decision and Control, Nice, France.

  6. August 26-28, 2019: 17th International Conference on Formal Modelling and Analysis of Timed Systems, Amsterdam, The Netherlands.

  7. July 13-18, 2019: 31st International Conference on Computer-Aided Verification, New York, NY, USA.

  8. July 10-12, 2019: The 2019 American Control Conference, Philadelphia, PA, USA.

  9. June 27, 2019: Delft Center for Systems and Control (DCSC), Delft, The Netherlands.

  10. April 15-18, 2019: 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada.

  11. December 16-19, 2018: 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA.

  12. October 7-10, 2018: 16th International Symposium on Automated Technology for Verification and Analysis (ATVA), LA, CA, USA.

  13. October 3-5, 2018: 56th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA.

  14. August 13-17, 2018: Department of Automation, Shanghai Jiao Tong University, Shanghai, China.

  15. June 27-29, 2018: The 2018 American Control Conference, Milwaukee, WI, USA.

  16. May 7-16, 2018: Department of Systems and Control Engineering, Tokyo Institute of Technology, Tokyo, Japan.

  17. April 14-18, 2018: The European Joint Conferences on Theory and Practice of Software (ETAPS), Thessaloniki, Greece.

  18. April 11-13, 2018: 21st ACM International Conference on Hybrid Systems: Computation and Control, Porto, Portugal.

  19. December 12-15, 2017: 56th IEEE Conference on Decision and Control, Melbourne, Australia.

  20. October 23-27, 2017: School of Electrical and Computer Engineering, Georgia Tech, Atlanta, USA.

  21. September 4-8, 2017: Delft Center for Systems and control, Delft, the Netherlands.

  22. July 9-14, 2017: 20th World Congress of the International Federation of Automatic Control, Toulouse, France.

  23. April 3-14, 2017: University of California, Los Angeles, CA, USA.

  24. January 9-10, 2017: Institute for Systems Theory and Automatic Control, University of Stuttgart, Germany.

  25. December 12-14, 2016: 55th IEEE Conference on Decision and Control, Las Vegas, USA.

  26. September 28-30, 2016: 54th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA.

  27. August 29, 2016: University of Toronto, ON, Canada.

  28. August 24-26, 2016: 14th International Conference on Formal Modelling and Analysis of Timed Systems, Québec City, Canada.

  29. May 9-10, 2016: University of Colorado Boulder, CO, USA.

  30. May 1-14, 2016: University of California, Berkeley, CA, USA.

  31. April 12-14, 2016: 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria.

  32. January 4-8, 2016: 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, Kolkata, India.

  33. December 14-18, 2015: 54th IEEE Conference on Decision and Control, Osaka, Japan.

  34. September 24, 2015: University of California, Irvine, CA, USA

  35. September 23, 2015: University of Southern California, Los Angeles, CA, USA.

  36. September 1-15, 2015: Hybrid and Networked Systems Lab, Boston, MA, USA.

  37. July 1-3, 2015: American Control Conference, Chicago, IL, USA.

  38. April 14-16, 2015: 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, USA.

  39. December 15-17, 2014: 53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA.

  40. August 20-22, 2014: 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China.

  41. July 7-11, 2014: 21st International Symposium on Mathematical Theory of Networks and Systems, Groningen, the Netherlands.

  42. June 30, 2014: Max-Planck Institute for Biological Cybernetics, Tübingen, Germany.

  43. June 4-6, 2014: American Control Conference, Portland, OR, USA.

  44. April 15-17, 2014: 17th International Conference on Hybrid systems: Computation and Control, Berlin, Germany.

  45. December 10-13, 2013: 52nd IEEE Conference on Decision and Control, Florence, Italy.

  46. July 16-19, 2013: European Control Conference, Zurich, Switzerland.

  47. July 4, 2013: University of Groningen, Groningen, the Netherlands.

  48. June 26-28, 2013: Automatic Control Laboratory, ETHZ Zurich, Zurich, Switzerland.

  49. June 24-26, 2013: Technical University of Munich, Munich, Germany.

  50. June 11-13, 2013: Max Planck Institute for Software Systems, Kaiserslautern, Germany.

  51. May 13-14, 2013: Royal Institute of Technology, Stockholm, Sweden.

  52. January 14, 2013: Eindhoven University of Technology, Eindhoven, the Netherlands.

  53. December 10-13, 2012: 51st IEEE Conference on Decision and Control, Maui, HI, USA.

  54. July 7-13, 2012: 24th Conference on Computer Aided Verification, Berkeley, CA, USA.

  55. December 12-15, 2011: 50th IEEE Conference on Decision and Control, Orlando, FL, USA.

  56. May 13, 2011: Southern California (Nonlinear) Control Workshop, Riverside, CA, USA.

  57. December 15-17, 2010: 49th IEEE Conference on Decision and Control, Atlanta, GA, USA.

  58. October 8, 2010: Southern California (Nonlinear) Control Workshop, Santa Barbara, CA, USA.

  59. June 30- July 2, 2010: American Control Conference, Baltimore, MD, USA.

  60. May 3, 2010: Formal Methods for Robotics and Automation, Anchorage, AK, USA.

  61. November 6, 2009: Southern California (Nonlinear) Control Workshop, Irvine, CA, USA.

  62. September 23-24, 2009: Caltech Workshop on Verification and Validation, Pasadena, CA, USA.

  63. May 22, 2009: Southern California (Nonlinear) Control Workshop, Pasadena, CA, USA.

  64. November 7, 2008: Southern California (Nonlinear) Control Workshop, San Diego, CA, USA.