Room IX

Session 2 (Oct 26 08:45-09:00) Opening of the Conference
Session 3 (Oct 26 09:00-10:00) Invited Talk
Session 4 (Oct 26 10:00-10:40) Regular Paper Session
Session 5 (Oct 26 11:20-12:40) Regular Paper Session
Session 6 (Oct 26 15:00-16:00) Invited Talk
Session 7 (Oct 26 16:00-16:35) Short Paper Session
Session 8 (Oct 26 17:10-18:25) Short Paper Session
Session 9 (Oct 27 09:00-10:00) Invited Talk
Session 10 (Oct 27 10:00-10:40) Regular Paper Session
Session 11 (Oct 27 11:20-12:40) Regular Paper Session
Session 12 (Oct 27 15:00-16:00) Invited Talk
Session 13 (Oct 27 16:00-16:30) Short Paper Session
Session 14 (Oct 27 17:10-18:10) Short Paper Session
Session 15 (Oct 28 09:00-10:00) Invited Talk
Session 16 (Oct 28 10:00-11:00) Invited Talk
Session 17 (Oct 28 11:40-12:55) Special Session: Non-Classical Logics and Science
Session 18 (Oct 28 14:30-16:30) Special Session: Term-Forming Operators and Proof Theory
Session 19 (Oct 28 17:10-17:40) Short Paper Session
Session 20 (Oct 28 17:40-17:55) Closing of the Conference