| 833 | -- | 846 | Alan Stewart, Joaquim Gabarró, Anthony Keenan. Reasoning about orchestrations of web services using partial correctness |
| 847 | -- | 891 | Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li. Simple linear string constraints |
| 893 | -- | 931 | Richard Bornat, Hasan Amjad. Explanation of two non-blocking shared-variable communication algorithms |
| 933 | -- | 945 | Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí, Tyler Rhodes, Robert A. van de Geijn, Field G. Van Zee. Deriving dense linear algebra libraries |
| 947 | -- | 969 | Wim H. Hesselink, Mark IJbema. Starvation-free mutual exclusion with semaphores |
| 971 | -- | 991 | Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane. Automatic verification of reduction techniques in Higher Order Logic |
| 993 | -- | 1016 | Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin. Applications of real number theorem proving in PVS |