Hesperus is Bosphorus

A group blog by philosophers in and from Turkey

Mini-Workshop at Boğaziçi on Logic and its Applications (30/09 – 01/10/2016)

leave a comment »

Talks will take place in TB130 at Boğaziçi  University. Everybody welcome.
Friday, September 30
 
13.45 – 14.00  Welcome
14.00 – 15.00  Hans van Ditmarsch: The Moore Sentence and the Fitch Paradox in Dynamic Epistemic Logic
15.00 – 16.00  Philippe Balbiani: An Introduction to Subset Space Logics
16.00 – 16.30  Coffee Break
16.30 – 17.30  Aybüke Özgün: Justified Belief, Knowledge and the Topology of Evidence
17.30 – 18.30  Zafer Özdemir: Tableaux-based decision procedures for region based theories of space
19.30 –          Dinner
Saturday, October 1
10.00 – 11.00  Sebastian Speitel: Carnap-Categoricity and the Question of Logicality
11.00 – 12.00  Ahmet Çevik: Defining computability through the Church-Turing Thesis
12.00 – 14.00  Lunch and Coffee Break
14.00 – 15.00  Ali Karatay: Is Thales the first philosopher of mathematics?
15.00 – 16.00  Philippe Balbiani: Formal concept analysis: from formal contexts to modal logics and return
16.00 – 16.30  Coffee Break
16.30 – 17.30  Hans van Ditmarsch: Epistemic Gossip Protocols
19.00 –          Dinner
Further details can be found here:
https://sites.google.com/site/miniworkshoponlogic2016/home
Organised by

  • Aybüke Özgün (LORIA, CNRS-University of Lorraine, France and ILLC, University of Amsterdam, the Netherlands
Advertisements

Written by Lucas Thorpe

September 26, 2016 at 11:43 pm

Posted in Uncategorized

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: