Research Visit by Ofer Arieli

Currently we are happy to have Ofer Arieli over for a research visit to collaborate on topics in logical argumentation. Whiteboards getting filled, latex-code getting typed, good times! :-)