typetitleauthor sort iconlast post
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryWhen Formal Systems Kill: Computer Ethics and Formal Methods James Iry2012-02-29 23:02
StoryAn intuitionistic logic that proves Markov's principle neelk2010-07-07 08:23
Forum topicAlternatives to parentheses for grouping jason stumpf2010-02-10 13:28
StoryLambda, the Ultimate TA Ehud Lamm2009-11-05 17:26
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
StoryPath Feasibility Analysis for String-Manipulating Programs Ehud Lamm2009-02-09 02:38
Forum topicLight(er) Reading Suggestions? Bruce Miller2008-12-13 01:54
Forum topicIs Halting Problem Valid for P? ajgargand2008-05-04 23:24
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47
StoryOn the origins of Bisimulation, Coinduction, and Fixed Points Ehud Lamm2007-11-05 20:48
Forum topicSimple ADT-based "side-band" state? raould2007-06-28 00:22
StoryOn the fact that the Atlantic Ocean has two sides Luke Gorrie2007-03-05 20:39