posted by user: curttissz77 || 9668 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

IEEE-ADMIT 2025   2025 IEEE 4th International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2025)
JELIA 2025   19th European Conference on Logics in Artificial Intelligence
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
IEEE-MLNLP 2025   2025 IEEE 8th International Conference on Machine Learning and Natural Language Processing (MLNLP 2025)
DSIT 2025   2025 IEEE 8th International Conference on Data Science and Information Technology (DSIT 2025)
IEEE-DSIS 2025   2025 International Conference on Data Science and Intelligent Systems (DSIS 2025)
FoIKS 2026   International Symposium on Foundations of Information and Knowledge Systems
IEEE ICCRD 2026   2026 IEEE 18th International Conference on Computer Research and Development (ICCRD 2026)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing