 |
Stanford Logic Group |
|
Upcoming Speakers The Stanford Logic Group holds lunch meetings on Wednesdays at noon in Gates 260. For food suggestions, please see restaurant delivery suggestions.
Schedule
Date
Title
Foodie
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_05,"Open Meeting",erickao)
schedule(2011_01_12,"Zavain Dar",mkassoff)
schedule(2011_01_19,"MRG on Logicalc",zavain)
Comments and complaints to [email protected].
|