Redirecting to External Site

You will now be redirected to https://youtu.be/GOE9CpqXOHw to view video Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA.