Program Tutorials LCC98

Combined program with OzsL (Dutch Research School in Logic)


Monday, 2th March

Tuesday, 3th March
9:30--10:10
 Dawar [abstract]
Lectures on Finite Model Theory
10:10--10:20 Coffee break
10:20--11:00 Dawar
Lectures on Finite Model Theory
11:00--11:30 Coffee break
11:30--12:10 Sam Buss [abstrct]
Lectures on Proof Complexity
12:10--12:20 Coffee break
12:20--13:00 Sam Buss
Lectures on Proof Complexity
13:00--14:30 Lunch
14:30--15:15 Alan Woods [abstract]
Asymptotics for sentences about
structures with components
15:15--15:30 Coffee break
15:30--16:15 Alan Woods
Asymptotics for sentences about
structures with components



Wednesday, 4th March
9:30--10:10
 Dawar
Lectures on Finite Model Theory
10:10--10:20 Coffee break
10:20--11:00 Dawar
Lectures on Finite Model Theory
11:00--11:30 Coffee break
11:30--12:10 Sam Buss
Lectures on Proof Complexity
12:10--12:20 Coffee break
12:20--13:00 Sam Buss
Lectures on Proof Complexity