Hellenic-Romanian Logic and Computation Seminar,
http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.ht
Monday 19th of January at 18.00 GR/RO time
link: https://meet.jit.si/HRLogicComputSeminar
Title: ON THE STABILITY AND FRAGILITY OF INTERPOLATION
Speaker: Andrzej Tarlecki
Institute of Informatics, University of Warsaw
Abstract: The main topic of this talk is a version of the Craig interpolation theorem formulated for an arbitrary logical system formalised as an institution, which proved crucial in the development of a number of key ideas and results concerning foundations of software specification and formal development. I will examine how admitting empty carriers in many-sorted first-order structures affects (or rather, does not affect) Craig interpolation and a number of other classical model-theoretic results. Then, more generally, I will discuss preservation of interpolation properties under institution extensions by new models and sentences, pointing out that some interpolation properties remain stable under such extensions, even if quite arbitrary new models and sentences are permitted. I will also present (time permitting) complete characterisations of such situations for institution extensions by new models, by new sentences, as well as by new models and sentences, respectively.
Bio: Andrzej Tarlecki received his PhD in 1982 and DSc (habilitation) in 1987 from the Institute of Computer Science of the Polish Academy of Sciences, and the scientific title of Professor of mathematical sciences from the President of Poland in 1998. Since 1992 his main affiliation is with the University of Warsaw, where he served as Director of the Institute of Informatics (1996-2005), Dean of the Faculty of Mathematics, Informatics and Mechanics (2012-2016) and Vice-Rector of the University (2016-2020).
His research addresses a broad range of topics in the theory of software specification, verification and development, and related areas of logic, universal algebra and category theory. This includes generalisation, clarification and further elaboration of some fundamental ideas of algebraic specification and program development, design of high-level specification languages Extended ML and CASL, and work on the theory of institutions and its applications, including institution-independent model theory. He has published some 90 papers in journals and refereed conference proceedings. Many of these ideas and results are presented in the monograph “Foundations of Algebraic Specification and Formal Software Development” (Springer-Verlag, 2012) co-authored with Don Sannella.
He has been a member of programme committees of over 60 international symposia (chairing or cochairing e.g. MFCS’91, CSL’04, FMTA’95, FM’05, ICALP’07 Track B, CALCO’09), gave over 70 seminars at various computer science centres, a similar number of presentations at international conferences and workshops, including a number of invited plenary talks, and a few invited series of lectures at summer schools. Much
of his research has been carried out in close collaboration with leading international groups and academic centres abroad, and has been supported by a series of research grants at both national and international level.
He is a member of Academia Europaea and, inter alia, of IFIP TC 1 “Foundations of Computer Science”, WG 2.2 “Formal Description of Programming Concepts” (scientific secretary in 1995-2002) and WG 1.3
“Foundations of System Specification” (founding member). He is also a member of EATCS (Council member 2003-2011) and EASST, and has served on the editorial boards of several international journals. In
2001-2004 he was a member of ETAPS Steering Committee, chairing ETAPS’03 in Warsaw.
