23 September • 24 September • 25 September Virtual Zoom meeting to participate in the TIME 2020 sessions. Discord workspace for discussions. Instructions for Presenters (From KR2020 – Thanks to Paolo Felli) Youtube Channel for TIME2020 recorded presentations. Proceedings: Accessible at https://www.dagstuhl.de/dagpub/978-3-95977-167-2 Talks: 15+5 minutes 23 September Time (CEST) Event Author 10:45 – 11:00 Opening …
Marco Franceschetti and Johann Eder. Negotiating Temporal Commitments in Cross-Organizational Business Processes Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco and Stefano Trevisani. The Horn Fragment of Branching Algebra Florian Bruse and Martin Lange. Recursive Temporal Logic Catalin-Andrei Ilie and James Worrell. Parametric Model Checking Continuous-Time Markov Chains Zehui Cheng and Phokion Kolaitis. Universal Solutions …
Registration to TIME2020 is managed via the BOSK2020 event. Registration is mandatory for participation. TIME2020 requires a fee of 50€ from authors publishing in proceedings – for each such paper, at least one author must pay the author fees, other co-authors may register for free as participants. In all other cases (including co-authors of accepted …
ACCOMODATION Book as soon as possible; Bolzano is a very popular travel destination. There are many hotels close to the venue of the event. Below you can find a list of some of them. If you are looking for budget accommodation there is the possibility of staying in a shared triple room or in individual …
Papers due: May 24th, 2020 Notification: July 5th, 2020 Final camera-ready version: July 17th, 2020 Early bird registration: July 26th, 2020 Conference: September 23rd-25th, 2020
TIME 2020 – 3rd CALL FOR PAPERS (Extended Deadline – May 24th) 27th International Symposium on Temporal Representation and Reasoning Bozen-Bolzano (Italy), 23rd-25th September 2020 Co-Located with the Bolzano Summer of Knowledge 2020 https://summerofknowledge.inf.unibz.it/ Aims and Scope Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the …
Clare Dixon (University of Manchester, UK) TALK – Verifying Autonomous Robots: Challenges and Reflections Autonomous robots such as robot assistants, healthcare robots, industrial robots, autonomous vehicles etc. are being developed to carry out a range of tasks in different environments. The robots need to be able to act autonomously, choosing between a range of activities. …