Hello Gophers, The go-formal github organisation at http://github.com/go-formal is a GitHub organisation for sharing and coordinating work related to formal logic technologies in and for Go.
Effective immediately, Marko Ristin-Kaufmann (marko.ris...@gmail.com) is the new acting steward of go-formal. Marko did his Master in Computer Science and PhD in Computer Vision at ETH Zurich, Switzerland. Currently, he works as CTO at Parquery AG, also in Zurich. His interest in static analysis was sparked while he worked as research assistant with the Chair of Software Engineering. Please feel free to contact Marko with contributions and ideas related to sharing and coordinating work related to formal logic technologies in and for Go. Cheers, Scott -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
