Skip to main
Skip to footer
University of Waterloo
Admissions
About Waterloo
Faculties & academics
Offices & services
Support Waterloo
COVID-19
Search
Menu
This site
Cheriton School of Computer Science home
Our people
About the Cheriton School of Computer Science
Administrative structure
School committees
Committee membership
International, national, provincial and Institutional awards
Annual highlights
Faculty fellowships
Constitution
Quick facts
About Waterloo, Waterloo and Waterloo
Visit us
Contact us
Welcome from the Director
Outreach
CS4U Day
Resources
Research
Awards | Achievements
Research areas
Technical reports
2015 technical reports
2016 technical reports
2017 technical reports
2018 technical reports
2019 technical reports
2020 technical reports
2021 technical reports
2022 Technical Reports
2023 Technical Reports
News
Events
Mental Health
Women in Computer Science
Equity, Diversity and Inclusion
Rising Star Seminar Series
Community
Resources
Distinguished Lecture Series
Rising Stars Seminar Series
Resources and services
Computer Science Computing Facility (CSCF)
Instructional Support Group (ISG)
ISC support
Course allocation
Exam viewing
Information for instructors
ISG services to instructors
Sessional instructor basics
ISG guidelines for sessionals
Working with TAs
Dealing with cheating cases
Dealing with INC
Software applications
ISA/IA/TA guide
Duty guidelines
Training
TA duties and expectations
Facilities
Employment
ISA positions
Application form
ISA duties
Why be an ISA?
TA/IA FAQ
Terms of employment
ISG people
Future undergraduates
Programs and courses
Computer Science
Business Administration and Computer Science
Computing and Financial Management
Software Engineering
Co-op and regular
Entrepreneurship
Tuition and scholarships
Applying | Admissions
Admission Information Form
Transfer students
Enrichment opportunities
Student life
Current undergraduates
Academic advising
-Office hours
-Who are your academic advisors
First year students
1A Computer Science course rule
BCS and BMath CS Majors
-CS course selection
-CS course enrollment
-Suggested course sequences
-Program requirement checklists
-Prerequisite chain for CS major courses
Computing and CS minor
-Plan requirement checklists
Research opportunities
-Undergraduate Research Assistantship (URA)
-Mathematics Undergraduate Research Awards (MURA)
-NSERC USRA
-Undergraduate Research Fellowship (URF)
-Frequently asked questions
Enrichment opportunities
eCapstone
UW 3+1 Program
Awards
BBA/BCS Double Degree
-Course Planning
-FAQ
-Contact us
-Transfer in/out BBA/BCS
Transfer to CS
CS Consulting Centre
Frequently Asked Questions
Future graduate students
Programs and courses
Scholarships and awards
Tuition and fees
Careers and Professional Development
Applying | Admissions
Frequently asked questions
Come visit us
Student life
Current graduate students
Policies and procedures
Programs
Funding and awards
Cheriton Graduate Scholarship
Internal Scholarship Application
Waterloo Apple PhD Fellowship in Data Science and Machine Learning
Categories and areas of courses
Courses
Course calendar
Current course offerings
Fall 2023 Course Offerings
Spring 2023 Course Offerings
Winter 2024 (Tentative) Course Offerings
Enrolling in courses
Non-CS courses
Degree completion
Graduation and Convocation
Forms
MMath forms
PhD forms
Frequently Asked Questions
Graduate Advocate
Graduate orientation
Life in Computer Science
Contacts
CS Graduate Manual
Student Resources
Teaching assistantships
TA awards
UWaterloo
Admissions
About Waterloo
Faculties & academics
Offices & services
Support Waterloo
COVID-19
Cheriton School of Computer Science
Cheriton School of Computer Science home
Our people
About the Cheriton School of Computer Science
Welcome from the Director
Outreach
Research
News
Events
Mental Health
Women in Computer Science
Equity, Diversity and Inclusion
Distinguished Lecture Series
Rising Stars Seminar Series
Resources and services
Information for
Future undergraduates
Current undergraduates
Future graduate students
Current graduate students
Cheriton School of Computer Science
Events
Events by date
«Previous
Thursday, January 16, 2020
Year
2019
2020
2021
2022
2023
2024
2025
2026
2027
Month
Jan
Feb
March
April
May
June
July
Aug
Sep
Oct
Nov
Dec
Next »
Type
- Any -
Conference
Information session
Lecture
Open house
Performance
Reception
Reunion
Seminar
Thesis defence
Workshop
Audience
- Any -
Current students
-Current undergraduate students
-Current graduate students
Research Seminar
Future students
-Future undergraduate students
-Future graduate students
Faculty
Staff
Alumni
Parents
Donors | Friends | Supporters
Employers
International
Media
Seminar • Cryptography, Security, and Privacy (CrySP) — Finding Semantic Bugs in Kernels: The Symbolic Way and the Fuzzy Way
Thursday, January 16, 2020 10:30 AM EST
Meng Xu, School of Computer Science
Georgia Institute of Technology
Events by date
«
January 2020
»
S
M
T
W
T
F
S
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
31
1
Return to current month
2024
(1)
January
(1)
2023
(294)
December
(18)
November
(28)
October
(15)
September
(25)
August
(30)
July
(30)
June
(22)
May
(23)
April
(32)
March
(31)
February
(18)
January
(22)
2022
(245)
December
(20)
November
(28)
October
(15)
September
(12)
August
(29)
July
(23)
June
(17)
May
(20)
April
(24)
March
(22)
February
(16)
January
(19)
2021
(210)
2020
(217)
December
(18)
November
(12)
October
(7)
September
(21)
August
(28)
July
(14)
June
(18)
May
(16)
April
(20)
March
(16)
February
(25)
January
(22)
2019
(255)
2018
(217)
2017
(36)
2016
(21)
2015
(36)
2014
(33)
2013
(23)
2012
(4)
2011
(1)
2010
(1)
2009
(1)
2008
(1)
Events by audience
Current students
(19)
Current undergraduate students
(19)
Current graduate students
(19)
Research Seminar
(6)
Faculty
(19)
Staff
(19)
Events by type
Seminar
(9)
Thesis defence
(10)
