Congreso sobre interfaces para demostradores de teoremas
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.
Trabajo en métodos formales y seguridad
Se han ofertado 4 plazas para trabajar en el proyecto DASDIP (Design and Analysis of Secure Distributed Protocols).
En el proyecto se aplican los métodos formales a la seguridad y se desea construir un modelo formal usando, posiblemente, PVS.
La oferta se encuentra en Postdoc and PhD vacancy in security & formal methods.
Tendencias en programación funcional
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.
CP 2010: Conference on Principles and Practices of Constraint Programming
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.
Trabajo de Lógica Computacional en Lovaina
Bart Demoen ha publicado la oferta de trabajo PhD Position for Datalog Research.
El trabajo se realizará en grupo DTAI (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence) y, más concretamente en el subgrupo Design, Analysis and Implementation of Declarative Programming Languages (Analysis), de la Universidad de Lovaina.