Semaine bordelaise de sémantique formelle
27-31 mars 2006