[isabelle-dev] Application for Google Summer of Code 2011

[Sascha Boehme]

Hi,

We are in the process of applying as a mentoring organization for this
year's Google Summer of Code (SoC).  Some 150 open-source
organizations and some thousand students take part in SoC every year
-- and Google announced to accept more organizations this year.

  http://socghop.appspot.com/gsoc/program/home/google/gsoc2011

Participating in SoC requires to propose projects which have the
potential to attract students from all over the world (students
interested in Isabelle might also suggest their own projects).  Each
project will also need a mentor which supports the student during Soc
(from mid of May until mid of August).

We are looking for project ideas related to Isabelle, and will collect
them on a website:

  http://isabelle.in.tum.de/gsoc_ideas.html  

Please consider sending ideas to us which are attractive and could be
accomplished by interested students essentially within three months
(but continuing these projects after the end of SoC is encouraged both
by Google and by us).

We need at least the following information for each project idea:

  * a title
  * a mentor (with contact information)
  * a brief description (one/two paragraphs)
  * a list of technologies required by the student

The SoC application deadline is this Friday, 12:00 UTC.  We would like
to have collected most of the ideas by then, but more ideas could be
added afterwards as well.

Looking forward to your project ideas,
Sascha & Jasmin