9:00-9:15

Hadas Kress-Gazit - Cornell University
Welcome and introduction

9:15-9:45

Eric Klavins – University of Washington
Stochastic, concurrent programs for reconfigurable robot systems (presented by Nils Napp)

9:45-10:15

Magnus Egerstedt  – Georgia Institute of Technology
Motion description languages for multi-robot systems: From specifications to optimal control (presented by Calin Belta)

10:15-10:35

Coffee Break

10:35-11:05

Lydia Kavraki – Rice University
Falsification of Safety Properties expressed in Linear Temporal Logic in Hybrid Systems (presented by Mark Moll)

11:05-11:35

Calin Belta – Boston University
Automatic deployment of robotic teams from temporal logic specifications

Hadas Kress-Gazit - Cornell University
Synthesizing controllers for reactive tasks

Sayan Mitra - University of Illinois at Urbana Champaign
Virtual Infrastructure for Programming Mobile Robots

Julia Braman - California Institute of Technology Safety Verification of Goal-based Control Programs for Autonomous Robotic Systems

Claire Tomlin - Stanford University, UC Berkeley
Hierarchical, hybrid architecture for robot motion planning and control (presented by Jeremy Gillula , Haomiao Huang and Michael Vitus)