[FOM] Talk on Formal Verification

[Josef Urban]

> 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/ .

Josef