Précédent : Actions d'enseignement et d'encadrement Remonter : Diffusion des résultats Suivant : Conférences invitéescomités de programmes,

Participation à des colloques, conférences, manifestations diverses

Nous ne mentionnons que les rencontres auxquelles les participants ont fait des présentations orales.

Colloques, conférences

Peripatetic Seminar on Sheaves and logic, (Paris, 12 et 13/01) : François Lamarche.

Journées de linguistique calculatoire (Clermont-Ferrand, fevrier) : F. Lamarche, C. Retoré, A. Lecomte.

Journées ``Linear Logic'', (Darmstadt, 17 au 19/03) François Lamarche et Christian Retoré.

3rd Roma Workshop: Proofs and Linguistic Categories (Rome, 10 au 13/04) : Philippe de Groote, Alain Lecomte, Christian Retoré.

CAAP/ESOP/CC (Linköping, 19 au 26/04) : Denis Bechet

ICML'96 (Tarragone, 01 au 05/05) : Alain Lecomte

WOLLIC'96 (Bahia, Brésil, 06 au 12/05) : Denis Béchet

Peripatetic Seminar on Sheaves and Logic (Dunkerque, 07 au 09/06) : François Lamarche

Seminar on Specification and Semantics (Dagstuhl, 07 au 12/07) : Philippe de Groote

Logic Colloquium (San Sebastian, 07 au 21/07) : Sophie Malecki

Formal Grammar '96 (Prague, 10 au 11/08) : Philippe de Groote

Modèles Logiques du Calcul (CIRM, Marseille, 16 au 20/09) : Denis Bechet, Philippe de Groote, François Lamarche, Guy Perrier

CSL'96 (Utrecht, 20 au 27/09) : Sophie Malecki

LACL'96 (Nancy, 20 au 25/09) : Denis Bechet, Philippe de Groote

Peripatetic Seminar on Sheaves and Logic (Utrecht, 25 au 28/10) : François Lamarche

Séminaires, groupes de travail

Sophie Malecki participe régulièrement au groupe de travail Modèles du lambda calcul, Université Paris VII, et a donné des exposés au séminaire général de logique, Paris VII, et au séminaire général de mathématiques, Université de Mons, Belgique.

Philippe de Groote a donné des exposés au séminaire de logique de l'Université de Savoie, Chambéry, et au séminaire du groupe de logique, Université Libre de Bruxelles.

Christian Retoré a donné des exposés à des séminaires à Angers, Rennes (Irisa), et à l'ENS.

Denis Bechet a donné des exposés à des séminaires à Metz et à Rennes (Irisa).