lara-profile

Lara Katharina Spendier

Vienna University of Technology / TU Wien,
Faculty of Informatics
Theory and Logic Group

Research Interests

I conducted my PhD at the Vienna University of Technology under the supervision of Prof. Agata Ciabattoni. I was a member of the START project: Non classical proofs: theory, applications and tools. I am interested in topics that include Proof theory, Non-classical logics, Computational logic, Computational linguistics, Psycholinguistics, Language acquisition.

Feel free to contact me if you want to know more about my current work.
For more information, you can also download my cv.

News

07/2015

I will give a course called Klartext für Computer at the ditact summer_studies in Salzburg from August 27-29,2015! If you are interested, you can still register for it!

06/2015

I defended my PhD thesis on June 18, 2015! Yay!

06/2014

I have a new job! It's not in academia, though ...

Software

2014

Framinator
PROLOG program that transforms frame conditions into labelled rules
Website

2012-2013

Paralyzer
PROLOG program that transforms axioms into analytic sequent calculi and generates an effective semantics for them using non-deterministic matrices
Website

2011–2012

AxiomCalc
PROLOG program that transforms axioms into analytic rules
Website

2008

RDF::Redland::DIG (with Robert Barta)
DIG extension for Redland RDF; Perl module;
Website

Publications & Talks

(Peer-Reviewed) Conferences and Journals (dblp)

2014

Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. In TOCL 16(1):5.
with Agata Ciabattoni, Ori Lahav and Anna Zamansky

2014

Tools for the Investigation of Substructural and Paraconsistent Logics. In Proceedings of JELIA 2014, E. Ferme and J. Leite (Eds.), LNAI 8761, pp. 18--32, 2014.
with Agata Ciabattoni

2013

Hypersequent and Labelled Calculi for Intermediate Logics. In Proceedings of TABLEAUX 2013, D. Galmiche and D. Larchey-Wendling (Eds.), LNCS 8123, pp. 81--96, 2013.
with Agata Ciabattoni and Paolo Maffezioli
download pdf

2013

The Fourth Answer Set Programming Competition: Preliminary Report. In Proceedings of LPNMR 2013, P. Cabalar and T.C. Son (Eds.), LNAI 8148, pp. 42--53, 2013.
with Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Johannes Peter Wallner and Guohui Xiao
download pdf

2013

VCWC: A Versioning Competition Workflow Compiler. In Proceedings of LPNMR 2013, P. Cabalar and T.C. Son (Eds.), LNAI 8148, pp. 233--238, 2013.
with Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Johannes Peter Wallner and Guohui Xiao
download pdf

2013

Automated Support for the Investigation of Paraconsistent and Other Logics. Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013), S. Artemov and A. Nerode (Eds.), LNCS 7734, pp. 119--133, 2013.
with Agata Ciabattoni, Ori Lahav and Anna Zamansky
download pdf

2012

Standard Completeness for Extensions of MTL: an Automated Approach. Int. Workshop on Logic, Language, Information and Computation (WoLLIC 2012), L. Ong and R. de Queiroz (Eds.), LNCS 7456, pp. 154--167, 2012.
with Paolo Baldi and Agata Ciabattoni
download pdf

2009

Semantic SOS over Virtual Topic Maps. South African Computer Journal, 43:3-17, 2009.
with Robert Barta and Thomas Bleier
download pdf

Talks

09/2013

Hypersequent and Labelled Calculi for Intermediate Logics.
TABLEAUX 2013: Nancy, September 16-19, 2013.
download slides

04/2013

Automated Support for the Investigation of Paraconsistent and Other Logics.
Contributed Talk at the 4th World Congress on Universal Logic, Session "Tools", Rio de Janeiro, April 3-7, 2013.
download slides

11/2012

Automated Support for the Investigation of Paraconsistent and Other Logics.
Collegium Logicum 2012: Structural Proof Theory, INRIA (Paris), November 15-16, 2012.
download slides

10/2012

Towards an Automated Support for the Investigation of Non-Classical Logics.
Research Seminar of the Computer Science School (Tel-Aviv University), October 31, 2012.
download slides

02/2010

VICAJOP: VIrtual CAmpus for JOint Programmes.
Invited Talk at 15th TERENA TF-EMC2 Meeting, Vienna, Austria, February 16-17, 2010.

Theses

2015

Tools for the Investigation of Substructural, Intermediate and Paraconsistent Logics.
PhD Thesis, Vienna University of Technology, 2015
download pdf

2011

Systematic Proof Theory for Non-Classical Logics: Advances and Implementation.
Master Thesis, Vienna University of Technology, 2011
download pdf

2009

Der erstsprachliche Pluralerwerb im Deutschen und im Niederländischen. (Plural acquisition in German and in Dutch.)
Master Thesis, University of Vienna, 2009.
download pdf

Teaching

Summer 2015

ditact_women's IT summer studies 2015, Universität Salzburg:
Klartext für den Computer

Summer 2013

ditact_women's IT summer studies 2013, Universität Salzburg:
Formales Modellieren für die Praxis (cancelled)

W 2012-13

TU Wien:
Formale Modellierung/Formal Modelling

S 2012

TU Wien:
Formale Modellierung/Formal Modelling
Datenmodellierung/Data Modelling

W 2011-2012

TU Wien:
Formale Modellierung/Formal Modelling
Datenmodellierung/Data Modelling

Science Communication

05/2015

Jury member of the Code Poetry Slam, May 27, 2015, Vienna, Austria
see here

01/2015

fti...remixed at the Yo!Tech Exposition, January 28, 2015, Vienna, Austria
see here

Invited Talk »Informatik - Knifflige Rätsel und andere Spielereien« at the Yo!Tech Exposition, January 28, 2015, Vienna, Austria

01/2014

Invited Talk »Informatik - Knifflige Rätsel und andere Spielereien« at the Yo!Tech Exposition, January 30, 2014, Vienna, Austria

06/2013

Invited Talk »Informatik - Knifflige Rätsel und andere Spielereien« at the Yo!Tech Exposition, June 20, 2013, Vienna, Austria

05/2013

Public lecture »How to get featured in TIME magazine as a logician« at the Sofia Science Festival 2013, Sofia, Bulgaria
see here

2012

Participation FameLab 2012:
Explanation of Fuzzy Logics (in English; FameLab Olympics International Contest)
Interview about my work and non-classical logics (in German)
Explanation of Fuzzy Logics (in German; qualification for the finals)