TYPES (8-11 September) and CSL'11 (12-15 September) 2011 in Bergen, Norway.
NEWS: - Registration for TYPES/CSL'11 is now open: https://registrer.app.uib.no/csl - Booking a hotel room at a reduced rate can be done via: [email protected] See also: http://www.eacsl.org/csl11/#accommodation - Deadline for submitting a talk to TYPES is approaching: https://www.easychair.org/conferences/?conf=typespre2011 For more information on TYPES, see http://www.types.name/ - Pre-conference workshop "Epsilon Calculus and Constructivity": Sunday 11 September, 11h00-16h00 Invited speakers: Richard Zach, Daniel Weller and Rosalie Iemhoff Organizer: Matthias Baaz Free admission for TYPES/CSL'11 participants - A preliminary program for CSL'11 is now available: http://www.eacsl.org/csl11/program.pdf ------------------------------------------------------------------------------ EditLive Enterprise is the world's most technically advanced content authoring tool. Experience the power of Track Changes, Inline Image Editing and ensure content is compliant with Accessibility Checking. http://p.sf.net/sfu/ephox-dev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
