LICS 2012 : 27th Annual IEEE Symposium on Logic in Computer Science

posted by user: shel || 6522 views || tracked by 19 users: [display]

LICS 2012 : 27th Annual IEEE Symposium on Logic in Computer Science

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

SOFSEM 2021 47th International Conference on Current Trends in Theory and Practice of Computer Science

SLIE 2021 Semantic, Logics, Information Extraction and AI

ICSRS--Scopus & EI Compendex 2021 2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex

SI-DAMLE 2020 Special Issue on Data Analytics and Machine Learning in Education

ICRE--EI Compendex, Scopus 2021 2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus

4th ICSTR Rome 2021 4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021

ICFSP--IEEE, Ei, Scopus 2021 IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus

IEEE ICCSN--Ei Compendex, Scopus 2021 2021 13th International Conference on Communication Software and Networks (ICCSN 2021)--IEEE, Ei Compendex, Scopus

LICS 2020 Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science

AsiaCCS 2021 The 16th ACM ASIA Conference on Computer and Communications Security [First Round]