UIUC Formal Methods & Software Engineering Seminar
Welcome to the Formal Methods + Software Engineering Seminar for Spring 2024!
Venue: Siebel Center 3401 and Zoom
Time: Fridays, 2-3 PM CT
News
[Jan 25] Please sign-up for the presentation slots!
[Jan 25] Merger of Formal Methods seminar with the Software Engineering seminar
[Jan 18] Upcoming talk by Jacob Laurel on Friday, Jan 19, 2024
Contact
FM:
Prof. Madhusudan Parthasarathy <madhu@illinois.edu>
Adithya Murali <adithya5@illinois.edu>
Isha Chaudhary <isha4@illinois.edu>Â
SE:
Prof. Reyhan Jabbarvand <reyhaneh@illinois.edu>