posted by user: shel || 5060 views || tracked by 20 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

SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
TIME 2018   TIME 2018 first call for papers
IEEE ICECCT 2019   2019 IEEE Third International Conference on Electrical, Computer and Communication Technologies
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
RP 2018   Reachability Problems
ICSC 2019   IEEE International conference on semantic computing
DL 2018   31st International Workshop on Description Logics
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
LOGLEG 2018   Logic, Law and Legal Reasoning