Traditional and new perspectives on deontic logic and agency modeling, September 12th-15th, 2017, Lublin (Poland)

Register now!


Click below for general announcements about Trends in Logic XVII.
Read More


Interested in learning more about Lublin? Click bellow to find out more.
Read More


Get to Lublin by plane train, or automobile! Click below for general travel information.
Read More


Click below for our recommended lodgings ranging from hostels to hotels, all within walking distance.
Read More

Photo Album (+ link to Dada’s album)

Dear Guests,

As you’ve seen we are trying to capture various moments of our conference and prevent our good memories from fading, you’ll be able to find the photo album of our conference here .

Edit: And here you’ll find photos made by Dada 🙂


Free Afternoon & Conference Dinner

Dear Guests,

On today’s afternoon, we have planned a guided tour and our starting point will be Lublin’s Castle. Our guide will be waiting for us in front of the Castle at 3:40 pm. We can go there together after afternoon’s lecture or meet at the place (map here Castle)

Conference dinner will start at 8 pm in restaurant Magia (it’s in the Old Town, map here Magia).

See you!

Welcome reception

As the conference starts we invite you to the reception dinner on the roof-top terrace of Victoria Hotel today at 6:30 pm.
The hotel’s address is: ul. Prezydenta Gabriela Narutowicza 58/60, map here.
See you there! If you would like to travel together, we’ll meet CTW 56 (the “common room” and place where you may register) at 6:10.

Some practical info

Dear Guests,

The conference will be in CTW (centrum transferu wiedzy) room 114 (Ist floor), and registration office is in the room 56 (also CTW, near the door-keeper’s room) located at KUL’s main campus.

Biger map of the Main Campus

If you have difficulties and need assistance please feel free to contact:

Paulina Wiejak +48 503 578 539 (for help in Polish / English)
Michael Musielewicz +48 883 054 999 (for help in English)

Programme is now available!

We are pleased to announce that the programme for Trends in Logic XVII is now available.

It is available here.

Deadline Extension until June 10th

We have already received a satisfactory number of abstracts’ submissions for the Trends in Logic XVII conference. However,  due to several requests for an extension of the deadline, organizing committee decided to make a 10 days extension until June 10th. Thus, if you still have not done it, we invite you to propose a contribution to the event via easychair.

The notification of acceptance date remains unchanged on June 30th.

First call for papers – TRENDS IN LOGIC XVII, 2017


The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from September 12 to September 15, 2017 under the title “Traditional and new perspectives on deontic logic and agency modeling”. It is organized by the Department of the Foundations of Computer Science at the Faculty of Philosophy of the John Paul II Catholic University of Lublin, in co-operation with the journal Studia Logica (see and

Trends website:

We call for relevant contributions applying the different approaches to:
– deontic logic,
– normative aspects of action theory,
– formal ethics,
– legal theory,
– handling norms in computer systems.

A special session on obligations derived from permissions, related to the a special issue of Studia Logica, will be a part of the conference.


– Jan Broersen
– Fenrong Liu
– Paul McNamara
– Olivier Roy
– Marek Sergot
– Jan WoleĹ„ski

Extended abstracts of a length between 1 and 3 pages (including references), which will undergo a short reviewing process should be submitted in LaTeX preferably (but not mandatorily) according to the Trends style, available for downloading at All papers should be submitted via EasyChair ( At least one of the authors of an accepted paper must register for and attend the conference for the contribution to be presented.

Authors are encouraged to submit papers presented at Trends in Logic XVII to Studia Logica journal, where they will be a subject of full reviewing process.

– Janusz Czelakowski (Opole, Poland)
– Norbert Gratzl (MĂĽnchen, Germany)
– Jacek Malinowski (Warsaw, Poland)
– Marcin Tkaczyk (Lublin, Poland)
– Robert Trypuz (Lublin, Poland)
– Heinrich Wansing (Bochum, Germany)
– Ryszard WĂłjcicki (Polish Academy of Sciences, Warsaw)

– Piotr Kulicki (Lublin, Poland) – Local chair
– Marek Lechniak (Lublin, Poland)
– Xin Sun (Lublin, Poland)
– Anna Karczewska (Lublin, Poland)
– Anna StaroĹ›cic (Lublin, Poland)
– Michael Musielewicz (Lublin, Poland)
– Paulina Wiejak – secretary

Deadline for submissions: May 31th, 2017
Notification of acceptance: June 30th, 2017
Deadline for early registration: July 31th, 2017
Conference: September 12th-15th, 2017