International Conference on Applications of Symbolic Computation (ACA-2004); July 21-23, 2004; Beaumont, TX

该研讨会将包括由杰出的研究人员组织的十多个会议，他们将专注于自己的应用领域，包括计算机辅助几何设计，几何建模和计算，机器人和运动学，力学，高能物理，经济和金融，定理证明，类型和规格，微分方程，符号数字接口，教育，工程，科学和应用数学。参加这次研讨会的研究人员是世界上最好的。会议名单在提案中。研讨会将在德克萨斯州的博蒙举行。

The workshop will consist of over ten sessions organized by prominent researchers who will focus on their own application areas including computer aided geometric design, geometric modeling and computation, robotics and kinematics, mechanics, high energy physics, economics and finance, theorem provers, types and specifications, differential equations, the symbolic numeric interface, education, engineering, science and applied mathematics. The researchers that are participating in this workshop are among the best in the world. The list of sessions is in the proposal. The workshop will be held in Beaumont, Texas.