Dear All, The University of Leicester has 7 PhD studentships available in computer science (broadly theoretical computer science) including automated theorem proving and related topics.
The studentships include one sponsored by Microsoft Research. Further details can be found eg on my website: http://www.cs.le.ac.uk/~tr61/ If you know of anyone who would be interested, please encourage them to apply. The closing date is May 15th. Thanks Tom ------------------------------------------------------------------------------ WhatsUp Gold - Download Free Network Management Software The most intuitive, comprehensive, and cost-effective network management toolset available today. Delivers lowest initial acquisition cost and overall TCO of any competing solution. http://p.sf.net/sfu/whatsupgold-sd _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
