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;
Process algebras and calculi;
Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;
Interactive theorem provers;
Student sessions will be organized.
Official web page of the conference.