Submission deadline: November 2 November 9, 2015

Notification of authors: November 24, 2015

Final version: December 12, 2015

Conference: January 4-8, 2016

Post-conference workshop

This will be held in Keller Hall 3rd Floor, in the four rooms 301, 302, 313, and 314.

Monday 11th

8:00-12:30 KELL 302
12:30-4:30 KELL 301

Tuesday 12th

8:00-4:30 KELL 314 (max = 25 persons)

Wednesday 13th

8:00-12:30 KELL 302 (max = 30 persons)
12:30-4:30 KELL 301 (max = 30 persons)

Thursday 14th

8:00-4:30 KELL 314 (max = 25 persons)

Friday 15th

8:00-4:30 KELL 313 (max = 25 persons)

Potential times for sessions

Local organizers Khan, Kjos-Hanssen, Beros, Ross will be teaching at some times.

Monday
8:30 – 9:20
9:30 – 10:20 (Khan teaching)
10:30 – 11:20
11:30 – 12:20 (Kjos-Hanssen teaching; Ross teaching logic)
12:30 – 1:20 (Khan teaching)
1:30 – 2:20 (Kjos-Hanssen teaching; Ross teaching logic)
2:30 – 3:20

Tuesday
9:00 – 10:15 (Beros teaching)
10:30 – 11:45
12:00 – 1:15 (Beros teaching)
1:30 – 2:45

Wednesday
8:30 – 9:20
9:30 – 10:20 (Khan teaching)
10:30 – 11:20
11:30 – 12:20 (Kjos-Hanssen teaching; Ross teaching logic)
12:30 – 1:20 (Khan teaching)
1:30 – 2:20 (Kjos-Hanssen teaching; Ross teaching logic)
2:30 – 3:20

Thursday
9:00 – 10:15 (Beros teaching)
10:30 – 11:45
12:00 – 1:15 (Beros teaching)
1:30 – 2:45

Friday
8:30 – 9:20
9:30 – 10:20 (Khan teaching)
10:30 – 11:20
11:30 – 12:20 (Kjos-Hanssen teaching; Ross teaching logic)
12:30 – 1:20 (Khan teaching)
1:30 – 2:20 (Kjos-Hanssen teaching; Ross teaching logic)
2:30 – 3:20