log in
|
register
|
feedback?
|
help
|
web accessibility
All lists
ACM Talks
AI
Bioinformatics happenings on campus
Books
CATS
CBCB Seminar
CBG/Computational Biology Seminars
CLIP
CS Department
CS Education
CS Research Seminar
CVSS
Computational Biology Distinguished Seminars
Crypto Reading Group
DBChat
Database Privacy Reading Group
Fairness in AI Seminar
HCIL
ISR
M3
MC2 Seminar
ML Seminar
MetaCog Seminar
Multi-agent RL Reading Group
Numerical Analysis Seminar
PL Reading Group
Physics & AI Reading Group
QuICS Seminar
Security Reading Group
Syschat
VCAI
PL Reading Group
Programming Languages Reading Group
See past talks
You are subscribed to this list. (
unsubscribe
,
watch
)
You are watching this list. (
unwatch
,
subscribe
)
You are not subscribed to this list. (
watch
,
subscribe
)
Thursday, November 20, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Formal Methods for Randomized Concurrent Algorithms
Noam Zilberstein - Cornell University
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
This list is organized by David Van Horn,Leonidas Lampropoulos, and Milijana Surbatovich
