LFCS PhD Lunch
—
filed under:
Upcoming events
Pizza Lunch and informal tutorial for all LFCS PhD students
What 


When 
Jan 30, 2014 from 01:00 PM to 03:00 PM 
Where  IF 4.02 
Add event to calendar 
vCal iCal 
This month's PhD Lunch will be on the last Thursday in January again at the usual time 13pm.
FREE PIZZA and other snacks will be provided. The tutorial will be given by Colin Stirling onAn introduction to deciding higherorder matching
=======================================
I will describe the problem of higherorder matching in simply typed
lambda calculus and some attempts to solve it using
intersection type checking and tree automata. I will then briefly describe
how the problem can be solved using games.
=======================================
I will describe the problem of higherorder matching in simply typed
lambda calculus and some attempts to solve it using
intersection type checking and tree automata. I will then briefly describe
how the problem can be solved using games.
Note: we are back to the usual time, but in yet another room.
See you there