Events

Everyone is welcome to attend our meetings and talks.

PL Seminars

Our group seminars are held every second Friday at 2 pm. If you would like to give a talk please contact Werner.

Topic Date Room Presenter
Implicit Parameters for Logic Programming Nov 11, 2016 DC 2314 Magnus Madsen
Efficient Expression Resolution for Cforall Oct 14, 2016 DC 2314 Aaron Moss
Implementing a Functional Language for Flix masters Sep 1, 2016 Ming-Ho Yee
C++ const and Immutability: An Empirical Study of Writes-Through-const practice talk Jun 24, 2016 DC 2314 Jon Eyolfson
From Datalog to Flix: A Declarative Language for Fixed Points on Lattices practice talk Jun 10, 2016 DC 2314 Magnus Madsen
Logic Programming and Static Analyses May 27, 2016 DC 2314 Rei Thiessen
Interprocedural Optimizations for Scala invited May 17, 2016 DC 2585 Dmitry Petrashko
Feedback-Directed Instrumentation for Deployed JavaScript Applications practice talk May 16, 2016 DC 3317 Magnus Madsen
LocusTypeScript: Rich Types From Code Locations for JavaScript May 13, 2016 DC 2314 Adam Domurad
Gradual Pluggable Typing in Java masters Mar 18, 2016 DC 3317 Dan Brotherston
The Flix Language Mar 4, 2016 DC 2314 Ming-Ho Yee
POPL 2016 Feb 5, 2016 DC 3317 Marianna Rapoport
Haskell-Like Effectful Computations in Scala Without Monads Jan 15, 2016 DC 3317 Uroš Dimitrijević
Understanding the DOT calculus, Part II Jan 15, 2016 DC 3126 Ondřej Lhoták
Understanding the DOT Calculus, Part I Jan 8, 2016 DC 3317 Ondřej Lhoták
DOTIR: Reference Immutability and Purity in Scala and DOT Dec 4, 2015 DC 2310 Jonathan Rodriguez
Monotonic Analysis of Indirect Memory Operations Nov 20, 2015 DC 2585 Rei Thiessen
OOPSLA 2015 Highlights Nov 6, 2015 DC 2585 Jeff Luo
Static Analysis of Event-Driven Node.js JavaScript Applications practice talk Oct 16, 2015 DC 2585 Magnus Madsen
Static Analysis of Web API Usage in Android Applications Sept 25, 2015 DC 2585 Marianna Rapoport

Lunch Palaver

palaver

noun | pa·lav·er \pə-ˈla-vər, -ˈlä-\

: talk that is not important or meaningful
: excitement and activity caused by something that is not important


A palaver is a 15 to 30 minutes informal lunch presentation. You can talk about anything you like: introduce yourself, talk about your hobbies, a book you read, movie you saw, place you visited, conference you attended, etc.

If you would like to give a palaver talk please contact Marianna.

We hold the palavers every second Friday at noon. Feel free to bring lunch!

Topic Date Room Presenter
Electoral Reform Apr 7, 2017 DC 2314 Aaron Moss
TBA Mar 24, 2017 DC 2314 Ellen Arteca
Photography Through Reverse Engineering, part II Mar 10, 2017 DC 2314 Jeff Luo
Wiedźmin (The Witcher) next Feb 10, 2017 DC 2314 Thierry Delisle
How to Make Money Playing Video Games Jan 27, 2017 DC 2314 Alexi Turcotte
Terrible Video Games Jan 13, 2017 DC 2314 Gregor Richards
The Best Documentaries in the World (slides) Dec 9, 2016 DC 2314 Marianna Rapoport
Haute Route (slides) Nov 18, 2016 DC 3317 Patrick Lam
Thunder Bay Nov 4, 2016 DC 3317 Daniel Caccamo
Modern Board Games Oct 21, 2016 DC 3317 Garo Brik
Bangladeshi Sweets Oct 7, 2016 DC 3317 Ifaz Kabir
Hiking in the Mountains Sep 23, 2016 DC 3317 Magnus Madsen
Supeheroes Jul 29, 2016 DC 3317 Rob Schluntz
My Baking Experience Jul 15, 2016 DC 3317 Mier Ta
How Game Maker Made Me a Programmer Jun 17, 2016 DC 3317 Adam Domurad
Biking in the Netherlands Jun 3, 2016 DC 3317 Dan Brotherston
First Steps: Coffee May 20, 2016 DC 3317 Jon Eyolfson
The History of Classical Music May 6, 2016 DC 3317 Ming-Ho Yee
Photography Through Reverse Engineering Apr 22, 2016 DC 3317 Jeff Luo
Werner's Voyages Mar 11, 2016 DC 3317 Werner Dietl
Magic the Gathering Feb 26, 2016 DC 2314 Magnus Madsen
Why I Took a Second Christmas Vacation Feb 12, 2016 DC 2314 Aaron Moss
Winter Won't Stop Me From Biking Jan 29, 2016 DC 3317 Dan Brotherston
Quizbowl Jan 22, 2016 DC 3317 Ming-Ho Yee
Powered Paragliding Dec 11, 2015 DC 2314 Gregor Richards

Events Calendar