Oberseminar: Heterogene formale Methoden

Sommersemester 2016


Lehrbeauftragter: Prof. Dr. Till Mossakowski
Sprache: English
Wochenstunden: 2 SWh
Regulärer Termin: Mittwochs, 11 o'clock, s. t. !

Contents:

The research seminar includes three kind of activities:

Talks:

Date Speaker Topic Abstract Slides
2016, June 8 Engel, Christoph Practical Experiences in the Application of Graph Databases Abstract
2016, June 1 Peyras, Quentin Presentation of some UML Tools Abstract
2016, May 25 Günther, Stephan Reachability Logic Abstract
2016, May 18 Neuhaus, Fabian RDFS and Quad Stores Abstract Slides 1, Slides 2
2016, May 11 Neuhaus, Fabian RDF Semantics Abstract Slides 1, Slides 2
2016, May 4 Mossakowski, Till Institutions – Abstract Logical Systems for Computer Science, Part II Abstract
2016, April 27 Mossakowski, Till Institutions – Abstract Logical Systems for Computer Science Abstract Slides
2016, April 20 Mossakowski, Till Database Scheme Integration Using DOL and Spivak's Categorical Databases Abstract
2016, April 13 Mossakowski, Till Spivak's Categorical Databases Abstract
2016, March 9 Mossakowski, Till The Business Process Modeling Notation (BPMN), Part II Abstract Slides
2016, March 2 Mossakowski, Till The Business Process Modeling Notation (BPMN) Abstract Slides
2016, January 27 Günther, Stephan Matching Logic – One of the Formalisms Behind the K Semantic Framework Abstract
2016, January 20 Engel, Christoph Domain Specific Corpus Creation for Natural Language Processing Abstract
2016, January 13 Neuhaus, Fabian Introduction to Common Logic Abstract
2015, December 16 Glauer, Martin open_eGo – Open Energy Platform Abstract
2015, December 9 Günther, Stephan Institutions Exemplified 2: Part 2 – Return of the Comorphisms Abstract
2015, December 2 Günther, Stephan Institutions Exemplified 2: Morphisms Abstract
2015, November 25 Katragadda, Rajendra Kumar Anti-Unification for Web Ontology Language Abstract
2015, November 18 Mossakowski, Till The Distributed Ontology, Modeling and Specification Language (DOL): Entailments and Equivalences Abstract
2015, November 4 Dirsumilli, Ramya RESTful Encapsulation of OWLAPI Abstract
2015, October 28 Mossakowski, Till Networks and Refinements in DOL Abstract
2015, October 21 Thosar, Madhura Tool Substitution – Overview Abstract


Zur Seite des Oberseminars im vergangenen Semester
Zur Lehreseite der Forschungsgruppe Theoretische Informatik
Webmaster