Primo simposio panellenico sulla logica

Dal 21 al 24 luglio 1997 si terrà a Nicosia (Cipro) il Primo simposio panellenico sulla logica. L'avvenimento è organizzato per iniziativa congiunta dell'Università di Cipro e della Libera università di Bruxelles (ULB) ed è patrocinato dalla Commissione europea (Programma ESPRIT).

Il simposio riunirà ricercatori appartenenti a un'ampia gamma di discipline onde discutere i moderni sviluppi nella logica e le sue implicazioni per settori quali informatica, filosofia, diritto e altri. In particolare, il simposio mira alla promozione della fertilizzazione incrociata tra queste discipline e alla valutazione del significato generale della logica quale disciplina di base unificante.

Il programma scientifico del simposio comprenderà interventi, lavori di presentazione, dibattiti di gruppo e corsi di studio assistiti da "tutor". I tre dibattiti di gruppo tratteranno i temi seguenti:

- frontiere della logica: direzioni e tendenze di ricerca;
- applicazioni industriali e di altro genere della logica;
- la logica quale disciplina fondamentale nell'istruzione.

Per maggiori informazioni rivolgersi a:

Panhellenic Symposium on Logic
Department of Computer Science
University of Cyprus
PO Box 537
CY-1678 Nicosia
Fax +357-2-339062
E-mail: antonis@turing.cs.ucy.ac.cy

Informazioni sono disponibili anche sul World Wide Web all'indirizzo:

http://zeus.cc.ucy.ac.cy/ucy/cs/symposium/(si apre in una nuova finestra)