Entre los días 14 y 22 de octubre de 2009 se celebrará en la Universidad de Nanjing (China) el congreso International Symposium on Revision Calculus and Applications 2009. El congreso tratará líneas de investigación emergentes en lógica matemática relacionadas con el desarrollo de sistemas de inferencia y lenguajes formales de primer orden, con aplicaciones al desarrollo de software, entre otros aspectos. El plazo para el envío de comunicaciones expira el 30 de junio. El plazo de registro a precio reducido finaliza el 20 de septiembre.