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.
Are you an engineering student interested in studying abroad to earn credits toward your Waterloo degree?
Then plan to attend this information session where Cindy Howe, Administrative Coordinator, Faculty Exchange Office, will give you all the details.
Associate Professor
Operations Management, Singapore Management University
Singapore
oboyabatli@smu.edu.sg
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