ORE 2014 will be collocated with the Vienna Summer of Logic 2014 (VSL). The workshop will take place on the 13th July 2014 in Vienna, Austria. More information about the workshop and the reasoner competition can be found here.
ORE 2014 will be collocated with the Vienna Summer of Logic 2014 (VSL). The workshop will take place on the 13th July 2014 in Vienna, Austria. More information about the workshop and the reasoner competition can be found here.
Comments are closed.