Programme

(please click on "schedule" to see the program)

The programme includes plenary tutorials,  plenary invited lectures and  parallel tracks of contributed talks. In addition, there is one workshop.

Tutorial speakers

• Language:  TBA
• Logic & Computation:  TBA

Invited speakers

• Language:  TBA
• Logic & Computation: TBA