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