| Subject | From | # of followups |
|---|---|---|
| STRATEGIES 2001 (last cfp - ext. deadline: April 11, 2001) (fwd) | Czeslaw Bylinski | 0 |
| [Fwd: [TYPES-WG] Reminder - CFP: TYPES 2000 Post-Workshop Proceedings.] | Andrzej Trybulec | 1 |
| Linking facts emerging from consider/given? | Markus Wenzel | 2 |
| Re: Linking facts emerging from consider/given? | Piotr Rudnicki | 0 |
| There exist duplicated theorems in Mizar | Chen Jingchao | 1 |
| Re: There exist duplicated theorems in Mizar | Andrzej Trybulec | 0 |
| Re: Linking facts emerging from consider/given? | Andrzej Trybulec | 0 |
| New Mizar articles | Library Committee | 0 |
| CALL FOR REGISTRATION (early registration deadline: 30 April): European Summer School in Logic, Language and Information (ESSLLI'01), August 13-24, 2001 (Helsinki, Finland) (fwd) | Czeslaw Bylinski | 0 |
| TPHOLs 2001 FINAL CALL FOR CATEGORY B PAPERS (fwd) | Czeslaw Bylinski | 0 |