Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"From Axioms to Proof Rules, Then Add Quantifiers";
Talk: 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016,
Coimbra (invited);
2016-07-01.