Formaliser les langues avec l'ordinateur — Journées INTEX-Nooj (06 ; 2003 ; Sofia), Journées INTEX-Nooj (07 ; 2004 ; Tours)