Travel
December 6-9, 2022: IEEE Conference on Decision and Control, Cancun, Mexico.
July 12-15, 2022: European Control Conference, London, UK.
June 8-10, 2022: American Control Conference, Atlanta, USA.
April 21-24, 2020: Cyber-Physical Systems and Internet-of-Things Week, Sydney, Australia.
December 11-13, 2019: 58th IEEE Conference on Decision and Control, Nice, France.
August 26-28, 2019: 17th International Conference on Formal Modelling and Analysis of Timed Systems, Amsterdam, The Netherlands.
July 13-18, 2019: 31st International Conference on Computer-Aided Verification, New York, NY, USA.
July 10-12, 2019: The 2019 American Control Conference, Philadelphia, PA, USA.
June 27, 2019: Delft Center for Systems and Control (DCSC), Delft, The Netherlands.
April 15-18, 2019: 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada.
December 16-19, 2018: 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA.
October 7-10, 2018: 16th International Symposium on Automated Technology for Verification and Analysis (ATVA), LA, CA, USA.
October 3-5, 2018: 56th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA.
August 13-17, 2018: Department of Automation, Shanghai Jiao Tong University, Shanghai, China.
June 27-29, 2018: The 2018 American Control Conference, Milwaukee, WI, USA.
May 7-16, 2018: Department of Systems and Control Engineering, Tokyo Institute of Technology, Tokyo, Japan.
April 14-18, 2018: The European Joint Conferences on Theory and Practice of Software (ETAPS), Thessaloniki, Greece.
April 11-13, 2018: 21st ACM International Conference on Hybrid Systems: Computation and Control, Porto, Portugal.
December 12-15, 2017: 56th IEEE Conference on Decision and Control, Melbourne, Australia.
October 23-27, 2017: School of Electrical and Computer Engineering, Georgia Tech, Atlanta, USA.
September 4-8, 2017: Delft Center for Systems and control, Delft, the Netherlands.
July 9-14, 2017: 20th World Congress of the International Federation of Automatic Control, Toulouse, France.
April 3-14, 2017: University of California, Los Angeles, CA, USA.
January 9-10, 2017: Institute for Systems Theory and Automatic Control, University of Stuttgart, Germany.
December 12-14, 2016: 55th IEEE Conference on Decision and Control, Las Vegas, USA.
September 28-30, 2016: 54th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA.
August 29, 2016: University of Toronto, ON, Canada.
August 24-26, 2016: 14th International Conference on Formal Modelling and Analysis of Timed Systems, Québec City, Canada.
May 9-10, 2016: University of Colorado Boulder, CO, USA.
May 1-14, 2016: University of California, Berkeley, CA, USA.
April 12-14, 2016: 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria.
January 4-8, 2016: 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, Kolkata, India.
December 14-18, 2015: 54th IEEE Conference on Decision and Control, Osaka, Japan.
September 24, 2015: University of California, Irvine, CA, USA
September 23, 2015: University of Southern California, Los Angeles, CA, USA.
September 1-15, 2015: Hybrid and Networked Systems Lab, Boston, MA, USA.
July 1-3, 2015: American Control Conference, Chicago, IL, USA.
April 14-16, 2015: 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, USA.
December 15-17, 2014: 53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA.
August 20-22, 2014: 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China.
July 7-11, 2014: 21st International Symposium on Mathematical Theory of Networks and Systems, Groningen, the Netherlands.
June 30, 2014: Max-Planck Institute for Biological Cybernetics, Tübingen, Germany.
June 4-6, 2014: American Control Conference, Portland, OR, USA.
April 15-17, 2014: 17th International Conference on Hybrid systems: Computation and Control, Berlin, Germany.
December 10-13, 2013: 52nd IEEE Conference on Decision and Control, Florence, Italy.
July 16-19, 2013: European Control Conference, Zurich, Switzerland.
July 4, 2013: University of Groningen, Groningen, the Netherlands.
June 26-28, 2013: Automatic Control Laboratory, ETHZ Zurich, Zurich, Switzerland.
June 24-26, 2013: Technical University of Munich, Munich, Germany.
June 11-13, 2013: Max Planck Institute for Software Systems, Kaiserslautern, Germany.
May 13-14, 2013: Royal Institute of Technology, Stockholm, Sweden.
January 14, 2013: Eindhoven University of Technology, Eindhoven, the Netherlands.
December 10-13, 2012: 51st IEEE Conference on Decision and Control, Maui, HI, USA.
July 7-13, 2012: 24th Conference on Computer Aided Verification, Berkeley, CA, USA.
December 12-15, 2011: 50th IEEE Conference on Decision and Control, Orlando, FL, USA.
May 13, 2011: Southern California (Nonlinear) Control Workshop, Riverside, CA, USA.
December 15-17, 2010: 49th IEEE Conference on Decision and Control, Atlanta, GA, USA.
October 8, 2010: Southern California (Nonlinear) Control Workshop, Santa Barbara, CA, USA.
June 30- July 2, 2010: American Control Conference, Baltimore, MD, USA.
May 3, 2010: Formal Methods for Robotics and Automation, Anchorage, AK, USA.
November 6, 2009: Southern California (Nonlinear) Control Workshop, Irvine, CA, USA.
September 23-24, 2009: Caltech Workshop on Verification and Validation, Pasadena, CA, USA.
May 22, 2009: Southern California (Nonlinear) Control Workshop, Pasadena, CA, USA.
November 7, 2008: Southern California (Nonlinear) Control Workshop, San Diego, CA, USA.