The 49th Annual Meeting of the Australian Mathematical Society

Special Sessions on Logic

Draft Programme of Logic Special Sessions

[Please also see Conference Programme for details of talks and other activities outside the Logic Sessions]

Time	Monday	Tuesday 27th September	Wednesday 28th September	Thursday/Friday
8:30am		Aust MS Registration	Aust MS Registration
9am			Plenary Talk
9:30am
10am		Welcome Medal Presentation	Heinrich Wansing - Logic Session Keynote Lecturer
10:30am
11am		Morning Tea/Coffee	Morning Tea/Coffee
11:30am		Plenary Talk	Thierry Libert
12 noon			Mark Reynolds
12:30pm		Lunch	Prabhu Manyem
1pm			Lunch
1:30pm
2pm		ASL Plenary Talk Angus MacIntyre	Plenary Talk
2:30pm
3pm		Afternoon Tea/Coffee	Afternoon Tea/Coffee
3:30pm		Andreas Weiermann - Logic Session Keynote Lecturer
4pm
4:30pm		Martin Bunder
5pm		Jonathan Cohen (student talk)
5:30pm		Brian Davey
6pm
6:30pm		Public lecture	Public lecture