Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP: 3rd Workshop on Answer Set Programming and Other Computing Paradigms

CALL FOR PAPERS ASPOCP 2010 3rd Workshop on Answer Set Programming and Other Computing Paradigms http://www.dbai.tuwien.ac.at/proj/aspocp10/ Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 AIMS AND SCOPE Since its introduction in the 1990s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of co...

2010-01-09 20:15:39 + Комментировать

Система компьютерной алгебры GAP: Automated Deduction in Geometry

ADG 2010 - Munich _ Eighth International Workshop on Automated Deduction in Geometry July 22-24 2010 https://lsiit.u-strasbg.fr/adg2010 _ ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the presention of research results and progress, and to the demonstration of software tools on the intersection between geometry and automated deduction. ADG workshops are organized biennially. The previous ones were held in Shanghai: (China) 2008, Pontevedra (Spain) 2006, G...

2010-01-09 20:15:24 + Комментировать