We are pleased to announce the availability of our ProofWeb system for teaching logic and using proof assistants through the web. For details go to the ProofWeb home page at: http://proofweb.cs.ru.nl/ Cezary Kaliszyk Dan Synek Femke van Raamsdonk Freek Wiedijk Herman Geuvers James McKinna