Je maintiens une liste de congrès en méthodes formelles.
Ma liste de revues internationales en méthodes formelles.