Anuncio de eventos.
El Eighth International Workshop on Automated Deduction in Geometry (ADG 2010) se celebrará en Munich del 22 al 24 de Julio de 2010.
El ADG es un foro donde se tratan cuestiones realtivas a la intersección de la geometría y la demostración automática.
El envío de artículos termina el 22 de Febrero.
El próximo Workshop On User Interfaces for Theorem Provers (UITP’10) se celebrará en Edimburgo el 15 de julio.
La fecha de envío de comunicaciones finaliza el 5 de abril.
El Symposium on Trends in Functional Programming se
celebrará del 17 al 19 de Mayo en la Universidad de Oklahoma.
Uno de lo temas del congreso es la verificación de programas funcionales.
La fecha de envío de artículos finaliza el 2 de Abril.
El congreso sobre programación con restricciones CP 2010 se celebra en Saint Andrews (Escocia) del 6 al 10 de Septiembre de 2010.
La fecha de envío de artículos termina el 13 de Abril.
LOPSTR es una serie congresos sobre síntesis y transformación de programas basados en la lógica. El primer congreso se celebró en 1988. Al principio se limitaba a la programación lógica, pero actualmente se ha ampliado a cualquier tipo de programación.
Este año se celebra el 20º congreso, LOPSTR 2010, en Hagenberg, Austria, del 23 al 25 de Julio. La fecha de envío de artículos finaliza el 25 de Marzo.