Previous article
27 June 2010
EMCL Scholar Franz Baader visits NICTA
Franz Baader from TUD joins Peter Baumgartner's research group at NICTA in 2010.
From 27 June until 29 September Franz Baader from Technische Universität Dresden (TUD), Germany is 'down under' at NICTA in Canberra, Australia.
He is working with the Automated Reasoning Group headed by Peter Baumgartner.