Santa Clara University

Tuesday May 3, O'Connor 207

Speaker: Hongde Hu, CSU Monterey Bay

Title:Logical Methods in Graph Coloring

Abstract: This talk attempts to give a general notion of the totality in order to study the extremal problem and the coloring problem. We will discuss various total properties in Linear Logic and Graph Theory.
The presentation will be accessible to undergraduates, especially Mathematics and Computer Science majors.