Thursday, May 31, 2018 4:00 PM EDT

Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science

Monday, May 28, 2018 10:00 AM EDT

Dimitrios Skrepetos, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 24, 2018 2:00 PM EDT

Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, May 23, 2018 3:30 PM EDT
photo of Professor Joe Mitchell

Joe Mitchell
Department of Applied Mathematics and Statistics
State University of New York at Stony Brook 

Tuesday, May 22, 2018 2:00 PM EDT

Marijn Heule, Research Assistant Professor
University of Texas at Austin

Progress in satisfiability (SAT) solving has enabled answering long-standing open questions in mathematics completely automatically, resulting in clever though potentially gigantic proofs. We illustrate the success of this approach by presenting the solution of the Boolean Pythagorean triples problem. We also produced and validated a proof of the solution, which has been called the "largest math proof ever." 

Friday, May 18, 2018 1:30 PM EDT

Saman Barghi, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, May 16, 2018 1:00 PM EDT

Dallas Fraser, Master’s candidate
David R. Cheriton School of Computer Science

Combining text and mathematics when searching in a corpus with extensive mathematical notation remains an open problem. Recent results for math information retrieval systems on the math and text retrieval task at NTCIR-12, for example, show room for improvement, even though formula retrieval appears to be fairly successful.

Tuesday, May 15, 2018 10:00 AM EDT

Yifan Zhang, Master’s candidate
David R. Cheriton School of Computer Science

Saturday, May 12, 2018 — 8:00 AM to 6:00 PM EDT

Explore. Build. Win.

You are invited to participate in the second Waterloo Datathon this May 12, 2018.

Friday, May 11, 2018 2:00 PM EDT

Junnan Chen, Master’s candidate
David R. Cheriton School of Computer Science

Conversations depend on information from the context. To go beyond one-round conversation, a chatbot must resolve contextual information such as: 1) co-reference resolution, 2) ellipsis resolution, and 3) conjunctive relationship resolution.

There are simply not enough data to avoid these problems by trying to train a sequence-to-sequence model for multi-round conversation similar to that of one-round conversation.

Friday, May 11, 2018 1:30 PM EDT

Babar Naveed Memon, Master’s candidate
David R. Cheriton School of Computer Science

Remote Direct Memory Access (RDMA) can be used to implement a shared storage abstraction or a shared nothing abstraction for distributed applications. We argue that the shared storage abstraction is an overkill for loosely coupled applications and that the shared nothing abstraction does not leverage all the benefits of RDMA.

Thursday, May 10, 2018 12:00 PM EDT

Please note: This seminar has been cancelled.

Alex C. Williams, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 10, 2018 11:30 AM EDT

Mohammad Zokaei Ashtiani, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 10, 2018 10:00 AM EDT

Kareem El Gebaly, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, May 9, 2018 1:00 PM EDT

Bryan Muscedere, Master’s candidate
David R. Cheriton School of Computer Science

Wednesday, May 9, 2018 10:00 AM EDT

Ivana Kajić, PhD candidate
David R. Cheriton School of Computer Science

Tuesday, May 8, 2018 10:00 AM EDT

Edward Cheung, PhD candidate
David R. Cheriton School of Computer Science

Saturday, May 5, 2018 (all day)

GIRLsmarts4tech is an outreach program aimed at inspiring girls to explore technology. During the day-long workshop, girls will learn about various aspects of computer science, including mobile app design and programming, user interfaces, and how computer science applies in other fields and disciplines.

Grades 7 and Grade 8 girls who have no programming experience and who are interested in learning computer science are encouraged to register for this event.

Friday, May 4, 2018 — 5:00 PM to Sunday, May 6, 2018 — 5:00 PM EDT

Equithon is a student-run hackathon where participants create solutions for a variety of social equality issues. Our goal is to create an inclusive environment where all attendees feel comfortable learning, sharing their ideas, and making something amazing that can improve the lives of many.

Friday, May 4, 2018 2:00 PM EDT

Meng Tang, PhD candidate
David R. Cheriton School of Computer Science

Friday, May 4, 2018 1:30 PM EDT

Xinan Yan, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 3, 2018 2:00 PM EDT

Daniel Recoskie, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 3, 2018 11:00 AM EDT

Edward Cheung, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 3, 2018 8:30 AM EDT

Andrew Pham, Master’s candidate
David R. Cheriton School of Computer Science

Modern software development workflows are considerably agile, meaning that the work is broken up into individual stories or pieces that are divvied up among the engineers on a team. Each developer is responsible for a certain number of units of work per two-week sprint and must also manage the backlog to make sure that pending features are correctly prioritized, delegated, and removed if necessary. 

Wednesday, May 2, 2018 1:30 PM EDT

Dimitrios Skrepetos, PhD candidate
David R. Cheriton School of Computer Science

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. 2024 (80)
    1. April (8)
    2. March (22)
    3. February (25)
    4. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
    1. December (16)
    2. November (19)
    3. October (24)
    4. September (21)
    5. August (17)
    6. July (20)
    7. June (13)
    8. May (25)
    9. April (34)
    10. March (24)
    11. February (3)
    12. January (1)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)