Reprise du Groupe de Travail

Le Groupe de Travail reprend ses activités en novembre.

Trois séances son programmées pour le mois de novembre : rendez-vous sur le blog du GdT pour plus d'informations.

Rappel : Pour toute question, ou pour proposer une intervention pendant une séance du GdT : contacter Tero Tulenheimo.

Séances de travail MetaDialogique

Notez que certaines séances du Groupe de travail Dialogique seront consacrées à la production et publication de preuves metalogiques.

Premier sujet à traiter : soundness avec formulation de la "no delaying tactic rules" d'après les rangs, et sans la règle de split.

Des informations complémentaires seront données très prochainement.

Les autres séminaires

Comme les années précédentes, l'équipe s'investit dans l'organisation de plusieurs autres séminaires ou groupes de travail.

Le séminaire "Interprétation : formes et problèmes", qui a débuté l'année dernière, continue en 2009-2010. Il a bien sûr son blog attitré, régulièrement mis à jour par Marie-Hélène.

Le groupe de travail Logique, linguistique et traitement automatique est une nouveauté du cru 2009. Il a pour but d'explorer les champs d'investigations communs aux logiciens et linguistes du laboratoire STL. Toutes les infos sur le blog tenu par Sébastien.

Groupe de travail "Dialogique"

L'ancien séminaire de l'équipe renaît en 2009 sous la forme d'un groupe de travail. Celui-ci est organisé par Shahid Rahman et Tero Tulenheimo. Ils seront aidés par certains des doctorants de l'équipe (Radmila, Aude, Gildas, Nicolas, Sébastien). Les séances auront lieu le vendredi de 11h à 13h, la première est prévue pour le vendredi 13 novembre.

Un blog dédié vient de voir le jour : consultez le pour y trouver toutes les infos concernant le séminaire.