Lisp Ireland Monthly Meetup
Hosted By
Yaroslav K. and Kevin
Details
Rafael Sadykov presents the talk "Lisp & Hardware Verification with ACL2".
Join our Lisp meetup to learn about using ACL2 for hardware verification. We'll show how ACL2 helps in ensuring hardware design. This is for anyone interested in Lisp's practical applications.
COVID-19 safety measures
Event will be indoors
The event host is instituting the above safety measures for this event. Meetup is not responsible for ensuring, and will not independently verify, that these precautions are followed.
Lisp Ireland
See more events
1 O'Connell Street Lower
1 O'Connell Street Lower · Dublin, D
Lisp Ireland Monthly Meetup