Current undergraduate students

Wednesday, April 27, 2016 10:30 am - 11:30 am EDT (GMT -04:00)

Electrical and Computer Seminar - Domain Specific Languages for Verified Software

Dr. Damien Zufferey

Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology

Invited by PROFESSOR Krzysztof Czarnecki

ALL ARE WELCOME!

Abstract:
In this talk, I will show how we can harness the synergy between programming languages and verification methods to help programmers build reliable software, prove complex properties about them, and scale verification to industrial projects.

Thursday, April 28, 2016 4:00 pm - 4:00 pm EDT (GMT -04:00)

Water Institute RBC Distinguished Lecture 2016

The 2016 Water Institute RBC Distinguished Lecturer is Dr. Jay Famiglietti, University of California, Irvine and California Institute of Technology. His lecture will be on the topic of Water and sustainability: 21st Century realities and the global groundwater crisis.

This is a free public lecture.

For those unable to attend in person, the lecture will also be available via livestream after the lecture.

Friday, April 15, 2016 9:00 am - 4:30 pm EDT (GMT -04:00)

Analytics Day: From Data to Decisions

The Analytics Day aims to promote analytics by bringing together researchers, students, and industry experts. Academic and industry talks will report on recent advances in the development of innovative analytics tools for various application areas. The one-day event provides the opportunity to exchange ideas, share experiences, and discuss needs.

Speakers:

The Waterloo Institute for Nanotechnology (WIN) presents a Distinguished Lecture by Professor Lynden A. Archer, William C. Hooey Director and James A. Friend Family Distinguished Professor of Chemical and Biomolecular Engineering at Cornell University, United States.

Lecture: 3:00-4:00pm

Reception: 4:00-5:00pm

​Electrolyte Design Principles for Lithium Metal Batteries

Abstract