This link refers to the Prezi that timelab created to explain the idea of a Formalab portal (created in Spring 2012)

http://prezi.com/-hm2sqiawndg/formalab-concept/

Attached below:
Presentation by timelab for meeting Formalab - 13th June 2012 (pdf document)