Media Appearance (a selection):

• Articles on the related WWTF project
• Profil Magazin. December 2015. A Ciabattoni et al.
• Falter (Heureka) September 2015. A. Ciabattoni and B. Lellmann
• Profil Magazin. July 2014. A Ciabattoni et al.
• FEMtech-Expertin. 2013. A. Ciabattoni
• Wien Live, (pp. 104-107) see also here (Magazine March 2013). A. Ciabattoni
• Derstandard. 2013. A Ciabattoni
• Fame Lab 2012 L. Spendier
• Fame Lab Olympics L. Spendier
• UNSW. R. Ramanayake
• Der Standard . 2011. A. Ciabattoni
• Forschen and Endecken p. 9. A. Ciabattoni.

Profil, July 2014	Profil, December 2015

Some events we are involved in

(not yet updated)
• 7th Indian Conference on Logic and its Applications ICLA 2017 (Kanpur, India)
• (Organization of) Algebra and Coalgebra meet Proof Theory ALCOP, Vienna, 7-9 April
• CSL 2016, Marseilles, France
• AIML 2016 Advances in Modal Logic
• IJCAR 2016
• ESCIM 2016 (8th European Symposium on Computational Intelligence and Mathematics), Sofia (Bulgaria), October 5th - 8th, 2016
• LFCS 2016 (Florida, U.S.A.),
• Manyval 2015 (Les Diablerets, Switzerland),
• Symposium TbiLLC 2015, September 2015, Tblisi, Georgia
  
• LICS 2015, Tokyo, Japan, July 2015
• TACL 2015, Ischia (Italy), June 2015
• ESCIM 2015 7th European Symposium on Computational Intelligence and Mathematics. Cadiz, October 2015
• FOCI 2015 IEEE Symposium on Foundations of Computational Intelligence (Cape Town)
• Tableaux 2015, Wroclaw University, Poland, September 2015
• LSFA 2015 (International Workshop on Logical and Semantic Frameworks, with Applications), Natal, Brasil, August 2015
• Organization of Vienna Summer of Logic , Vienna, July 2014
• NCPROOFS Nonclassical Proofs: Theory, Applications and Tools, Vienna, July 20, 2014 (Workshop dedicated to the project at the Vienna Summer of Logic)
• JELIA 2014 September 24th-26th, Madeira Portugal
• Isralog 2014 29 September-1 October, University of Haifa.
• Advances in Modal Logic ( AiML 2014 ), 5-8 AUGUST, 2014 Groeningen.
• IJCAR 2014 , Vienna.
• Logic, Algebra and Truth Degrees 2014 LATD 2014 , 16-19 July 2014, Vienna
• Workshop Structures and Deduction, July 12-13, 2014 Vienna
• Workshop GeTFun 2.0, July 22-23, Vienna 2014
• Workshop Proof, Structure and Computation , 17-18 July 2014, Vienna.
• Incontro AILA (Italian Association for Logic), Pisa (Italy) 14-17 April 2014
  
• The 87th Workshop on General Algebra (AAA87), February 2014, Linz (Austria)
• Teaching Logic and Prospects of its Development, May 2014, Kyiv (Ukraine).
• FOCI 2014 , IEEE Symposium on Foundations of Computational Intelligence (Orlando, US).
• LIX Colloquium 2013: The Theory and Application of Formal Proofs, Paris November 5-7, 2013.
  
• Symposium TbiLLC2013 , 23-27 September 2013, Gudauri, Georgia
  
• WOLLIC 2013 , Darmstadt, Germany
• Workshop GetFun , Rio de Janeiro, April 2013
  
• Workshop on Logic and Algebra, Vienna, August 28, 2012
• Workshop on Non-classical logics Vienna, November 25-26, 2011