Domain Specific Languages for Verified Software
SEMINAR
Dr. Damien Zufferey
Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology
Invited by PROFESSOR Krzysztof Czarnecki
ALL ARE WELCOME!
Abstract:
Abstract:
Abstract:
Non-technical Abstract:
Abstract:
Dr. Bogdan Vasilescu, University of California, Davis, USA
ALL ARE WELCOME!
Abstract:
Ian A. Kash, Microsoft Research Canada, United Kingdom
Invited by Professor Krzysztof Czarnecki
ALL ARE WELCOME!
Abstract:
OPERATION CHALLENGES FOR THE PORTUGUESE POWER SYSTEM WITH LARGE SCALE INTEGRATION OF WIND POWER GENERATION
João A. Peças Lopes, Porto University, Portugal
Invited by Professor Claudio Cañizares

SEMINAR
DR. JULIA RUBIN - Department of EECS
The Secret Life of Mobile Applications
Invited by ECE and CS
ALL ARE WELCOME!
Abstract:

Distinguished Microwave Lecturer Program
Dr. Gordon R. Strachan
Keysight Technologies
Design Challenges in Modern Digital-IF Spectrum Analyzers
Tuesday March 1, 2016 – 4:00 pm – 5:00 pm – E5 – 4106-4128
Abstract:
Abstract: