Björn Lellmann

Room:
HD 04 19
Tel:
+43 (1) 58801 185184
Available:
On request
Mail:
lellmann@logic.at
Function:
Marie Sklodowska-Curie Fellow

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.


 

News

  • The paper "Hypersequent Rules with Restricted Contexts for Propositional Modal Logics" was accepted to Theoretical Computer Science.
    Preprint.

 

Publications

 

Talks

 

Software

 

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 was 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 Academia.edu  

My profiles on Google Scolar and ResearchGate.

My OrcID is 0000-0002-5335-1838.


Björn Lellmann, July 2016