Computer Science Speakers Calendar

Computer Science Speakers Calendar

Friday, April 5, 2024

- 1:00 pm
- 0216
Security Seminar: Falling Stars: How Reputation Systems Fail in Practice
- Seminar/Symposium
- 2:00 pm
- Siebel 0218
Formally verifying the functional correctness of Path Oblivious RAM & Enhancing Coverage-Guided Fuzzing via Phantom Program
- Seminar/Symposium
- 2:00 pm
- 1214 Siebel Center
Integrating Human Knowledge in Machine Learning Models and Explanations
- Seminar/Symposium
- 3:00 pm
- Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3102
On Approximability of Satisfiable CSPs
- Seminar/Symposium

Thursday, April 18, 2024

- 1:00 pm
- Thomas M. Siebel Center for Computer Science SC 2405
Controlling (AI-based) Computing Systems
- Lecture

Friday, April 19, 2024

- 2:00 pm
- 1214 Siebel Center
Integrating Human Knowledge in Machine Learning Models and Explanations
- Seminar/Symposium
- 2:00 pm
- 0216 Siebel Center
Neural Abstract Interpretation & CodeMind: A Framework to challenge LLMs for Code Reasoning
- Ceremony/Service

Monday, April 22, 2024

- 11:00 am
- Thomas M. Siebel Center for Computer Science 201 North Goodwin Avenue, Urbana, IL 61801, Room# 3401
Randomly Punctured Reed-Solomon Codes Achieve the List Decoding Capacity over Polynomial-Size Alphabets
- Seminar/Symposium

Friday, April 26, 2024

- 2:00 pm
- Siebel 2405
The End of Programming Is a New Beginning for Verification
- Seminar/Symposium

Monday, April 29, 2024

- 11:00 am
- Siebel 3401
Parallel Derandomization for Chernoff-like Concentrations
- Seminar/Symposium

Tuesday, April 30, 2024

- 4:00 pm
- Thomas M. Siebel Center for Computer Science SC 4102
Alex Hoover "Plinko: Single-Server PIR with Efficient Updates via Invertible PRFs"
- Lecture

Friday, May 3, 2024

- 1:00 pm
- Thomas M. Siebel Center for Computer Science SC 1302
Quinn Burke "Towards Scalable Integrity Mechanisms for Trusted Cloud Storage Systems"
- Lecture