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: