INTERACT Interpolation, Amalgamation, and Computation

Interpolation is a fundamental metalogical property of broad importance across computer science, mathematics, and philosophy. INTERACT is a Czech Science Foundation Junior Star project running 2025-2029 and based at the Institute of Computer Science of the Czech Academy of Sciences. It aims to bridge the gap between two dominant paradigms in the study of interpolation: the syntactic approach focusing on proof-theoretic formalisms, and the semantic approach focusing on amalgamation in classes of algebraic models. By reconciling these methodologies, INTERACT works toward developing a systematic account of interpolation in varied environments and, in particular, toward producing a flexible and powerful toolkit for investigating interpolation in different logical contexts.

Contact: Dr. Wesley Fussner (principal investigator), fussner[at]cs[dot]cas[dot]cz

  News

---

• There is an open call for a three-year postdoctoral position on INTERACT. For details and information about how to apply, see the job advertisement Informal inquiries are welcome and can be addressed to the PI, Dr. Wesley Fussner, at fussner[at]cs[dot]cas[dot]cz.
• There is an open call for a four-year, fully funded PhD position on INTERACT. For details and information about how to apply, see the job advertisement. Informal inquiries are welcome and can be addressed to the PI, Dr. Wesley Fussner, at fussner[at]cs[dot]cas[dot]cz.