Primer simposio panhelénico sobre lógica
El simposio reunirá a investigadores de un amplio espectro de disciplinas que debatirán evoluciones modernas en el campo de la lógica y sus implicaciones para ámbitos tales como la informática, filosofía, derecho, etc. En particular, el simposio se propone fomentar la fertilización mutua entre todas estas disciplinas y evaluar la importancia general de la lógica como una disciplina básica unificadora.
El programa científico del simposio incluirá charlas, ponencias, debates con participación de panel y clases. Los tres debates con panel abordarán los siguientes temas:
- Las fronteras de la lógica: Tendencias y direcciones de la investigación;
- Aplicaciones industriales y otras de la lógica;
- La lógica como disciplina fundamental en la enseñanza.
Para más información, dirigirse 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
También se dispone de información en la World Wide Web en:
http://zeus.cc.ucy.ac.cy/ucy/cs/symposium/(se abrirá en una nueva ventana)