Monday, October 21, 2019 — 9:00 AM EDT

Hassan Mousaid, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, October 23, 2019 — 1:30 PM EDT

Spyros Angelopoulos, CNRS Researcher
Laboratoire d'informatique de Paris 6 (LIP6), Sorbonne Université

Thursday, October 24, 2019 — 11:00 AM EDT

Stefan Saroiu, Mobility and Networking Research Group
Microsoft Research

Thursday, October 24, 2019 — 1:00 PM EDT

Jessy Ceha, PhD candidate
David R. Cheriton School of Computer Science

Friday, October 25, 2019 — 2:00 PM EDT

Marco Serafini, College of Information and Computer Sciences
University of Massachusetts Amherst

Thursday, October 31, 2019 — 12:00 PM EDT

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

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

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

Thursday, November 7, 2019 — 1:15 PM EST

Mike Schaekermann, PhD candidate
David R. Cheriton School of Computer Science

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

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 

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 (213)
    1. December (1)
    2. November (4)
    3. October (15)
    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)