Re: [isabelle] Isabelle research groups in United States?



My students and I use Isabelle out here in Colorado :)

Cheers,
Jeremy

On Tue, Feb 8, 2011 at 4:58 PM, John Matthews <matthews at galois.com> wrote:

> 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
>
>


-- 
____________________________________
Jeremy Siek <jeremy.siek at colorado.edu>
http://ecee.colorado.edu/~siek/
Assistant Professor
Dept. of Electrical, Computer, and Energy Engineering
University of Colorado at Boulder




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