Descartes homepage launched
The homepage of the Descartes Research Group is now available at http://descartes.ipd.uka.de
The homepage of the Descartes Research Group is now available at http://descartes.ipd.uka.de
