Langages et Logique Montréal (LLM) est un séminaire montréalais sur les langages de programmation et la logique. Il regroupe des participants de l’Université du Québec à Montréal, de l’Université de Montréal et de l’Université McGill. Il cherche à:

• Encourager l’échange sur la recherche en langages de programmation et en logique.
• Faciliter la collaboration entre les chercheurs à Montréal.
• Offrir un environnement informel pour permettre aux étudiants de présenter leurs travaux en cours.

Présentations futures

• 2025-04-30: Aymeric Fromherz (Inria): Aeneas: Formal Verification of Rust programs by Functional Translation

Les chercheurs qui souhaitent présenter à LLM sont invités à écrire à l’organisateur.

Le format « colloquium »

Les intérêts de la communauté montréalaise qui s’intéresse aux langages de programmation sont très variés et incluent des sujets tels que les fondements logiques et la sémantique catégorielle, l’analyse statique et la conception de compilateurs. Pour assurer que les présentations sont accessibles à l’entièreté de notre communauté, nous avons adopté le format « colloquium ». En particulier, le gros de chaque présentation doit être clair pour l’ensemble des étudiants de deuxième ou troisième cycles en informatique. L’article « How to give a good colloquium » de John McCarthy offre d’excellents conseils sur la préparation et l’exécution de telles présentations. Nos présentations sont généralement en anglais, mais elles peuvent se faire en français.

Liste de diffusion

Pour recevoir des informations sur les présentations à venir, envoyez un courriel avec le contenu suivant à l’adresse <listserv@listserv.uqam.ca>:

subscribe LLM prénom nom

Présentations passées

• 2025-03-31: Genesse, Huberdeau et Sano: Présentations étudiantes de l’UQAM, de l’Université de Montréal et de l’Université McGill.
• 2025-02-24: Liron Cohen (Université Ben-Gurion): Effectful Curry-Howard

Nous joindre

Pour toutes vos questions, veuillez contacter Ryan Kavanagh <kavanagh.ryan@uqam.ca>.