Person profile

Univ.Prof.in Dr.in

Agata Ciabattoni

Phone +43 1 58801 18545

E-Mailagata.ciabattoni@tuwien.ac.at

Assigned

E192-05	E192-50	E056-13	E056-23	E056-27

Business Card

Research area

Name	Management/Member
Service Unit of Digital Humanism	Member
Service Unit of Innovative Combinations and Applications of AI and ML (iCAIML)	Member
Research Unit of Theory and Logic	Management
Services of the Institute	Member
Service Unit of LogiCS	Member

Profile

Research profile (German):

Logics different from classical (yes/no) logic: theory, tools and applications to various fields, including Artificial Intelligence and philosophy.

Research profile (English):

Logics different from classical (yes/no) logic: theory, tools and applications to various fields, including Artificial Intelligence and philosophy.

Link to CV:

http://www.logic.at/staff/agata/profile.html

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
mathematische Logik	mathematical logic
Formale Methoden	Formal Methods

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Faculty focus

Faculty focus	Percentage
Logic andComputation	100

Reference Projects

Title	Funding program	Function	From	Until
National, FFG - Austrian Research Promotion Agency
Logical Methods in Computer Science	structural program		01.01.2014	31.12.2017
National, WWTF - Vienna Science and Technology Fund
Fuzzy Logic: from Mathematics to Medical Applications	Thematic calls	Principal Investigator	01.01.2008	01.01.2012

National award

Awarding Organization	Program	Function	Name	From	Until	Website	Project ID
FWF - Der Wissenschaftsfonds	START-Programm		Nichtklassische Beweise: Theorie, Automatisierung, Anwendung	01.01.2011	31.12.2017

Membership in committee

Committee	Description	Location	From-To
Committees at the TU Wien	Collegium Logicum	Austria	-
Committees at the TU Wien	Doctoral Programme Mathematical Logic in Computer Science	Austria	-
Committees at the TU Wien	Kurt Gödel Society	Austria	-
	TABLEAUX - Automated Reasoning with Analytic Tableaux and Related Methods	Germany	-
	VCLA - Advisory board of the Vienna Center for Logic and Algorithms	Austria	-
	WPI - Wolfgang Pauli Institute	Austria	-

Journal participation

Title	Classification	Referenced	Function	From-To
Bulletin of the Section of Logic	unclassified	Yes	Editor	01/2011 -
IfCoLog - Journal of Logics and their Applications	unclassified	Yes	Editor	01/2014 -
Soft Computing	unclassified	Yes	Editor	01/2013 -

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Conference / Event	Organisator_in	Vienna Summer of Logic	07/2014	07/2014	Mitglied des Organisationskommitees
Scientific Conference / Symposium	eingeladene_r Sprecher_in	The 87th Workshop on General Algebra	02/2014	02/2014	(Algebraic) Proof Theory for Substructural Logics and Applications
Scientific Conference / Symposium	Organisator_in	LATD 2014			Programm und co-chair
Scientific Conference / Symposium	Organisator_in	TbiLLC: Tbilisi Symposium on Logic, Language, and Computation 2015			Programm- und Paperauswahl
Scientific Conference / Symposium	Organisator_in	LICS 2015			Programm- und Paperauswahl
Scientific Conference / Symposium	Organisator_in	IJCAR 2014			Programm- und Paperauswahl
Scientific Conference / Symposium	Organisator_in	FOCI 2014 IEEE Symposium on Foundations of Computational Intelligence			Programm- und Paperauswahl
Scientific Conference / Symposium	Organisator_in	ISRALOG'14 - Israeli Workshop on Non-Classical Logics and Their Applications			Programm- und Paperauswahl
Scientific Conference / Symposium	eingeladene_r Sprecher_in	XXV Incontro di Logica (AILA)	04/2014		Tools for the investigation of substructural and paraconsistent logics
Scientific Conference / Symposium	eingeladene_r Sprecher_in	JELIA 2014 - The European Conference on Logics in Artificial Intelligence	09/2014	09/2014	Tools for the investigation of substructural and paraconsistent logics
Scientific Conference / Symposium	eingeladene_r Sprecher_in	TACL 2015	06/2015	06/2015	Topology, Algebra, and Categories in Logic