Re: [Why3-club] Why3 receives a prize for academic-industrial collaboration

[Muriel SHAN SEI FAN]

Congrats to the whole Why3 team !!!
This is s well-deserved :-)
Muriel

-- 
Muriel SHAN SEI FAN, présidente
OCamlPro SAS
https://www.ocamlpro.com/
https://timeline.ocamlpro.com/

On 27/11/2020 14:56, Yannick Moy wrote:
> congrats Why3 team:
> https://systematic-paris-region.org/presse/why3-laureat-du-prix-coup-de-coeur-academique-du-hub-open-source-du-pole-systematic/
> 
> well deserved if you ask me. :-)
>
> and I totally approve your choice of funding Wikimedia and Framasoft
> with the prize.
> -- 
> Yannick Moy
> Senior Software Engineer, AdaCore 
>
> ___
> Why3-club mailing list
> Why3-club@lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/why3-club

___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

[Why3-club] Why3 receives a prize for academic-industrial collaboration

[Yannick Moy]

congrats Why3 team:
https://systematic-paris-region.org/presse/why3-laureat-du-prix-coup-de-coeur-academique-du-hub-open-source-du-pole-systematic/
well deserved if you ask me. :-)

and I totally approve your choice of funding Wikimedia and Framasoft with
the prize.
-- 
Yannick Moy
Senior Software Engineer, AdaCore 
___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club