School of
Electrical Engineering
and Computer Science
KTH / CSC / Theory Group / Jakob Nordström / Teaching / DD3501 Current Research in Proof Complexity 2011/12 / Scribing schedule

Scribing Schedule and Instructions for DD3501 Current Research in Proof Complexity

General Instructions

Instructions and template files have been e-mailed to the scribes after each lecture. Since this seems to have been working mostly fine, we never got around to posting general instructions or template files on this webpage.

Scribing Schedule for Period 2

Oct 24:Jakob Nordström
Oct 27:Joel Mickelin Sätherblom
Oct 31:Sangxia Huang
Nov 3:Léo Perrin
Nov 14:Lukáš Poláček
Nov 28:Björn Terelius
Dec 1:Mateus De Oliveira Oliveira
Dec 5:Emma Enström
Dec 12:Carl Björkman
Dec 15:Musard Balliu
Dec 19:Karl Palmskog

Scribing Schedule for Period 3

Jan 17:Oliver Schwarz
Jan 18:Léo Perrin
Jan 24:Emma Enström
Jan 25:Lukáš Poláček
Jan 31:Sangxia Huang
Feb 7:Carl Björkman
Feb 8:Mateus De Oliveira Oliveira
Feb 13:Björn Terelius
Feb 14:Musard Balliu
Feb 21:Karl Palmskog
Feb 22:Oliver Schwarz

Published by: Jakob Nordström <jakobn~at-sign~kth~dot~se>
Updated 2018-06-07