sentence: academic service sattler is an editor of the journal of logic and computation , on the editorial board of the journal of automated reasoning , and a chair for various conferences including the international joint conference on automated reasoning .