Duration
21 Sep 2015 - 25 Sep 2015
An independent international centre for advanced studies
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