Main Awards Registration Accommodation Social Program
Conference Timetable Contributed Papers Committees Mailing List Sponsors ASL

Contributed talks schedule of LC2003

Model theory, Hall 5, Friday 15.8.

Model theory 2, Hall 6, Friday 15.8.

Recursion theory and arithmetic, Hall 10, Friday 15.8.

Set theory, Hall 13, Friday 15.8.

Proof theory, constructivism and philosophy of mathematics, Hall 12, Friday 15.8.

Classical and non-classical logic, Hall 1, Friday 15.8.

Model theory, Hall 5, Saturday 16.8.

Model theory 2, Hall 6, Saturday 16.8.

Recursion theory and arithmetic, Hall 10, Saturday 16.8.

Set theory, Hall 13, Saturday 16.8.

Proof theory, constructivism and philosophy of mathematics, Hall 12, Saturday 16.8.

Classical and non-classical logic, Hall 1, Saturday 16.8.

Model theory, Hall 5, Monday 18.8.

Recursion theory and arithmetic, Hall 10, Monday 18.8.

Set theory, Hall 13, Monday 18.8.

Proof theory, constructivism and philosophy of mathematics, Hall 12, Monday 18.8.

Classical and non-classical logic, Hall 6, Monday 18.8.

Model theory, Hall 5, Tuesday 19.8.

Recursion theory and arithmetic, Hall 10, Tuesday 19.8.

Set theory, Hall 13, Tuesday 19.8.

Proof theory, constructivism and philosophy of mathematics, Hall 12, Tuesday 19.8.

Classical and non-classical logic, Hall 6, Tuesday 19.8.

University of Helsinki Dept. of Mathematics Helsinki City Tourist Office

lc2003@helsinki.fi