TYPES/CSL'11: registration open, TYPES deadline approaching

Marcus Aloysius Bezem <[email protected]>
Newsgroups gmane.comp.lang.lambda-prolog
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.