Times, Events and Logical Specification

Time is an essential part of our life and we refer to it on a daily basis. Yet, time is also an obscure entity, the nature of which is mysterious. It has been investigated by philosophers and physicists for centuries and its real nature is still a matter of speculation.

In our conference we would like to focus primarily on a logical specification and conceptualization of time and events; the formalisation of sentences of natural language in present, past and future tenses that contain time references, and on the historical development of this formalisation.

There is a plethora of approaches to temporal logic. In this conference, we would primarily like to discuss a contribution of Arthur Norman Prior and Pavel Tichý to temporal logic. Prior was a founder of modern temporal logic and his work stimulated the development of this field of logic. Pavel Tichý was a founder of Transparent Intensional Logic (TIL) and he also dealt with the logic of temporal discourse. TIL with its procedural semantics is an apt tool for the logical analysis of events and time dependent phenomena.

We will welcome submissions on topics that concern the logical specification of time, conceptualization of events and last but not least contributions about Arthur Prior’s work and Pavel Tichý’s TIL.

This conference is a part of the project “JG_2020_005 Times, Events, and Logical Specification” of Palacký University Olomouc, the Czech Republic.

Keynote speakers:

• Marie Duží (Technical University of Ostrava)
• David Jakobsen (Aalborg University)
• Bjørn Jespersen (Utrecht University)
• Peter Øhrstrøm (Aalborg University)

Submissions:

The presentation should take 30 minutes and the following discussion 10 minutes.

An abstract up to 500 words prepared for a blind review should be submitted via Easy Chair https://easychair.org/conferences/?conf=tels2022 .

The deadline for submissions was extended to 15th December 2021. The notification of acceptance will be provided up to 1st February 2022.

The conference will take place in at Palacký University from 19th May to 21st May 2022.

The participants of the conference could submit their papers to a special issue of a journal Organon F that will be published after the conference.

There is no participation fee. However, if you like to attend the conference and you are not among presenting speakers, we would appreciate your informing us to make it possible to prepare enough materials and refreshment.

All questions about submissions should be emailed to [email protected]