π’π Just 1 more day to submit your talk at BlackAlps cc @BlackAlpsConf! https://cfptime.org/cfps/3285/ #cfp #infosec #BlackAlpsConf
Talk by Marc Ilunga about formal verification. Starting by the plane which saved everybody...
Second day of #BlackAlpsConf - going strong. AI is present, of course...
And he has funny slides:
"I like birthdays, but I think too many can kill you."