<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">------------------------------------------------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">The 2nd CALL FOR PAPERS</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">TIME 2018</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;"> 25th International Symposium on Temporal Representation and Reasoning</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Warsaw (Poland), 15-17 October 2018</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Call for Papers</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;"><a href="https://time2018.ipipan.waw.pl/">https://time2018.ipipan.waw.pl/</a></span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">-------------------------------------------------------------------------------------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Aims and scope</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">--------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to
both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium
will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">The Artificial Intelligence track includes, but is not limited to:</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects of agent- and policy-based systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- spatial and temporal reasoning</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- reasoning about actions and change</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- planning and planning languages</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- ontologies of time and space-time</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- belief and uncertainty in temporal knowledge</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal learning and discovery</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- time in problem solving (e.g. diagnosis, scheduling)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- time in human-machine interaction</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal information extraction</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- time in natural language processing</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- spatio-temporal knowledge representation systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- spatio-temporal ontologies for the semantic web</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- constraint-based temporal reasoning</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal preferences</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">The Database track includes, but is not limited to:</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal data models and query languages</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal query processing and indexing</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal data mining</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- time series data management</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- stream data management</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- spatio-temporal data management, including moving objects</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- data currency and expiration</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- indeterminate and imprecise temporal data</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal constraints</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects of business processes and ECA systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- real-time databases</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- time-dependent security policies</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- privacy in temporal and spatio-temporal data</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects of multimedia databases</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects of e-services and web applications</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects of distributed systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects and big data</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal aspects in NoSQL databases</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal data warehouses</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- time series analysis and mining</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- semi-structured temporal data</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- visualizations and interfaces for temporal data</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">The Logic and Verification track includes, but is not limited to:</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- specification and verification of systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- verification of web applications</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- synthesis and execution</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- model-checking algorithms and implementations</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- verification of infinite-state systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- reasoning about transition systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal architectures</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal logics for distributed systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal logics for games and open systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal logics of knowledge</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- hybrid systems and real-time logics</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- cyber-physical systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- tools and practical systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal issues in security</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">The New areas and Application track includes, but is not limited to:</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- applications of temporal data and temporal reasoning</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal information retrieval</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- temporal recommendation systems</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">- applications of temporal database management</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Submission and publication</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">---------------------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for
publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance.</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Detailed submission instructions can be found on the website:</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;"><a href="http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/">http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/</a></span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"> </span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">The submissions must not exceed 15 pages excluding references and appendix. The appendix is optional and must not exceed 5 pages. The papers must be submitted to the EasyChair site at
<a href="https://easychair.org/conferences/?conf=time2018">https://easychair.org/conferences/?conf=time2018</a></span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference
proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper.</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of some high quality journal.</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Important Dates</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">--------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Abstracts due: May 7, 2018</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Full papers due: May 11, 2018</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Notification: June 26, 2018</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Final version due: July 13, 2018</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Symposium: October 15-17, 2018<span class="Apple-tab-span" style="white-space:pre">
</span></span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Program Committee Chairs</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">---------------------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Natasha Alechina, University of Nottingham, UK</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Kjetil Norvag, Norwegian University of Science and Technology, Norway</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Wojciech Penczek, Institute of Computer Science, PAS, Warsaw, Poland</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Program Committee </span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">------------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Patricia Bouyer-Decitre (ENS Cachan, Paris, France)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Christos Doulkeridis (University of Piraeus, Greece)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Rajeev Gore (Australian National University, Australia)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Fabio Grandi (University of Bologna, Italy)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Keijo Heljanko (Aalto University, Finland)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Adam Jatowt (Kyoto University, Japan)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Marcin Jurdzinski (University of Warwick, UK)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Roman Kontchakov (Birkbeck, University of London, UK) </span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Martin Lange (University of Kassel, Germany)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Francois Laroussinie (LIAFA, Univ. Paris 7, CNRS, France)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Aniello Murano (University of Napoli "Federico II", Italy)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Eirini Ntoutsi (Leibniz University of Hanover, Germany)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Doron Peled (Bar Ilan University, Israel)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">R. Ramanujam (Institute of Mathematical Sciences, Chennai, India)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Peter Z. Revesz (University of Nebraska-Lincoln, USA) </span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Mark Reynolds (University of Western Australia, Australia)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Renate A. Schmidt (University of Manchester, UK)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Sven Schewe (University of Liverpool, UK)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Kostas Stefanidis (University of Tampere, Finland)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Andrzej Szalas (Warsaw University, Poland, and University of Linkoping, Sweden)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Kristian Torp (Aalborg University, Denmark)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Christoph Trattner (University of Bergen, Norway)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Bozena Wozna-Szczesniak (Jan Dlugosz University, Czestochowa, Poland)</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Invited Speakers</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">--------------------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Stephane Demri, LSV, CNRS & ENS de Cachan, France</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Johann Gamper, Free University of Bozen-Bolzano, Italy</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Wojciech Jamroga, Institute of Computer Science, PAS, Warsaw, Poland</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">Venue</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">---------</span></p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 13.8px;">
<span style="font-size: 12pt;"></span><br>
</p>
<p style="margin: 0px; font-size: 12px; line-height: normal; font-family: Helvetica;">
<span style="font-size: 12pt;">TIME 2018 will take place in Warsaw, a beautiful city, which is the capital of Poland.</span></p>
<div><span style="font-size: 12pt;"><br>
</span></div>
<div></div>
<PRE>
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
</PRE></body>
</html>