• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Andrei Rodin and Irina Starikova gave talks at the International Congress of Logic, Methodology and Philosophy of Science and Technology

Senior research fellows of the International Laboratory for Logic, Linguistics and Formal Philosophy presented their papers in Prague on 5 August.

Andrei Rodin gave the talk “Formal proof-verification and mathematical intuition: The case of univalent foundations” and Irina Starikova presented the talk “Thought experiments” in mathematics?” at the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology/CLMPST


Book of abstracts - 16th International Congress of Logic, Methodology and Philosophy of Science and Technology