Palmyr VIII

Paris-Amsterdam-Switzerland Logic Meeting of Young Researchers

Annual Meeting of the Swiss Graduate Society for Logic and Philosophy of Science

Geneva 8-9th may 2009

The Swiss Graduate Society for Logic and Philosophy of Science is holding its 2009 annual meeting in Geneva, fri-sat may 8th-9th. The meeting is joined with the Palmyr VIIIth annual meeting.

Palmyr is a yearly meeting of junior researchers working in the logic and language area organized between Paris and Amsterdam and now Switzerland. The 8th edition will take place in Geneva, fri-sat may 8th-9th. See the Palmyr webpage.

The topic of the 8th meeting will be formal epistemology, broadly construed, including epistemic and doxastic logic, epistemic game theory, decision theory, and related topics.

Download the conference poster here.

Invited speakers

• Vincent Hendricks (Roskilde and Columbia)
• Willemien Kets (Santa Fe Institute and Tilburg)

Programme

All talks will take place room SO19, rue Saint-Ours 5. [ map ]

Note: most of the papers are available here (password protected, contact Julien Dutant if you are interested).

Friday, May 8th

• 10h-10h15 Coffee
• 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)

lunch at Le Saint Jean, 4 rue du Vieux-Billard, 0041+223283444

• 14h-15h Jonathan Zvesper (ILLC) (w. Eric Pacuit (Stanford)) A Note on Assumption-Completeness in Modal Logic.
  Commentator: TBA
• 15h-16h Carlo Proietti (IHPST, Paris) Fitch's paradox and semantics for intuitionistic logic.
  Commentator: Davide Fassio (Geneva)
• 16h-16h30 Coffee break
• 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?

dinner at Italia, 4 bvd des Philosophes, 0041+223282970. At 20h.

Saturday, May 9th

• 10h-10h15 Coffee
• 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.
  Commentator: (TBA)

lunch at Restaurant du Rond-Point, Rond-Point de Plainpalais, 0041+223204795

• 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)

dinner (19h or 20h, place to be specified)

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.

Conference venue and directions

All talks will take place room SO19, rue Saint-Ours 5. [ map ]

To get there from the airport, the simplest and quickest way is to take a train. Follow the sign "Geneve - Centre" at the airport train station and take any train, they all trains stop at the main train station (first stop). Then take the tram as indicated below. (40 min, ticket 3 CHF or 2eur to be bought at the airport train station. The ticket covers the tram journey as well.)

To get there from the train station, take trams 13 or 15 direction Palettes to Plainpalais. (10 mins, ticket 3 CHF or 2eur to be bought at the tram stop.)

To move around in Geneva, the simplest way by far is to use public transportation - and if you have booked an hotel in Geneva, they have to provide you with a free day pass for all public transportation, do not forget to ask for it. The public transport company (TPG) have a useful route planner.The locations of the bus and tramway stops around the department and the main university building (Bastions) are indicated on the following plan, which is downloadable as gif, pdf and jpg (courtesy eidos!).

Accomodation

Here is a list of nearby hotels that you might find useful.

Keynote speakers are hosted at the hotel Bel'Esperance, Rue de la Vallée 1, 1204 Genève, phone. +41 22 818 37 37.

To get there from the airport, the simplest is by bus. Take bus 10 at the airport (depature floor, the stop is outside on your left), and get off at Bel'Air. From the same bus stop, take bus 7 and get off at Rive. Walk on your right, pass the "Fnac" store, and take the first street on your left (rue Verdaine, it goes uphill). The hotel sign is visible there but the entrance is on the small street that goes along the hotel on your left (rue de la Vallée). (detailed map).
(Total journey 30 min, ticket 3 CHF or 2eur to be bought from a machine at the tram stop - you will need coins.)

Alternatively, you can take the train to the Geneva station (see instructions above: the 3CHF/2€ ticket will cover the tram as well). Then, take tram 16 direction "Moillesullaz" and get off at Rive. Walk on your right, pass the "Fnac" store, and take the first street on your left (rue Verdaine, it goes uphill). The hotel sign is visible there but the entrance is on the small street that goes along the hotel on your left (rue de la Vallée). (detailed map).

Or finally, you can take a train to the Geneva station, and walk from there. It's a nice 20 min walk through the Mont Blanc bridge.

Further Information

For further information please contact Julien Dutant.

Organisation: Julien Dutant (Genève), Alessandro Facchini (Lausanne, Bordeaux), Henri Galinon (IHPST, Paris), Jonathan Zvesper (ILLC and CIW, Amsterdam).