Palmyr-VII was held in the Salle Weil (The Weil room) of the Ecole Normale Supérieur, 45 rue d'Ulm, 75005 Paris.

Invited Speakers

Gabriel Sandu (IHPST)
Leon Horsten (Bristol)


Monday 6th October
9:30-10:00 Welcome and Coffee
10:00-10:50 Merlijn Sevenster (Philips Research)
  Strategic games for IF logic
comments: Serge Bozon (IHPST)
10:50-11:10 Coffee
11:10:-12:10 Gabriel Sandu
  Dependence and signaling
12:10:-13:00 Floris van Vugt (DEC)
  What makes a sentence be about the world? Towards a unified account of groundedness
comments: Julien Boyer (IHPST)
13:00-14:00 Lunch
14:00-15:00 Leon Horsten
15:00-15:50 Jonathan Zvesper (ILLC)
  Conditional Doxastic Logic and Backward Induction
comments: Brian Hill (IHPST - Greghec-HEC)
15:50-16:10 Coffee
16:10-17:00 Jakub Szymanik & Nina Gierasimczuk (ILLC)
  Are there independant combinations of quantifiers in natural language?
comments: Hady Ba (IJN)
Tuesday 7th of October
10:00-10:50 Fabrice Correia (UNIGE)
  Metaphysical dependance and explanation
comments: Alexandra Arapinis (IHPST)
10:50-11:10 Coffee
11:10-12:00 Philipp Keller (UNIGE)
  Dependence and determination: the grounding of properties
comments: tba
12:00-12:50 Isabelle Drouet (Université catholique de Louvain- IHPST)
  Conditional propensities, probabilistic dependence and causality
comments: Mikaël Cozic (IHPST)
12:50-14:00 Lunch
14:00-14:50 Alessandro Facchini (UNIL/LABRI)
  On fixpoint alternation
comments: Gaëlle Fontaine (ILLC)
14:50-15:40 Amélie Gheerbrant (ILLC)
  Complete axiomatizations of MSO, FO(TC) and FO(LFP) on finite trees
comments: Claire David (LIAFA - Université Paris 7)


If you have any questions, please direct them to the organising committee: Henri Galinon (Paris), Paula Quinon (Paris), Hady Ba (Paris), Jakub Szymanik or Jonathan Zvesper (Amsterdam).