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

[Sascha Boehme]

The website for the project ideas is actually (note the hyphen instead
of the underscore):

  http://isabelle.in.tum.de/gsoc-ideas.html

Thanks to Christian Sternagel for reporting this.

Please don't hesitate to submit project ideas,
Jasmin & Sascha


Sascha Boehme wrote:
> 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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev