Stanford Logic Group
The Stanford Logic Group holds lunch meetings on Wednesdays at noon in Gates 260.
For food suggestions, please see restaurant delivery suggestions.
schedule(X,Y1,Z1) & schedule(X,Y2,Z2) & distinct(Y1,Y2) => false
schedule(X,Y1,Z1) & schedule(X,Y2,Z2) & distinct(Z1,Z2) => false
schedule(2011_01_19,"MRG on Logicalc",zavain)
Comments and complaints to firstname.lastname@example.org.