From: "Joao Leite" <jleite@di.fct.unl.pt>
To: caml-list@pauillac.inria.fr
Subject: [Caml-list] JELIA'04 Call For Participation
Date: Tue, 31 Aug 2004 19:43:37 +0100 [thread overview]
Message-ID: <EXCH01SMTP07BED0kpB00002f63@smtp.netcabo.pt> (raw)
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
reply other threads:[~2004-08-31 18:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=EXCH01SMTP07BED0kpB00002f63@smtp.netcabo.pt \
--to=jleite@di.fct.unl.pt \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox