STAF 2018 Conference

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

@vincevlo @MonniauxD Toujours de la sémantique... Les mathématiques sont utiles si on a besoin de fonctions mathématiques complexes, ce qui est moins fréquent que d'avoir à utiliser une syntaxe et une grammaire correctes.

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

@VidalFrederique Ah oui, et c'est un tout petit peu méprisant de dire que l'on "travaille" 192H. Ca donne au moins une fausse idée de nos missions et de notre engagement. On travaille 1607H dont 192HTD devant des étudiants.

Le corps des maîtres de conférences ne sera pas supprimé, je n’obligerai aucun enseignant-chercheur à travailler plus de 192h. Il ne faut pas confondre les propositions émises dans les rapports des groupes de travail et le contenu réel de la #LoiRecherche. #BonjourChezVous

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 societe-informatique-de-france.fr/2018/11/lettre…

Added a preliminary program summarizing the events in the week.

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

At last, the registration for the @STAF_2018_Conf is open. Jump on staf2018.fr and register to join us on the last week of june. Early bird until the 18th of may. Hurry up.

The workshops for the STAF2018 @STAF_2018_Conf conference have been announced. See staf2018.enseeiht.fr/wordpress/inde… for details.

Call for Workshops @STAF_2018_Conf June 25-29, 2018, Toulouse, France staf2018.fr

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