Personal tools
You are here: Home Events Amelie Gheerbrant: Green Smoothie Tasting and Logics on Trees

Amelie Gheerbrant: Green Smoothie Tasting and Logics on Trees

The talk will starts with some green smoothie tasting. The green smoothie (banana, pear, spinash, ginger, lemon, spirulina) will be made on site with the help of my famous Vitamix blender. I will then use the energy boost provided by the beverage in order to expose a model theoretic technique that I developed in my PhD thesis. The technique combines methods from classical and from finite model theory and it can be used in order to show the completeness of axiomatizations of fragments of monadic second-order logic on finite trees. I will mention a recent follow up of that work, as well as some new directions I have in mind. Bring your glass!

What
When Jul 10, 2012
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal
iCal
Document Actions