BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69e0162e8d19c
DTSTART;TZID=America/Toronto:20260423T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260423T150000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-se-fuzzslice-p
 runing-false-positives-in-static-analysis-warnings-through-function-level-
 fuzzing
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West DC 2310 Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar • Software Engineering • FuzzSlice: Pruning False\n
 Positives in Static Analysis Warnings Through Function-Level Fuzzing
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC 2310.\n\nAN
 IRUDDHAN MURALI\, PHD CANDIDATE\n_David R. Cheriton School of Computer Sci
 ence_\n\nSUPERVISOR: Professor Mei Nagappan
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e90986
DTSTART;TZID=America/Toronto:20260427T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260427T150000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-software-engin
 eering-sniptest-fuzzing-multi-level-code-slices-for-validating-vulnerabili
 ties
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West DC 2310 Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar • Software Engineering • SnipTest: Fuzzing Multi-Le
 vel\nCode Slices for Validating Vulnerabilities
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC 2310.\n\nAN
 IRUDDHAN MURALI\, PHD CANDIDATE\n_David R. Cheriton School of Computer Sci
 ence_\n\nSUPERVISOR: Professor Mei Nagappan
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e914ac
DTSTART;TZID=America/Toronto:20260424T103000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260424T113000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-software-engin
 eering-addresswatcher-sanitizer-based-localization-of-memory-leak-fixes
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West DC 2310 Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar • Software Engineering • AddressWatcher: Sanitizer\
 nbased Localization of Memory Leak Fixes
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC 2310.\n\nAN
 IRUDDHAN MURALI\, PHD CANDIDATE\n_David R. Cheriton School of Computer Sci
 ence_\n\nSUPERVISOR: Professor Mei Nagappan
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e9207d
DTSTART;TZID=America/Toronto:20260420T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260420T150000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-formal-methods-prophecy-variables-and-invariants-in-the-move-prover
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Hybrid: DC 2310 | Online master’s thesis presentation Waterloo O
 N N2L 3G1 Canada
SUMMARY:Master’s Thesis Presentation • Formal Methods • Prophecy\nVar
 iables and Invariants in the Move Prover
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WILL TAKE PLAC
 E IN DC\n2310 AND ONLINE.\n\nDAO BO YANG\, MASTER'S CANDIDATE\n_David R. C
 heriton School of Computer Science_\n\nSUPERVISORS: Professors Arie Gurfin
 kel\, Richard Trefler
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e92b94
DTSTART;TZID=America/Toronto:20260512T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260512T110000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-algorithms-and-complexity-computing-and-bounding-scattering-number-of-gr
 aphs
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Online master’s thesis presentation Waterloo ON N2L 3G1 Canada
SUMMARY:Master’s Thesis Presentation • Algorithms and Complexity •\nC
 omputing and Bounding the Scattering Number of Graphs
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WILL TAKE PLAC
 E\nONLINE.\n\nDINIS ARSÉNIO NUNES VITORINO\, MASTER’S CANDIDATE\n_David
  R. Cheriton School of Computer Science_\n\nSUPERVISOR: Professor Therese 
 Biedl
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e936ba
DTSTART;TZID=America/Toronto:20260417T090000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260417T100000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-algorithms-complexity-state-complexity-linear-relations-and-linear-subse
 quences-automatic-sequences
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Hybrid: DC 2310 | Online master’s thesis presentation Waterloo O
 N N2L 3G1 Canada
SUMMARY:Master’s Thesis Presentation • Algorithms and Complexity • St
 ate\nComplexity of Linear Relations and Linear Subsequences of Automatic\n
 Sequences
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WILL TAKE PLAC
 E IN DC\n2310 AND ONLINE.\n\nDELARAM MORADI\, MASTER’S CANDIDATE\n_David
  R. Cheriton School of Computer Science_\n\nSUPERVISOR: Professor Jeffrey 
 Shallit
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e94137
DTSTART;TZID=America/Toronto:20260501T103000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260501T113000
URL:https://uwaterloo.ca/computer-science/events/data-systems-seminar-serie
 s-agenticdata-an-agentic-data-analytics-system
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West DC 1304 Waterloo ON N2L 3G1 Canada
SUMMARY:Data Systems Seminar Series • AgenticData: An Agentic Data Analyt
 ics\nSystem
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS SEMINAR WILL TAKE PLACE IN DC 1304.\n\nGUOLIA
 NG LI\, PROFESSOR\n_Department of Computer Science and Technology\, Tsingh
 ua University_
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e94bd7
DTSTART;TZID=America/Toronto:20260423T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260423T150000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-ai-ml-behavior
 ally-grounded-user-profiles-from-the-wild-for-personalized-alignment-and-m
 ulti-perspective-reasoning
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Hybrid: DC 1304 | Online PhD seminar Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar • Artificial Intelligence | Machine Learning •\nBeh
 aviorally Grounded User Profiles from the Wild for Personalized\nAlignment
  and Multi-Perspective Reasoning
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC 1304 AND ON
 LINE.\n\nYUXUAN LI\, PHD CANDIDATE\n_David R. Cheriton School of Computer 
 Science_\n\nSUPERVISOR: Professor Victor Zhong
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e95625
DTSTART;TZID=America/Toronto:20260415T120000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260415T130000
URL:https://uwaterloo.ca/computer-science/events/seminar-algorithms-and-com
 plexity-adaptive-robustness-of-hypergrid-johnson-lindenstrauss
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Hybrid: DC 1304 | Online seminar Waterloo ON N2L 3G1 Canada
SUMMARY:Seminar • Algorithms and Complexity • Adaptive Robustness of\nH
 ypergrid Johnson-Lindenstrauss
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS SEMINAR WILL TAKE PLACE IN DC 1304 AND ONLINE
 .\n\nANDREJ BOGDANOV\, PROFESSOR\n_School of Electrical Engineering and Co
 mputer Science\, University of\nOttawa_
DTSTAMP:20260415T225022Z
END:VEVENT
BEGIN:VEVENT
UID:69e0162e9613d
DTSTART;TZID=America/Toronto:20260420T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260420T110000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-crysp-poet-power-oracle-for-embedded-testing-detection-state-changes-aut
 omotive-embedded-systems
LOCATION:E5 - Engineering 5 200 University Avenue West E5 4047 Waterloo ON 
 N2L 3G1 Canada
SUMMARY:Master’s Thesis Presentation • Cryptography\, Security\, and Pr
 ivacy\n(CrySP) • POET: Power Oracle for Embedded Testing — Detection o
 f\nState Changes in Automotive Embedded Systems
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WILL TAKE PLAC
 E\nIN E5 4047.\n\nALEXANDER CATON\, MASTER’S CANDIDATE\n_David R. Cheri
 ton School of Computer Science_\n\nSUPERVISOR: Professor Sebastian Fischme
 ister
DTSTAMP:20260415T225022Z
END:VEVENT
END:VCALENDAR