There is a long and impressive history of activity and interest in logic at Stanford, bringing together people from a variety of departments, programs and institutes, primarily in the fields of mathematics, philosophy, computer science and linguistics. Nowadays, perhaps more than ever before, logic and logic-related studies at Stanford are exceptionally diverse, putting us among the world leaders in this field. This page is a source of information about individuals and groups at Stanford sharing a common interest in logic in all its manifestations, pure and applied. It is intended to foster our community of interests, keep us in touch with each other and let the outside world know what we're up to. Below are lists and statements of interests of faculty, researchers, students and visitors, information about current seminars and courses, and links to relevant individual pages, groups and departments at Stanford, as well as to logic throughout the world.