MCS Group Lunches
Spring 2020
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
8 | February 18 | David | Planning and info, spring 2020 |
10 | March 3 | Cancelled | |
12 | March 17 | Pietro | ML and branch prediction |
14 | March 31 | Daniel | Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages |
16 | April 14 | Viktor | Precedence or tactics |
18 | April 28 | Klas | Compiler stuff, LLVM |
20 | May 12 | Romy | Software diversification and CP |
22 | May 26 | Oscar | Equation-based DSLs and automatic differentiation |
24 | June 9 | Linnea | Decision points |
26 | June 23 | Saranya | Property-based testing for real-time systems |
Fall 2019
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
38 | September 17 |
David |
Planning and info, fall 2019 |
40 | October 1 | CANCELLED | |
43 | October 22 | Diarmuid | |
45 | November 5 | Johan | |
46 | November 12 | Viktor | |
47 | November 19 | Daniel | |
48 | November 26 | Saranya | |
49 | December 3 | Nicolas | |
50 | December 10 | Roberto |
Spring 2019
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
3 | January 15 |
Robin Eklind |
Decompilation, report for project course ID2205 |
5 | January 29 | David | Planning and info,spring 2019 |
7 | February 12 | CANCELLED | |
9 | February 26 | Klas | Arc: An IR for Batch and Stream Programming |
11 | March 12 | Viktor | Un-/Resolvable Ambiguity |
13 | March 26 | Oscar | |
15 | April 9 | Diarmuid | A Fast and Practical Traffic Generator using Spatial Renewal Processes |
17 | April 23 | Saranya | |
19 | May 7 | Sara | |
21 | May 21 | CANCELLED | |
23 | June 4 | Daniel | |
25 | June 18 | Andreas/DIarmuid | Ericsson software challenges |
Fall 2018
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
36 | September 4 |
David |
Planning and info, fall 2018 |
39 | September 24 | Elias | Type systems and Concurrency |
40 | October 2 | Dairmuid | (Two topics from Dairmuid, see email) |
42 | October 16 | Viktor | Parsing and Language Composition |
44 | October 30 | Saranya | Virtual Time and Hybrid Co-Simulation |
46 | November 13 | Daniel | Probabilistic Programming and static analysis |
49 | December 4 | Akhila | State-of-the-art in monitoring heterogeneous wireless networks |
50 | December 11 | Abubakr (not confirmed) |
Computer vision and machine learning |
Spring 2018
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
4 | January 23 |
David |
Planning and Info 2018 |
6 | February 6 | Jan | Expectations |
8 | February 20 | David | The Miking project |
10 | March 6 | Nicolas | Continuous diversificarion |
12 | March 20 | Gabriel | Dry run, defense |
14 | April 3 | Daniel | Probabilistic programming in Miking |
16 | April 17 | Diarmuid | Reinforcement learning or WASP seminars |
18 | May 2 (Note, Wednesday) |
Akhila |
Multiradio access technology networks |
20 | May 15 | Roberto | Unison vs. LLVM: Case Studies |
21 | May 22 | Leif | Dry run, PhD defence talk |
22 | May 29 | Negar | Research status |
24 | June 12 | Saranya | To be decided |
Fall 2017
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
37 | September 12 |
David |
Planning and Info 2017 |
39 | September 26 | Gabriel | |
41 | October 10 | Björn | Verifying Event-Based Timing Constraints by Translation Into Presburger Formulae |
43 | October 24 | Mats | |
45 | November 7 | DIarmuid | |
47 | November 21 | Daniel | An introduction to Sequential Monte Carlo (SMC) and Markov chain Monte Carlo (MCMC) methods |
49 | December 5 | Jan | Expectations |
51 | December 19 | Saranya |
Virtual Time-Based Distributed Hybrid Co-Simulation |
Spring 2017
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00 in room Ada.
Week | Date | Speaker(s) | Topic(s) |
3 | January 17 |
David |
Planning and Info 2017 |
5 | January 31 | Christian | Discussion about Ph.D. courses |
7 | February 14 | Roberto | Benchmark sampling |
9 | February 28 | Gabriel | Bayesian networks |
11 | March 14 | All | Discussions about programming languages |
13 | March 28 | Saranya | Timed C |
15 | April 11 | Christian | Gecode: Impact on research (open source) |
17 | April 25 | - | CANCELLED |
19 | May 9 | Jan | Markov or expectation |
21 | May 23 | Konstantinos | Ongoing work on profiling |
23 | June 7 | Diarmuid | Energy profiling (CANCELLED) |
25 | June 12 | Daniel | Lazy Sampling in Probabilistic Programming |
Fall 2016
Group lunches take place every second week, on Tuesdays between 12.15 and 13.00.
Week | Date | Speaker(s) | Topic(s) |
40 | October 4 |
David |
Misc. info and discussions |
43 | October 25 | Konstantinos | Potential collaboration |
45 | November 8 | Roberto | Draft paper |
47 | November 22 | Magnus | Learning Machines for Internet CBT [slides] |
49 | December 6 | Mats | Reinventing the wheel, benchmarks [slides] |
51 | December 20 | Andreas | Problems in industry |
Spring 2016
Group lunches take place every second week, on Thursdays between 12.15 and 13.00.
Week | Date | Speaker(s) | Topic(s) |
6 | February 11 |
Christian |
An idea for a research project |
8 | February 25 | David | MCS webpage |
10 | March 10 | Christian | Good paper discussion |
12 | March 24 | Saranya | Compiling with time |
14 | April 7 | ||
21 | April 21 | All | Related Work Mining |
23 | May 5 | HOLIDAY | |
25 | May 19 | Gabriel | Summit Review |
27 | June 2 | David | Project ASSEMBLE |
29 | June 21 |
Diarmuid |
PhD Project overview |