Description de l'atelier
Les conférences du MFPS
sont consacrées aux zones des mathématiques, de la logique
et des sciences informatiques reliées à la sémantique
du langage de programmation. Les séries de conférences ont
particulièrement mis l'accent sur un forum où les mathématiciens
autant que les informaticiens peuvent se rencontrer et échanger
sur les problèmes d'intérêt commun. Nous encourageons
également la participation des chercheurs des secteurs connexes,
puisque nous nous efforçons d'élargir la portée des
conférences.
Le Comité organisateur du MFPS est composé de Stephen Brookes
(CMU), Michael Main (Colorado), Austin Melton (Kent State University),
Michael Mislove (Tulane) and David Schmidt (Kansas State). La logistique
du MFPS XIX est prise en charge par Prakash Panangaden (McGill).
En plus d'un appui à l'ensemble de la conférence, l'aide
fournie par the Office of Naval Research met à la disposition des
étudiants gradués une idemnité de dépenses.
Les femmes et les minorités sont encouragées à se
renseigner sur l'aide possible pour assister à l'événement.
|