__group__	ticket	summary	type	owner	status	created	_changetime	_description	_reporter
Active Tickets	1	Manticore parallel programming language	talk request		new	2011-04-22T07:26:48Z	2011-04-22T07:26:48Z	I'd like to see a crash course in Manticore http://manticore.cs.uchicago.edu/. What do the programs look like? How well do they run? What's the biggest Manticore program so far?	Ben Lippmeier
Active Tickets	7	Abella theorem prover	talk request		new	2013-03-05T06:59:18Z	2013-03-05T06:59:18Z	"Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding. 

http://abella-prover.org/"	Ben Lippmeier