Joint PIHOC-PPS-DIAPASoN workshop

We are organising a meeting about program semantics and formal methods for probabilistic programming, statistical learning, differential and approximate computing.

 

This workshop will take place in Paris (University Paris Diderot, IRIF, Turing conference room of the Sophie Germain building), from Feb 26 to Feb 28, 2020. It will be at the same time the 3rd venue of the PIHOC workshop series and the kick-off meetings of the PPS ANR project and of the DIAPASoN ERC project.  

If you think anyone among your collaborators or colleagues would be interested in joining us, please feel free to forward the link to this form.

Please fill in this form before Jan 31st, 2020.

The organizers are Ugo Dal Lago, Thomas Ehrhard and Michele Pagani, the local organizers are Thomas Ehrhard and Michele Pagani.

 

 
1 Début 2 Terminé

Ne transmettez aucun mot de passe via Framaforms.