[TYPES/announce] LAP 2013 - Logic and Applications: CFP

Silvia Ghilezan gsilvia at uns.ac.rs
Wed May 29 10:24:14 EDT 2013


[ Please broadcast/post/forward. Apologies for duplicates]

LAP 2013 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2013
September 16-20, 2013, Dubrovnik, Croatia

http://imft.ftn.uns.ac.rs/math/cms/LAP2013

The conference brings together researchers from various fields of logic 
with applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- 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 first conference Proof Systems was held in Dubrovnik on June 28, 
2012, co-located with the conference LICS 2012.

IMPORTANT DATES
Abstract Submission: June 21, 2013
Author Notification: June 30, 2013

SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three 
pages, to
vlp at mi.sanu.ac.rs
(with the subject "LAP 2013").

LOCATION:
IUC - Inter University Center Dubrovnik
http://www.iuc.hr/

COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade



More information about the Types-announce mailing list