text_combined: iclp 08 fwjq80frfcsnmsuedu first call papers iclp08 24th international conference logic programming udine italy december 9th13th 2008 httpiclp08dimiuniudit conference scope since first conference held marseilles 1982 iclp premier international conference presenting research logic programming contributions papers position papers posters sought areas logic programming including restricted theory semantic foundations formalisms nonmonotonic reasoning knowledge representation implementation compilation memory management virtual machines parallelism environments program analysis program transformation validation verification debugging profiling integration language issues extensions integration paradigms concurrency modularity objects coordination mobility higher order types modes programming techniques related paradigms abductive logic programming inductive logic programming constraint logic programming answerset programming applications databases data integration federation software engineering natural language processing web semantic web agents artificial intelligence bioinformatics three broad categories submissions 1 technical papers providing novel research contributions innovative perspectives field andor novel integrations across different areas 2 application papers describing innovative uses logic programming technology realworld application domains 3 posters ideal presenting discussing current work yet ready publication phd thesis summaries research project overviews separate session dedicated celebration 20th anniversary stable model semantics also part program accepted papers posters allocated time presentation conference least one author accepted submission expected register participate event addition papers posters technical program include invited talks advanced tutorials specialized sessions workshops doctoral student consortium details become available posted httpiclp08dimiuniudit papers posters papers posters must describe original previously unpublished research must simultaneously submitted publication elsewhere emphasis placed novelty innovative nature results even completely polished refined submissions peerreviewed international panel submissions must contain substantial original unpublished material submissions must written english technical papers application papers must exceed 15 pages springer lncs format see httpwwwspringeronlinecomlncs limit posters 5 pages format primary means submission electronic easychair submission system submission page available httpwwweasychairorgconferencesconficlp08 publication proceedings conference published springerverlag lncs series accepted papers posters included proceedings workshops iclp08 program include several workshops perhaps best place presentation preliminary work novel ideas new open problems focused specialized audience workshops also provide venue presenting specialised topics opportunities intensive discussions project collaboration areas related logic programming including crossdisciplinary areas doctoral consortium doctoral consortium dc logic programming 4th doctoral consortium provide doctoral students opportunity present discuss research directions obtain feedback peers wordrenown experts field dc also offer invited speakers panel discussions accepted participants receive partial financial support attend event main conference best paper presentation dc given opportunity present special session main iclp conference celebrating 20th years stable model semantics year 2008 marks 20th anniversary publication introduced stable model semantics logic programs negation paper titled stable semantics logic programs michael gelfond vladimir lifschitz presented iclp1988 momentous event gave rise vibrant subfield logic programming known answerset programming distinguishing aspects close connections fields knowledge representation satisfiability constraint satisfaction ever faster computational tools growing list successful applications celebrate stablemodel semantics special session iclp 2008 dedicated answerset programming session feature talks michael gelfond vladimir lifschitz well major contributions field presenting personal perspectives stablemodel semantics impact future panel discussion regular accepted iclp papers falling answerset programming area complete program conference venue conference held city udine capital historical region friuli italy located adriatic sea alps close venice austria slovenia udine city roman origins funded emperor otto 983 rich historical sites udine also famous commercial shopping opportunities outstanding wine culinary traditions support sponsoring awards conference sponsored association logic programming alp alp funds assist financially disadvantaged participants alp planning sponsor two awards iclp 2008 best technical paper best student paper important dates papers posters abstract submission deadline june 2nd na submission deadline june 9th august 15th notification authors august 1st september 1st cameraready copy due september 15th september 15th 20 years stable models tba doctoral consortium tba workshop proposals june 2nd earlybird registration tba conference december 913 2008 iclp2008 organization general chair agostino dovier university udine program cochairs maria garcia de la banda monash university enrico pontelli new mexico state university workshop chair tran cao son new mexico state university doctoral student consortium david warren suny stony brook tom schrijvers kuleuven publicity cochairs marcello balduccini kodak research labs alessandro dal palu university parma programming competition chair bart demoen kuleuven 20 years stable models mirek truszczynski university kentucky andrea formisano university perugia program committee salvador abreu sergio antoy pedro barahona chitta baral gerhard brewka manuel carro michael codish alessandro dal palu bart demoen agostino dovier john gallagher michael gelfond carmen gervet gopal gupta manuel hermenegildo andy king michael maher juan moreno navarro alberto pettorossi brigitte pientka gianfranco rossi fariba sadri vitor santos costa tran cao son paolo torroni frank valencia mark wallace web master raffaele cipriano local arrangements committee alberto casagrande elisabetta de maria luca di gaspero carla piazza information sneh22csnmsuedu httpiclp08dimiuniudit fri 08 aug 2008 040300 0700 uai iclp08 call papers