Thread Index (0104)

Last update: Thu Dec 16 20:23:15 2021
10 threaded messages

STRATEGIES 2001 (last cfp - ext. deadline: April 11, 2001) (fwd), Czeslaw Bylinski

[Fwd: [TYPES-WG] Reminder - CFP: TYPES 2000 Post-Workshop Proceedings.], Andrzej Trybulec

Linking facts emerging from consider/given?, Markus Wenzel
- Re: Linking facts emerging from consider/given?, Piotr Rudnicki
- Re: Linking facts emerging from consider/given?, Andrzej Trybulec

There exist duplicated theorems in Mizar, Chen Jingchao

Re: There exist duplicated theorems in Mizar, Andrzej Trybulec

New Mizar articles, Library Committee

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

TPHOLs 2001 FINAL CALL FOR CATEGORY B PAPERS (fwd), Czeslaw Bylinski

[Chronological Index] [Top]