Please note that this newsitem has been archived, and may contain outdated information or links.
22-26 September 2014, Logic and Applications (LAP 2014), Dubrovnik, Croatia
The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.
The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.
For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Submission deadline: June 2, 2014.
Please note that this newsitem has been archived, and may contain outdated information or links.