ORE 2014 Announced

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 Programme

A tentative programme for ORE is already available. The workshop has been organised in 4 sessions and each paper has been given a 15 minutes slot (12 min presentation + 3 min questions). Note that, on Wednesday at DL workshop, there will also be a session devoted to ORE where we will run a “live” reasoner competition. Furthermore, the ORE Award Ceremony will take place during the DL social dinner.

The pdf of accepted papers and the list of participating system in the ORE competition are also available.

We also plan to organise a social dinner after the workshop (not included within the registration fee). Please indicate if you are planning to attend the dinner in this poll, so that we have an approximate number of diners.