@rastamanx@vincevlo @MonniauxD En fait, le processus intellectuel de construction d'un programme est très proche de celui de construction d'une preuve. Pour aller plus loin, programmes et preuves en logique constructive sont des objets équivalents (cela s'appelle l'isomorphisme de Curry Howard).
@clemdroit@VidalFrederique Les 1607h sont juste une limite théorique, un enseignant chercheur fait en général plus, voire beaucoup plus, pour arriver à faire son enseignement, sa recherche, et l'administration associée. Et cela se dégrade avec les gels de poste...
Publication de ma lettre ouverte par la Societé Informatique de France @SocInfoFr : De la PPST des laboratoires publics de recherche en informatique et de l’inanité des ZRR comme solution à un vrai problème
https://t.co/LstnmhbKqW
At last, the registration for the @STAF_2018_Conf is open. Jump on https://t.co/CuvWU6IiNx and register to join us on the last week of june. Early bird until the 18th of may. Hurry up.