Recent and forthcoming events
Release of TOM 2.5 ! See the release announce
June 29TPR'07: 1st International Workshop on Type theory, proof theory, and rewriting in in conjonction with RDP'07 in Paris
June 7TPA+Rainbow+CoLoR winner of the certified termination competition 2007 ! See results.
May 15 April 27First release of Moca !
March 19New PhD and postdoc opportunities !
March 51st seminar of the Quotient project
March 2 February 9CoLoR: proof of the termination criterion based on dependency graph cycles
January 5Début de l'ARC Quotient
January 3On the implementation of construction functions for non-free concrete data types, by F. Blanqui, T. Hardin and P. Weis, accepted to ESOP'07
December 9Results of the SPECIF 2006 PhD Thesis Award
December 1CoLoR: proof of an important modularity result on (relative) termination
November 4167/864 = 19.3% of TPDB TRS problems certified by Rainbow with TPA !
October 9-13Visit of Dan Dougherty
October 4Release of TOM 2.4 ! See the release announce
