Programming, Logic, and Semantics Group
Home
People
Meetings
Resources
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)
Please email updates to
cm772
(Last updated: Thu 5 Oct 14:57:07 BST 2017 )