[FOM] Talk on Formal Verification
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
> 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 -
More information about the FOM