Revantha Ramanayake

HD 04 21
+43 (0)1 58801-18546
Senior Post-doctoral Researcher

Profile    Recent activities    Publications     Projects     Teaching    CV

Research Interests

  • Using proof theory to study the properties of substructural, modal and intermediate logics (including decidability, complexity, interpolation).

  • Structural proof theory: relative expressivity of proof formalisms, abstract representation of proof calculi, restrictions of the sequent calculus

  • Development of interactive/automated verification of structural proof theory in the theorem prover Isabelle/HOL

  • Formal logics for the provability predicate of arithmetic (provability logics)

  • Proof-systems for automated reasoning about satisfiability modulo theories (SMT)

Recent activities

  • Collecting Editor of the Bulletin of the Section of Logic  NEW!

  • Committee Co-chair. VCLA International Student Awards 2018, 2019
    Nominations for the Best Masters and Bachelors thesis are now open!  

  • Keynote lecture: Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (China) 5-9 Dec 2016

  • Invited Speaker: 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016 (associated with IJCAR 2016), Coimbra (Portugal) 1 Jul 2016

  • Invited Tutorial (with Björn Lellmann): "Proof-theoretical Reasoning" at the TRS Reasoning School, NAT@Logic 2015: Natal (Brazil) 31 Aug-4 Sep 2015

  • Invited Tutorial. PhDs in Logic VII. Vienna (Austria) 14-16 May 2015

  • Invited Plenary Speaker. 6th International Conference on Teaching Logic and Prospects of its Development, Kiev (Ukraine) 15-16 May 2014

  • Invited tutorial. 9th International Tbilisi Summer School in Logic and Language, Tbilisi (Georgia) 30 Sep - 4 Oct, 2013 (slides)

  • Tutorial (with Björn Lellmann): General methods in proof theory for modal and substructural logics. Co-located with TABLEAUX 2017, FroCoS 2017 and ITP 2017. Brasilia, Brazil. 23 Sep 2017. Slides for lectures 1 and 3.

  • Co-chair. International Workshop on External and Internal Calculi for Non-classical Logics (EINCL 2018), Oxford (UK), 19 Jul 2018

  • PC Member. 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogotá (Colombia) 24-27 Jul 2018

  • PC Member. 23rd International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2018), Fortaleza (Brazil) 26-28 Sep 2018

  • PC Member. Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (China) 5-9 Dec 2016

  • PC Member. 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 20), Suva (Fiji) 24-28 Nov 2015

  • PC Member. International conference on Advances in Modal Logic (AiML 2014), Groningen (Netherlands) 5-8 Aug 2014

  • PC Member. Structures and Deduction 2014, Vienna (SD14) part of the Vienna Summer of Logic 2014

  • OC Member. 2nd SYSMICS Workshop, Vienna, 26-28 Feb 2018

  • OC Member. Kick-off meeting for Project TICAMORE, Vienna, 14-16 Mar 2017

  • OC Member. ALCOP VII, Vienna, 7-9 Apr 2016

  • OC Member. Logic, Algebra and Truth Degrees 2014 (LATD 2014), Vienna, 16-19 Jul 2014

  • OC Member. Compositional Meaning in Logic 2014 (GeTFun 2.0), Vienna, Jul 22-23 2014


  • Principal investigator. Stiftung Aktion Österreich-Ungarn. Proj. no: 92öu14. Formalisierung der Beweistheorien. 2016-2017.

  • Co-cordinator TU Wien. Transnational Funding FWF-ANR, TICAMORE: Translating and Discovering Calculi for Modal and Related logics, 2017-2020

  • EC-RISE, Marie Curie Action, Research and Innovation Staff Exchange (RISE) Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics, 2016-2019

  • Non classical proofs: Theory, Applications and Tools, FWF START prize, 2011-2017.

  • EC-IRSES, Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES, GetFUN Generalizing Truth-Functionality, 2013-2017.


  • Higher-Order Logic (185.A60). Summer semester 2016, 2017. Access to the course webpage via TISS.


Journal papers

Conference papers

  • From Display to Labelled Proofs for Tense Logics (with Agata Ciabattoni and Tim Lyon)
    Proc. Logical Foundations of Computer Science - International Symposium LFCS 2018. Pages 120—139, 2018.

  • Bunched Hypersequent Calculi for Distributive Substructural Logics (with Agata Ciabattoni).
    In: Eiter T., Sands D (eds) Proc. LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EPiC Series in Computing. Vol 46 Pgs 417-434. 2017.

  • Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.
    In: Olivetti N., Tiwari A. (eds) Automated Reasoning. IJCAR 2016. Lecture Notes in Computer Science. Vol 9706 Pgs 416-432. 2016.

  • Structural extensions of display calculi: a general recipe (with Agata Ciabattoni)
    Proc. WOLLIC 2013: 20th Workshop on Logic, Language, Information and Computation. Pgs 81-95. 2013.

  • Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents (with Rajeev Goré)
    Proc. AiML 2012: International Conference on Advances in Modal Logic. Pgs 279-299. 2012.



I am currently a post-doctoral researcher at the Technische Universität Wien (TU Wien, Austria) funded by the FWF START project headed by Prof. Agata Ciabattoni (2012-17) and the FWF-ANR Transnational TICAMORE project (since 2017). Before this I was a post-doctoral researcher at the LIX (École Polytechnique, France) in the PSI project headed by Dr. Stéphane Graham-Lengrand and Dr Assia Mahboubi, working on a proof-theory for reasoning about satisfiability modulo theories (SMT). I completed my PhD at The Australian National University, Canberra in 2011 under the supervision of Prof. Rajeev Goré (thesis).