ld 98 call participation ld 98 first international workshop labelled deduction freiburg germany september 7 9 1998 http www informatik unifreiburg de ld98 call participation advanced program registration travel accomodation information available homepage workshop http www informatik unifreiburg de ld98 aim format survey research field allow researchers logic computer science artificial intelligence linguistics etc exchange ideas techniques results finished work work progress reported topics interest papers current research aspects labelled deduction including limited logical modeling based labelled deduction formal metatheory based labelled deduction hybrid reasoners combinations logics based labelling automated reasoning implementation system support annotated logic programming applications conference site institut fuer informatik university freiburg freiburg medieval town 200 000 inhabitants edge black forrest city easily accessible within hour international airports strasbourg basel also good connections hourly trains airports frankfurt zurich 2 3 hours away organizing committee david basin luca vigano program committee david basin institut fuer informatik freiburg germany marcello agostino universita di ferrara italy dov gabbay king college london uk sean matthews max planck institut fuer informatik saarbruecken germany luca vigano institut fuer informatik freiburg germany