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

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

FacebookTwitterLinkedInGoogle


Conference Series : Logic in Computer Science
 
Link: http://www2.informatik.hu-berlin.de/lics/lics11/
 
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

FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
IEEE AIML4COINS 2020   IEEE AIML4COINS2020 | Artificial Intelligence | Machine Learning | Deep Learning | Machine Vision | Big Data Analytics | Video Analytics | Speech Recognition | NLP
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
IEEE ICIVC--Ei Compendex, Scopus 2020   2020 5th IEEE International Conference on Image, Vision and Computing (IEEE ICIVC 2020)--Ei Compendex, Scopus
IEEE CiSt 2020   6th IEEE Congress on Information Science and Technology
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
ISCSIC 2020   2020 4th International Symposium on Computer Science andComputer Science(ISCSIC 2020)
WoWMoM-CCNCPS 2020   CCNCPS 2020: IEEE Workshop on Communication, Computing, and Networking in Cyber Physical Systems
ISBDAI 2020   【Ei Compendex Scopus】2020 International Symposium on Big Data and Artificial Intelligence