[isabelle] Isabelle research groups in United States?



Hello,

Are there any academic research groups in the United States that are actively using and or developing Isabelle? I'm wondering if the "Isabelle world map" is missing some pins:

  http://isabelle.in.tum.de/google_map.html

Thanks,
-john

Attachment: smime.p7s
Description: S/MIME cryptographic signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.