The standard time slot is 1230-1300 and the standard location is 4D. Please make the presentation somewhat understandable to your colleagues, and keep it short enough to leave time for questions!

When
Who
What
2016


20 December


13 December

(Peter away)
6 December

(Section seniors' meeting)
29 November
Björn Jónsson
Short introduction
22 November
Carla Villegas Pasco
Results from my ITU MSc project and plans for my PhD project
15 November
Lisbeth Breinholt, Morten Møller
EU Horizon 2020 funding opportunities
8 November

(Section seniors' meeting)
1 November
Aufeef Chauhan
A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service
25 October


18 October

(Fall break)
11 October

(Section seniors' meeting)
4 October
Mansooreh Zahedi
Knowledge sharing in global software development
27 September


20 September
Paolo Tell
HELENA: On the use of Hybrid dEveLopmENt Approaches in software systems development
13 September

(Section seniors' meeting)
6 September
Jonathan Fürst
Results and experiences from the PhD project
23 August
Peter Sestoft
Introduction to blockchain technology
16 August

(Section seniors' meeting)
9 August
Joe Kiniry, Galois
High-assurance elections and cryptography; 1230-1330 in 4D
21 June
Iago
Challenges in Analyzing Linux for Bugs
14 June

(Section seniors' meeting)
7 June
Alessandro Fantechi, CNR Pisa
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
10 May

(Section seniors' meeting)
3 May

(Peter away)
26 April
Florian Biermann
Quadropes: efficient immutable arrays with parallelizable operations
19 April
Peter S
Corrado Böhm, the first (or second) computer science PhD?
12 April

(Section seniors' meeting)
5 April
Mai Lise Ajspur
Stowage-based Capacity Management in Liner Shipping
29 March
Yvonne Dittrich
Ethnographic method is SE research.
22 March

(In Easter week)
15 March

(Section seniors' meeting)
8 March

(Peter away)
1 March
Ivan Luiz Picoli

9 February

(Section seniors' meeting)
2 February
Iago Abal Rivas
Effect-Based Analysis of C Programs (Demo)
26 January
Peter Sestoft
Declarative parallel programming with Java 8 streams
12 January

(Section seniors' meeting)
2015


15 December
Alexandru Florin Lazar
Report from Automated Software Engineering conference 2015
8 December

(Section seniors' meeting)
1 December
Morten Esbensen
The dBoard - a digital scrum board for distributed software development
24 November

(Peter away)
17 November
Søren Lauesen
Real-life requirements, good, bad and consequences
10 November

(Section seniors' meeting)
3 November
Joshua Ddamba
Redrawing the landscape of designing for, with and by users
27 October

What's news around the table
20 October
Frank Veenstra
Artifical intelligence for evolutionary robotics
13 October

(In fall break)
6 October

(Section seniors' meeting)
29 September
David Christiansen
Reflecting the Idris elaborator for compile-time metaprogramming
22 September
Stefan Stanciulescu
Forked and Integrated Variants in an Open Source Firmware Project
15 September
Yvonne Dittrich
What does it mean to use a method? Towards a practice theory for software engineering.
8 September

(Section seniors' meeting)
1 September
Aleksandar Dimovski
Family-based Model Checking Without a Family-Based Model Checker
25 August

(Peter away)
18 August
Peter Sestoft
Solving and generating sudokus with Java 8 lazy streams
11 August

(Section seniors' meeting)
4 August
Yvonne Dittrich
Software Product Eco-System - Why Participatory Design should care
9 June

(Section seniors' meeting)
2 June
Jens Schmidt
My PhD project: Why do (government) IT projects fail, and what can be done about it?
26 May
Jean Melo
How does the degree of variability affect code comprehensibility? A controlled experiment.
19 May

(Peter away)
12 May

(Section seniors' meeting)
5 May
Philippe Bonnet
(Title)
21 April
Kasper S et al.
RobotLab excursion, 5th floor
14 April

(Section seniors' meeting)
7 April
Matias Bjørling et al.
Building the Next Generation Storage Platform
31 March

(In Easter week)
24 March
Rodrigo Moreno
Generating controllers for modular robots by evolution
17 March
Thorsten Berger
tentative: Meta-Programming System
10 March

(Section seniors' meeting)
3 March
Peter Sestoft, Claus Brabrand
Experience from developing the course "Practical Concurrent and Parallel Programming" fall 2014
24 February
Tommi Kähkönen
Integration in ERP system lifecycle
17 February
Rune Møller Jensen
Starting and running a research-based company
10 February

(Section seniors' meeting)
3 February
Andrzej Wąsowski
Modelling structure and behaviour in Clafer
27 January
Ahmad Salim Al-Sibahi
My PhD research plans
20 January

(Peter in Aalborg)
13 January

(Section seniors' meeting)
6 January
Joshua Ddamba

2014


16 December

(Section seniors' meeting)
9 December
Michael Wei, UCSD
I/O speculation in the microsecond era (organized by Matias Bjørling) (Peter in Beijing)
2 December
Amanuel Zewge
My research roadmap: Information and Communication Technologies for Development (ICT4D)
25 November
Søren Lauesen
On the origin of theses, books and letters and how technology can block progress. A short story of the long time it took to develop writing technology and how some traditions make life harder to the reader.
18 November
Philippe Bonnet
Disaggregated Architectures
11 November

Section seniors' meeting
4 November
Kasper Støy
Robot World Domination
28 October
Matias Bjørling
An evaluation platform for solid-state devices
21 October

Section seniors' meeting
14 October

(Fall break)
7 October
Iago Abal
Types, Term-Rewriting, SMT, and back to Types again
30 September
Peter Eklund
Using Formal Concept Analysis to Create Semantic Pathways through Museum Collections
23 September
Niv Dayan
Modelling and managing SSD write-amplification
16 September
Alexandru Iosif-Lazar
A core Language for separate variability modeling
9 September

Section seniors' meeting
2 September
Peter Sestoft
Design of the new course "Practical Concurrent and Parallel Programming"
26 August
David R Christiansen
Providing postulates through testing
12 August

Section seniors' meeting
5 August

(Peter away)
24 June
Matias Bjørling
Trip report from SYSTOR: Multiqueue block layer in Linux file system
17 June
Jonathan Fürst
Report from stay abroad at UC Berkeley
10 June

Section seniors' meeting
3 June
Aleksandar Dimovski
Feature abstractions for software product lines
27 May

(Peter in Oslo)
20 May

(Peter at Chalmers, Gothenburg)
13 May

Section seniors' meeting
6 May
Rao
Towards a Set Theoretical Approach to Big Data Analytics
29 April
Stefan Stanciulescu

22 April


15 April

(Easter week)
8 April

Section seniors' meeting
25 March
Andrés
Robotic systems: Past experiences and new challenges
18 March
Siemen Baader (Aarhus)
SketchCode - an Intentional Programming system based on HTML5
11 March

Section seniors' meeting
4 March
John Paulin
The use of gaze in the control of drones
25 February
Aufeef Chauhan
A Reference Architecture for Provisioning of GSD Tools as a Service
18 February
All
What's new around the table
11 February

Section seniors' meeting
4 February
Helge Pfeiffer
TXL - A Language for Rapid Prototyping of Source Code Transformations
28 January
Aakash Ahmad
Past and future work
21 January
Claus Brabrand
Systematic Derivation of Static Analyses for Software Product Lines
14 January

Section seniors' meeting
7 January
Javier Gonzalez
Trusted Storage with Trusted Cells (Stay abroad at INRIA)
2013


10 December

Section seniors' meeting
3 December
Sebastian Büttrich
PitLab (5A56) visit
26 November
Mansooreh Zahedi
Observations from Empirically Studying GSD Teams
19 November
Jesper Madsen
File systems for solid-state drives
12 November

Section seniors' meeting
29 October
Rosalba and Paolo
Highlights from International Conference on Global Software Engineering
22 October
All
What's new around the table
15 October

(Fall break)
8 October

Section seniors' meeting
1 October
Peter Sestoft
Semantics of spreadsheet recalculation
24 September

(Peter away)
10 September

Section seniors' meeting
3 September
Thorsten Berger
Mining Constraints from Highly Configurable Systems
(Peter away)
27 August
Kasper Støy
Past and future research
20 August
Javier Gonzalez
Towards an Open Framework Leveraging a Trusted Execution Environment
13 August

Section seniors' meeting
6 August
Peter Sestoft
Efficient marking of dirty cells in spreadsheet recalculation
30 July


25 June
Paolo Tell
Design, Implementation, and Evaluation of an Infrastructure for Supporting Activity Based Computing in Global Software Development (ABC4GSD)
18 June

SSS seniors' meeting
28 May

News around the table
21 May
Claus Brabrand
Scalable flow analysis of software product lines
14 May

SSS seniors' meeting
07 May
David Raymond Christiansen
Type providers in Idris through compile-time I/O
30 April
Rune Møller Jensen
Stowing the right containers on container vessels
23 April
Blerim Cici, UC Irvine and Telefonica (guest of Athina)
Use of Cellphone Data for CarSharing Recommendations
16 April
Matias Björling
The state of solid state disk research
09 April
Thorsten Berger
Variability modelling in the real. (Also concurrent SSS seniors' meeting)
02 April
Helena Holmström Olsson, Malmö (guest of Ali)
Post-Deployment Data Collection in Software-Intensive Embedded Products
12 March

SSS general section meeting and cake
5 March
Kevin Tierney
Inter-terminal transportation in container ports
26 February
Josu Martinez
Dependable software composition
19 February
Dan Witzner Hansen

12 February

SSS seniors meeting
5 February
Helge Pfeiffer
Lässig generic traceability for JVM programs
29 January


22 January
Ali Babar

15 January

SSS seniors meeting
8 January
Hannes Mehnert
How to empirically evaluate a specification and verification tool?
2012


18 December
David Christiansen
Domain-specific languages; workshop and summer school reports
11 December

SSS seniors meeting
04 December
Dario Pacino

27 November
Peter Sestoft
Scalable representation of spreadsheets (large sparse arrays)
20 November
Steen Brahe
Developing Development Tools
13 November
Mohammad Kuhail
Usability Analysis of Custom Visualization Tools
06 November

SSS seniors meeting
16 October

(Fall break)
09 October

SSS seniors meeting
02 October
Joel Granados
Towards automated Phenology (Results of my work in UCLA)
25 September
Athina Markopoulou
Past and future work
18 September
Helge Pfeiffer
(Report from five months in Dresden)
11 September

(Peter FTP)
04 September

SSS seniors meeting
28 August
Niv Dayan
PhD project: Taming flash devices
12 June

SSS seniors meeting
29 May
Thomas Pederson
Body-Centric Modeling of Mixed-Reality Situations
22 May
Hannes Mehnert
Verification of Snapshotable Trees using Access Permissions and Typestate (TOOLS 2012 talk)
15 May
Javier González
Architectures for wireless sensor networks
08 May

SSS seniors meeting
01 May
Peter Sestoft
Trip report: Chinese-Danish Multicore and Heterogeneous Parallel Computing workshop
24 April
David Christiansen
Statically Typed Pensions
17 April

SSS seniors meeting
03 April

(Easter break)
27 March
Aslak Johansen
My PhD project with Delta
20 March
Kevin
Liner Shipping Fleet Repositioning with Cargo Flows
13 March

SSS seniors meeting
06 March
Rune
Fast Interactive Decision Support for Modifying Stowage Plans using Binary Decision Diagrams
28 February
Dario
Constraint-Based Local Search for Container Stowage Slot Planning
21 February
Helge
Generating a Multi-Language Development Environment
14 February

SSS seniors meeting
07 February
Philippe Bonnet
Past and ongoing work
31 January
Morten Esbensen
Activity Based Computing Support for Global Software Development
24 January
Ali Babar
An Empirical Investigation of Systematic Reviews in Software Engineering
17 January
David Christiansen
Solving the expression problem with trait composition and constructor abstraction
10 January

SDG seniors meeting
2011
13 December

SDG seniors meeting
06 December
Juan
Juan's work at ITU: PhD++
29 November
Aufeef Chauhan
Migrating Service Oriented Architectures (SOA) to Cloud
22 November
Andrzej Wąsowski
Some ideas on semantic diffing of models
15 November

SDG seniors meeting
08 November

(Peter FTP)
18 October
Mohammad
Composing visualizations using building blocks specified by formulas
11 October

(Peter away)
04 October
Søren Lauesen
The Land Registration Disaster - How many Danes lost their house...
27 September
Harald Störrle
Expressing Model Constraints Visually with VMQL - Invited guest by Andrzej Wąsowski and Helge Pfeiffer
20 September
Joe
Reflections on Voting in Denmark and a DemTech Update
13 September
Dermot
Formal Modeling of Test Cases for PR-STV elections (Peter FTP)
06 September
Dario
Efficient Container Optimization ICCL'11 Talk
30 August
Hannes
Interactive Formal Verification of Object-Oriented Code (Peter FTP)
23 August
Kostas
De-identifying an EHR Database
16 August
Helge
One Structure to Rule them All
09 August

SDG seniors meeting
02 August
Peter
Sparse recalculation in a spreadsheet implementation
28 June
Hannes
Participating in the ICFP 2011 programming contest
07 June

SDG seniors meeting
31 May
All
(1) Improving research environment; (2) Visit by Susana Tosca about faculty union representative
24 May
All
Discussion of employee satisfaction survey
10 May

SDG seniors meeting
03 May
Peter
The Actulus project, actuarial mathematics and computing, 2011-2014
26 April
Ali Babar
Global Software Engineering: Opportunities and Challenges (CFIR/FIT talk same day)
12 April

SDG seniors meeting
29 March
Hannes
Kopitiam (preparation for NFM2011 talk)
22 March
Aurélien
Update on Mini-Grid: How to support engagement in local volunteer computing initiatives?
15 March
Afsaneh
Phase recognition during surgical procedures
08 March

SDG seniors meeting
01 March
Neela
Trip report from the Reasoning Web Summer School 2010
22 February
Yvonne
Trip report India, cultural
15 February
Søren Lauesen
Use cases versus tasks
08 February

SDG seniors meeting
01 February
Yvonne
Trip report India, academic
18 January
Juan
Interrupt me!
11 January

SDG seniors meeting
2010
22 December

SDG seniors meeting
15 December
Kevin Tierney
The Liner Shipping Phase In/Out Problem
08 December
Sofiane Gueddana
Ubiquitous communication systems for distributed groups interaction
01 December
Gabriela Marcu
Monitoring behavioral data to support management and treatment of bipolar disorder (Peter FTP)
24 November
Shangjin Xu
Developing user interface without programming
17 November
Andrzej Wąsowski
Variability modeling in the real: a perspective from the operating systems domain.
10 November

SDG seniors meeting
03 November
Joe Kiniry
"What does this sentence mean?"
27 October

Yvonne briefly back from Chennai, with prof. Gonsalves, head of IIT Mandi
20 October
Helge Pfeiffer
Large Software Systems - Handling the Confusion of Languages - (In fall break)
13 October
Rosalba Giuffrida
Social Software in Global Software Development
06 October
Søren Lauesen
Mid-term evaluation: 'VisTool and Electronic Health Record (EHR)' - (Peter FTP)
29 September
Josu Martinez
Functionality recomposition for self-healing
22 September
Juan Hincapie Ramos
The 'Rabbit' (Lunch at Mikado building)
15 September
Juan Hincapie Ramos
The 'Rabbit' (moved to following week)
08 September

SDG seniors meeting
01 September
Joe Kiniry
Getting Things Done
11 August
Hannes Mehnert
Gradual typing for Dylan (talk for DANSAS'2010)
23 June
Peter, Ramkumar, Shashank
Status on spreadsheet technology research
09 June

SDG seniors meeting
26 May
Hannes Mehnert
Relaxing Ownership with Immutability or Featherweight Java with owners-as-boxes and immutability
19 May

SDG seniors meeting
12 May
Rune Møller Jensen
The Algorithmic Intelligence Initiative at ITU (Peter at FTP)
05 May

One-minute statuses around the table
28 April
Dong-hyun Lee
Research collaboration with ITU
21 April
Joe Kiniry
A self-introduction
21 April
17:00-18:00
Dvořák's 5th Symphony at the DR Concert Hall]]
14 April
Mohammad A Kuhail
VisTool Interaction Mechanism
07 April

SDG seniors meeting
31 March

(Before Easter break, Peter away)
24 March
Yvonne Dittrich
Trip report from Chennai, India
17 March
Kosta Pandazo
Information Visualization Techniques in EHR (Electronic Health Record)
10 March
Aurelien Tabard
From the eNotebook to the eLabBench
03 March

SDG seniors meeting
24 February
Dermot Cochran
PhD project, electronic voting
17 February
M Ali Babar

03 February

SDG seniors meeting
06 January

SDG seniors meeting, and 14:15 Excursion to Datahistorisk Samling, Ballerup
2009
09 December
Johan Bolmsten

18 November
Jakob Bardram
Plans for GIRI
11 November
Juan Hincapie Ramos

04 November
Søren Lauesen
Risks in large government IT projects
28 October
Thorstern Berger
How (and Why) to Extract Variability from Open Source Product Lines?
21 October
Helge Pfeiffer
PhD project plans
16 September
Alberto Delgado-Ortegon
Generating Optimal Stowage Plans for Container Vessel Bays
19 August
Steven She, Waterloo
Mining framework concepts from application code
17 June
Inger Vibeke Dorph
PURE Presentation
03 June
Yvonne Ditrich
EU proposal on Software Engineering
27 May
Jakob Bardram
GIRI = ITU's Global Interaction Research Initiative
20 May
Dario Pacino
Konference Talk
13 May
Helge Pfeiffer
Feature-Model Driven Software Development at Intershop -- a Prototype
6 May
Jonathan Bunde-Pedersen
Short version of PhD defense talk
Wednesday 18 Mar
Jens Chr Godskesen
ECTS model and transparency of teaching load
Wednesday 11 Mar
Andrzej Wąsowski
Trip report from Japan: GRACE International Meeting on Bidirectional Transformations
Wednesday 4 Mar
Kasper Østerbye
History expressions
Wednesday 25 Feb
Morten Rhiger
Tree alignments for analysis of customizations in Microsoft Dynamics NAV
2008
Wednesday 19 Nov
Peter Sestoft
Sheet-defined spreadsheet functions and language-related design challenges
Wednesday 12 Nov
Dario Pacino
Stochastic local search with applications to container stowage
Wednesday 5 Nov
Andrzej Wąsowski
Probabilistic Feature Models
Wednesday 22 Oct
Jonathan Bunde-Pedersen
Mobile personal task management (IBM Research)
Wednesday 15 Oct
Alberto
Finding optimal solutions for the The Container Stowage Problem for an Under Deck Location
Wednesday 1 Oct
Sebastien Vaucouleur
Software customization and the crystal ball hypothesis
Wednesday 24 Sep
Anders Hessellund
Interfaces and Metainterfaces for Models and Metamodels
Wednesday 17 Sep
Jakob Bardram
The PIT lab
Wednesday 3 Sep
Andrzej

Wednesday 27 Aug
Søren Lauesen
Data Visualization - A tool for low-tech construction of complex user interfaces
Monday 31 Mar
Neela

Monday 10 Mar
Kasper
The programming model of Second Life
Monday 10 Mar
Siau Cheng Khoo
1100-1100 in aud 3: Mining Program Specifications and Temporal Properties
Monday 3 Mar
Jakob and Niels
Context-aware Patient Safety - an example of UbiComp Research
Monday 25 Feb

Split senior/PhD student meetings
Monday 18 Feb
Søren L
The exemplary requirements specification
Monday 28 Jan
Steen Brahe
Enterprise Specific Languages and Tools for Business Process Modeling: An Experiment
Monday 21 Jan
Jonathan
News from Georgia Tech
Monday 14 Jan
Rune
Faglig diskussion
Monday 7 Jan
Nok
Organisation Matters: How the Organisation of Software Development Influences the Development of Product Line Architecture
2007
Monday 17 Dec
Sebastien
Talk that I will give in Pisa
Monday 10 Dec
Lene Pries-Heje

Monday 3 Dec
Peter
Sheet-defined functions in spreadsheet programs
Monday 26 Nov
Anders
Analyzing Code Customizations
Monday 19 Nov
Mika Yasuoka
Analysis of the Intercultural Collaboration Support System
Monday 12 Nov
Signe Ellegård Borch
TBA
Monday 29 Oct
Rune Møller Jensen
Optimizing container stowage
Monday 24 Sep
Katja Marcuslund
ITU communication strategy
Monday 17 Sep
Marianne Mikkelsen
ITU and the 12 October Culture Night
Monday 27 Aug
Wolf-Gideon Bleek
Software architecture and analysis
Monday 18 Jun
Jacob W Jespersen
Microsoft's Expression Blend
Monday 18 Jun
Jacob Vind
Presenting the Alexandra Institute
Monday 4 Jun
Anders
Guided Development with Multiple Domain-Specific Languages
Monday 21 May
Renate
Use of models to support tailoring of ERP user interfaces
Monday 14 May
Int. Gr.
1300-1430 Leni Schroll and Lone Malmborg will meet with the group about Internationalisation of ITU
Monday 7 May
Peter
Bachelor program in Software Development
Monday 16 Apr
Jonathan
ABC
Monday 26 Mar
Sebastien
Relational software composition and analysis
Monday 19 Mar
Peter
Spreadsheet implementation
Monday 26 Feb
Yvonne

Monday 19 Feb
Søren

Monday 12 Feb
Nok
Re-engineering for Evolvability
Monday 5 Feb
Peter
Bachelor program in Software Development
Monday 29 Jan
Mette

Monday 22 Jan
Kasper
Associations
2006
Wednesday 20 Dec
Hanne
Intro to the E-Library
Monday 11 Dec
Steen

Monday 4 Dec
Signe