iclp07 publicity ugxd24ztornvgdrdiuevorapt apologies crossposting call papers 23rd international conference logic programming iclp 2007 porto portugal september 813 2007 httpwwwdccfcuppticlp07 conference scope since first conference held marseilles 1982 iclp premier international conference presenting research logic programming contributions 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 language issues concurrency objects coordination mobility higher order types modes programming techniques alternative paradigms abductive logic programming answer set programming constraint logic programming inductive logic programming alternative inference engines mechanisms applications deductive databases data integration software engineering natural language web tools internet agents artificial intelligence bioinformatics three broad categories submissions 1 technical papers specific attention given work providing novel integrations areas listed 2 application papers emphasis impact application domain opposed advancement stateoftheart logic programming 3 posters ideal presenting discussing current work yet ready publication phd thesis summaries research project overviews addition papers posters technical program include invited talks tutorials doctoral consortium workshops papers posters papers posters must describe original previously unpublished research must simultaneously submitted publication elsewhere must written english technical papers application papers must exceed 15 pages springer lncs format limit posters 2 pages format publication expected proceedings published springerverlag lncs series accepted papers abstracts accepted posters included proceedings important dates paper registration deadline march 2 2007 submission deadline march 9 2007 notification authors may 4 2007 cameraready copy due june 8 2007 iclp 2007 organization program cochairs verónica dahl ilkka niemelä general chair fernando silva local chair ricardo rocha publicity chair salvador abreu contact address rinu60dccfcuppt program committee maurice bruynooghe keith clark verónica dahl cochair marina de vos yannis dimopoulos inês dutra esra erdem maurizio gabbrielli patricia hill katsumi inoue tomi janhunen tony kusalik nicola leone vladimir lifschitz ilkka niemelä cochair luís moniz pereira german puebla francesca rossi kostis sagonas peter schachte torsten schaub fernando silva guillermo r simari tran cao son paul tarau francesca toni eric villemonte de la clergerie david warren stefan woltran conference venue iclp 2007 held city porto second largest portugal porto located douro river atlantic truly unique appearance many striking bridges historic center classified unesco world heritage site new house music rem koolhaas nice museum modern art museu de serralves porto also well known much celebrated port wine grown douro valley conference feature cruise douro river along optional tours thu 07 aug 2008 134823 0000 uai cfp 23rd international conference logic programming iclp 2007