Premier symposium pan-hellénique sur la logique

Le premier symposium pan-hellénique sur la logique aura lieu à Nicosie, à Chypre, du 21 au 24 juillet 1997. Cette manifestation, organisée sous l'initiative commune de l'université de Chypre et de l'Université Libre de Bruxelles (ULB), se déroulera sous le parrainage de la Commission européenne (programme ESPRIT).

Le symposium va rassembler des chercheurs issus de divers horizons disciplinaires dans le but de discuter des évolutions actuelles dans le domaine de la logique, ainsi que ses implications pour d'autres domaines, par exemple l'informatique, la philosophie, le droit, etc. Le symposium vise, en particulier, à promouvoir un échange fécond d'expériences entre ces disciplines, et à évaluer la signification globale de la logique en tant que discipline jouant le rôle de dénominateur commun.

Le programme scientifique de ce symposium est articulé autour d'une série de communications faites par des orateurs invités, des exposés, des discussions avec des groupes d'experts et des sessions d'initiation. Les trois sessions de discussion avec des experts seront consacrées aux thèmes suivants:

- les frontières de la logique: tendances et orientations en matière de recherche
- les applications de la logique dans l'industrie et dans d'autres secteurs
- la logique, discipline fondamentale de l'éducation.

Pour tout renseignement supplémentaire s'adresser à:

Symposium pan-hellénique sur la logique
Département d'informatique
Université de Chypre
PO Box 537
CY-1678 Nicosie
Fax +357-2-339062
E-mail: antonis@turing.cs.ucy.ac.cy

Des informations sont également disponibles sur le World Wide Web à l'adresse:

http://zeus.cc.ucy.ac.cy/ucy/cs/symposium/(s’ouvre dans une nouvelle fenêtre)