Duration
21 Sep 2015 - 25 Sep 2015
The conference brings together researchers from various fields of logic with
applications in computer science (and offers courses) on topics which include,
but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Type theory
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or
contradictory information;
- Computational complexity;
- Interactive theorem provers.
The conference web page with more detailed information can be found here: imft.ftn.uns.ac.rs/math/cms/LAP2015