Logic In Bochum III

Photos of the event by Dada Baudelaire can be found here. :-)

The annual workshop Logic in Bochum gathers logicians from different domains for a two days workshop at Ruhr University Bochum. This year it will take place on the 5th and 6th of May. The workshop traditionally consists of two parts: the first part (day 1), devoted to a specific area of logic and the second part (day 2) devoted to a variety of topics. We invite submissions of abstracts for the first part of the workshop, which this year focuses on deontic logics.

Submission Deadline

Keynotes

  • Joao Marcos, Federal University of Rio Grande do Norte, Natal, Brazil
  • Gabriella Pigozzi, University Paris Dauphine, France
  • Niko Strobach, Münster University, Germany
  • Allard Tamminga, University Utrecht and University of Groningen

Venue and how to get there

From Bochum Hauptbahnhof (central station) take the U35 towards Bochum Querenburg (Hustadt) and get out at stop “Ruhr Universität”. (Ticket needed: Preisstufe A, €2,70). On weekdays the subway U35 leaves every 5 minutes and reaches the university within 9 minutes.

Getting from the U-Bahn stop “Ruhr Universität” to Beckmanns Hof

The workshop will take place at Beckmanns Hof, Ruhr-Universität Bochum, Germany. Beckmanns Hof is located on Campus behind the Mensa. A map of the campus can be found here: campus map.

From the train station of the U35 (“Ruhr-Universität”) go up the pedestrian bridge, turn right from the exit and walk towards the university. Your route takes you directly to the building of the university library. Keep walking till you pass the University library on your right, and continue until you reach the University “Mensa” building. Pass by the “Mensa” by walking down stairs, cross a campus street and a parking lot, and further walk down to the Beckmanns Hof.

Program

The book of abstracts can be found here.

Friday, 5th of May

     
9:30 - 10:30 Keynote 1: Gabriella Pigozzi Changing Norms: A Framework for Changing Rules [Joint work with Leon van der Torre]
10:30 - 11:00 Coffee Break  
11:00 - 11:30 Ilaria Canavotto A Multi-Agent Dynamic Action Logic for Negative Modes of Actions
11:30 - 12:00 Roberto Ciuni A Dynamic Logic for Information-induced Deontic Deliberation
12:00 - 12:30 Federico L. G. Faroldi First-Order Hyperintensional Deontic Logic
12:30 - 14:00 Lunch Break  
14:00 - 15:00 Keynote 2: Allard Tamminga Collective obligations and obligations of individuals
15:00 - 15:30 Frederik Van De Putte Permitted Choices in a Strategic Setting (joint work with Igor Sedlar)
15:30 - 16:00 Coffee break  
16:30 - 17:00 Mathieu Beirlaen One logic for inductive and abductive reasoning

Saturday, 6th of May

     
9:30 - 10:30 Keynote 3: Joao Marcos Do not be afraid of the Unknown
10:30 - 11:00 Coffee Break  
11:00 - 11:30 Grigory Olkhovikov Justification stit logic: semantic alternatives and new expressive means
11:30 - 12:00 Heinrich Wansing On modal extensions of FDE
12:00 - 12:30 Sergey Drobyshevich Four types of modal operators over intuitionistic logic
12:30 - 13:00 Coffee Break  
13:00 - 14:00 Keynote 4: Niko Strobach Difference - classical and paraconsistent

Organizers

The workshop is organized by the Research Group on Non-Monotonic Logic and Formal Argumentation (http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/).