Defense of dissertations

No calendar events were found within the current period.

Upcoming calendar events:

• Effective cooperative scheduling of task-parallel applications on multiprogrammed parallelarchitectures

  9 Nov

  Public defences of doctoral theses

  Monday 2015-11-09, 09:00

  2015-11-09T09:00:00.233+01:00 2015-11-09T09:00:00.233+01:00 Effective cooperative scheduling of task-parallel applications on multiprogrammed parallelarchitectures (Public defences of doctoral theses) Effective cooperative scheduling of task-parallel applications on multiprogrammed parallelarchitectures (Public defences of doctoral theses)

• Improving Performance and Quality-of-Service through the Task.Parallel model

  10 Nov

  Public defences of doctoral theses

  Tuesday 2015-11-10, 10:10

  2015-11-10T10:10:00.506+01:00 2015-11-10T10:10:00.506+01:00 Improving Performance and Quality-of-Service through the Task.Parallel model (Public defences of doctoral theses) Improving Performance and Quality-of-Service through the Task.Parallel model (Public defences of doctoral theses)

• Automatic Extraction of Program Models for Formal Software Verification

  4 Dec

  Public defences of doctoral theses

  Computer Science

  Friday 2015-12-04, 14:00

  Location: F3, Lindstedtsvägen 26, Stockholm

  Doctoral student: Pedro de Carvalho Gomes , TCS

  2015-12-04T14:00:00.529+01:00 2015-12-04T14:00:00.529+01:00 Automatic Extraction of Program Models for Formal Software Verification (Public defences of doctoral theses) F3, Lindstedtsvägen 26, Stockholm (KTH, Stockholm, Sweden)Automatic Extraction of Program Models for Formal Software Verification (Public defences of doctoral theses)