2012

November

• November 20, 2012 Coq Part1

April

• April 23, 2012 Coding Dojo

March

• March 19, 2012 Mailing List
• March 2, 2012 Why Functional Programming Matters

January

• January 10, 2012 Creation And First Meeting