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