ECE Seminar: Compositional Program Analysis using Max-SMT
SPEAKER: Dr. Daniel Larraz, University of Iowa
SPEAKER: Dr. Daniel Larraz, University of Iowa
Waterloo's Centre for Theoretical Neuroscience invites everyone to an open house, the culmination of a two-week workshop that teaches researchers how to build sophisticated brain models. These international experts will demonstrate large-scale brain models running on laptops, robots, and specialized brain-like computers while simulating neural functions.
As part of the Water Institute's WaterTalks lecture series, Janet Hering, director of the Swiss Federal Institute of Aquatic Science & Technology (Eawag) and professor at the Swiss Federal Institute of Technology in Zürich and the Swiss Federal Institute of Technology in Lausanne presents, "Linking Eawag’s Research to Policy and Practice."
Coffee and light refreshments provided.
PROFESSOR CHUNLI BAI
President, Chinese Academy of Sciences, Beijing, China
Robert Shorten
Professor & Chair, Control Engineering & Decisions Science, University College Dublin
On June 15, you're invited to a special evening to launch a year of celebration marking the 50th Anniversary of the founding of the University of Waterloo School of Architecture. Waterloo Architecture was created in 1967, Canada’s Centennial year, in anticipation of continued growth and increased demand for design.
Mariko Shimoda, a second-year mechanical engineering student at the University of Waterloo, is the winner of a scholarship from the Canadian Engineering Memorial Foundation (CEMF) for the Ontario region. She is one of five remarkable women from regions across the country to receive the 2017 CEMF Undergraduate Women in Engineering Scholarship.
Professor Harald Hillebrecht
Institute for Inorganic Chemistry
University of Freiburg, Germany
Laurens G. Debo
Associate Professor of Operations Management
Tuck School of Business, Dartmouth College
Hanover, New Hampshire
Laurens.G.Debo@tuck.dartmouth.edu
Abstract
PROFESSOR ANDREW J. DEMELLO
Professor of Biochemical Engineering
Institute for Chemistry and Bioengineering
Department of Chemistry and Applied Biosciences
ETH Zürich, Switzerland