frontiers combining systems preliminary call papers second international workshop frocos 98 frontiers combining systems october 2 4 1998 amsterdam various areas logic computation language processing artificial intelligence obvious need using specialized formalisms inference mechanisms special tasks order usable practice specialized systems must combined must integrated general purpose systems recently development general techniques combination integration special systems initiated many areas frocos 96 frontiers combining systems 98 frocos 98 second workshop intended offer common forum research activities also aims offer possibbility presenting results particular instances combination integration practical use topics suggested exclusive topics interest workshop combination constraint solving techniques combination decision procedures integration equational theories deductive systems integration data structures clp formalisms deduction processes combinations logics term rewriting systems hybrid systems computational linguistics knowledge representation natural language processing human computer interaction logical modeling multiagent systems programme commitee franz baader david basin jacques calmet dov gabbay cochair natasha kurtonina aart middeldorp istvan nemeti maarten de rijke cochair christophe ringeissen klaus schulz amilcar sernadas michael wooldridge invited speakers names invited speakers released shortly paper submissions authors invited submit detailed abstract full paper 10 pages second programme cochair either email preferred regular mail results must unpublished submitted publication elsewhere cover page include title authors coordinates corresponding author following indicated thematic areas best describes content paper considered submissions must received later may 15 1998 submissions thoroughly evaluated basis referee reports papers selected presentation workshop proceedings authors notified july 15 1998 intend publish proceedings volume kluwer series applied logic addresses submissions electronic submissions sent frocos98 wins uva nl using submission subject line paper submissions sent maarten de rijke attn frocos 98 illc university amsterdam plantage muidergracht 24 1018 tv amsterdam netherlands important dates submission deadline may 15 1998 notification july 15 1998 workshop october 2 4 1998 local arrangements carlos areces christof monz maarten de rijke marco de vries information email inquiries frocos 98 directed frocos98 wins uva nl information frocos 98 obtained world wide web http www wins uva nl mdr frocos98 sponsors frocos 98 sponsored computational logic project illc university amsterdam