Chris Fermüller

How my students see me
Officially [i.e. in "Kakanien"] :

Ao.Prof.Dipl.-Ing.Dr.techn. Christian Georg Fermüller

Address:

Phone: +43 1 58801 185 43
Fax: +43 1 58801 185 97
Email: chrisf@logic.at

Technische Universität Wien
Favoritenstr. 9/E1852
3. Obergeschoss
Stiege 1 (lila Bereich)
A-1040 Wien, Austria

I am proud to be associated with the LPAR conference series.
Consider attending LPAR-17 in Yogakarta, Indonesia, October 10-15, 2010!

Office Hours

Monday, 10.00-11.30 a.m., during lecture period; otherwise by appointment only.

What's My Job Here?

Participating in the research projects of the group.
Supervising PhD projects, ``Diplomarbeiten '' and students' practica.
Regularly in charge of the following courses:
- Vorlesung mit Übung: ``Theoretische Informatik und Logik'' (gemeinsam mit Rudi Freund )
- Vorlesung mit Übung: `Higher Order Logic'
- Vorlesung mit Übung: ``Mathematische Logik 2''
- Vorlesung mit Übung: ``Nichtklassische Logiken''
- Seminar aus Artificial Intelligence
- Seminar aus Logik
- Seminar: Grundlagen methodischen Arbeitens
- Proseminar: Grundlagen wissenschaftlichen Arbeitens
- Proseminar aus Informatik
- Ausgewählte Kapitel der Theoretischen Informatik
- Ausgewählte Kapitel der Artificial Intelligence
- Privatissimum aus theoretischer Informatik
- Seminar aus theoretischer Informatik
- Vorlesung und Übung: ``Algorithmen-, Rekursions- und Komplexitätstheorie''

Documents, Publications

Some of my publications can be found at the DB&LP Bibliography Server.
A more complete list of my scientific publications in [PDF format]
SPECIFICALLY: For selected publications on dialogue games and proof theory click here
As promissed to some: Slides for my invited talk at LPAR 2002 on Parallel Dialogue Games for Intermediary Logics and a conference paper version (15 pages/PS-format) of part of the material (TABLEAUX 2003)
Vortragsunterlagen zur `AG-Tagung Mathematik' (St. Pölten, 1+2.10.2003):
- Folien zu `Aspekte der konstruktiven Mathematik' [1/1, PDF-Datei] und [4 in 1, PDF-Datei]
- Folien zu `Was ist Informatik (nicht)?' [1/1, PDF-Datei] und [4 in 1, PDF-Datei]
- Folien zu `Was ist theoretische Informatik?' [1/1, PDF-Datei] und [4 in 1, PDF-Datei]

Education

The wrong one
(Although I really enjoyed, e.g., Hermann Filitz's lectures on the history of medieval art)

Current Fields of Research

Proof Theory and Proof Search in Non-Classical Logics
Automated Deduction
Automated Model Building
Foundations of Fuzzy Logic
Complexity of Calculi
Logic in Philosophy
Vietnamese cuisine

Membership in Projects (Selection)

Project Title: LoMoReVI Logical Models of Reasoning with Vague Information
ESF-LogICCC Project (Austria, Czech Republic, Spain)
Head (`Principal Leader'): C. Fermüller
Project Title: Contextualism, supervaluation, and fuzzy logic
Subproject of LoMoReVI (see above)
FWF [Austrian Science Foundation] Project no. I143-G15
Head (`Principal Investigator'): C. Fermüller
Project Title: Constraint Satisfaction Problems and Many-valued Logics
Bilateral Co-operation Agreement with Spain ( Accion Integrada )
Head: G. Salzer
Project Title: Analytic Systems and Dialogue Games as Semantics of Fuzzy Logics
FWF [Austrian Science Foundation] Project no. P16563-N14
Head: C. Fermüller
Project Title: Algebraic Foundations and Dialogue Game Semantics for Fuzzy Logics
Bilateral Co-operation Agreement with Spain (OeAD-WTZ Accion Integrada)
Head (of the Austrian team): C. Fermüller
Project Title: Automated Model Building for Fuzzy Logic
Bilateral Co-operation Agreement with the Academy of Sciences of the Czech Republic (OeAD-WTZ)
Head (of the Austrian team): C. Fermüller
Project Title: Entscheidungsverfahren und Modelbildung: Fuzzy-Logiken
FWF [Austrian Science Foundation] Project no. P16539-N04
Head: C. Fermüller
Project Title: Analytic Proof Methods for Fuzzy Logics
Bilateral Co-operation Agreement with Italy (OeAD-WTZ)
Head: C. Fermüller
Project Title: Automated Model Building with Equality
Austrian Science Foundation, FWF, P11624-MAT
Head: A. Leitsch
Project title: Beweistheorie und automatisches Beweisen
Austrian Science Foundation, FWF, P10282-MAT:
Head: M. Baaz
Project Titel: Cut Elimination and Cut Introduction
Austrian Science Foundation, FWF, P11934-MAT
Head: M. Baaz
Project Title: Generic Decision Procedures for Many-Valued
Bilateral Co-operation Agreement with Spain ( Accion Integrada )
Head: G. Salzer
Project Title: Gödel Logiken erster Ordnung
Austrian Science Foundation, FWF, P12652-MAT
Project Head: M. Baaz

Sparetime Activities

Too many to be listed here all!
(`Der Kopf ist rund damit das Denken öfters die Richtung wechslen kann' - Francis Picabia)

If someone `out there' shares one of the following more peculiar interests with me it would be nice to get to know:

Travelling rough in Asia and South America.
Favorite destinations include:
Vietnam, Laos, Cambodia, Myanmar, Chile, Indonesia, Brazil, Armenia, Georgia and my (Indonesian) friend's kitchen
History of cartography :
I am collecting old maps (16th to 19th century) and cartographo-historical literature (mainly about South-East Asia)
Collecting curious editions of Defoe's Robinson Crusoe

and, of course,

Reading. My (very personal) list of some favorite novelists (in no particular order) includes :
Robert Musil, Thomas Pynchon, Don DeLillo, Mario Vargas Llosa, Heimito von Doderer, Henry James, Vladimir Nabokov, Italo Svevo, Charles Dickens, Adolfo Bioy-Casares, Cees Noteboom, Ingeborg Bachmann, Pramudya Ananta Toer, Italo Calvino, Javier Marias, Leo Tolstoi, Iwan Gontscharow, Andrezj Szczypiorski, Franz Kafka, Karl Kraus, Leo Perutz, Thomas Mann, Joseph Conrad, Iris Murdoch, Albert Drach, Pankaj Mishra, R. K. Narayan, V. S. Naipaul, Ivo Andric, Kosztolányi Dezsõ, Ernest Hemingway, Johann Wolfgang v. Goethe, Friedrich Dürrenmatt, Raymond Chandler, James Joyce, F. Scott Fitzgerald, Fjodor Michailowitsch Dostojewski, Nagib Machfus, Gustave Flaubert, Giuseppe Tomasi di Lampedusa, Albert Camus, Gabriel Garcia Marquez, Joseph Roth, Milan Kundera, Jane Austen, Stefan Zweig, John Steinbeck, Max Frisch, George Orwell, Graham Greene, Alberto Moravia, Alessandro Manzoni, Daniel Defoe, Isaac Bashevis Singer, Philip Roth, José Saramago, Jorge Luis Borges, William Faulkner, Karel Capek, Iwan S. Turgenjew, .........
(I included a small quiz for you: In fact, two of the mentioned authors can impossibly be among my favorite novelists: Do you know who and - in particular - why?)