吃瓜官网

On October 14 at 7 pm Novosibirsk time (6 pm Omsk time, 3 pm Moscow time) the seminar #224 of  will take place. Stepan Kuznetsov (Steklov Mathematical Institute RAS) will present his talk 鈥淪tructures with non-standard Kleene stars鈥�.

Kleene iteration, or Kleene star, is one of the most intriguing algebraic operations appearing in theoretical computer science. Usually, the Kleene star is interpreted as the limit of n-th powers of an element. This is how it behaves in algebras of formal languages and in relational algebras. In the talk, we shall show some examples of structures with non-standard Kleene iteration, and apply them to proving some results for corresponding logical theories.

To join the seminar, connect to the Zoom meeting a few minutes prior to the beginning at  (or manually by entering the meeting ID 812 2079 3393 in the Zoom app).

Please pay attention to the following rules for conducting an Internet seminar:

• Please log in under your name and surname
• During the report, please turn off the microphone
• For the convenience of the presenter, it is recommended to submit your questions in the chat in advance