KInAR Program Committee
The program committee of KInAR 2014 is shown below.
- Peter Baumgartner (National ICT Australia)
- Vinay K Chaudhri (SRI International)
- Ulrich Furbach (University of Koblenz) - chair
- Michael Kohlhase (KWARC)
- Björn Pelzer (University of Koblenz) - chair
- Geoff Sutcliffe (University of Miami)
- Josef Urban (Radboud University)