posted by system || 2613 views || tracked by 2 users: [display]

CILC 2012 : 9th Italian Convention on Computational Logic

FacebookTwitterLinkedInGoogle


Conference Series : Italian Conference on Computational Logic
 
Link: http://www.dis.uniroma1.it/~cilc2012
 
When Jun 6, 2012 - Jun 7, 2012
Where Rome, Italy
Submission Deadline Mar 16, 2012
Categories    logic
 

Call For Papers

The 9th Italian Convention on Computational Logic (CILC 2012) will take place at the Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" (formerly, DIS: Dipartimento di Informatica e Sistemistica) of Sapienza Università di Roma from June 6th to June 7th, 2012.

CILC 2012 encompasses the 27th annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), the Italian association for Logic Programming affiliated to ALP (Association for Logic Programming). Since 1986, the annual meeting organized by GULP is the most important occasion for meeting and exchanging ideas and experiences between users, researchers and developers, who work in the field of computational logic. During its 26 years of recurrence, the annual GULP meeting has continually widened its horizons from the field of traditional logic programming to the more general areas of declarative programming and its applications in various neighboring fields, such as Artificial Intelligence or Deductive Databases. Also in this year's convention, GULP wants to continue and possibly widen this policy, using the general term Computational Logic for integrating the various research fields, which use in direct or indirect, practical or theoretical ways or just addresses the ideas or techniques of logic as a tool for representation and calculation.

Related Resources

IJCOL-NLAIELLM 2024   Special Issue: Natural Language for Artificial Intelligence in the Era of LLMs IJCoL - Italian Journal of Computational Linguistics
CONCUR 2024   International Conference on Concurrency Theory
ITADATA 2024   The 3rd Italian Conference on Big Data and Data Science
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
MIPRO 2024   47th ICT and Electronics Convention
ISCSIC 2024   2024 8th International Symposium on Computer Science and Intelligent Control(ISCSIC 2024)
MIWAI 2024   17th Multi-Disciplinary International Conference on Artificial Intelligence
ISEEIE 2024   2024 4th International Symposium on Electrical, Electronics and Information Engineering (ISEEIE 2024)