News and Events: Conferences

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

Date: 22-26 September 2014
Location: Dubrovnik, Croatia
Deadline: 2 June 2014

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.