This list is for people who regularly take part in the annual CIAO workshop
specialises in automated reasoning, formal methods, theory development and other
in the same general area. The regular contributors are drawn mostly from the
and Austria, with occasional contributions from other countries. It will be
workshop planning, discussion and announcements.