IWIL 2010: Editor's PrefaceThis volume contains the papers presented at IWIL 2010: The 8th International Workshop on the Implementation of Logics held on October 9, 2011 in Yogyakarta, Indonesia. There were 9 submissions, made through EasyChair. Each submission was reviewed by at least 3 program committee members. The committee decided to accept 6 papers. The program also included an invited talk. Geoff Sutcliffe
Eugenia Ternovska Stephan Schulz March 8, 2011
Coral Gables |