Running research projects:
-
MSCA COFUND Doctoral Programme LogiCS@TUWien.
20 PhD positions. 2022-2027.
We are hiring!
-
WWTF " Mathematics and ... Call 2016 ", Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts 2017-2022
( web site )
-
EC-RISE Project MOSAIC (Modalities in Substructural Logics: Theory, Methods and
Applications). 2021-2024
-
Scientist in charge for the FWF LisaMeitner project of
Xavier Parent 2021-2023
-
FWF-ANR,
TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics 2017-2022
( web site )
- COST action
DIGital FORensics: evidence Analysis via intelligent Systems and Practices 2018-2021.
- FWF Doctoral College
Logical Methods in Computer Science, 2014-2021.
( web site )
Current conference activities:
-
PC co-chair of
WOLLIC 2022 (together with Elaine Pimentel).
-
Program committee member of : CSL2023, IJCAR2022, AIML2022, FSCD2022, CSL2022, TACL 2022, and TbiLLC 2022
|
|
|
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
|