Sunday 24 Morning

Farzad Didehvar
School of Mathematics and Computer Science, Amir Kabir University, Tehran, Iran
“Is Classical Mathematics Appropriate for Theory of Computation?”

Vitalii Gavryluk and Mykola Nikitchenko
European University of Kyiv, Ukraine and Taras Shevchenko National University of Kyiv, Ukraine
“Methodological Principles for Program Logic Construction”

Timm Lampert
Department of Philosophy, Humboldt University, Berlin, Germany
“Turing's Fallacy of Substitution”

Raja Natarajan and Abhishek Kr. Singh
School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, India
“Towards formalizing finite set Combinatorics in Type theory”

Cyrus F. Nourani and Johannes Fähndrich
AI Labs, Berlin Institute of Technology, Germany
“Direct Products on Computing Languages and Models:A preliminary”

Mykola Nikitchenko and Stepan Shkilniak
Taras Shevchenko National University of Kyiv, Ukraine
“Extending Classical Logic with Quasiary Predicates”

Andrei Rodin
Saint-Petersburg State University, Russia
“Rules versus Axioms: a Constructive View of Theories”

Uwe Wolter
Department of Informatics, University of Bergen, Norway
“A Universal Language for First-Order Constraints”

For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)
Back to the Sessions of UNILOG'2018