Logic List Mailing Archive

Category-Theoretic Foundations of Mathematics

4-5 May 2013
Irvine CA, U.S.A.

"Category-Theoretic Foundations of Mathematics"
                          May 4-5, 2013
                        Irvine, California

The aim of this 2-day workshop is to provide a forum in which researchers
from philosophy, mathematics, computer science, and allied disciplines can
discuss the aims and significance of category-theoretic foundations of
mathematics. The interdisciplinary character of this workshop provides a
unique opportunity to discuss and deliberate upon what is specific to the
success of category-theoretic foundations within the various disciplines.

This workshop is made possible through generous support provided by the
Department of Logic and Philosophy of Science at UC Irvine, School of
Social Sciences at UC Irvine, Kurt Gdel Society, University of Notre
Dame, and REHSEIS team and SPHERE lab at the University of Paris-Diderot.
For more information, see:

http://www.lps.uci.edu/node/15355