Chairs
Conference Chairs:
Programme Committee Chairs:
- Bernhard Gramlich, TU Wien, Austria
- Dale Miller, INRIA Saclay, France
- Uli Sattler, University of Manchester, UK
Satellite Event Chair:
- Birte Glimm, University Ulm, Germany
Competitions Chair:
IJCAR – The 6th International Joint Conference on Automated Reasoning |
||||
| CADE | FroCoS | FTP | Tableaux | |
| The International Joint Conference on Automated Reasoning | ||||
Conference Chairs:
Programme Committee Chairs:
Satellite Event Chair:
Competitions Chair:
