Theory and Logic Group
Department of Formal Languages
Technische Universität Wien
Favoritenstraße 9/E1852 (Stiege 2/3.Stock)
A1040 Wien, Austria
Room Nr. HD 04 19
Telephone: +43 (1) 58801 185184
eMail: lellmann@logic.at
I am a Marie SkłodowskaCurie Fellow here at the TU Wien in the PAnaMoL project. Before this I was a member of the START project: Non classical proofs: theory, applications and tools led by Agata Ciabattoni, and even further back I did my PhD with Dirk Pattinson in London. In general I am interested in all things connected to logic. At the moment I am working mainly on structural proof theory for modal and intermediate logics (see the official project description or the publications below). In particular I am looking into the connections between Hilbertstyle axiomatisations and Gentzenstyle sequent or hypersequent calculi, as well as the expressive strengths of different Gentzenstyle frameworks.
Publications

Grafting Hypersequents onto Nested Sequents, with Roman Kuznets.
Logic Journal of the IGPL, Advance Access. Published online 21 March 2016.
Free PDF.
Preliminary version on arXiv. 
Proof Search in Nested Sequent Calculi, with Elaine Pimentel.
In: M. Davis, A. Fehnker, A. McIver, A. Voronkov (Eds.): LPAR20. LNCS, vol. 9450, pp.558574. Springer Berlin Heidelberg (2015).
Preliminary version.
Some of the systems in this paper have been implemented in the prover POULE. 
Mimamsa Deontic Logic: Proof Theory and Applications, with Agata Ciabattoni, Elisa Freschi, and Francesco Genco.
In: Hans de Nivelle (Ed.): TABLEAUX 2015. LNCS, vol. 9323, pp.323338. Springer International (2015).
Preliminary version. 
Linear Nested Sequents, 2sequents and Hypersequents.
In: Hans de Nivelle (Ed.): TABLEAUX 2015. LNCS, vol. 9323, pp.135150. Springer International (2015).
Preliminary version. 
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications.
In: S. Demri, D. Kapur, and C. Weidenbach (Eds.): IJCAR 2014. LNAI, vol. 8562, pp. 307321. Springer, Switzerland (2014)
Extended version (with more details). 
Sequent Calculi with Context Restrictions and Applications to Conditional Logic (PhD thesis)

Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5, with Dirk Pattinson
In: D. Galmiche and D. LarcheyWendling (Eds.): TABLEAUX 2013. LNCS, vol. 8123, pp. 219233. Springer, Heidelberg (2013)
Extended version (with more details) 
Lellmann, J., Lellmann, B., Widmann, F., Schnörr, C.: Discrete and Continuous Models for Partition Problems.
International Journal of Computer Vision 104(3), pp.241269. Springer, 2013 
Constructing Cut Free Sequent Systems With Context Restrictions Based on Classical or Intuitionistic Logic, with Dirk Pattinson
In: K. Lodaya (Ed.): ICLA 2013. LNCS, vol. 7750, pp. 148160. Springer, Heidelberg (2013)
Extended Version (with proofs). 
Sequent Systems for Lewis' Conditional Logics, with Dirk Pattinson
In: L. Fariñas del Cerro, A. Herzig and J. Mengin (Eds.): JELIA 2012. LNCS, vol. 7519, pp. 320332. Springer, Heidelberg (2012)
Extended version (with more proofs) 
Graphical Construction of Cutfree Sequent Systems Suitable for Backwards Proof Search (extended abstract), with Dirk Pattinson
In: R. A. Schmidt and F. Papacchini (Eds.): Proceedings of ARW 2012 
Cut Elimination for Shallow Modal Logics, with Dirk Pattinson
In: K. Brünnler and G. Metcalfe (Eds.): TABLEAUX 2011. LNAI, vol. 6793, pp. 211  225. Springer, Heidelberg (2011)
Extended version (with proofs). 
Note on a Dichotomy for the Classes W[P](C) Defined via Symmetric Connectives
In: A. V. Jones (Ed.): Proceedings of ICCSW '11 
Diploma thesis (in German)
Talks

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, 2sequents 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 Cutfree Sequent Systems (at the Logic and Computation Seminar, ANU, Canberra)

Constructing Cutfree 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 Cutfree Sequent Systems with Context Restrictions (at Pisa Summer Workshop on Proof Theory 2012, Pisa)

Graphical Construction of CutFree 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 Cutfree Sequent Systems (at ALCOP 2011, Bern)
Software

Some of the methods and systems of the paper Proof Search in Nested Sequent Systems have been implemented by Elaine Pimentel in the prover POULE. (Please drop me a line if the link does not work, we had some issues with the server lately.)
Other
The article Wo die vifen Kerle forschen in the Austrian magazine FALTER contains bits of an interview with Agata Ciabattoni and myself (in German).
I am a member of the programme committee for LSFA 2016 and the VCLA International Student Awards 2015.
I was a PCmember of Proof, Structure and Computation 2014 and a member of the Organising Comittee of LATD 2014, both of which were part of the Vienna Summer of Logic 2014.
During my time in London I was one of the organisers of the LogIC seminar. If you are in London I highly recommend going to their talks.
My profiles on Google Scolar and ResearchGate.
My OrcID is 0000000253351838.
Björn Lellmann, April 2016