posted by user: darkal || 2035 views || tracked by 5 users: [display]

LAP 2014 : Logic and Applications 2014

FacebookTwitterLinkedInGoogle

Link: http://imft.ftn.uns.ac.rs/math/cms/LAP2014
 
When Sep 22, 2014 - Sep 26, 2014
Where Dubrovnik, Croatia
Submission Deadline Jun 2, 2014
Notification Due Jun 30, 2014
Categories    logic   theory   formal systems   complexity
 

Call For Papers

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;
- 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.

Important Dates

Abstract Submission: June 2, 2014
Author Notification: June 30, 2014
Registration

Registration fee: 50 EUR
It covers the booklet of abstracts and coffee breaks. The registration fee is payable in cash upon arrival.

Submission

Authors should submit an abstract in LaTeX format, not exceeding three pages, to vlp@mi.sanu.ac.rs with the subject "LAP 2014".
Venue

IUC-Inter University Center Dubrovnik
map
Course directors

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

Related Resources

IEA/AIE 2018   Industrial, Engineering & Other Applications Applied Intelligent Systems
KRR@SAC 2018   KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)
WACV 2017   IEEE Winter Conference on Applications of Computer Vision
Gift-ACLA 2017   The Gift in Literature: ACLA Seminar
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
ICITA 2018   International Conference on Information Technology and Applications
ICCD 2017   International Conference on Computer Design
WALCOM 2018   The 12th International Conference and Workshop on Algorithms and Computation (WALCOM)
LOPAL 2018   International Conference on Learning and Optimization Algorithms: Theory and Applications
SI-SoftMM 2017   Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications