Invitation to a Special Seminar organized by Bruno Buchberger:From lexical trees to effective Eilenberg machines: the Zen toolkit for computational linguistics

Date: 02/05/2023
Time: 14:00 - 15:30

Location: RISC Seminarroom, Castle of Hagenberg

I invite all faculty and students at JKU and FH Hagenberg who are interested in the logical, semantical, and structural foundations of natural languages and algorithmic tools to do research in this area. Gérard Huet is one of the early researchers in the area of Symbolic Computation and Automated Reasoning. He is mostly known for his major and seminal contributions to unification, type theory, functional programming, and the theory of computation. He spent most of his career as a senior researcher in INRIA’s Paris research center, where he led the Coq proof assistant project, and is a Member of the French Academy of Sciences. Recently, he turned his interest to computational linguistics and developed an algorithm for Sanskrit segmentation. In this seminar, he will explain the data structures and finite-state-machine techniques of a functional toolkit for morpho-phonetics. This toolkit is the kernel of the Sanskrit Heritage set of Web services at, developed in cooperation with the Department of Sanskrit Studies of the University of Hyderabad. The seminar is of interest to computer scientists, mathematicians, and linguists. Amba Kulkarni, originally a mathematics scholar, is heading the Department of Sanskrit Studies at the University of Hyderabad. She has been developing a dependency parser for Sanskrit, interoperable with the Sanskrit Heritage suite of Web services. After the talk, Amba Kulkarni and Gérard Huet will be available to demonstrate their Sanskrit tools.