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