Logic In Bochum III
Table of Contents
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.
[X]Abstracts of about 500 words are to be submitted via https://easychair.org/conferences/?conf=logboc3 by the 15th of March 2017.
- 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
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.
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|
The workshop is organized by the Research Group on Non-Monotonic Logic and Formal Argumentation (http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/).