Though most of the talks are by invitation, the organizers do wish to encourage shorter contributed talks that are in the spirit of the workshop. While we are especially interested in contributed talks that are related to the interests of the plenary speakers (models of quantum computation, logic programming, partial order methods in model checking, security protocol analysis and Kleene algebras), we also encourage submissions that are clearly related to the overall theme of the workshop.
One page abstracts of proposed talks may be sent to any of the organizers; these should be received by June 1, 2003 to receive full consideration. Each submission will be carefully evaluated by the organizers; only as many submissions can be accepted as time allows.
The workshop will be run in an informal manner with plenty of time for free ranging discussion of issues related to the use of ordered sets and lattices to topics in computer science and applications of computers to other areas. People interested in these areas are encouraged to attend and participate in these discussions. Formal registration for the workshop is required.
There is limited support available for women, minorities and graduate students who wish to participate, and who require assistance to attend the workshop. Requests should be sent to the organizers.