conference web site / Papers describing applications / semantic web / software verification / /
Organization
Department of Computer Science / ORGANIZING COMMITTEE / University of Koblenz / /
Person
Thomas Kleemann Jan Murray Oliver / Vladimir Klebanov Thomas Kleemann Jan / Christian Ferm¨uller Ulrich / Lawrence Paulson David / Jan Murray Oliver Obst Alex / Ulrich Furbach Didier Galmiche Martin / Didier Galmiche Martin Giese Rajeev / Alex Sinner / Reinhold Letz Carsten Lutz Maarten / Peter H. Schmitt Viorica / David A. Plaisted Peter / V. Murray Ilkka Niemel / Neil V. Murray / Rajeev P. Gor`e Jean / Bernhard Beckert / Roy Dyckhoff Christian Ferm / Christoph Kreitz Reinhold Letz Carsten / Carsten Lutz Maarten Marx Ugo Moscato / Marta Cialdea Mayer Roy Dyckhoff / Peter Baumgartner Marta Cialdea Mayer / Christoph Wernhard / Jean GoubaultLarrecq / /
Position
author / chair / Publicity Chair / Conference Chair / GENERAL INFORMATION This conference / /