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