Québec Programming Languages Séminaire

English

Prochain séminaire, vendredi 12 novembre, à l'Université de McGill.

Cette série de séminaires à pour but de permettre aux gens intéressés par la recherche en rapport avec les langages de programmation de se rencontrer pour échanger leurs idées.

Vous êtes invité à vous inscrire à la liste de distribution pour recevoir les annonces.

Ces séminaires ont pour sujet tout ce qui touche aux langages de programmation, des fondements théoriques aux problèmes d'implantation. C'est censé être un forum informel qui encourage la collaboration et toute autre forme d'interaction, et qui permet d'apprendre ce que fait chacun de nous. Il offre aussi l'occasion de présenter des travaux non-encore terminés, des recherches-en-progrès, et de recevoir des commentaires et des critiques constructives.

Le séminaire inclus normalement une présentation invitée et 5 présentations régulières de 30 minutes. Les résumés sont sélectionnés par un comité qui essaie d'équilibrer le contenu entre théorie et implantation. Les présentations peuvent être à choix en français ou en anglais.


Les domaines d'intérêt incluent, sans y être limités:

Fondations
sémantique formelle, lambda calcul, théorie des types, monades, continuations, contrôle, état, effets.
Design
systèmes de modules et de types, concurrence et distribution, composants et composition, relations entre paradigmes, programmation multi-paradigme.
Implantation
machines abstraites, optimisations à la compilation et à l'exécution, compilateurs dynamiques, gestion mémoire, interfaces à fonctions, services, et composants externes, et aux resources de bas niveau.
Transformation et analyse
interprétation abstraite, évaluation partielle, transformation de programme, preuve de théorème, spécification, et vérification.
Techniques de développement
design patterns, spécification, vérification, et validation, debogage, génération de tests, traçage, et profilage.
Langages spécifiques à un domaine
langages et techniques d'implantation pour les systèmes embarqués, langages de description de matériel, XML et ses langages.

Séminaires passés

Lundi 26 avril 2004, à l'Université de Montréal.

Stefan Monnier
Viewable With Any Browser