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

LICS 2018   Logic in Computer Science
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
IEEE--ICCC--Ei Compendex and Scopus 2018   2018 4th IEEE International Conference on Computer and Communications (ICCC 2018)--Ei Compendex and Scopus
SetVR 2018   International Workshop on Set Visualization and Reasoning
WACV 2019   IEEE Winter Conf. on Applications of Computer Vision,
LearnAut 2018   Learning and Automata (LearnAut) -- FLoC 2018 Workshop
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems