CILC: Italian Conference on Computational Logic

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2013 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CILC 2012 9th Italian Convention on Computational Logic
Jun 6, 2012 - Jun 7, 2012 Rome, Italy Mar 16, 2012
 
 

Present CFP : 2012

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

ICIP 2016   International Conference on Image Processing
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
ACL 2017   The 55th annual meeting of the Association for Computational Linguistics
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
CHI 2017   ACM CHI Conference on Human Factors in Computing Systems
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
FL-CSCW @ FUZZ-IEEE 2017   Special Session on Fuzzy Logic and Computational Intelligence applications for Computer-Supported Collaborative Work
TACL 2017   TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC
ICWSM 2017   11th International AAAI Conference on Web and Social Media
IWCLUL 2017   International Workshop for Computational Linguistics of Uralic Languages