[TYPES/announce] EPTCS, a new open access proceedings series

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] With this email, we are launching Electronic Proceedings in Theoretic Computer Science (EPTCS) a new international refereed open access venue for the rapid electronic publication of th

[TYPES/announce] Haskell Symposium Submission site now open

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Submission to the Haskell Symposium is now open at: http://www.easychair.org/conferences/?conf=haskell09 Please do submit! The deadline is a week from tomorrow. (There will be NO EXTE

Re: [TYPES/announce] EPTCS, a new open access proceedings series

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Bravo on this initiative, Rob! Incidentally, since your per-page cost will be zero, conferences now have one more reason to choose a page limit that *excludes* the bibliography. It

[TYPES/announce] Call for Participation: Distributed Computing Techniques: DisCoTec 2009 (DAIS + FMOODS/FORTE + COORDINATION), Lisbon, 9-12 June 2009, student grants available

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation: Federated Conferences on Distributed Co

[TYPES/announce] Call for FLoC 2010 Workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] In 2010, the ACL2 Workshop and TPHOLs conference will be combining to form the ITP ("Interactive Theorem Proving") conference. ITP 2010 will also be part of the FLoC combination of confer