posted by system || 3825 views || tracked by 8 users: [display]

LICS 2008 : 23rd Annual IEEE Symposium on Logic in Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Logic in Computer Science
 
Link: http://www2.informatik.hu-berlin.de/lics/lics08/cfp08-1.pdf
 
When Jun 24, 2008 - Jun 27, 2008
Where Pittsburgh, PA
Submission Deadline Jan 7, 2008
Categories    computer   logic
 

Call For Papers

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logical frameworks, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, reasoning about security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic.

Important Dates

Authors are required to submit a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. All submissions will be electronic.

* Titles & Short Abstracts Due: January 7, 2008
* Extended Abstracts Due: January 14, 2008
* Author Notification: March 10, 2008
* Camera-ready Papers Due: April 7, 2008

All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission via EasyChair will be posted at the LICS website.

Related Resources

ICFSP--IEEE, Ei, Scopus 2021   IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus
Special Issue of TEVC 2020   IEEE Transactions on Evolutionary Computation CALL FOR PAPERS for Special Issue: Evolutionary Computation Meets Deep Learning
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
WOMoCoE 2020   5th International Workshop on Ontology Modularity, Contextuality, and Evolution
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
ICNCSS 2020   The International Conference on New Computational Social Science
IEEE--CCAI--EI Compendex, Scopus 2021   IEEE--2021 International Conference on Computer Communication and Artificial Intelligence (CCAI 2021)--EI Compendex, Scopus
ICoIAS--IEEE, Ei and Scopus 2021   2021 The 4th IEEE International Conference on Intelligent Autonomous Systems (ICoIAS’2021)--Ei Compendex, Scopus
CCAI--IEEE, Ei, Scopus 2021   IEEE--2021 International Conference on Computer Communication and Artificial Intelligence (CCAI 2021)--EI Compendex, Scopus
ICAISC 2021   International Conference on Artificial Intelligence and Soft Computing