English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2004-08-31 (18:43)
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: http://centria.di.fct.unl.pt/~jelia2004

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 caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners