Les conférences Palmyr sont à l'origine des rencontres annuelles de doctorants en logique de Paris et Amsterdam; la Société Suisse de Logique s'est jointe au lot pour cette session.

Programme

Friday, May 8th

  • 10h15-11h30 Vincent Hendricks (Roskilde and Columbia), The Agency

Abstract. The notion of an "agent" has become a centerpiece in formal epistemology. This talk walks through the "history" of agency in epistemic logic and points to future venues of research.

  • 11h30-12h30 Andreas Witzel (ILLC) (w. Krzysztof Apt & Jonathan Zvesper, ILLC), Common Knowledge in Interaction Structures.
    • Commentator: Johannes Stern (Geneva)
  • 14h-15h Jonathan Zvesper (ILLC) (w. Eric Pacuit (Stanford)) A Note on Assumption-Completeness in Modal Logic.
  • 15h-16h Carlo Proietti (IHPST, Paris) Fitch's paradox and semantics for intuitionistic logic.
    • Commentator: Davide Fassio (Geneva)
  • 16h30-17h30 Julien Dutant (Geneva) Methods-based models for knowledge.
    • Commentator Jonathan Shaheen (Michigan, ILLC).
  • 17h30-18h30 Discussion chaired by Pascal Engel (Geneva): What is formal epistemology, and what should it be?

Saturday, May 9th

  • 10h15-11h30 Willemien Kets (Santa Fe, Tillburg), Of Paradoxes and Progress: Epistemology and Game Theory.
  • 11h30-12h30 Ricardo Wehbe (Bern) Cut-Free Systems for Common Knowledge.
  • 14h-15h Yun Qi Xue (ILLC) Information Structure and Beliefs in Public Goods Game.
    • Commentator: Willemien Kets (Santa Fe, Tillburg)
  • 15h-16h Roman Kuznets (Bern) (with Sergei Artemov, CUNY) Logical Omniscience as a Computational Complexity Problem.
    • Commentator: Jonathan Zvesper (ILLC)

Participating institutions and groups

  • Episteme et eidos, Genève.
  • Research Group in Logic and Game Theory, HEC Lausanne.
  • IHPST, Paris.
  • ILLC, Amsterdam.
  • Institut Jean Nicod, Paris.
  • Swiss Graduate Society of Logic and Philosophy of Science.
  • Swiss Society for Logic and Philosophy of Science.

PS

C'était une chouette rencontre, on a eu une grande diversité de talks mais pas mal de bonnes discussions; Vincent Hendriks et Willemien Kets ont admirablement fait leur travail. J'ai été heureux de pouvoir présenter mes travaux formels à des "pros", cela devrait contribuer à les améliorer sérieusement!