Title: First-order interpretations as a programming language

Speaker: Mikołaj Bojańczyk (Institute of Informatics, University of Warsaw)

Time: 2025/04/21 (Monday) 15:10-18:00

Location: Room B114, Lee Shau Kee Humanities Buildings No.2 (李兆基人文学苑2号楼), Peking University

Abstract:

Interpretations are a standard mathematic method of transforming one structure into another one. In this talk, I will discuss interpretations that work over strings and trees, and their connections to automata theory and programming languages. Joint work with B. Zhan, X. Zhang.