Registration
Please register to Verico. The fee is $50 and includes coffee breaks.
Contributed Topics
- Enforcing Commutativity Using Operational Transformations
by Abdessamad Imine, Hanifa Boucheneb, and Michaël Rusinowitch - Abstract Reasoning for Concurrent Indexes
by Pedro Miguel da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, and Mark Wheelhouse -
Temporal Verification of Concurrent Datatypes
by César Sánchez and Alejandro Sánchez
Submission Information
-
November 1, 2010: 3-page extended abstract of the proposed talk -
November 15, 2011: Author notification
- There will be no printed proceedings.
- Extended abstracts and slides will be posted on this website after the workshop.
Merge with COMMUTE
We are pleased to announce the merge with
COMMUTE workshop.
This website provides the details of the joint event.
Sponsors
Previous
