On May 7 I gave a well-attended seminar on “Software Verification in the Age of Artificial Intelligence”.
There was not enough time for all the questions that came up at the end.
This post will serve to continue the discussion, for anyone interested. Feel free to use the comments section.
