Participants

• Jonathan Brachthäuser, University of Tübingen
• Youyou Cong, Tokyo Institute of Technology
• Jeremy Gibbons, University of Oxford
• Kenichi Asai, Ochanomizu University
• Eli Bingham, Basis & Broad Institute of MIT and Harvard
• William Bowman, University of British Columbia
• Paul Downen, University of Massachusetts Lowell
• Kazuki Ikemori, Tokyo Institute of Technology
• Yukiyoshi Kameyama, Univeristy of Tsukuba
• Shin-ya Katsumata, National Institute of Informatics
• Paulette Koronkevich, University of British Columbia
• Sam Lindley, The University of Edinburgh
• Dylan McDermott, Reykjavik University
• Cameron Moy, Northeastern University
• Dominic Orchard, University of Kent and University of Cambridge
• Amr Sabry, Indiana University
• Tom Schrijvers, KU Leuven
• Philipp Schuster, University of Tübingen
• Taro Sekiyama, National Institute of Informatics
• Tachio Terauchi, Waseda University
• Ningning Xie, University of Toronto
• Jeremy Yallop, University of Cambridge
• Yizhou Zhang, University of Waterloo

Organizers

Jonathan Brachthäuser is Junior Professor at the University of Tübingen, Germany. He is one of the authors of the Effekt language a language with effects and handlers, and involved in joint efforts to bring effect safety to the Scala language. His research revolves around alternative, lightweight effect systems as well as efficient implementation techniques for effect handlers—a mechanism to structure advanced control-flow patterns.
Youyou Cong is an Assistant Professor at Tokyo Institute of Technology, Japan. She has been studying the theory of delimited control operators, with a special focus on their type systems and CPS translations. Her recent work applies the knowledge gained in the control operators research to effect handlers, using the strong connection between the two effect facilities.
Jeremy Gibbons is Professor of Computing at the University of Oxford, where he leads the Algebra of Programming research group and directs the Professional Master’s Programme. His research interests are in reasoning about programs, in particular programs with effects.