Principals of Programming Seminar

Thursday, April 20, 2017 -
3:30pm to 4:30pm

Location:

8102 Gates Hillman Centers

Speaker:

NOAM ZEILBERGER, Birmingham Fellow http://www.noamz.org/

Event Website:

https://www.cs.cmu.edu/Groups/pop/seminar.html

For More Information, Contact:

bcook@cs.cmu.edu

Enumeration of graphs on surfaces (or "maps") is an active topic of research in combinatorics, with links to wide-ranging domains such as algebraic geometry, knot theory, and mathematical physics. In the last few years, it has also been found that map enumeration is related to the combinatorics of lambda calculus, with various well-known families of maps in 1-to-1 correspondence with various natural families of linear lambda terms. In the talk I will begin by giving a brief survey of these enumerative connections, then use those to motivate a closer look at the surprisingly rich topological and algebraic properties of linear lambda calculus.—Noam Zeilberger is a Birmingham Fellow in the School of Computer Science at the University of Birmingham. Previously, he held postdoctoral positions in France (Inria Saclay, Université Paris 7), Spain (IMDEA Madrid), and New Jersey (IAS Princeton), after receiving his PhD from CMU in 2009. He is interested in all aspects of logic and its interactions with mathematics and computer science.Faculty Host: Robert Harper

Keywords:

Seminar Series