23 September • 24 September • 25 September 23 September 24 September Time (CEST) Event Author 11:00 – 12:00 Invited Talk: Time and Business Process Management: Problems, Achievements, Challenges Chair & Zoom host: Ana Ozaki Johann Eder 12:00 – 12:20 Break Session II (Logic, Complexity and Decidability) Chair: Nicola GiganteZoom host: Ana Ozaki 12:20 – …
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
Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2020 encompasses three tracks, but has a single program committee. The conference will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Invited Speakers Clare …
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. …