Algebra and Coalgebra meet Proof Theory ALCOP 2016
April 7-9, 2016
Current 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
Non classical proofs: Theory, Applications and Tools,
FWF START prize, 2011-2017.
- 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
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 )
- FFG Project: A novel decision support system for training and diagnosis in dermatology. With the
Medical University of Vienna (Dr. Riedl) and
Emergentec biodevelopment, 2013-2015.
Opening of the Vienna Summer of Logic
(Eiter, Veith, Ciabattoni, Scott, Papadimitriu, Vardi, Szeider, Gottlob -- July 14, 2014)
Logic -- the most important science on earth
(Cover story of Austria's news weekly "Profil", June 2014)