Congreso IJCAR 2010 : 5th International Joint Conference on Automated Reasoning
IJCAR (The International Joint Conference on Automated Reasoning) es la unión de los distintos congresos de razonamiento automático y abarca todos sus aspectos: fundamentos, implementaciones y aplicaciones.
El IJCAR 2010 se celebra el 16 de Julio en Edimburgo. El envío de artículos ermina el 15 de Enero.