\n

Calcu lemus is a series of conferences dedicated to the integration of\n computer algebra systems ( CAS) and automated deduction systems (ADS)\n towards the development of universal mathematica l assistant systems (MAS).\n

\n\ n Currently, symbolic computation is divided into several (more or less)\n independent b ranches, traditional ones (e.g. computer algebra a nd theorem\n proving) as well as newly emer ging ones (on user interfaces, knowledge\n management, theory exploration, etc.). The main co ncern of the Calculemus\n community is to b ring these developments together in order to facil itate\n the theory, design, and implementat ion of integrated MAS that will\n routinely be used by mathematicians, computer scientists, a nd engineers in\n their every-day business. \n

\n \n \nFor more info rmation, see\n http://www.risc.uni-linz.ac.at/about/ conferences/Calculemus2007/\n

\n < /div>\n

URL:/NewsandEvents/Events/Conferences/newsitem/163
6/27-30-June-2007-Calculemus-2007-RISC-Institute-C
astle-of-Hagenberg-Austria
END:VEVENT
END:VCALENDAR
For the upcoming Calculemus m eeting, we seek original research papers in this\n context. \n Submission deadline is February 12, 2007.\n

\n