text_combined: ld 98 second cfp ld 98 first international workshop labelled deduction freiburg germany september 7 9 1998 http www informatik unifreiburg de ld98 second call papers aim format survey research field allow researchers logic computer science artificial intelligence linguistics etc exchange ideas techniques results finished work work progress reported welcome three classes submissions presentation system description 2 pages system demo work progress 5 pages short presentation polished work 15 pages long presentation submissions refereed primarily basis relevance informal proceedings distributed workshop since intention workshop survey current work versions papers may appear elsewhere welcome papers may later submitted planned second round refereeing proper publication book journal special issue submissions sent email please mail postscript file plain text file including title authors contact information ld98 informatik unifreiburg de topics interest welcome 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 important dates submission april 15th 1998 notification june 26th 1998 final papers july 31st 1998 workshop sept 7 9 1998 conference site institut fuer informatik university freiburg freiburg town 200 000 inhabitants edge black forest 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 imperial college london uk sean matthews max planck institut fuer informatik saarbruecken germany luca vigano institut fuer informatik freiburg germany addresses ld 98 home page http www informatik unifreiburg de ld98 email ld98 informatik unifreiburg de post ld 98 c luca vigano institut fuer informatik universitaet freiburg flughafen 17 79110 freiburg germany phone 49 761 2038243 fax 49 761 2038242