crowdscientist.com
Workshop on Crowdsourcing Technologies for Language and Cognition Studies | Crowd Scientist
http://www.crowdscientist.com/workshop
Workshop on Crowdsourcing Technologies for Language and Cognition Studies. This workshop was held on Jul7 27th, 2011, in conjunction with the 2011 Linguistic Society of America Summer Institute. Languages spoken by crowdsourced workers (from http:/ www.junglelightspeed.com/amt language/). Robert Munro, Stanford, and Harry Tily, MIT. The Start of the Art: An Introduction to Crowdsourcing Technologies for Language and Cognition Studies. Lukas Biewald, CrowdFlower. Keynote. Paradigm with human participants.
www-logic.stanford.edu
Logic and Foundations of Mathematics | Stanford University
http://www-logic.stanford.edu/people.html
David L. Dill. Professor, Computer Science. Verification of system designs. Professor, Philosophy (currently: Provost). Logic, semantics, philosophy of language. Professor (Emeritus), Mathematics and Philosophy. Proof theory, theory of computation, foundations of mathematics, history of modern logic. Michael R. Genesereth. Professor, Computer Science. Automated reasoning, knowledge base integration. Assistant Professor, Psychology. Computational models of cognition, integrating logic and probability.