Who are we?
We're a group of systems developers who love computing—from hardware to software, from theory to practice. We hold particular interest in the following fields:
- Distributed and concurrent data systems
- Formal methods (e.g. modelling, verification)
- Compiler/language design and implementation
- OS/virtual machine development
Evening Talk Series
Once every 2 months, we hold an evening of long-form and lightning talks. We provide food and drinks, and there will be plenty of time before and after the presentations to talk with one another. At our last installment, Julian Hyde presented his paper Measures in SQL, and Conor Power presented his work on safer eventual consistency.
Our next event is on August 29th, 2024. You can sign up for the event on our lu.ma page
Morning Coffee Chats
We also meet once a month at 10am to chat about systems over coffee (or your morning beverage of choice). The exact location and date will vary by month, and in case of rain, we'll find a suitable indoor Public Open Space nearby.
Our next coffee chat is on September 6th, 2024. You can sign up for it here.