The next Boston Haskell meeting will be Monday, October 24th from 7pm to
9pm at our usual location, the MIT CSAIL Reading Room (32-G882, which is a
room on the 8th floor of the Gates Tower of the MIT's Stata Center at 32
Vassar St in Cambridge, MA).

There will be two talks:

First, I'll be giving a talk on the state of
trifecta<http://hackage.haskell.org/package/trifecta>,
my parser combinator library for Haskell, and where it is going from here.

Then Dan Doel has agreed to talk a bit about homotopy type
theory<http://homotopytypetheory.org/>and directed
type theory <http://www.cs.cmu.edu/~rwh/papers/2dtt-nsf/description.pdf> (also
here <http://www.cs.cmu.edu/~drl/pubs/lh102dtt/lh102dtt.pdf>). If you are
interested in type systems, these are both very interesting areas of active
research.

There will be refreshments (*and pizza*!) provided during the break by
ClariFI and of course, if you'd like to stick around, a number of us tend to
head down to the CBC <http://www.cambrew.com/> afterwards and socialize.

If you would like to give a talk or if you have any questions or concerns,
please feel free to email the mailing list here at bostonhaskell
@googlegroups.com or contact me personally at ekm...@gmail.com.

-Edward

Some folks going to this meeting may also be interested in the inaugural
meeting of the new MIT PL Seminar on the same day from 4-5:30, in
32-G575 (same building, lower floor).  The speaker is Assaf Kfoury from
Boston University, on "A Domain-Specific Language for Incremental and
Modular Design of Large-Scale Verifiably-Safe Flow Networks."

More information at this monster URL:
https://www.google.com/calendar/render?action=TEMPLATE&tmeid=cGtzdjF2dnE3bn ZsZ2RuNnVyY3U1aGV0ODhfMjAxMTEwMjRUMjAwMDAwWiA2NDE0dDM3dWtnbnZkdGlpNWFjc3MzN jgxb0Bn&tmsrc=6414t37ukgnvdtii5acss36...@group.calendar.google.com&sf=true&output=xml

Also, we have a mailing list for PL Seminar announcements:
https://lists.csail.mit.edu/mailman/listinfo/pl