Seminar

Wednesday, July 13, 2016 4:30 pm - 6:30 pm EDT (GMT -04:00)

Spectrum 28: Fast Feedback Day

spectrum 28 waterloo engineering logoFast Feedback Day

Deadline to apply to pitch is: June 30, 2016.  Registration is now closed.

Fast Feedback Day – An open forum where teams present their ideas for fast feedback from a panel of experts. At this stage, teams will learn whether they are ready to take their idea to the next stage of mentoring and/or to apply to incubators.

Tuesday, May 24, 2016 3:03 pm - 4:00 pm EDT (GMT -04:00)

WIN Seminar - Professor Wojciech Knap

The Waterloo Institute for Nanotechnology (WIN) presents a seminar by Professor Wojciech Knap, Research Director at the Charles Coulomb Laboratory, Montpellier University and CNRS, France, and Institute of High Pressure Physics at the Polish Academy of Sciences Warsaw, Poland.

Terahertz Imaging with Nanometer Field Effect Transistors - from Basic Physics to First Fast Terahertz Scanners

Abstract

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.