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
RLSS
Security Reading Group
Syschat
VCAI
PL Reading Group
Programming Languages Reading Group
See current 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
)
Past talks
Monday, October 23, 2023
11:00 am
-12:00 pm
PL Reading Group
Satisfiability Modulo Finite Fields (with applications to compilers to zero-knowledge proofs)
Alex Ozdemir - Stanford in the Center for Automated Reasoning
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
This list is organized by David Van Horn,Leonidas Lampropoulos, and Mike Hicks
