“第三十届国际符号与代数计算会议”（ISSAC' 2005）于2005年7月24-27日在北京友谊宾馆举行。ISSAC是符号和代数计算方面最权威的国际会议。本次会议由数学机械化重点实验室主办。会议程序包括三个邀请报告，48个学术报告，三个短期课程，三个卫星会议，以及墙报交流与软件演示。会议代表180余人，其中国外学者102 人。吴文俊院士应邀在ISSAC2005做了邀请报告。这是他在ISSAC’87上做邀请报告以来第二次在ISSAC会议上做邀请报告。Groebner理论的创立者B. Buchberger与法国学者B. Salvey也应邀做了邀请报告。