Please note that this newsitem has been archived, and may contain outdated information or links.
25 February 2021, CoSaQ seminar, Heming Strømholt Bremnes
Speaker: Heming Strømholt Bremnes
Title: Computational Complexity Explains Neural Differences in Quantifier Verification
Date: Thursday 25 February 2021
Time: 14:00-15:30
Location: Online via Zoom
For more information, see
https://www.jakubszymanik.com/CoSaQ/seminar/
or contact Sonia Ramotowska at s.ramotowska at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.