Mailing lists

• Finite model theory mailing list
• Isabelle mailing list
• Types mailing list
• Concurrency mailing list
• Moca mailing list on models for mobility and concurrency
• Theory Net at North Dakota

Organizations

• ACM SIGPLAN
• European Association for Theoretical Computer Science (EATCS)
• European Association for Programming Languages and Systems (EAPLS)
• European Association for Computer Science Logic (EACSL)