Unless otherwise noted, all seminars will take place in the 6th floor conference room of Donald Bren Hall (DBH 6011). Refreshments will be served at 10:50am, and the seminar talks will run from 11:00am until noon.
For additional information, please contact CS Seminar Administrative Coordinator, Mare Stasik, at firstname.lastname@example.org or (949) 824-7651.
January 30, 2020
2:00pm - 3:00pm
Donald Bren Hall 6011
- Abstract models for problems that are solved by distributed systems, and for the algorithms used to solve them,
- Rigorous proofs of algorithm correctness and performance properties (also some error discoveries),
- Impossibility results and lower bounds, expressing inherent limitations of distributed systems,
- Some new algorithms, and
- General mathematical foundations for modeling and analyzing distributed systems.