Events

Friday, October 18, 2019 — 10:30 AM EDT

Seminar • Data Systems | Symbolic Computation — Math-Aware Search: A Progress Report from the MathSeer Project

Richard Zanibbi, Director, Document and Pattern Recognition Lab
Rochester Institute of Technology

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

PhD Seminar • Data Systems — System for a Market Place Data Science Platform that is Scalable, Modular and Interoperable

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

Monday, October 21, 2019 — 12:00 PM EDT

Seminar • Health Informatics | Artificial Intelligence — Active Inference Across Scales: From the Brain to the Body and Culture

Maxwell Ramstead, McGill University

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

Seminar • Algorithms and Complexity — Online Computation with Untrusted Advice

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

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

CrySP Speaker Series on Privacy • Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers

Stefan Saroiu, Mobility and Networking Research Group
Microsoft Research

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

PhD Seminar • Human-Computer Interaction — Expression of Curiosity in Teachable Robots: Design, Perception, and Effects on Behaviour

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

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

PhD Seminar • Data Systems — Majority is Not the Answer: A Think-Aloud Study to Understand Factors Affecting Online Health Search

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

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

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

PhD Seminar • Human-Computer Interaction — Understanding Expert Disagreement in Medical Data Analysis through Structured Adjudication

Mike Schaekermann, 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 

«

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)