From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Apr 16 16:27:08 EDT 2009 |
|
There is a Munich Lisp group, run by our own Marek Kubica. There's a link to it from the schemers.org home page (www.schemers.org). So that would be a good starting point. There should also be good opportunities for functional programmers with a formal methods background in Munich thanks to the influence of the work that has been done at TU-M. Not sure about Berlin. Shriram
Posted on the users mailing list. |
|