STAF 2018 Conference

[STAF 2018 Conference @STAF_2018_Conf]

@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).

[STAF 2018 Conference @STAF_2018_Conf]

@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...

[JM Jezequel @jmjezequel]

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

[STAF 2018 Conference @STAF_2018_Conf]

Added a preliminary program summarizing the events in the week.

[STAF 2018 Conference @STAF_2018_Conf]

Sorry, we made a mistake. Early bird until the 28th of may.

[STAF 2018 Conference @STAF_2018_Conf]

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.

[STAF 2018 Conference @STAF_2018_Conf]

The workshops for the STAF2018 @STAF_2018_Conf conference have been announced. See https://t.co/pcIgDCiJHz for details.

[Jean-Michel Bruel @jmbruel]

Call for Workshops @STAF_2018_Conf
June 25-29, 2018, Toulouse, France
https://t.co/y3m3x6YjDQ

[STAF 2018 Conference @STAF_2018_Conf]

STAF and SEFM 2018 will take place in early summer at IRIT in Toulouse, France