From Probable to Provable

Dear Colleagues,

Thanks for subscribing to the mailing list newsletter associated with my personal blog at bertrandmeyer.com.

I am going to get more systematic about the newsletter, sending it every week-end, but right now this is an introductory email where I simply mention two recent developments:

• An article just accepted for Communications of the ACM, as a "viewpoint", on AI for software engineering, "from probable to provable". You can find a preprint here.
• The announcement of a workshop (next March) on that same topic: VERIFAI, the interplay between software engineering and formal verification. I will write more about it in my next newsletter but here is the link to the workshop page.

Welcome to this list! And do not hesitate to tell your friends and colleagues to join it, simply by going to the blog page.

Best regards,

-- Bertrand Meyer