Bundit Laekhanukit, Institute for Theoretical Computer Science
Shanghai University of Finance and Economics
Mike Schaekermann, PhD candidate
David R. Cheriton School of Computer Science
Yakov Nekrich, Department of Computer Science
Michigan Technological University
Chris Eliasmith, Director of the Centre for Theoretical Neuroscience
Department of Systems Design Engineering
Marianna Rapoport, PhD candidate
David R. Cheriton School of Computer Science
The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's
Marcia Lucena, Departamento de Informática e Matemática Aplicada
Universidade Federal do Rio Grande do Norte, Brazil
Mirela Ben-Chen, Center for Graphics and Geometric Computing
Computer Science Department, Technion
Michael Abebe, PhD candidate
David R. Cheriton School of Computer Science
The University of Waterloo Human Factors and Ergonomics Society is proud host IUW19 — the Inter-University Workshop — for its 20th anniversary.
Umar Farooq Minhas, Database Group
Microsoft Research