Program
The workshop will take place on Tuesday, July 10th, at the Philosophy Department of Stockholm University - Universitetsvägen 10, Hus D, 7th floor (map and directions below).
- 9:30 : Workshop starts
- 9:30 -> 10:15 : Réka Markovich - Understanding Hohfeld
- 10:15 -> 11:00 : Mariela Morveli Espinoza, Juan Carlos Nieves, Ayslan Possebom, Josep Puyol Gruart and Cesar A. Tacla - Resolving Incompatibilities between Procedural Goals: An Argumentation-based Approach
- 11:00 -> 11:30 : Coffee break
- 11:30 -> 12:15 : Sophia Knight - Asynchronous Public Announcement Logic
- 12:15 -> 13:00 : Riccardo De Masellis and Valentin Goranko - Dynamical Multi-agent Systems
- 13:00 -> 14:30 : Lunch
- 14:30 -> 15:15 : Bengt Lennartson - Visible Bisimulation Equivalence — A Unified Abstraction for Temporal Logic Verification
- 15:15 -> 16:00 : Natasha Alechina and Brian Logan - Resource Logics with a Diminishing Resource
- 16:00 -> 16:45 : Dario Della Monica and Aniello Murano - Parity-energy ATL for qualitative and quantitative reasoning in MAS
- 16:45 -> 17:15 Wrap up and refreshments
Venue and meeting place
The venue for the workshop is room D734 at the Department of Philosophy, located in the D-building on Frescati campus, Stockholm University. You can enter the D-building, but the department and workshop venue can only be accessed with key card. We will therefore meet at the main entrance to the D-building and go together to the workshop venue. The entrance to the D-building is a five minutes’ walk from the metro station “Universitetet”, please see the attached map. There are two meeting times: 9:00 and 9:15.
Getting to the university campus
The easiest way to get to the university campus from the city is by metro or bus, provided by SL (Stockholms lokaltrafik).
From the city to campus:
– Metro: take the red line towards “Mörby Centrum”, get off at the station “Universitetet”
– Bus: Take bus 50 towards “Stora Lappkärrsberget”, get off at the stop “Universitetet”
Tickets can be bought at metro stations and at newsagents. You can buy single tickets, fixed duration-passes with short duration (24 hours, 72 hours or 7 days), or load an access card with pay-as-you-go credit. Tickets must be bought before travel.
At https://sl.se/en/ you can find more information, access the travel planner and download timetables. Timetables can also be picked up at SL-centers located around Stockholm.
Information to speakers
We ask you to kindly bring your own laptops for showing slides. If that is not possible for you, please send your slides to us in advance.