[FOM] Talk on Formal Verification

Josef Urban josef.urban at gmail.com
Tue Feb 9 05:44:51 EST 2016

> Of course there is already activity in this AI+MathResearch.
> But does anyone know: What is the status of AI+MathResearch
> overall?
> Are there now specialists, teams of specialists, conferences that
> attempt to address [a],[b],[c],[d](and related) in a
> comprehensive, systematic manner?

This year we are organizing the first AITP conference -
http://aitp-conference.org/ .


More information about the FOM mailing list