Location

Avocs 2010 will be hosted by the University of Düsseldorf (which also organised iFM 2009). The event will be co-located with the Rodin User and Developer Workshop and take place September 20-23, 2010.

A week before our department also hosts COMSOC 2010, a COST action on Algorithmic Decision Theory, and a LogICC Tutorial Day.