Home › Events › Logic Seminar: Alexandru Buium - University of New Mexico Logic Seminar: Alexandru Buium - University of New Mexico Time: Thu Oct 16, 2014, 2:00 pm - 3:00 pm Location: 258 Hurley Hall Title: Semantic aspects of the second formalization Abstract