posted by user: roopsha || 1803 views || tracked by 10 users: [display]

LICS 2011 : Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE


Conference Series : Logic in Computer Science
When Jun 21, 2011 - Jun 24, 2011
Where Toronto, Canada
Abstract Registration Due Jan 5, 2011
Submission Deadline Jan 12, 2011
Notification Due Mar 7, 2011
Final Version Due Apr 4, 2011

Call For Papers

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011.

At LICS 2011, we will start a series of tutorials on the core areas of logic in computer science. Rather than focussing on a specialised topic, these tutorials will highlight the basic questions, techniques and motivation of a broader area. The tutorials are aimed to be accessible to all LICS participants. In 2011, we will have two half-day tutorials on Finite Model Theory and Semantics respectively, to be held on June 20. The speakers will be Albert Atserias (UPC Barcelona) on Finite Model Theory and Prakash Panangaden (McGill University, Montreal) on Semantics.

Important dates:

* Workshop Proposals Deadline: 16 November 2010
* Paper Registration Deadline (with short abstracts): 5 January 2011
* Paper Submission Deadline: 12 January 2011
* Author Notification: 7 March 2011
* Final Versions for the Proceedings: 4 April 2011
* Conference: 21–24 June 2011

Related Resources

ICCV 2019   International Conference on Computer Vision
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
COMML 2020   International Conference on Optimization, Metaheuristics and Machine Learning
IEEE--ICSIP--Ei Compendex and Scopus 2019   2019 IEEE 4th International Conference on Signal and Image Processing (ICSIP 2019)--Ei Compendex and Scopus
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference
IbPRIA 2019   8th Iberian Conference on Pattern Recognition and Image Analysis
SACLA 2019   Tertiary Education in Informatics and Computer Science: 48th Annual Conference
IEEE ICAECT 2019   2019 First IEEE International Conference on Advances in Electrical, Computing, Communications and Sustainable Technologies