Helmut

Ongoing research projects:

• EC-RISE, Marie Curie Action, Research and Innovation Staff Exchange (RISE) Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics (23 Partners, 13 Countries), 2016-2019
• EC-IRSES, Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES, GetFUN Generalizing Truth-Functionality (16 Partners, 8 Countries), 2013-2017.
• Scientist in charge of the following fellowships: FWF Lisa Meitner for Roman Kuznets (February 2015-January 2017), and Marie Curie Individual Fellowship (IEF) for Bjoern Lellmann (May 2015-April 2017)
• FWF Doctoral College Logical Methods in Computer Science , 15-30 PhD positions. Convenors: M. Baaz, A. Biere, R. Bloem, A. Ciabattoni, U. Egly, T. Eiter, C.G. Fermueller, R. Grosu, A. Leitsch, M. Ortiz, R. Pichler, S. Szeider, H. Tompits, H. Veith, G. Weissenbacher, 2014-2017. ( web site )
• Non classical proofs: Theory, Applications and Tools, FWF START prize, 2011-2017.

Current conference activities:

Program committee member of CSL 2017, WOLLIC 2017, Tableaux 2017, the 19th International Congress of the Austrian Mathematical Society 2017 (co-chair of the section Algebra, Logic and Set Theory), TACL 2017, ICLA 2017, ALCOP 2016 (Chair), IJCAR 2016, LATD 2016, SYSMICS 2016, ESCIM 2016.

Opening of the Vienna Summer of Logic (Eiter, Veith, Ciabattoni, Scott, Papadimitriu, Vardi, Szeider, Gottlob)	Logic -- the most important science on earth (Cover story of "Profil ", June 2014)	Austria's news weekly "Profil ", December 2015