posted by user: curttissz77 || 9624 views || tracked by 17 users: [display]

LICS 2012 : 27th Annual IEEE Symposium on Logic in Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Logic in Computer Science
 
Link: http://www2.informatik.hu-berlin.de/lics/index.html
 
When Jun 25, 2012 - Jun 28, 2012
Where Dubrovnik, Croatia
Abstract Registration Due Jan 6, 2012
Submission Deadline Jan 13, 2012
Notification Due Mar 25, 2012
Final Version Due Apr 29, 2012
Categories    logic
 

Call For Papers

LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik, Croatia, from June
25th to 28th, 2012.

Related Resources

Ei/Scopus- CCRIS 2025   2025 IEEE 6th International Conference on Control, Robotics and Intelligent System (CCRIS 2025)
JELIA 2025   19th European Conference on Logics in Artificial Intelligence
Ei/Scopus-CVPRAI 2025   2025 International Conference on Computer Vision, Pattern Recognition and Artificial Intelligence (CVPRAI 2025)
MFCS 2025   Mathematical Foundations of Computer Science
CSPE 2026   IEEE--2026 International Conference on Computational Science and Power Engineering (CSPE 2026)
HCVS 2025   12th Workshop on Horn Clauses for Verification and Synthesis
FoIKS 2026   International Symposium on Foundations of Information and Knowledge Systems
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
Ei/Scopus-IPCML 2025   2025 International Conference on Image Processing, Communications and Machine Learning (IPCML 2025)
FCSIT 2025   2025 4th Eurasian Conference on Frontiers of Computer Science and Information Technology