KBS Seminar
KBS Seminar
In this seminar, we invite speakers to present their research on Knowledge-Based Systems related topics. This includes presentations of published or accepted papers, rehearsals for future talks at conferences, defenses of very good student theses, as well as presentations of ongoing research. Coffee is usually provided. All are welcome.
The seminar is organised by the Knowledge Based Systems group. Please contact Thomas Feller if you would like to give a talk or invite a speaker.
Schedule and Location
The seminar takes place most Thursdays from 13.00 – 14.30 in room APB 3027. Please see the detailed programme for information on upcoming seminars.
Recent and Upcoming Talks
| Date | Speaker | Topic |
|---|---|---|
| 2020-07-30 | Dörthe Arndt | Notation3 Logic: From informal to formal semantics |
| 2020-07-24 | Evgeny Erofeev | On the Complexity of Synthesis of nop-Free Boolean Petri Nets |
| 2020-07-09 | Jonas Karge | Imprecise Probabilities in Decision-making |
| 2020-06-25 | Manuel Bodirsky and Simon Knäuer | ASNP: a tame fragment of existential second-order logic |
| 2020-06-11 | Tim Lyon | The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics |
| View older talks … | Subscribe to upcoming talks (iCal) |
Information for Students
Students are generally welcome to participate in this research seminar. It is possible to earn credits for modules INF-AQUA and INF-PM-FOR. Students who would like to take advantage of this option should register at the start of the seminar by contacting Markus Krötzsch to discuss the details.
Calendar
Temporary unavailable
