The conference begins at 9 am on 17 June and finishes at 5 pm on 21 June. Here is the Programme of the conference:
The conference will be on Block 7, at NU.
All plenary talk will be at the room: 7.e222.
Special sessions will in:
Logic in Computer Science: 7.e220.
Philosophical logic: 7.e221
Set theory: 7.e222
Model theory and Computability theory: 7.e222.
Will be in 7.246 and 7.210.
The classrooms: 7.246 and 7.210 will open for discussions and your use during the conference time.