IRIA 5th conference on automated deduction : July 8–11, 1980, Les Arcs, Savoie, France
- Publisher
- Elsevier Science
- Year
- 1980
- Tongue
- English
- Weight
- 62 KB
- Volume
- 13
- Category
- Article
- ISSN
- 0004-3702
No coin nor oath required. For personal study only.
✦ Synopsis
This international conference, fike its predecessors at Argonne, IL (1974), Oberwolfach, West Germany (1976), Cambridge, MA (1977) and Austin, TX (1,979) will cover all approaches to the automation of deductive reasoning. Submitted papers should range from those concerned with reporting purely theoretical Jesuits to those reporting experiments with running systems. This year's conference, organized by Institut de Recherche d'Informatique et d'Automatique will take place at Les Arcs, Savoie, France, from July 8th to July llth, 1980.
Topics (not exhaustive)
Analysis of deductive systems, Rewrite rules, Unification, Formal representation and use of knowledge, Design, Implementation and Experimentation with deductive systems, Special purpose deductive systems, Applications, such as Mathematics, Program synthesis, verification and transformation, Logic programming, Deductive databases and Problem Solving.