Events

Friday, November 1, 2019 — 10:30 AM EDT

PhD Defence • Data Systems — Health Misinformation in Search and Social Media

Amira Ghenai, PhD candidate
David R. Cheriton School of Computer Science

Monday, November 11, 2019 — 1:30 PM EST

PhD Defence • Programming Languages — A Path to DOT: Formalizing Scala with Dependent Object Types

Marianna Rapoport, PhD candidate
David R. Cheriton School of Computer Science

The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's 

Friday, December 6, 2019 — 2:00 PM EST

PhD Defence • Artificial Intelligence | Machine Learning — Likelihood-based Density Estimation using Deep Architectures

Priyank Jaini, PhD candidate
David R. Cheriton School of Computer Science

«

October 2019

»
S M T W T F S
29
30
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
31
1
2
  1. 2019 (212)
    1. December (1)
    2. November (4)
    3. October (14)
    4. September (20)
    5. August (18)
    6. July (12)
    7. June (23)
    8. May (23)
    9. April (32)
    10. March (25)
    11. February (16)
    12. January (24)
  2. 2018 (220)
    1. December (16)
    2. November (19)
    3. October (26)
    4. September (22)
    5. August (17)
    6. July (20)
    7. June (13)
    8. May (25)
    9. April (34)
    10. March (24)
    11. February (3)
    12. January (1)
  3. 2017 (36)
  4. 2016 (21)
  5. 2015 (36)
  6. 2014 (33)
  7. 2013 (23)
  8. 2012 (4)
  9. 2011 (1)
  10. 2010 (1)
  11. 2009 (1)
  12. 2008 (1)