Everyone is welcome to attend our meetings and talks.
| Topic | Date | Room | Presenter |
|---|---|---|---|
| Mutable Wadlerfest DOT practice talk | Jun 9, 2017 | DC 3126 | Marianna Rapoport |
| Efficient Pointer Analysis of Java in Logic phd | May 2, 2017 7 am |
DC 2314 | Rei Thiessen |
| Static Types With Less Syntax: Locus Types masters | Apr 28, 2017 | DC 3126 | Adam Domurad |
| A General Pluggable Type Inference Framework and its use for Data-flow masters | Apr 21, 2017 11:30 am |
EIT 3142 | Jianchu Li |
| Modern SAT Solvers | Mar 31, 2017 | DC 2314 | Ifaz Kabir |
| JIT-Level Gradual Contracts | Mar 17, 2017 | DC 2314 | Gregor Richards |
| 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 |
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.
We hold the palavers every second Friday at noon. Feel free to bring lunch!
| Topic | Date | Room | Presenter |
|---|---|---|---|
| Mathematics in Sports | Jun 30, 2017 | DC 2314 | Ramin Zarifi |
| What does left trigger do? Accessibility in Gaming | Jun 16, 2017 | DC 2314 | Andrew James Beach |
| The Mosquito Safari | Jun 2, 2017 | DC 2314 | Abel Nieto |
| Cocktails | May 19, 2017 | DC 2314 | Paul He |
| Electoral Reform | May 5, 2017 | DC 2314 | Aaron Moss |
| Hergé | Mar 24, 2017 | DC 2314 | Ellen Arteca |
| Photography Through Reverse Engineering, part II | Mar 10, 2017 | DC 2314 | Jeff Luo |
| Wiedźmin (The Witcher) | 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 |