MCS SeminarGroup Lunches

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 38 September 18 40 October 2 42 October 16 44 October 30 46 November 13 48 November 27 50 December 11

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