Subject: ld ' 98 - call for participation

ld ' 98 the first international workshop on labelled deduction freiburg , germany september 7 - 9 , 1998 http : / / www . informatik . uni-freiburg . de / ~ ld98 * * * * * * * * * * * * * * * * * * * * * * * * * * * call for participation * * * * * * * * * * * * * * * * * * * * * * * * * * * advanced program , registration , travel and accomodation information are available at the homepage of the workshop http : / / www . informatik . uni-freiburg . de / ~ ld98 aim and format to survey research in the field , and to allow researchers ( in logic , computer science , artificial intelligence , linguistics , etc . ) to exchange ideas , techniques and results . both finished work and work in progress will be reported . topics of interest papers on current research in all aspects of labelled deduction , including but not limited to : o logical modeling based on labelled deduction o formal metatheory for , or based on , labelled deduction o hybrid reasoners and combinations of logics based on labelling o automated reasoning , implementation , and system support o annotated logic programming o applications conference site institut fuer informatik of the university of freiburg . freiburg is a medieval town of about 200 , 000 inhabitants at the edge of the black forrest . the city is easily accessible , being within an hour from international airports in strasbourg and basel . there are also good connections ( hourly trains ) to airports in frankfurt and zurich , which are about 2 to 3 hours away . organizing committee david basin and luca vigano ` program committee david basin , institut fuer informatik , freiburg , germany marcello d ' agostino , universita ` di ferrara , italy dov gabbay , king 's college , london , uk sean matthews , max - planck - institut fuer informatik , saarbruecken , germany luca vigano ` , institut fuer informatik , freiburg , germany
