text_combined: moshe vardi vonciycsriceedu acm tocl call nominations nominations including self nominations invited next editorinchief acm transactions computational logic tocl see httpwwwacmorgpubstocl position threeyear term starting august 1 2005 may renewed second term candidates wellestablished researchers areas related computational logic broadly conceived also broad experience journal editors conference program committee members nominations including current curriculum vitae brief statement vision tocl sent june 1 2005 moshe vardi final selection made selection committee consisting moshe vardi chair rice university joseph halpern cornell university gordon plotkin university edinburgh wolfgang thomas rwth aachen nominations received june 1 2005 also considered position yet filled wed 06 aug 2008 043717 0500 uai acm transactions computational logic call nominations