@@ -37,7 +39,61 @@ If we need to do it via zoom, we will use the following room:
* meeting ID: 934 2482 0605
* password: 027214
##### Schedule SS 2024
###### Topics
In WS24/25 we will not have free selection, but we will schedule coordinated groups of
talks based on three handbooks (listed from easy to harder):
1.[Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the
FAU network
2.[Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf)
3.[Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
Students can choose consecutive sections/chapters of about 15-20 pages and report on the
contents. We prefer to make coordinated groups of talks, starting in the order given
This seminar discusses selected topics from knowledge representation.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
Typical topics involve
* formal languages (logics, programming languages, data description languages, ontologies, informal scientific languages, ...)
* tools for working with and applying such languages, both in general and domain-specific ones
* libraries of formal knowledge and systems for building, maintaining, and managing them
* knowledge-based services like search or user interfaces
In particular, the primary application of our research is mathematical knowledge, but we are always interested in other areas on a case-by-case basis.
The difficulty of topics varies from introductory topics for ambitious Bachelor students to research topics of PhD students.
We also occasionally have advanced talk from visiting researchers.
The social center of the seminar is the [KWARC research group](http://kwarc.info), and the talks reflect the current research in the group.
Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.
##### Topics
The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.
Topics are chosen individually with the instructors, typically at the first seminar slot.
Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.
Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable.
##### For the record SS 2024
|Date|Speaker|Topic|Remark|
|----|-------|-----|------|
...
...
@@ -78,36 +134,6 @@ If we need to do it via zoom, we will use the following room:
This seminar discusses selected topics from knowledge representation.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
Typical topics involve
* formal languages (logics, programming languages, data description languages, ontologies, informal scientific languages, ...)
* tools for working with and applying such languages, both in general and domain-specific ones
* libraries of formal knowledge and systems for building, maintaining, and managing them
* knowledge-based services like search or user interfaces
In particular, the primary application of our research is mathematical knowledge, but we are always interested in other areas on a case-by-case basis.
The difficulty of topics varies from introductory topics for ambitious Bachelor students to research topics of PhD students.
We also occasionally have advanced talk from visiting researchers.
The social center of the seminar is the [KWARC research group](http://kwarc.info), and the talks reflect the current research in the group.
Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.
##### Topics
The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.
Topics are chosen individually with the instructors, typically at the first seminar slot.
Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.
Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable.
