• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Important announcements 1

Tag "Reporting an event"

"Constructive Knowledge - 8: Formal Representation of Mathematics" Workshop

Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, together with Sergei Kovalev gave a presentation on "Formal Epistemology and Computational Representation of Knowledge"

Illustration for news: World Logic Day on January 14

World Logic Day on January 14

On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.

Illustration for news: Lena Pasalskaya Took Part in the Work of Project Group on Sign Languages in the Institut Jean Nicod

Lena Pasalskaya Took Part in the Work of Project Group on Sign Languages in the Institut Jean Nicod

Lena Pasalskaya made a report on the workshop, organized by the Institut Jean Nicod

Illustration for news: Formal Philosophy – 49: the Report of Elia Zardini

Formal Philosophy – 49: the Report of Elia Zardini

On the 5th of December Elia Zardini, the Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Unstable Knowledge” on the 49th session of theoretical seminar “Formal Philosophy”.

Illustration for news: Gala V. Maksudova-Eliseeva Made a Report on the Conference in Krakow

Gala V. Maksudova-Eliseeva Made a Report on the Conference in Krakow

Gala V. Maksudova-Eliseeva made a report on the conference, which was dedicated to Frege and Wittgenstein

Illustration for news: Elena Dragalina-Chernaya gave a talk at the Conference in Brussels

Elena Dragalina-Chernaya gave a talk at the Conference in Brussels

The Head of the International Laboratory for Logic, Linguistics and Formal Philosophy gave a talk at the conference in Brussels, Belgium.

Illustration for news: Vladimir L. Vasyukov Made a Report at the Conference in Crete, Greece

Vladimir L. Vasyukov Made a Report at the Conference in Crete, Greece

The Leading Research Fellow Vladimir L. Vasyukov made a report at the conference in Crete, Greece.

Illustration for news: Denis Fedyanin Participated at the Conference in Paris

Denis Fedyanin Participated at the Conference in Paris

On October 25-26, Denis Fedyanin, the Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report at the conference in Paris.

Illustration for news: Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»

Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»

On the 24th of October Andrei Rodin, Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations” on the 48th session of theoretical seminar “Formal Philosophy”.

Illustration for news: Vitaliy Dolgorukov Made a Report in the RAS Institute of Philosophy

Vitaliy Dolgorukov Made a Report in the RAS Institute of Philosophy

On October 9, Vitaliy Dolgorukov, the Deputy Head of the Laboratory, made a report “The Ontological Square and Type-Theoretic Semantics”