| Subject | From | # of followups |
|---|---|---|
| Final CFP: Workshop on Frontiers of Combining Systems (FroCoS'02) (fwd) | Czeslaw Bylinski | 0 |
| AMAST'2002: Call For Papers (fwd) | Czeslaw Bylinski | 0 |
| TPHOLs 2002 -- First Call For Papers (fwd) | Czeslaw Bylinski | 0 |
| CFP FroCoS'02: Deadline Extension and Call for System Descriptions (fwd) | Czeslaw Bylinski | 0 |
| ACL2-2002 Workshop (fwd) | Czeslaw Bylinski | 0 |
| ISDA 2002 - First Call for Papers (fwd) | Czeslaw Bylinski | 0 |