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 ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
