PALMYR-7
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)
Programme
| 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 |
| Dependence | |
| 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) |
Organisation
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).