Talks
Proof Theory for Modal Tense Logic and Symmetric Modal Logic via Linear Nested Sequents (online talk at the TULIPS seminar, Utrecht, The Netherlands, 2020)
Nested Sequents and Countermodels for Monotone Modal Logic (at the Fifth TICAMORE Meeting 2019, Vienna, Austria, 2019)
Proof theory for deontic logic inspired by Indian Philosophy (invited talk at the Annual meeting of the Swiss Society for Logic and Philosophy of Science 2019, Bern, Switzerland, 2019)
Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels (at TABLEAUX 2019, London, UK, 2019)
Syntactic Cut-elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents (at TABLEAUX 2019, London, UK, 2019)
Countermodels for Non-normal Modal Logics via Nested Sequents (at SYSMICS 2019, Amsterdam, The Netherlands, 2019)
Nested sequents: Intermediate logics and neighbourhoods (at the Researcher's Seminar of the Theory and Logic Group, TU Wien, 2018)
Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents, with Roman Kuznets (at AiML 2018, Bern, Switzerland, 2018)
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity (at TABLEAUX 2017, Brasília, Brasil, 2017)
General methods in proof theory for modal logics (Joint tutorial with Revantha Ramanayake at TABLEAUX 2017, Brasília, Brasil, 2017)
Lecture 1, Lecture 2, Lecture 3, Lecture 4Analytic calculi for intermediate logics: A nested sequent approach (at ALCOP VIII, Glasgow, 2017)
The Linear Nested Sequent Framework (at TICAMORE Kick-off Workshop, Vienna, 2017)
The Linear Nested Sequent Framework (at Laboratoire des Sciences de l'Information et des Systèmes, Aix-Marseille Université, Marseille, 2016)
Linear Nested Sequents (at the Workshop on Efficient and Natural Proof Systems, Bath, 2015)
The Framework of Linear Nested Sequents (at the Researcher's Seminar of the Theory and Logic Group, TU Wien, 2015)
Linear Nested Sequents, 2-sequents and Hypersequents (at TABLEAUX 2015, Wrocław)
Proof Theoretic Reasoning 2, Part 1 and Part 2 (my part of an invited joint tutorial with Revantha Ramanayake at the TRS Reasoning School, Nat@logic 2015, Natal)
Grafting Hypersequents onto Nested Sequents (at GeTFun 3.0, Nat@logic 2015, Natal)
Towards a Theory of Hypersequent Calculi for Modal Logics (at the Researchers' Seminar of the Theory and Logic Group, TU, Vienna)
Axioms vs Hypersequent Rules with Context Restrictions (at IJCAR 2014, Vienna)
Comparing Gentzen Systems via Hilbert Axioms (at Gentzen Systems and Beyond III, Vienna)
Relating Axioms and Rules for Modal Logics (at the Researchers' Seminar of the Theory and Logic Group, TU, Vienna)
Generic Methods in the Construction of Cut-free Sequent Systems (at the Logic and Computation Seminar, ANU, Canberra)
Constructing Cut-free Sequent Systems with Context Restrictions for Modal Logics Based on Classical or Intuitionistic Logic (at ICLA 2013, Chennai)
Sequent Systems for Lewis' Conditional Logics (at JELIA 2012, Toulouse)
Constructing Cut-free Sequent Systems with Context Restrictions (at Pisa Summer Workshop on Proof Theory 2012, Pisa)
Graphical Construction of Cut-Free Sequent Systems (at PhDs in Logic 2012, Ghent)
A Dichotomy Theorem for The Classes W[P](C) (at ICCSW 2011, London)
Cut Elimination for Modal Logics with Shallow Axioms (at TABLEAUX 2011, Bern)
From Shallow Axioms to Cut-free Sequent Systems (at ALCOP 2011, Bern)