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