book labelled deduction second call papers labelled deduction edited volume intended applied logic series kluwer academic publishers http www informatik unifreiburg de ld98 background september 1998 university freiburg germany hosted ld 98 first international workshop labelled deduction participants ld 98 reported research related based labelled deduction many areas computer science artificial intelligence mathematical logic cognitive science philosophy computational linguistics information ld 98 available url workshop http www informatik unifreiburg de ld98 ws motivated success workshop members program committee ld 98 edit volume collecting original papers topic titled labelled deduction edited volume intended applied logic series kluwer academic publishers topics interest title reflects planned contents book welcome original contributions theoretical practical 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 submissions authors invited submit full papers 18 pages formatted described received january 31st 1999 notification acceptance rejection papers sent april 30th 1999 final versions accepted papers due june 15th 1999 submitted papers must original submitted publication elsewhere primary means submission electronic postscript format papers emailed ld98 informatik unifreiburg de electronic submission possible 5 hard copies sent postal address given regardless submission method letter email message accompanying paper must contain title authors contact information email postal addresses authors strongly encouraged use latex2e article document class a4paper 11pt options basic dimensions a4paper 11pt format approximately text height 300mm text width 210mm 11pt text 13 5pt leading baseline skip submitted papers must written english reception submissions confirmed email succeeded printing paper important dates submission deadline january 31st 1999 notification acceptance april 30th 1999 deadline final papers june 15th 1999 program committee david basin institut fr informatik albert ludwigs universitt freiburg germany marcello agostino universit di ferrara italy dov gabbay king college london uk sen matthews max planck institut fr informatik saarbrcken germany luca vigan institut fr informatik albert ludwigs universitt freiburg germany addresses labelled deduction ld 98 home page http www informatik unifreiburg de ld98 email ld98 informatik unifreiburg de post labelled deduction c luca vigan institut fr informatik albert ludwigs universitt freiburg universittsgelnde flugplatz d79110 freiburg germany phone 49 761 2038243 fax 49 761 2038242