Homes
 -  homepage
 -  affiliations

Research (en)
 -  Publications
 -  Interests

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

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

Dr. Frithjof Dau


Tagungen

Besuchte Tagungen

  • The First International Workshop on Modeling and Reasoning for Business Intelligence (More-BI 2011)
    In conjunction with the 30th International Conference on Concpetual Modeling.
    31.10.11-03.11.11, Brussels, Belgium
    Vortrag: Formal Concept Analysis for Qualitative Data Analysis over Triple Stores.
  • 19th International Conference on Conceptual Structures (ICCS) 2011
    25.07.11-29.07.11, Derby, UK
    Vortrag: Semantic Technologies for Enterprises.
  • The First CUBIST workshop
    In conjunction with the 19th International Conference on Conceptual Structures (ICCS) 2011.
    25.07.11-29.07.11, Derby, UK
    Vortrag: Extending ToscanaJ for BI over over Triple Stores.
  • QAA 2010: Qualitätsanalyse in der Automobilindustrie
    28.09.10, Leipzig, Deutschland
    Vortrag (mit A. Konzag): Management von Entwicklungsinformationen und Produktdaten als eine Grundlage zur Erhöhung der Qualität von Fahrzeugkonzepten
  • 17th International Conference on Conceptual Structures (ICCS) 2009
    26.07.09--31.07.09, Moskow, Russland
    Vortrag: Access Policy Design Supported by FCA Methods
  • 7th International Conference on Formal Concept Analysis (ICFCA 2009)
    21.05.09--24.05.09, Darmstadt, Deutschland
    Vortrag: The Advent of Formal Diagrammatic Reasoning Systems
  • 16th International Conference on Conceptual Structures (ICCS) 2008
    07.07.08--11.07.08, Toulouse, Frankreich
    Vortrag: Concept Similarity and Related Categories in SearchSleuth
    Vortrag: Conceptual Spider Diagrams
  • The 21st International Workshop on Description Logics (DL2008)
    13.05.08--16.05.08, Dresden, Germany.
  • Second International Conference on Knowledge Science, Engineering and Management (KSEM) 2007.
    28.11.07--30.11.07, Melbourne, Australia.
    Vortrag: A Diagrammatic Reasoning System for ALC

  • 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:
    • 1st CUBIST Workshop 2011
    • International Conference on Conceptual Structures (ICCS) 2009
    • International Conference on Conceptual Structures (ICCS) 2005
    • Logic and Knowledge, 2002, Darmstadt, Deutschland
  • Program committees:
    • Diagrams, seit 2008.
    • Workshop on Visual Languages and Logic (VLL), seit 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


Dr. Frithjof Dau

Dresden, Germany

Letzte Änderung / last change: 2012-03-18