Automated Resoning Journal Club
The arena hosts a journal club focused on topics in automated reasoning that are of interest to researchers across divisions. The goal was to disseminate knowledge as well as to promote collaborations.
Each seminar will be chaired by one person who will introduce the research topic and highlight one or more relevant papers. We encourage all participants to read the paper(s).
Seminar #1: TBA
- Paper: TBA
- Session Chair: TBA
- Date: TBA
- Location: TBA
- Arena coordinator
- Mohamed Faouzi Atig
- More Contacts
- Philipp Rümmer (Division of Computer Systems)
- Tjark Weber (Computing Science Division)
subscribe it-AutomatedReasoning <My Name>
- Kick-off meeting: 28 March 2018