posted by user: shel || 6273 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

IEEE-CC 2020   First IEEE International Conference on Conversational Computing
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
CONCUR 2020   31st International Conference on Concurrency Theory
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
UNIF 2020   The 34th International Workshop on Unification
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
IEEE AIVR 2020   3rd IEEE International Conference on Artificial Intelligence & Virtual Reality