CRA organizes an annual workshop, on various topics in the field of Knowledge Representation and Automated Reasoning.
Barcelona, Spain, 17-18 July 2011Such events, typically had a national character until 2006. From 2007, due to their increasing success, the working group organizes an international workshop. Workshop proceedings have always been published on the Web and, sometimes, as technical reports or CD-ROMs with ISBN.
Moreover, in some years, workshop post-proceedings with extended versions of selected papers have been published in special issues of the Italian journal Intelligenza Artificiale and its predecessor
AI*IA Notizie, both edited by the Italian Association for Artificial Intelligence (AI*IA).
International workshopsBologna, Italy, June 10-11, 2010. Proceedings appear as Vol. 616 of CEUR Workshop Proceedings Series.
The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Udine, December 12-13, 2008). Proceedings appear as Volume 451 of CEUR Workshop Proceedings. Post proceedings are published in Fundamenta Informaticae, Volume 102, Number 3-4, 2010. Guest editors' preface.
|