- From: Emilio Muñoz Velasco <ejmunoz@uma.es>
- Date: Wed, 9 Sep 2020 09:47:15 +0200
- To: dmanet@zpr.uni-koeln.de, FMNET@JISCMAIL.AC.UK, events@fmeurope.org, concurrency@listserver.tue.nl, event@in.tu-clausthal.de, protege-user@mailman.Stanford.edu, public-owl-dev@w3.org, gdr-im@gdr-im.fr, bull-i3@irit.fr
========================================================== TIME 2020 CALL FOR PARTICIPATION https://time2020.inf.unibz.it/ Part of the Bolzano Summer of Knowledge, BOSK 2020 https://summerofknowledge.inf.unibz.it ========================================================== REGISTRATION The registration for TIME 2020 is open. Authors and participants can register online at: https://time2020.inf.unibz.it/registration-3/ At least one author per paper should also pay a nominal fee of EUR 50 which serves to cover our costs for the proceedings. Participation in TIME and any other conference and workshop at BOSK is *completely free*. ========================================================== PROGRAM https://time2020.inf.unibz.it/program/ The TIME 2020 program is now online. TIME will happen completely online via the Zoom platform as a *virtual event* on 23-25 September 2020. Zoom links will be available from the program web page. This year there are 16 research papers accepted for remote presentation, and three keynote speakers. Check the program page for more details. ========================================================== KEYNOTE TALKS https://time2020.inf.unibz.it/keynote-speakers/ In order of presentation: * Temporal Modalities in Answer Set Programming - Pedro Cabalar (University of Corunna, Spain) * Time and Business Process Management: Problems, Achievements, Challenges - Johann Eder (Alpen-Adria Universität Klagenfurt, Austria) * Verifying Autonomous Robots: Challenges and Reflections - Clare Dixon (University of Manchester, UK) === The TIME 2020 Organization Committee
Received on Thursday, 10 September 2020 14:17:05 UTC