Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] JELIA'04 Call For Participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Joao Leite <jleite@d...>
Subject: [Caml-list] JELIA'04 Call For Participation
Dear colleague,

We would like to cordially invite you to participate in the Ninth European Conference on Logics in Artificial Intelligence (JELIA'04) to be held in Lisbon, Portugal, from September 27 - 30, 2004. 

The deadline for early registration is September 7th.

More information at:

JELIA'04 will be co-located with the Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V).A special rate exists for those who register for both meetings.

The technical program of JELIA'04 includes:

3 invited talks
	-Representing and Reasoning with Preferences by Francesca Rossi
	-Engineering of logics for the content-based representation of information by Franz Baader
	-Formal Methods in Robotics by Bernhard Nebel

52 paper presentations with sessions on
	-Actions and Causation
	-Applications (2 sessions)
	-Belief Revision
	-Complexity Issues
	-Description Logics
	-Logic Programming
	-LPNMR (2 sessions)
	-Modal, Spacial and Temporal Logics
	-Multi-Agent Systems (2 sessions)
	-Reasoning under Uncertainty
	-Theorem Proving

15 system demonstrations

The social program includes:

	-a welcome drink
	-a social dinner
	-an excursion to Sintra

We hope you can join this event.

Best regards,

Joao Leite and Jose Alferes

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: