| Subject | From | # of followups |
|---|---|---|
| 1st Call for Papers (fwd) | Czeslaw Bylinski | 0 |
| Citeseer | Piotr Rudnicki | 0 |
| TPHOLs 2001 Call For Papers (fwd) | Czeslaw Bylinski | 0 |
| Smart Cards and Program Verification : Employment Opportunities (fwd) | Czeslaw Bylinski | 0 |
| Math rigor in the electronic age | Andrzej Trybulec | 0 |
| citeseer | Andrzej Trybulec | 0 |