Björn Lellmann

Björn Lellmann

Theory and Logic Group
Department of Formal Languages
Technische Universität Wien
Favoritenstraße 9/E1852 (Stiege 2/3.Stock)
A-1040 Wien, Austria

Room Nr. HD 04 19
Telephone: +43 (1) 58801 185184


I am a Marie Skłodowska-Curie 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 Hilbert-style axiomatisations and Gentzen-style sequent or hypersequent calculi, as well as the expressive strengths of different Gentzen-style frameworks.



  • The paper "Hypersequent Rules with Restricted Contexts for Propositional Modal Logics" was accepted to Theoretical Computer Science.
  • Coming up: LSFA 2016.









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 PC-member 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.

Follow me on  

My profiles on Google Scolar and ResearchGate.

My OrcID is 0000-0002-5335-1838.

Björn Lellmann, June 2016