| Subject | From | # of followups |
|---|---|---|
| [mizar] Fwd: First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics | Josef Urban | 0 |
| [mizar] CfP: WWW2012 Workshop on Semantic Web Collaborative Spaces (SWCS2012) | Josef Urban | 0 |
| [mizar] 2011 - Mizar Prize for Young Researchers | Roman Matuszewski | 0 |
| [mizar] Announcement: workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012) | Hugo Herbelin | 0 |
| [mizar] Invitation to connect on LinkedIn | Minqi Pan | 0 |