Main page

Photos

Registration

(Preliminary) programme

Call for papers

Invited speakers

Accepted papers

Important dates

Venue

Travel and accommodation

Committees

Related events

Contact us

Committees

Programme Chair

Frank Wolter, Liverpool, UK

Conference Chair

Boris Konev, Liverpool, UK

Programme Committee

• Alessandro Armando
• Franz Baader
• Jacques Calmet
• Silvio Ghilardi
• Bernhard Gramlich
• Deepak Kapur
• Boris Konev
• Till Mossakowski
• Joachim Niehren
• Albert Oliveras
• Dirk Pattinson
• Silvio Ranise
• Mark Reynolds
• Christophe Ringeissen
• Ulrike Sattler
• Amilcar Sernadas
• Cesare Tinelli
• Luca Vigano
• Frank Wolter