===== Rencontres de pôles =====

==== Algorithmes et structures discrètes ====

{{page>rencontres:asd:}}

==== Automates, structures et vérification ==== 


{{page>rencontres:asv:}}

==== Preuves, programmes et systèmes ==== 

{{page>rencontres:pps:}}