Languages and Logic Montreal
A monthly colloquium

Languages and Logic Montreal (LLM) is a monthly research talk series about programming languages and logic. It is jointly held between Université du Québec à Montréal (UQAM), Université de Montréal and McGill University. It seeks to:

  • Facilitate the exchange of recent and ongoing work on programming languages and logic.
  • Foster collaboration between researchers in Montreal.
  • Give students a welcoming venue to present their ongoing work.
  • Provide a venue for external speakers who wish to reach a broad cross-section of the Montreal programming languages and logic community.

Upcoming Talks

Colloquium Format

Montreal’s programming languages community is broad, ranging from type theory and categorical semantics, to static analysis and compiler design. To ensure that talks are accessible to the community as a whole, LLM has adopted a colloquium format. In particular, the majority of each talk should be broadly accessible to all computer science graduate students. John McCarthy’s How to give a good colloquium provide excellent advice on preparing colloquium talks.

Timing

LLM occurs monthly, typically from 16:00 to 17:00 on a Monday afternoon. Each meeting will feature a 50 minute invited talk (followed by 10 minutes of questions), or several shorter student talks. Given our objective of fostering connections between Montreal-area students and researchers, we encourage attendees to join us for a social hour afterwards.

Speakers who are interested in presenting are invited to contact the organizer.

Talk Announcements

To subscribe to our low-volume talk announcement list, send an email with the following body to <listserv@listserv.uqam.ca>:

subscribe LLM firstname lastname

Past Talks

Contact

Please direct any questions to Ryan Kavanagh <kavanagh.ryan@uqam.ca>.

Back to top