Section: Other Grants and Activities

National Initiatives

• FORMES is part of the working group LTP on Languages, Types and Proofs of the GDR GPL(http://gdr-gpl.cnrs.fr/ ), the French research network on software engineering.

• FORMES is part of the working group LAC on Logic, Algebra and Calculus of the GDR IM(http://www.gdr-im.fr/ ), the French research network on mathematics and computer science.