Speaker:

Bakhadyr Khoussainov (Professor in University of Electronic Science and Technology of China)

Time:

• 16:20-17:20 (Time in Beijing)
• 21:20-22:20 (Time in Auckland)
• April 8, 2022 (Friday)

Venue:

B1-518B, Research Building 4

Abstract:

This talk will give an introduction to the theory of automatic structures, a cutting-edge research topic in logic in computer science and computation. After introduction of the main concepts, many examples will be provided. We wll discuss several open questions, their history and motivation. Basic mathematics and computer science knowledge at undegraduate level suffices to follow the talk.