[formal-methods] [Noisebridge-discuss] Category Theory Readings

Mikael Vejdemo-Johansson mik at stanford.edu
Fri Jun 12 07:19:04 UTC 2009


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Jun 12, 2009, at 8:08 AM, Jason Dusek wrote:
>  I and a couple of other people are gathering on Sundays, at
>  14:00, to work through "Conceptual Mathematics", by F. William
>  Lawvere and Stephen Hoel Schanuel; others are welcome to join.
>
>  Along with this reading group, we have a new mailing list to
>  coordinate those of us interested in lambda calculus, type
>  theory, distributed systems proofs and other formal methods in
>  computer science. It's called:
>
>    formal-methods at lists.noisebridge.net
>
>  Please subscribe if you would like to do readings and work
>  problems in these topics; I'd like to organize groups for the
>  other topics, as well.
>

This sounds like a good time to mention that I will be teaching at  
Stanford in the fall. A course that I have entitled Category Theory  
for Functional Programming.

Obviously, given the timeline you seem to be indicating, I'll be  
around way too late for everybody's taste - otherwise I'd have happily  
taken on NB as a model class for my Stanford class (or vice versa). I  
won't be back in the Bay area until mid-september, so the current  
timeline won't work for me personally.

Or, if interest is still around, and reading is slow enough, I can  
still start teaching at NB together with at Stanford.

Mikael Vejdemo-Johansson, Dr.rer.nat
Postdoctoral researcher
mik at math.stanford.edu






-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)

iEYEARECAAYFAkoyAWwACgkQtUmpDMB8zM2MbwCePGiq5jt+5fFnlrcL+jag1yff
ongAniZqigFIKu+fOlQ81WjH6QQRjWzl
=Plwb
-----END PGP SIGNATURE-----



More information about the formal-methods mailing list