American Mathematical Society

My Account · My Cart · Customer Services · FAQ  

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.