Est-ce que je peux vraiment prouver la validité de mes programmes
Pour cause de vacances scolaires, nous avançons le café d'avril au vendredi 31 mars, et nous nous poserons la question suivante : Est-ce que je peux vraiment prouver la validité de mes programmes, ou bien est-ce un jeu pour chercheurs en informatique ?
>> page générale sur les cafés LoOPS
>>Lien Intro présentation (par Hadrien du LAL et Xavier du CSNSM)