posted by user: curttissz77 || 11719 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-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)
ReacTS 2026   3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
20th IEEE MCSoC 2027   20th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2027)
DEON 2027   18th International Conference on Deontic Logic and Normative Systems, 29 June–1 July 2027, Hangzhou, China (First announcement)
CoSEHS 2027   2027 International Conference on Sport, Exercise and Health Science
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
CFABE 2027   2027 International Conference on Food, Agriculture, Biotechnology and Environment
IEEE ICRCV 2026   IEEE--2026 8th International Conference on Robotics and Computer Vision (ICRCV 2026)
ICRCV 2026   IEEE--2026 8th International Conference on Robotics and Computer Vision (ICRCV 2026)
IEEE SMC 2027   IEEE International Conference on Systems, Man, and Cybernetics