MOSAIC 2023 invites submissions on a variety of topics on non-classical logics and their applications, with special emphasis on modal substructural logics.

We invite contributions on relevant aspects of non-classical logics, such as:

  • Proof Theory and complexity;
  • Algebraic Semantics;
  • Rela...


  • Stefan Podlipnig was awarded with the teaching prize 2017 for the Faculty of Computer Science.

  • Marion Oswald was awarded as best external lecturer 2017 of TU Vienna.


Informatik, vlnr: Vizerektor Kurt Matyas, Marion Oswald, Eduard Gröller, Peter Purgathofer, Stefan Podlipnig, Wolfg...