The code I developed on the verification of GOLOG programs is now available on GitLab.
On 1st April, I will start a new position at the School of Computing Science at Simon Fraser University in Burnaby, BC, Canada. I am looking forward to work with James Delgrande.
I will be at KR 2018 between Saturday, 27th October and Friday, 2nd November.
In the coming winter semester, I will again give a lecture on Knowledge Representation and High-Level Control (in German) at FH Aachen, together with Stefan Schiffer.
Between Monday, 6th November and Wednesday, 8th November 2017 I will be at Commonsense 2017.
I will be giving two courses in the coming winter semester at FH Aachen together with Stefan Schiffer, namely a lecture on Knowledge Representation and High-Level Control and a practical lab on Scientific Writing (both in German).
I will be out of office again between Friday, 22nd September and Tuesday, 3rd October 2017 as I will be attending FroCoS. However, I will still mostly be reachable by e-mail, probably with delay.
Between Monday, 5th June and Friday, 9th June 2017 I will be at the Dagstuhl Seminar on Epistemic Planning.
I will be out of office again between Monday, 29th August and Friday, 16th September 2016 as I will be at ECAI 2016 and on vacation afterwards. I will be reachable by e-mail during that time (but maybe with some delay).
As I will be at AAAI 2016 I will be out of office between Thursday, 11th February and Friday, 19th February 2016.
However, I will be reachable by e-mail during that time.