Logic and Applications - LAP 2014
Month: September 2014
Date: September 22--26
Name: Logic and Applications - LAP 2014
Location: Inter-University Center, Dubrovnik, Croatia.
The conference brings together researchers from various fields of logic with applications in computer science.
Of interest 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. Student sessions will be organized. The first conference Proof Systems: Sustavi dokazivanja was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. The second conference Logic and Applications 2013: LAP 2013 was held in Dubrovnik, September 16-20, 2013.