Sunday
19:00 Welcome banquet
Monday
08:45-09:00 Organisers meet with Shonan staff
09:00-09:10 Introduction movie
09:10-09:30 Welcome by organisers, brief introduction of participants
09:30-10:30 SESSION 1 1h Classical belief revision and belief merge, tutorial. Konieczny.
10:30-11:00 Break
11:00-12:00 SESSION 2 1h Classical belief revision and belief merge, discussion.
12:00-13:30 Lunch
13:30-15:30 SESSION 3 2h Group knowledge and belief, tutorial and discussion. Ågotnes.
15:30-16:00 Break
16:00-17:30 SESSION 4 1.5h Plausibility models, tutorial and discussion. Baltag.
17:30-18:00 Wrap-up
Tuesday
09:00-10:30 SESSION 5 1.5h Topological semantics (updated file), tutorial and discussion. Ozgun.
10:30-11:00 Break
11:00-12:00 SESSION 6 1h Paraconsistent logic, tutorial and discussion. Niki.
12:00-13:30 Lunch
13:30-14:00 Group photo
14:00-15:30 SESSION 7 1.5h. Lean with and without LLMs. tutorial by Gattinger, followed by a panel discussion.
15:30-16:00 Break
16:00-17:30 SESSION 8 1.5h Social networks. Pedersen.
17:30-18:00 Wrap-up
Wednesday
09:00-10:30 SESSION 9 1.5h Topological argumentation, tutorial and discussion. Shi.
10:30-11:00 Break
11:00-12:00 SESSION 10 1h Learning theory, tutorial and discussion. Gierasimczuk.
12:00-13:30 Lunch
13:30-18:15 Excursion and Banquet in Kamakura. We have an excursion to see the 'Great Buddha and Hase Temple', the bus leaves at 13h30 sharp from the 1F entrance, we gather at the lobby just before 13h30.
Thursday
09:00-10:30 SESSION 11 1.5h Rump Session (sign up on the whiteboard in room 208)
10:30-11:00 Break
11:00-12:00 Wrap-up 1h
12:00-13:30 Lunch
Note: that the schedule can change, it was last updated on 14-10-2026