Deadline: 
28 June 2011
Institution: 
Heriot-Watt University
Speaker: 
Murdoch Gabbay

Nominal techniques are an approach to handling symmetry and
generativity of names. Here "names" are atomic resources like
variables, memory locations, thread identifiers, heap pointers, or
even perhaps dimensions. In this talk I will go into non-technical
details about what mathematics based on nominal techniques looks like,
describe the current state of the art, and I will conclude by
speculating on possible further applications to logic, theorem
proving, and mechanised mathematics. The interested reader can find a
comprehensive technical overview of the state of the art at
"http://www.gabbay.org.uk/papers.html#fountl" a nominal semantics survey
and
"http://www.gabbay.org.uk/papers.html#nomtnl" a nominal syntax and logic survey paper.