athena AT services.cnrs.fr
Objet : Histoire des techniques
Archives de la liste
[ATHENA] journée d'étude: formalismes à l’interface avec les machines, les langages et des systèmes, 16-17 octobre, Bertinoro
Chronologique Discussions
- From: ldemol <liesbeth.demol AT univ-lille3.fr>
- To: theuth AT listes.univ-rennes1.fr, athena AT services.cnrs.fr, educasup.philo AT ml.free.fr
- Cc: Simone Martini <simone.martini AT unibo.it>
- Subject: [ATHENA] journée d'étude: formalismes à l’interface avec les machines, les langages et des systèmes, 16-17 octobre, Bertinoro
- Date: Mon, 23 Jul 2018 11:00:29 +0200
- Authentication-results: t2gpsmtp1.dsi.cnrs.fr (amavisd-new); dkim=pass (1024-bit key) header.d=univ-lille3.fr
Chères collègues, chers collègues,
c’est avec plaisir que je vous annonce la prochaîne journée d’étude du projet PROGRAMme, organisée de 16 à 17 Octobre 2018 à Bertinoro University center, Italie.
La journée est la première d’une série de quatre. Chaque journée se focalise sur un des quatre axes du projet: Logique, Machines, Langages et Notations, Systèmes. La première journée est dédiée à l’axe Logique en interface avec les machines, les langages et les systèmes.
Pour plus d'infos, y inclus un programme préliminaire, voir:
https://programme.hypotheses.org/journee-detude-de-lautomne
Organisateurs: Liesbeth De Mol (CNRS, Université de Lille) et Simone Martini (Universita di Bologna).
Avec le support de l'Agence Nationale de la Recherche et Department of Computer Science and Engineering de l'Alma Mater Studiorum-Università di Bologna.
bien cordialement,
Liesbeth De Mol
- [ATHENA] journée d'étude: formalismes à l’interface avec les machines, les langages et des systèmes, 16-17 octobre, Bertinoro, ldemol, 23/07/2018
Archives gérées par MHonArc 2.6.18.