fabrizio riguzzi xkmmkdfufbjmnujunifeit apologies multiple postings news postproceedings published either new elsevier journal algorithms applied logic ai lecture notes artificial intelligence series springerverlag news ________________________________________________________________ rcra group knowledge representation automated reasoning aiia italian association artificial intelligence organises 14th rcra workshop experimental evaluation algorithms solving problems combinatorial explosion httppstistccnritrcra07 olgf25disuniroma1it ________________________________________________________________ workshop follows series rcra knowledge representation automated reasoning annual meeting held since 1994 success previous events shows rcra becoming major forum exchanging ideas proposing experimentation methodologies algorithms artificial intelligence ________________________________________________________________ date 56 july 2007 venue rome cnr national research council aims scope many problems artificial intelligence show exponential explosion search space although stemming different research areas ai problems often addressed algorithms common goal effective exploration huge state spaces many algorithms developed one research area applicable problems hybridised techniques areas artificial intelligence tools often exploit hybridise techniques developed research communities operations research recent years research ai focussed experimental evaluation algorithms development suitable methodologies experimentation analysis study languages implementation systems definition solution problems scope workshop fostering crossfertilisation ideas stemming different areas proposing benchmarks new challenging problems comparing models algorithms experimental viewpoint general comparing different approaches respect efficiency problem modelling ease development topics interest include limited experimental evaluation algorithms knowledge representation automated reasoning planning scheduling machine learning model checking boolean satisfiability sat constraint programming constraint satisfaction quantified boolean formulae quantified constraints modal logics logic programming disjunctive logic programming temporal reasoning definition construction benchmarks experimentation methodologies metaheuristics algorithm hybridisation static analysis combinatorial problems languages systems definition solution problems comparisons systems algorithms application experiences publications showing negative results welcome provided approach original promising principle experimentation wellconducted results obtained unforeseeable gave important hints comprehension target problem helping researchers avoid unsuccessful paths workshop chairs marco gavanelli universit degli studi di ferrara italy toni mancini universit di roma la sapienza italy program committee marco benedetti universitè dorlèans france francesco buccafurri universit mediterranea di reggio calabria italy amedeo cesta istccnr italy khalil djelloul university ulm germany agostino dovier universit degli studi di udine italy wolfang faber universit della calabria italy marco gavanelli universit di ferrara italy narendra jussien ecole des mines de nantes france daniel le berre universitè dartois france ines lynce universidade tècnica de lisboa portugal donato malerba universit degli studi di bari italy toni mancini universit degli studi di roma la sapienza italy pedro meseguer csiciiia spain ilkka niemela helsinki university technology finland laurent perron ilog france nicola policella european space agency germany steve prestwich cork constraint computation centre ireland andrea roli universit degli studi di bologna italy andrea schaerf universit di udine italy laurent simon lriuniversitè parissud france kostas stathis royal hollowayuniversity london united kingdom armando tacchella universit di genova italy mirek truszczynski university kentucky usa host organization istccnr institute cognitive science technology italian national research council local committee amedeo cesta istccnr rome italy nicola policella istccnr rome italy simone fratini istccnr rome italy important dates paper submission deadline 25 april 2007 notification acceptancereject 25 may 2007 final version 20 june 2007 workshop 56 july 2007 submissions papers exceed 15 pages latex standard article style 11pt submitted electronically via email olgf25disuniroma1it either postscript pdf format two types submissions possible original papers previously published conferences journals informal presentations overviews research projects position papers types submissions reviewed least three members program committee accepted papers electronically published workshop web site informal presentations aimed fostering discussion participants publication workshop authors original papers invited submit extended version postproceedings publication either new elsevier journal algorithms applied logic ai springer verlag series lecture notes artificial intelligence fabrizio riguzzi phd dipartimento di ingegneria universita di ferrara via saragat 1 i44100 ferrara italy tel39 0532974836 fax39 0532974870 mobile39 3297506538 email xkmmkdfufbjmnujunifeit httpwwwingunifeitdocentifabrizioriguzzi _______________________________________________ uai mailing list faqengrorstedu httpssecureengroregonstateedumailmanlistinfouai wed 06 aug 2008 185026 0200 uai rcra 2007 second cfp news