7
6
2
1
1
0
1
0
6
6
CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
by Michael Winter 21 Oct '14
by Michael Winter 21 Oct '14
21 Oct '14
1
0
1
0
1
0
Announcement: Topology, Algebra, and Categories in Logic (TACL2015)
by TACL Organisin Committe 12 Oct '14
by TACL Organisin Committe 12 Oct '14
12 Oct '14
1
0
1
0