Invited speakers

Balder ten Cate Balder ten Cate is a Software Engineeer at Google where he works on Search Infrastructure. He is also an Associate Adjunct Professor at UC Santa Cruz, where currently is advising two graduate students. Read more

Dan Cristea Dan Cristea holds a position of full professor at the "Alexandru Ioan Cuza" University of Iași (UAIC), Faculty of Computer Science (FII), and a part-time position as researcher in the Computer Science Institute of the Iasi branch of the Romanian Academy. Read more

Ivano Ciardelli Ivano Ciardelli is a postdoc researcher at the Institute for Logic, Language, and Computation in Amsterdam. He works on both logic and natural language semantics. Read more

Eberhard Guhe Eberhard Guhe is a philosopher of language, a philologist and linguist of ancient Eastern languages, a historian of Western logic, a semanticist and a logician. Among his contributions to logic, one especially stands out by its deep insight into an ancient Indian logic of properties with its reconstruction as an axiomatic system. Read more

Tudor Jebelean Tudor Jebelean is associate professor at the Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University, Linz, Austria. Read more

Vlolodymyr Peschanenko Vlolodymyr Peschanenko is a professor at the Kherson State University, Kherson, Ukraine and a Software Engineer at Information Software Systems. Read more

Vít Punčochář Vít Punčochář is a researcher at the Department of Logic at the Institute of Philosophy of the Czech Academy of Sciences. He studied logic at the Faculty of Arts of the Charles University in Prague. Currently, he is about to complete his PhD in Philosophy at the same University. Read more

Volodimir Skobelev Volodimir G. Skobelev is a Leading Researcher at V. M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine. Read more