Mentre è ben nota la caratterizzazione geometrica dell'ipoellitticità C^\infty di una somma Q di quadrati di campi vettoriali, per l'ipoellitticità analitica la questione è largamente aperta. A questo riguardo, F. Treves [1996] ha formulato una congettura secondo cui l'ipoellitticità analitica dipenderebbe dalla "regolarità" simplettica di un'opportuna stratificazione dell'insieme caratteristico di Q. In questo seminario, si discuterà un risultato, ottenuto in collaborazione con P. Albano e A. Bove, che mostra come la suddetta stratificazione non sia in realtà sufficiente a garantire l'ipoellitticità analitica di Q.