Tallinn University of Technology

On 14 January, the 2023 World Logic Day will be marked in Estonia by a workshop organized by researchers of the Department of Software Science and the Ragnar Nurkse Department. The workshop will be held in the grand hall of the Academy of Science, but also streamed by Zoom.

The aim is to bring together logicians and people with an interest in logic connected to Estonia, covering both philosophical and mathematical/computer science logic as well as logic in artificial interest. The speakers include Dominique Unruh, professor of cryptology at the University of Tartu, Tanel Tammet, professor of applied artificial intelligence at the Tallinn University of Technology, Giovanni Mion, researcher at the Istanbul Technical University and others.

Consciousness, knowledge and rationality are characteristic to humanness. Logic, as the study of principles of correct thinking, has played and is playing an important role in the development of philosophy and the sciences. The World Logic Day was first celebrated in 2019; since 2020, it is organized under the auspices of UNESCO. 14 January is the date of death of Kurt Gödel and the birth date of Alfred Tarski, two of the most prominent logicians of the 20th century (see http://wld.cipsh.international/).

In Estonia, the World Logic Day is being celebrated for third time.

The workshop is being organized by Amirouche Moktefi, Tarmo Uustalu and Niccolò Veltri.

Participation is free of charge.

Information and registration 

To attend, please register by 10 January. The Zoom link will be communicated to registered participants.