Roman Kuznets's Homepage

A book edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard, and Frank Wolter is scheduled to be published by Ubiquity Press. Chapter Interpolation in Proof Theory in Part II: Methods in this book is written by Iris van der Giessen, Raheleh Jalali, and me.

IMLA 2026: 8th Intuitionistic Modal Logic and Applications Workshop

July 24–25, 2026 — FLoC 2026, Lisbon, Portugal

A joint talk with Marianella Girlando, Sonia Marin, and Lutz Straßburger An Unfinished Story: Decidability of IS4 was accepted for presentation.

CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination

July 24–25, 2026 — FLoC 2026, Lisbon, Portugal

Marta Bílková from the ICS will give an invited talk. Roman Kuznets is a member of the PC.

AiML 2026: Advances in Modal Logic

June 29–July 3, 2026 — University of Amsterdam, Amsterdam, Netherlands

Marta Bílková from the ICS is the PC Chair of the this 30th anniversary installment of AiML.

Visit of Clara Lerouvillois to the ICS

May 4–July 31, 2026 — Institute of Computer Science of CAS

Clara Lerouvillois from the University of Toulouse will be visiting.

Short Bio

I am a Senior Scientist in the Department of Theoretical Computer Science of the Institute of Computer Science at the Czech Academy of Sciences.

I am a member of the P JAC project TRUST: Knowledge in the Age of Distrust.

I am interested in fault-tolerant distributed systems, modal logic, dynamic epistemic logic, structural proof theory, interpolation, and justification logic.

Below are links to my CV and professional profiles.

CV and Professional Links

Google Scholar

ResearchGate

ORCID

dblp

Scopus

Web of Science

MathSciNet

zbMATH

ACM DL

Math Genealogy

Past Events

Epistemic logic and topological perspectives on distributed computing

June 15–17, 2026 — IRIF, Paris, France

Marta Bílková gave a joint talk Improperly Deducing Simplicial Crashing.

ČSKI General Meeting: Czech Society for Cybernetics and Informatics

June 11, 2026 — CIIRC, Prague, Czecia

I gave an invited talk.

Best Research Results by Young Researchers Award of Filip Jankovec

May 29, 2026 — ICS CAS, Prague, Czechia

Filip Jankovec, a PhD student at the Department of Theoretical Computer Science, won the 2025 ICS Best Research Results by Young Researchers for his joint paper with Zuzana Haniková Satisfiability in Łukasiewicz logic and its unbounded relative. Congratulations!

Logica 2026

May 18–22, 2026 — Hejnice Monastery, Hejnice, Czechia

The conference is organized by the Institute of Philosophy of the Czech Academy of Sciences. One of the chairs of the Organizing Committee is Igor Sedlár from the ICS. One of the invited speakers is Wesley Fussner from the ICS.

RAMiCS 2026: Relational and Algebraic Methods in Computer Science

April 7–10, 2026 — Będlewo Conference Center, Będlewo, Poland

The conference is organized by the Institute of Mathematics of the Polish Academy of Sciences. One of the invited speakers is Marta Bílková from the ICS.

Visit of Sena Bozdag to the ICS

March 9–13, 2026 — Institute of Computer Science of CAS

Sena Bozdag from the University of Bayreuth was visiting.

Czech Gathering of Logicians & Beauty of Logic 2026

February 4–6, 2026 —Academic Conference Center, Prague, Czechia

The conference was organized by the Institute of Computer Science and co-organized by the Institute of Philosophy of the Czech Academy of Sciences. OC Chair: Zuzana Haniková.

Nicola Olivetti's visit to Prague

January 21–23, 2026 — Institute of Computer Science of CAS, Prague, Czechia

Nicola Olivetti was visiting Han Gao at the institute.

Best Dissertation Award of Hugo Rincón Galeana

December 4, 2025 — TU Wien, Vienna, Austria

Dr. Hugo Rincón Galeana won the TU Wien Informatics Best Dissertation Award for his PhD thesis Methods for Analyzing Task Solvability in Distributed Computing. Congratulations! Dr. Rojo Randrianomentsoa was one of the nominees

CELIA Final Workshop

September 29–30, 2025 — Institute of Philosophy of CAS, Prague, Czechia

Marta Bílková gave the talk Epistemic Logic(s) of Crash Failures on a joint work with me, Hans van Ditmarsch, and Rojo Randrianomentsoa.

Defense of Giorgio Cignarale

August 29, 2025 — TU Wien, Vienna, Austria

My PhD student (under joint supervision with Ulrich Schmid) successfully defended his thesis On A priori Belief Updates in the Epistemic Analysis of Distributed Systems. Congratulations!

He started a postdoctoral position in the Theory and Logic Group from September. Good luck!

Dr. Rojo Randrianomentsoa started a postdoctoral position in Bern

July 1, 2025 — University of Bern, Bern, Switzerland

My former PhD student started her first postdoc at the University of Bern, in the Logic and Theory Group. Good luck!

Modal Logic Today: A Handbook

June 30, 2025 — online

Sara Negri and I participated in the first meeting of authors of the upcoming book Modal Logic Today: A Handbook, edited by Johan van Benthem, Patrick Blackburn, and Frank Wolter and intended as a continuation of the Handbook of Modal Logic published in 2007, where we will be writing the chapter Proof Systems for Modal Logic for the Mathematical Perspectives section edited by Lev Beklemishev.

Institute of Computer Science is 50 years!

June 18, 2025 — Czech Association of Scientific and Technical Societies, Prague, Czechia

Our insitute celebrated its 50th anniversary.

Defense of Rojo Randrianomentsoa

May 5, 2025 — TU Wien, Vienna, Austria

My PhD student (under joint supervision with Ulrich Schmid and Hans van Ditmarsch) successfully defended her thesis Epistemic Logic for Distributed Systems with Crash Failures. Congratulations!

Page updated

Google Sites

Report abuse