id	Summary	Status	Owner	Type	Created	priority
1	Manticore parallel programming language	new		talk request	Apr 22, 2011, 7:26:48 AM	
7	Abella theorem prover	new		talk request	Mar 5, 2013, 6:59:18 AM