Invited speakers
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
Previously, he was a Computer Scientist
at LogicBlox Inc, where he contributed to the development of a smart database system that combines transactions,
analytics, planning and business logic, powering a new class of smart enterprise applications. Earlier was a visiting
researcher at INRIA, ENS de Cachan, and IBM Research - Almaden. He received his PhD from the University of Amsterdam
in 2005 for a thesis on the model theory of extended modal languages.
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
Back in the
years '80s he has initiated a line of research in Computational
Linguistics and Natural Language Processing in UAIC. The actual
NLP-Group@UAIC-FII (
http://nlptools.info.uaic.ro) has the roots in
that initiative. He is known mainly for his work on discourse related
topics (such as veins theory, anaphora resolution, summarisation),
hierarchical description of linguistic metadata and multilingual
linguistic workflows, computational lexicography, and linguistic
resources for Romanian language. In 1993 he has initiated the series
of EUROLAN Summer Schools on Natural Language Processing, which had
its 12th edition last year (
http://eurolan.info.uaic.ro/2015/), and is
a co-director of the series of conferences dedicated to resources and
tools for processing the Romanian language - 11 editions since 2001
(
http://consilr.info.uaic.ro/2015/index.php?list=eng).
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
His logic-oriented research focuses on the logic of questions,
and its relations to modal, intermediate, and dependence logics. His language-oriented research concerns
the semantics of questions, imperatives, connectives, and conditionals, as well as the mathematical nature
and structure of semantic objects. He has published articles in the Journal of Philosophical Logic, Synthese,
and the Language and Linguistics Compass.
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
Having started his study at the University of Münster (Germany), he transferred
to to the University of Vienna (Austria), the famous centre for
research on Indian philosophy. He earned a PhD in Indology from the University of Vienna under
supervision of Prof. Gerhard Oberhammer (Institute for Indology) and Prof. Martin Goldstern
(Institute for Algebra of Vienna Technical University). His professorial career in Europe at
universities of Vienna, Zurich and Meinz currently continues at Fudan University in Shanghai, China.
Tudor Jebelean is associate professor at the
Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University, Linz, Austria.
Read more
His research interests are in automatic reasoning, in particular in
applications of automatic theorem proving to algorithm synthesis,
program verification, and semantic data retrieval. He also contributed
to the developement of fast practical algorithms for long integer arithmetic and to their parallelization on systolic arrays.
Vlolodymyr Peschanenko is a
professor at the Kherson State University, Kherson,
Ukraine and a Software
Engineer at Information Software Systems.
Read more
His research interests are in insertion modeling, in algebraic programming, in process algebras,
in formalization, in verification, in white-box testing, in model base testing, in symbolic modeling,
in deductive systems, in mathematical pedagogical software, in computer algebra algorithms, in term rewriting
systems.
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
His research interests range from purely philosophical problems (e.g. philosophy
of language, the problem of free will) to purely mathematical problems (mathematical logic, especially modal logics
and superintuitionistic logics). His recent papers were devoted to the development of a semantic framework that can
be viewed as a generalization of the so-called inquisitive semantics.
Volodimir G. Skobelev is a Leading Researcher at V. M. Glushkov
Institute of Cybernetics of National Academy of Sciences of Ukraine.
Read more
He is a prolific researcher with close to 200 publications, including 6 monographs on Foundations of Mathematics, Logic, Algebra,
Discrete Mathematics, Applied Theory of Algorithms, Automata Theory, Mathematical Backgrounds of Cryptology, Quantum Computations,
and a professor at many universities in Ukraine and Russia.