Programme

The conference begins at 9 am on 17 June and finishes at 5 pm on 21 June. Here is the Programme of the conference:

Scientific Programme

Venue:

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.

Contributed talk: 

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.