Homes
 -  homepage
 -  affiliations

Research (en)
 -  Publications
 -  Interests

Peirce's Graphs (en)
 -  Readings
 -  Moving pics
 -  MS 145

Über mich (ge)
 -  Lebenslauf
 -  Tagungen
 -  Vorträge
 -  Lehre

Tagungen

Besuchte Tagungen

• 15th International Conference on Conceptual Structures (ICCS) 2007
  22.07.07--27.07.07, Sheffield, UK
  Vortrag: Constants and Functions in Peirce's Existential Graphs
• 15th International Symposium on Methodologies for Intelligent Systems (ISMIS) 2006
  27.09.06 - 29.09.06, Bari, Italien
  Vortrag: RDF as Graph-Based, Diagrammtic Logic
• 14th International Conference on Conceptual Structures (ICCS) 2006
  16.07.06--21.07.06, Aalborg, Dänemark
  Vortrag: The Role of Existential Graphs in Peirce's Philosophy
  Vortrag: Some Notes on Proofs with Alpha Graphs
• Fourth International Conference on Formal Concept Analysis (ICFCA) 2006
  13.02.06 - 17.02.06, Dresden, Deutschland
  Vortrag: Two Instances on Peirce's Reduction Thesis
• Logik und Wissen
  24.06.05 - 26.06.05, Darmstadt, Deutschland
  Vortrag: Diagrammatische Repräsentationssprachen als ein Werkzeug für menschengerechte Informationsverarbeitung
• International Conference on Conceptual Structures (ICCS) 2005
  17.07.05-2.07.05, Kassel, Deutschland
  Vortrag: Variables in Concept Graphs
  Tutorial: Mathematical Foundations of Concept Graphs
• Third International Conference on Formal Concept Analysis (ICFCA) 2005
  14.02.05-18.02.05, Lens, Frankreich
• International Conference on Conceptual Structures (ICCS) 2004
  19.07.04-23.07.04, University of Alabama in Huntsville, U.S.A.
  Vortrag (eingeladen): Types and Tokens for Logic with Diagrams: A Mathematical Approach
• Wissen und Lernen: Welche Wissenskultur braucht unsere Universität?
  18.06.04 - 20.06.04, Darmstadt, Deutschland
• Diagrams 2004
  22.03.04 - 24.03.04, Cambridge, Großbritannien
  Vortrag: Query Graphs with Cuts: Mathematical Foundations
• Second International Conference on Formal Concept Analysis
  23.02.03 - 26.02.04, Sydney, Australien
  Vortrag: Background Knowledge in Concept Graphs
• International Conference on Conceptual Structures (ICCS) 2003
  21.07.03 - 26.07.03, Dresden, Deutschland
  Vortrag: Concept Graphs without Negations: Standard Models and Standard Graphs
• First International Conference on Formal Concept Analysis
  27.02.03 - 01.03.03, Darmstadt, Deutschland
  Vortrag: From Formal Concept Analysis to Contextual Logic
• International Conference on Conceptual Structures (ICCS) 2002
  14.06.02 - 19.60.02, Borovets, Bulgarien
  Vortrag: An Embedding of Existential Graphs into Concept Graphs with Cuts
• Logic and Knowledge
  14.06.02 - 16.06.02, Darmstadt, Deutschland
  Vortrag: Conceptual Graphs and Concept Graphs
• Wissensmanagement im universitären Bereich
  19.02.02 - 21.02.02, Darmstadt, Deutschland
• International Conference on Conceptual Structures (ICCS) 2001
  30.07.01 - 03.08.01, Stanford, USA
  Vortrag: Concept Graphs and Predicate Logic
• Arbeitstagung Allgemeine Algebra 61
  02.02.01 - 04.02.01, Darmstadt, Deutschland
  Vortrag: Concept Graphs as Propositions of First Order Logic
• International Conference on Conceptual Structures (ICCS) 2000
  14.08.00 - 18.08.00, Darmstadt, Deutschland
  Vortrag: Negations in Simple Concept Graphs
• Allgemeine Mathematik
  29.09.99 - 01.10.99, Darmstadt, Deutschland
• International Conference on Conceptual Structures (ICCS) 1999
  12.07.99 - 15.07.99, Blacksburg, USA
• Arbeitstagung Allgemeine Algebra 58
  03.06.99 - 06.06.99, Wien, Österreich
  Vortrag: Implications of properties occuring in complemented lattices
• Wissen und Wissensverarbeitung
  24.02.99 - 26.02.99, Darmstadt, Deutschland
• Arbeitstagung Allgemeine Algebra 57
  05.02.99 - 07.02.99, Potsdam, Deutschland
  Vortrag: Eine modallogische Beschreibung triadischer Verbände
• International Conference on Conceptual Structures (ICCS) 1998
  10.08.98 - 12.08.98, Montpellier, Frankreich
• Knowledge, Logic, Information
  18.02.98 - 20.02.98, Darmstadt, Deutschland
• Arbeitstagung Allgemeine Algebra 55
  07.11.98 - 09.11.98, Darmstadt, Deutschland

Tagungsmitarbeit

• Editorial Board:
  • International Conference on Conceptual Structures (ICCS), seit 2006
• Tagungsorganisation/Program Chair:
  • International Conference on Conceptual Structures (ICCS) 2005
  • Logic and Knowledge, 2002, Darmstadt, Deutschland
• Program committees:
  • Diagrams, ab 2008.
  • Workshop on Visual Languages and Logic (VLL), ab 2007.
  • International Conference on Formal Concept Analysis (ICFCA), seit 2005.
  • Conference on Artificial Intelligence: Methodology, Systems, Applications (AISMA), seit 2004.
  • International Conference on Conceptual Structures (ICCS), 2003--2005.
• Sonstiges
  • Gutachtertätigkeit ftür Journals (z.B.\ Algebra Universalis) und weitere Tagungen