Till KTH:s startsida Till KTH:s startsida

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

Administratör David Broman skapade sidan 31 januari 2016

Christian Schulte redigerade 16 november 2018

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 9 February 26 11 March 12 13 March 26 15 April 9 17 April 23 19 May 7 ¶

21 May 21 23 June 4
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 48 November 27 Abubakr Computer vision and machine learning 49 December 4 Akhila State-of-the-art in monitoring heterogeneous wireless networks 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

Administratör David Broman ändrade rättigheterna 3 oktober 2019

Kan därmed läsas av alla och ändras av administratörer.