Download Programme | About CLIMA
Sponsors | Contacs | Program Committee | Organising Committee | CLIMA Workshop Series | Steering Committee
Submissions | Important Dates | Proceedings
Schedule | Social Events | Accepted Papers | Co-location
Jason | Groups | Qu-Prolog | (C+)++ | KGP | SOCS-SI
Scenario Description | Submission Format | How To Submit | Winning Criteria | Evaluation Committee | Important Dates | Prize
Getting to CLIMA | Accommodation | Registration | Venue

Computational Logic in Multi-Agent Systems

Sixth International Workshop

CLIMA Schedule at a glance




27 June, Monday


28 June, Tuesday


29 June, Wednesday

  coffee break   coffee break   coffee break
CLIMA Session A: Interacting Agents
CLIMA Session C: Composition and Completeness
  lunch break   lunch break   lunch break
CLIMA Session B: Reasoning about Agent Knowledge
CLIMA Session E: Executing Agents
15:30     coffee break   coffee break
  coffee break   CLIMA Session D: Normative Multi-Agent Systems  
CLIMA Session F: Agent Abilities, Intentions, and Trust
      After dinner: WTF Funky gig at Halfmoon Putney

Social Events

The Social Dinner will take place on Tuesday, at the OXO tower brasserie, from 6:30pm until 8:30pm. After the Social Dinner, we will continue the night at Halfmoon Putney, with W.T.F. as the main band playing in a a super-funky gig. Entrance £4 (with flyer). Find here some information and directions.

CLIMA Programme

download printer-friendly programme download printer-friendly programme and logistic information
download proceedings download table of contents

Monday, June 27

8:45-9:15: Registration.

8:15-9:30: Opening.

9:30-12:00: Tutorials T1 and T5.

12:00-13:00: Technical Session A: Interacting Agents.

14:00-16:00: Technical Session B: Reasoning about Agent Knowledge.

16:30-18:00: SOCS Dissemination.

  • Talks by Francesca Toni, Tony Kakas, Andrea Bracciali, Marco Alberti, and Paolo Torroni

Tuesday, June 28

9:10-9:30: Registration.

9:30-12:00: Tutorials T2 and T6.

12:00-13:00: Technical Session C: Composition and Completeness in Multi-Agent Systems.

14:00-15:30: CLIMA Contest.

16:00-17:00: Session D: Normative Multi-Agent Systems.

Wednesday, June 29

9:10-9:30: Registration.

9:30-12:00: Tutorials T4 and T3.

12:00-13:00: Invited Talk by Bob Kowalski: Combining logic-based agents and decision theory.

14:00-15:30: Session E: Executing Agents.

16:00-17:30: Session F: Agent Abilities, Intentions, and Trust.

17:30: Closing.



CLIMA VI will be co-located with the EU-funded SOCS project dissemination workshop. More to follow.




Last updated November 22, 2004