(Kyoto 2011)

Dr. Agata Ciabattoni Technische Universität Wien Institut für Computersprachen Favoritenstrasse 9-11 A-1040 Wien, Austria Phone: +43 1 58801-18545 Fax: +43 1 58801-18597 E-mail: agata@logic.at

Profile Research Selected Projects Publications Coauthors Selected Activities Personal Open Positions

Selected Projects

• Non classical proofs: Theory, Applications and Tools START prize (FWF), December 2011-November 2017
  
  
• Fuzzy Logic: from Mathematics to Medical Applications funded by WWTF (Vienna Science and Technology Fund), 2008-2012
  
  
• Semantic Characterization of Cut-Elimination funded by FWF (Austrian Science Fund), 2006-2009

• Derstandard
• Campus (Neue Serie: Familie und Job)
• Forschen and Entdecken (p.12)
• Forschen and Entdecken (p.8-9)

Publications

List (sorted by topic, DBLP)

Recent Activities (selection)

Collecting editor of the Bulletin of The Section of Logic

Steering Commitee member of the Doctoral Programme Mathematical Logic in Computer Science at the Vienna University of Technology

Executive board member of the Kurt Goedel Society and Collegium Logicum chair

Member of the Advisory board of the Vienna Center for Logic and Algorithms VCLA

Member of the Wolfgang Pauli Institute WPI Vienna

PC Member of

• Tableaux 2011, Bern, Switzerland, July 2011
  
• IEEE Symposium on Foundations of Computational Intelligence IEEE SSCI 2011, Paris, France, April 2011
  
• LPAR-17, Yogyakarta, Indonesia, October 2010
  
• CSL 2010, Brno, CZ, August 2010
  
• LPAR-16, Dakar, Senegal, April 2010
  

Personal