[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Paper submission deadline: EXTENDED: April 21, 2008
Architectures and Languages for Throughput Applications (ALTA 2008)
Held in conjunction with the
2008 International Symposium on Comput
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
NEW: Registration deadline extended!
The Oregon PL Summer School will run July 22-30, 2008 with the topic
"Logic and Theorem Proving in Programming Languages". This is a very
exciting topi
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===
2nd Call For Papers
WFLP 2008
17th Internatio
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=
(DEADLINE EXTENSION)
RULE 2008
9th International Workshop o