Date	Speaker, Affiliation	Title	Time & Location
01/26/2023 Friday	Katherine L. Kosaian, Computer Science, Carnegie Mellon University	“Formal Verification and Real Quantifier Elimination”	11:15 AM – 12:30 PM, Scullen Room
01/31/2023 Friday	William M. Hoza, Simons Institute for the Theory of Computing, University of California, Berkeley	“Pseudorandomness and Space Complexity: New Methods, New Insights, and New Milestones”	11:15 AM – 12:30 PM, Scullen Room
03/24/2023 Friday	Mohsen Marefat, The Catholic University of Amerca	"Electrification of Transportation"	1:00 PM - 2:00 PM, Scullen Room
04/24/2023 Monday	Martin Stanley, Cybersecurity and Infrastructure Security Agency	"State of Art of AI Applications in Cybersecurity"	2:00 PM - 3:00 PM, Scullen Room