Home
/
Events
/
Seminar Calendar
Seminar Calendar
Thursday, November 30th, 2017
12:00pm
–
1:00pm
Add to Cal
Rigorous Systems Research Group (RSRG) Seminar
TBA
Justin Johnson,
Graduate Student,
Computer Sciences,
Stanford University,
2:00pm
–
3:00pm
Add to Cal
Thesis Defense
Decomposing formal specifications into assume-guarantee contracts for hierarchical system design
Ioannis Filippidis,
Computing and Mathematical Sciences,
Caltech,
2:00pm
–
3:00pm
Add to Cal
3:00pm
–
4:00pm
Add to Cal
CS Theory Seminar
Learning Sums of Independent Commonly Supported Integer Random Variables
Anindya De,
Northwestern University,
3:00pm
–
4:00pm
Add to Cal
NEW TIME -- 3PM: CMS Partner Tech Talk
Optimizing Freight Logistics at Auptix with Alum Lu Saenz
Lu Saenz,
AuptiX,
4:00pm
–
6:00pm
Add to Cal
Number Theory Seminar
Supercuspidal L-packets
Tasho Kaletha,
Department of Mathematics,
University of Michigan ,