June, 23 (This schedule uses the Moscow time zone, UTC+3)

10.00-11.30 (Chair: Vitaly Dolgorukov / Alexandr Mishura)

  • 10.00-10.30

    Milana Kostic (UCSD),
    Belief update for Stalnaker Bernoulli models

  • 10.30-11.00

    Alexandra Pavlova (TU Wien, HSE),
    Mezhirov’s Provability Game for Modal logic KD

  • 11.00-11.30

    Denis Fedyanin (HSE),
    The problem of elimination of own strategy for higher payoff

  • 10.00-10.30

    Hayden Wilkinson (University of Oxford, ANU),
    Risk aversion and the not-so-long run

  • 10.30-11.00

    Polina Pavlukhina (SPSU),
    Predicates of personal taste: discussion between relativism and contextualism

  • 11.00-11.30

    Valeriia Kudriashova (HSE),
    The Logic of Norms and Values in G.H. von Wright's Philosophy

13.30-15.00 (Chair: Vitaly Dolgorukov / Alexandr Mishura)

  • 13.30-14.00

    Vladimir Rybakov (Siberian Federal University), 
    Multi-Agent Logics

  • 14.00-14.30

    Farshad Badie (Aalborg University),
    On Logical Analysis of Agents’ Conceptions within their World Descriptions

  • 14.30-15.00

    Wai Lok Cheung (The Chinese University of Hong Kong), 

    Formalising conceptual analysis

  • 13.30-14.00

    Silver Bronzo (HSE),
    Language, Thought, and Expression in the Tractatus

  • 14.00-14.30

    Elena Dragalina-Chernaya (HSE),
    Shaping Logical Space. A Wittgensteinian Stance

  • 14.30-15.00

    Fabien Schang (Federal University of Goiás),
    Things May Not Be Simple: On Wittgenstein's External and Internal Relations

17.00-18.00 (Chair: Vitaly Dolgorukov)

Plenary Session

  • 17.00-18.00

    Natasha Alechina (University of Utrecht),

    Logics for Resource-Bounded Reasoners

18.00-18.30 (Chair: Vitaly Dolgorukov)

Poster session

  • Alexey Krenev (Yaroslavl Demidov State University)
    The Outline of a Formal Metaphysics of Sets, Types, and Categories

  • Daniil Khaitovich (HSE),
    Counterfactuals in Branching Time: An Overview

  • Elena Popova (HSE),
    Evolutionary Epistemic Model