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

CSSE 2026   4th International Conference on Computer Science and Software Engineering
ReacTS 2026   3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
IEEE ASIP 2026   IEEE--2026 8th Asia Symposium on Image Processing (ASIP 2026)
AIAA 2026   16th International Conference on Artificial Intelligence, Soft Computing and Applications
CSEA 2026   12th International Conference on Computer Science, Engineering and Applications
Call for Papers: AIFORGE 2026   International Conference on Agentic Intelligence for Foundations, Orchestration, Research, Governance and Engineering
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
IEEE SMC 2027   IEEE International Conference on Systems, Man, and Cybernetics
IEEE ICCT-PACIFIC 2026   2026 IEEE 2nd International Conference on Consumer Technology - Pacific (ICCT-Pacific 2026)
IEEE ICBET 2027   IEEE--2027 17th International Conference on Biomedical Engineering and Technology (ICBET 2027)