The conference brings together researchers from various fields of logic with applications in computer science.

Topics of interest include, but are not restricted to:

• Formal systems of classical and non-classical logic;

• Category theory;

• Proof theory;

• Model theory;

• Set theory;

• Type theory;

• Lambda calculus;

• Process algebras and calculi;

• Behavioural types;

• Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;

• Computational complexity;

• Interactive theorem provers;

• Security.

Student sessions will be organized.

Official web page of the conference.