T2 is a tool created for the purpose of answering sophisticated questions about the universal temporal behaviour of programs.
It automatically synthesizes execution environments that impose temporal properties that would not otherwise hold. Using F#, we are able to properly express, model, and verify temporal properties of infinite-state transition systems.

	Be a better developer : 21st May 2013
	Developing Python with PyDev : 21st May 2013
	Machine Learning with Storm + Redis Yodit Stanton : 7th May 2013
	Cascalog for the 80% of Data Science Bruce Durling : 7th May 2013
	F# embedded in Excel Adam Mlocek : 25th Apr 2013
	F# embedded in Excel part 2 Adam Mlocek : 25th Apr 2013
	Pitfalls Of Using Frameworks Paul Brian : 18th Apr 2013
	Adventures with Cython Emil Vaughan : 18th Apr 2013
	Using server management framework, Salt Kris Saxton : 18th Apr 2013
	Try F# Hands On Phil Trelford : 11th Apr 2013
	Rapture I/O Jon Pretty : 10th Apr 2013
	Datatype-Generic Programming in Haskell Andres Löh : 9th Apr 2013
	Keynote: The Cucumber Ecosystem Aslak Hellesøy : 4th Apr 2013
	Why your step definitions should be one- Matt Wynne : 4th Apr 2013
	Working in the Cucumber World Andrew Premdas : 4th Apr 2013