posted by user: shel || 6156 views || tracked by 19 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

AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
IEEE-CC 2020   First IEEE International Conference on Conversational Computing
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
CONCUR 2020   31st International Conference on Concurrency Theory
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
IULP 2020   3rd International Workshop on User-Oriented Logic Paradigms
2nd ICSTR Istanbul 2020   2nd ICSTR Istanbul – International Conference on Science & Technology Research, 08-09 October 2020
ICSTR Osaka 2020   ICSTR Osaka – International Conference on Science & Technology Research, 14-15 October 2020