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:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6870673915ccd
DTSTART;TZID=America/Toronto:20250723T120000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250723T130000
URL:/computer-science/events/phd-seminar-data-systems-s
 emantic-table-discovery-in-model-lakes-benchmark
SUMMARY:PhD Seminar • Data Systems • Semantic Table Discovery in Model\
 nLakes: A Benchmark
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC
  3301.\n\nZHENGYUAN DONG\, PHD CANDIDATE\n_David R. Cheriton School of Com
 puter Science_\n\nSUPERVISOR: Professor Renée J. Miller\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:6870673916af3
DTSTART;TZID=America/Toronto:20250716T120000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250716T130000
URL:/computer-science/events/seminar-algorithms-and-com
 plexity-closure-results-for-polynomial-factorization-and-some-applications
SUMMARY:Seminar • Algorithms and Complexity • Closure Results for\nPoly
 nomial Factorization and Some Applications
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS SEMINAR WILL TAKE PLACE IN DC 130
 4 AND ONLINE.\n\nSHUBHANGI SARAF\, ASSOCIATE PROFESSOR\n_Departments of Ma
 thematics and Computer Science\, University of\nToronto_\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:687067391762a
DTSTART;TZID=America/Toronto:20250806T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250806T110000
URL:/computer-science/events/masters-thesis-presentatio
 n-crysp-argus-detecting-access-control-vulnerabilities-in-android-framewor
 k-using-llms
SUMMARY:Master’s Thesis Presentation • Cryptography\, Security\, and Pr
 ivacy\n(CrySP) • Argus: Detecting Access Control Vulnerabilities in Andr
 oid\nFramework using Large Language Models
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WI
 LL TAKE PLACE IN DC\n2314 AND ONLINE.\n\nHASEEB UR REHMAN FAHEEM\, MASTER
 ’S CANDIDATE\n_David R. Cheriton School of Computer Science_\n\nSUPERVIS
 OR: Professor Yousra Aafer\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:68706739182b5
DTSTART;TZID=America/Toronto:20250716T120000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250716T130000
URL:/computer-science/events/phd-seminar-ml-ir-modern-i
 r-evaluation-in-the-retrieval-augmented-generation-era
SUMMARY:PhD Seminar • Machine Learning | Information Retrieval • Modern
  IR\nEvaluation in the Retrieval Augmented Generation (RAG) Era 
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC
  3301.\n\nNANDAN THAKUR\, PHD CANDIDATE\n_David R. Cheriton School of Comp
 uter Science_\n\nSUPERVISOR: Professor Jimmy Lin\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:6870673918bfd
DTSTART;TZID=America/Toronto:20250714T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250714T110000
URL:/computer-science/events/masters-thesis-presentatio
 n-crysp-compiler-support-for-constant-time-programs-in-llvm
SUMMARY:Master’s Thesis Presentation • Cryptography\, Security\, and Pr
 ivacy\n(CrySP) • Compiler Support for Constant-Time Programs in LLVM
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WI
 LL TAKE PLACE\nONLINE.\n\nMEHDI AGHAKISHIYEV\, MASTER’S CANDIDATE\n_Davi
 d R. Cheriton School of Computer Science_\n\nSUPERVISORS: Professors N. As
 okan\, Meng Xu\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:68706739196fe
DTSTART;TZID=America/Toronto:20250702T120000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250702T130000
URL:/computer-science/events/seminar-algorithms-and-com
 plexity-synthesis-and-arithmetic-of-quantum-circuits
SUMMARY:Seminar • Algorithms and Complexity • Synthesis and Arithmetic 
 of\nQuantum Circuits 
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS SEMINAR WILL TAKE PLACE ON DC 130
 4 AND ONLINE.\n\nAMOLAK RATAN KALRA\, PHD CANDIDATE\n_Institute for Quantu
 m Computing\, University of À¶Ý®ÊÓƵ _\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:687067391a216
DTSTART;TZID=America/Toronto:20250723T130000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250723T140000
URL:/computer-science/events/masters-thesis-presentatio
 n-formal-methods-local-theories-and-efficient-partial-quantifier-eliminati
 on
SUMMARY:Master’s Thesis Presentation • Formal Methods • Local Theorie
 s\nand Efficient Partial Quantifier Elimination
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WI
 LL TAKE PLACE IN DC\n2310 AND ONLINE.\n\nESTIFANOS GETACHEW\, MASTER’S C
 ANDIDATE\n_David R. Cheriton School of Computer Science_\n\nSUPERVISORS: P
 rofessors Arie Gurfinkel\, Richard Trefler\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:687067391ad81
DTSTART;TZID=America/Toronto:20250711T130000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250711T140000
URL:/computer-science/events/phd-seminar-syn-dynamic-sl
 a-aware-network-slice-monitoring-with-programmable-data-planes
SUMMARY:PhD Seminar • Systems and Networking • Dynamic SLA-aware Networ
 k\nSlice Monitoring with Programmable Data Planes
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC
  1304.\n\nNILOY SAHA\, PHD CANDIDATE\n_David R. Cheriton School of Compute
 r Science_\n\nSUPERVISOR: Professor Raouf Boutaba\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:687067391b674
DTSTART;TZID=America/Toronto:20250711T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250711T130000
URL:/computer-science/events/phd-defence-hci-concerto-e
 lementary-vr-ar-interactions-augmented-by-bimanual-input
SUMMARY:PhD Defence • Human-Computer Interaction • Concerto: Elementary
 \nVR/AR Interactions Augmented by Bimanual Input
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS PHD DEFENCE WILL TAKE PLACE IN DC
  2314 AND ONLINE.\n\nFUTIAN ZHANG\, PHD CANDIDATE\n_David R. Cheriton Scho
 ol of Computer Science_\n\nSUPERVISORS: Professors Jian Zhao\, Keiko Katsu
 ragawa\n 
DTSTAMP:20250711T012201Z
END:VEVENT
BEGIN:VEVENT
UID:687067391befb
DTSTART;TZID=America/Toronto:20250807T120000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250807T150000
URL:/computer-science/events/phd-defence-se-precise-sca
 lable-constraint-based-type-inference-for-incomplete-java-code-snippets-in
 -age-of-llms
SUMMARY:PhD Defence • Software Engineering • Precise and Scalable\nCons
 traint-based Type Inference for Incomplete Java Code Snippets in\nthe Age 
 of Large Language Models
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS PHD DEFENCE WILL TAKE PLACE IN DC
  2310 AND ONLINE.\n\nYIWEN DONG\, PH D CANDIDATE\n_David R. Cheriton Schoo
 l of Computer Science_\n\nSUPERVISOR: Professor Chengnian Sun\n 
DTSTAMP:20250711T012201Z
END:VEVENT
END:VCALENDAR