clima vi jxcznygdeisuniboit apologies crosspostings please send interested colleagues students second call papers clima vi sixth international workshop computational logic multiagent systems city university london uk june 2729 2005 httpclimadeisuniboit submissions open clima vi last series international events multiagent systems mas computational logic cl previous events held las cruces nm 1999 name workshop multiagent systems logic programming london uk 2000 paphos cyprus 2001 copenhagen denmark 2002 fort lauderdale fl 2004 lisbon portugal 2004 selected papers previous editions published special issues international journals like entcs vol 705 amai vol 3712 vol 4213 recently springerverlag lnai series vol 3259 3487 aims scope mas communities problemsolving entities perceive act upon environments achieve individual goals well joint goals work systems integrates many technologies concepts artificial intelligence areas computing well disciplines cl provides welldefined general rigorous framework studying syntax semantics procedures individual agents multiagent systems attending implementations environments tools standards linking together specification verification properties particular purposes clima 1 present stateoftheart research based cl aimed representing programming reasoning agents mas formal way 2 promote cl mas disseminate recent advances area researchers students 3 discuss confront techniques approaches clmasbased problem modelling solving informal inspiring environment end organization clima vi provide scholarships students wish attend offer number tutorials several aspects clbased mas modelling programming clima vi also host first clima competition organized jürgen dix mehdi dastani topics relevant topics include limited logical foundations multiagent systems knowledge belief representation updates hypothetical reasoning learning extensions logic programming multiagent systems nonmonotonic reasoning multiagent systems argumentation agent reasoning interaction operational semantics execution agent models model checking algorithms tools applications semantics interaction communication languages distributed constraint satisfaction multiagent systems temporal reasoning multiagent systems modal logic approaches multiagent systems logicbased programming languages distributed theorem proving multiagent systems logicbased implementations multiagent systems decision theory multiagent systems specification verification formal properties submissions welcome encourage submission high quality original papers simultaneously submitted publication elsewhere papers clearly state relevance presented work cl mas research major acceptance criteria novelty significance technical soundness papers written english formatted according springer lncs style exceed 16 pages including figures references etc important dates submission april 7 2005 notification may 6 2005 cameraready may 27 2005 clima vi june 2729 2005 details deadlines regarding competition scholarship applications become available clima vi web site proceedings postproceedings workshop likely published within springerverlag lnai series printed volume proceedings available workshop organising committee workshop chairs francesca toni imperial college london uk paolo torroni university bologna italy competition chairs jürgen dix technical university clausthal germany mehdi dastani utrecht university netherlands local organisation chair kostas stathis city university london uk programme committee josé júlio alfers new university lisbon portugal rafael h bordini university durham uk gerhard brewka university leipzig germany jürgen dix technical university clausthal germany thomas eiter vienna university technology austria klaus fischer dfki germany michael fisher university liverpool uk james harland rmit australia katsumi inoue national institute informatics japan antonis kakas university cyprus evelina lamma university ferrara italy joão leite new university lisbon portugal paolo mancarella university pisa italy paola mello university bologna italy john jules ch meyer utrecht university netherlands leora morgenstern ibm tj watson research center usa wojciech penczek polish academy sciences poland jeremy pitt imperial college london uk enrico pontelli new mexico state university usa fariba sadri imperial college london uk ken satoh national institute informatics japan renate schmidt university manchester uk trao son new mexico state university usa kostas stathis city university london uk wiebe van der hoek university liverpool uk cees witteveen delft univ technology netherlands tue 01 mar 2005 182726 0100 uai clima vi first call papers