[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