He aquí algunas de las próximas reuniones sobre lógica en el mundo. Mayores detalles se pueden hallar en la Internet.  Véase la sección "Logic" del Archivo de Anuncios de Conferencias en Fraunhofer-IAO (http://www.rpd.net/Info/conferences/index/Logic.html), la página del Simposio sobre Lógica en Ciencias de la Computación (http://cm.bell-labs.com/cm/cs/who/libkin/lics/logic-confs.html y http://www.research.att.com/lics/logic-confs.html), y la página de la Asociación para Lógica Simbólica (http://www.math.uiuc.edu/~asl/).

 Enero 30-Febrero 1.  Tercer Encuentro de Lógica en Barcelona. Universidad Autónoma de Barcelona en Bellaterra.
 Marzo 2-5.  Conferencia Especial sobre Métodos Lógicos para Inteligencia Computacional. Research Triangle Park, North Carolina.
 March 22-25: Encuentro Anual de la Asociación para la Lógica Simbólica. MIT, Cambridge, Massachusetts.
 April 2-4: Conferencia sobre Cálculos Lambda con Tipos y Aplicaciones. Nancy, Francia.
 Mayo 10-11.  Cuarto Taller Internacional sobre Representación y Razonamiento Temporales (TIME-97).  Daytona Beach, Florida.  Incluye, entre otros temas: lógicas temporales y ontologías, razonamiento con constreñimientos temporales, lenguajes y arquitecturas temporales, tiempo continuo versus discreto, representaciones puntuales versus intervalos, poder expresivo versus eficiencia, creencia e inseguridad en el conocimiento temporal, bancos de datos y de conocimientos temporales, aprendizaje y descubrimiento temporales, razonamiento sobre acciones y eventos, tiempo y no-monotonicidad, tiempo y constreñimientos, tiempo en resolución de problemas, agentes múltiples, comunicación y sincronización, aplicaciones.
 Mayo 13-16:Conferencia sobre Arboles de Verdad y Métodos Cercanos. Abbaye des Prémontrés, Pont-á-Mousson, Francia. Incluye el examen de varias lógicas (teoría y aplicaciones), técnicas y conceptos relacionados, métodos como eliminación de modelos y cálculos de secuencias, nuevos cálculos y métodos para demostración de teoremas en lógicas clásicas y no-clásicas, sistemas, herramientas y aplicaciones.
 Mayo o Junio: Cuarta Conferencia sobre Teoría de Modelos. CIRM, en Marseille-Luminy,  Francia.
 Junio 22-25:  Conferencia sobre Verificación con Auxilio de Computadoras (CAV'97). Haifa, Israel. Los temas incluyen: formalismos para modelar y especificar (métodos lógicos, basados en autómatas, y algebraicos), herramientas y algoritmos (exploración, modelos, síntesis y deducción automática), técnicas de verificación (epacio de estados, métodos de reducción, simbólicos, probabilistas, razonamiento composicional y modular, integración de métodos algorítmicos y deductivos), aplicaciones (circuitos, protocolos, algoritmos distribuidos, sistemas de control), verficación en la práctica (integración de la verificación con el diseño, prueba, corrección y generación de código).
 Junio 29 - Julio 2: La Lógica en la Ciencia de la Computación. Varsovia, Polonia. ftp.research.bell-labs.com/dist/lics/.
 Julio 4-6. Conferencia Anual de la Asociación de Australasia para Lógica. Universidad de Auckland, Nueva Zelandia.
 Julio 6-12: Bases Lógicas de la Ciencia de la Computación. Yaroslavl, Rusia.
 July 6-13: Encuentro Europeo de Verano de la Asociación para la Lógica Simbólica.  Universidad de Leeds, Leeds, Inglaterra. Incluirá los temas: teoría de la computabilidad, teoría de modelos, teoría de prueba, teoría de conjuntos y filosofía y psicología de la prueba.
 July 8-12: Conferencia Internacional sobre Programación Lógica. Leuven, Bélgica.
 Julio 13-17: Conferencia Internacional sobre Deducción Automática (CADE-14). James Cook University, Townsville, North Queensland, Australia. Incluye lógica proposicional, de primer orden, de equaciones, de orden superior, clásica, intuicionista, contructiva, de tipos, no-standard y metalógicas.  Incluye métodos como resolución, paramodulación, unificación, reescritura de términos, tableaux, constreñimientos, procedimientos de decisión, inducción, sistemas interactivos.  Las aplicaciones incluyen desarrollo de hardware y software, verificación de sistemas, inteligencia artificial, lógica, teoría de conjuntos, matemáticas, programación lógica.  Temas especiales incluyen traducción de pruebas, interfaces humano-computadora, deducción distribuída, heurísticas de búsqueda.
 Julio 28-31 Cuarta Conferencia Internacional sobre Programación Lógica y Razonamiento No-Monotónico. Dagstuhl, Alemania.  Tópicos de interés: abducción, circumscripción, relaciones de consecuencia abstractas, algoritmos y complejidad, aplicaciones, revisión de creencias, negación clásica, explícita y constructiva, satisfacción de constreñimientos, lógicas epistémicas, modales y default, representación de conocimiento, no-monotonicidad en bancos de datos, prototipos, semánticas para programas lógicos (disyuntivos).
 Julio 29-Agosto 2: Primer Congreso Mundial sobre Paraconsistencia. Ghent, Bélgica. Los temas incluyen: Historia de la lógica paraconsistente, Sistemas, Aplicaciones, Problemas filosóficos, Computación.
 Agosto 24-30: Lógica en la Ciencias de la Computación.  Aarhus.
 Agosto 25-29: Coloquio Kurt Gödel (KGC'97). Viena, Austria. Para lógicos y científicos de la computación interesados en teoría de prueba, demostración automática de teoremas, unificación, complejidad, lógica de programas, lógicas no-standard para ciencia de la computación e inteligencia artificial, recursión, programación lógica y cálculo lambda.
 Septiembre 4-6: Conferencia sobre Teoría de Categorías y Ciencias de la Computación. Santa Margherita Ligure (Génova), Italia. Incluye lógica de programas y especificación, teoría de tipos y su semántica, lógica linear y sus aplicaciones.
 Septiembre 24-26: Simposio Internacional Symposium sobre Aspectos Teóricos de los Programas para Computadora. Universidad Tohoku, Sendai, Japón. Incluye lógicas constructivas, lineares y modales y lógica de programas.