Events by date

«Previous

Wednesday, April 27, 2016

Next »
Wednesday, April 27, 2016 — 10:30 to 11:30 AM to 11:30 AM EDT

SEMINAR

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.

Wednesday, April 27, 2016 — 1:00 PM to 2:00 PM EDT

Professor Ivan Petrović, Faculty of Electrical Engineering and Computing

University of Zagreb Laboratory for Autonomous Systems and Mobile Robotics (LAMOR)

«

April 2016

»
S M T W T F S
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Return to current month
  1. 2023 (56)
    1. June (3)
    2. May (7)
    3. April (24)
    4. March (12)
    5. February (2)
    6. January (8)
  2. 2022 (157)
    1. December (16)
    2. November (15)
    3. October (14)
    4. September (19)
    5. August (23)
    6. July (15)
    7. June (3)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (11)
  3. 2021 (130)
  4. 2020 (246)
  5. 2019 (282)
  6. 2018 (150)
  7. 2017 (212)
  8. 2016 (242)
    1. December (11)
    2. November (17)
    3. October (11)
    4. September (21)
    5. August (27)
    6. July (54)
    7. June (13)
    8. May (20)
    9. April (22)
    10. March (18)
    11. February (6)
    12. January (22)
  9. 2015 (242)
  10. 2014 (268)
  11. 2013 (190)
  12. 2012 (31)