9:00 am–10:30 am |
Orna Kupferman (Hebrew U) |
9:00 am–10:30 am |
Kousha Etessami (University of Edinburgh) |
9:00 am–10:30 am |
Vincent Conitzer (Duke University) |
9:00 am–10:30 am |
Edith Elkind (University of Oxford) |
9:00 am–10:30 am |
Jean-Francois Raskin (Université Libre de Bruxelles, Belgium) |
9:00 am–10:30 am |
Tuomas Sandholm (Carnegie Mellon University) |
9:00 am–10:30 am |
Joseph Halpern (Cornell University) |
9:00 am–10:30 am |
Osbert Bastani (University of Pennsylvania) |
9:00 am–10:30 am |
Mihalis Yannakakis (Columbia University) |
9:00 am–10:30 am |
Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning Sheila McIlraith (University of Toronto) |
9:00 am–9:30 am |
Kaushik Mallik (Max Planck Institute for Software Systems) |
|
9:30 am–10:00 am |
Kishor Jothimurugan (University of Pennsylvania) |