Les principaux thèmes abordés dans le projet FORWAL sont :

• Formalismes à base d'automates (de mots et d'arbres) et de contraintes pour la vérification de protocoles de sécurité, de services web et de systèmes embarqués
• Langage d'arbres et de DAG pour l'analyse de documents semi-structurés
• Calcul symbolique à base d'automates pour la vérification de systèmes à variables hétérogènes
• Langage (non régulier) d'arbres et vérification de protocoles de sécurité et services web
• Vérification par des techniques ordre partiel et logique de la concurence
• Validation de protocoles par l'approche inductive

La participation aux activités du groupe FORWAL est naturellement ouverte à tous les chercheurs dont les domaines de travaux sont proches, quel que soit leur GDR de rattachement (comme ce fut le cas déjà avec SLOVO).