Keynote Speakers
Sanjit A. Seshia (UC Berkeley)
Taylor Johnson (Vanderbilt University)
MEMOCODE'24
22nd ACM-IEEE International Symposium on Formal Methods and Models for
System Design
Raleigh, USA
October 3-4, 2024
Sponsors
