Revantha Ramanayake

Room:
HD 04 21
Tel:
+43 (0)1 58801-18546
Mail:
revantha@logic.at
Function:
Senior Post-doctoral Researcher

ORCID iD iconorcid.org/0000-0002-7940-9065

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

  • Invited Speaker: 5th International Workshop on Structures and Deduction SD 2019, Dortmund, Germany, June 29-30, 2019.  NEW!
  • Collecting Editor of the Bulletin of the Section of Logic  NEW!
  • Committee Co-chair. VCLA International Student Awards 2018, 2019
  • 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

Projects

  • 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.

Teaching

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

Publications

Journal papers

  1. Inducing syntactic cut-elimination for indexed nested sequents
    Logical Methods in Computer Science. Vol. 14(4:18), pp. 1--25, 2018.
  2. Power and Limits of Structural Display Rules (with Agata Ciabattoni)
    ACM Transactions on Computational Logic (TOCL). Volume 17 Issue 3, July 2016.
  3. Non-commutative classical arithmetical sequent calculi are intuitionistic
    Special issue of the Journal of the IGPL. Volume 24, Issue 3, pp 441-452, 2016.
  4. Embedding the hypersequent calculus in the display calculus
    Journal of Logic and Computation, Volume 25, Issue 3, pp 921-942, 2015.
  5. Hypersequent and display calculi -- a unified perspective (with Agata Ciabattoni and Heinrich Wansing)
    Studia Logica, Volume 102, Issue 6, pp 1245-1294, 2014.
  6. Cut-elimination for weak Grzegorczyk logic Go (with Rajeev Goré)
    Studia Logica, Volume 102, Issue 1, pp 1-27 , 2014.
  7. Valentini's cut-elimination for provability logic resolved (with Rajeev Goré)
    The Review of Symbolic Logic, 5, pp 212-238. 2012.

Conference papers

  1. Bounded sequent calculi for non-classical logics via hypersequents (with Agata Ciabattoni and Timo Lang)
    To appear in the Proceedings of The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2019. NEW!
  2. Sequentialising nested systems (with Elaine Pimentel and Björn Lellmann)
    To appear in the Proceedings of The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2019. NEW!
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Valentini's cut-elimination for provability logic resolved (with Rajeev Goré)
    Proc. AiML 2008: International Conference on Advances in Modal Logic. Pgs 67-86. 2008.

Other


Profile

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).