Personal tools
You are here: Home Events LFCS PhD Lunch

LFCS PhD Lunch

— filed under:

Pizza Lunch and informal tutorial for all LFCS PhD students

What
  • Upcoming events
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 1-3pm.

FREE PIZZA and other snacks will be provided. The tutorial will be given by Colin Stirling on 
 
An introduction to deciding higher-order matching
=======================================
I  will describe the problem  of higher-order 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
Document Actions