Date: Wed, 20 Nov 1996 23:17:33 GMT Server: NCSA/1.5 Content-type: text/html 22C:295 Seminar in artificial intelligence - Spring 1995

22C:295 Seminar in artificial intelligence - Spring 1995

Parallelization of deduction strategies

Instructor: Maria Paola Bonacina (bonacina@cs.uiowa.edu)

Class meetings: 10:55 - 12:10 TuTh in 422 Gilmore Hall

This course is an extension of the tutorial of the same title that the instructor gave at the Twelfth International Conference on Automated Deduction (CADE) in June 1994, Nancy, France, and its background may be found in the paper
``Parallelization of deduction strategies: an analytical study'',
M. P. Bonacina and J. Hsiang, Journal of Automated Reasoning, Vol. 13, 1-33, 1994.

Contents of the course: The parallelization of deduction strategies is a research topic which is becoming increasingly popular and important. It combines knowledge from theorem proving, distributed systems, parallel programming and distributed algorithms. This course provides a systematic approach to this area at the cross-road of several fields. The course is organized as follows:

Back to my teaching page.

This page was last updated on Monday, 13-May-96 11:47:40 CDT by Maria Paola Bonacina (bonacina@cs.uiowa.edu).