posted by user: curttissz77 || 6798 views || tracked by 18 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 2021   IEEE Artificial Intelligence & Knowledge Engineering 2021
ICE 2021   14th Interaction and Concurrency Experience
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
LNGAI 2021   The First International Workshop on Logics for New-Generation Artificial Intelligence
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
BLLB 2021   Internationale Tagung: Begriffe der Logik – Logik der Begriffe
Micro - Compiling for Accelerators 2022   IEEE Micro Special Issue on Compiling for Accelerators
SMT 2021   SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories