The Coq mailing list

[Emmanuel Fleury <fleury AT labri.fr>]

Dear colleagues,

We are happy to announce the birth of a new european Master on formal
methods applied to software verification (and other topics). This Master
is born from the collaboration of four European universities:

- Danmarks Tekniske Universitet (Denmark)
- Technische Universität München (Germany)
- Université de Bordeaux 1 (France)
- Université Libre de Bruxelles (Belgium)

We are currently seeking for student application for next academic year
(2011-2012), feel free to tell your students about this Master and/or to
broadcast the following 'call for student application'.

Thanks in advance.

Regards
-- 
Emmanuel Fleury

Associate Professor,         | Room:  261
LaBRI, Domaine Universitaire | Phone: +33 (0)5 40 00 69 34
351, Cours de la Libération  | Email: 
emmanuel.fleury AT labri.fr
33405 Talence Cedex, France  | URL:   http://www.labri.fr/~fleury
**********************************************************************

               European Master in Software Verification
              ******************************************
                     Call for Student Application
                    ******************************
                      Master Programme 2011-2013
                     
               Danmarks Tekniske Universitet (Denmark)
               Technische Universität München (Germany)
                   Université de Bordeaux 1 (France)
               Université Libre de Bruxelles (Belgium)
                      
                         http://emsv.labri.fr
               
**********************************************************************

The European Master in Software Verification (EMSV) is a two-year
European Master programme in computer science focused on formal
methods applied to software verification. It is held by a consortium
of four widely renowned universities:

* Danmarks Tekniske Universitet (DTU) (Copenhagen, Denmark)
* Technische Universität München (TUM) (Munich, Germany)
* Université Bordeaux 1 (UB1) (Bordeaux, France)
* Université Libre de Bruxelles (ULB) (Brussels, Belgium)

An ideal candidate must possess an academic degree in mathematics
and/or computer science, acquired within a programme lasting at least
three years (Bachelor), and have a good proficiency in English.

The EMSV programme offers the choice among four mobility schemes
(tracks), each allowing the students to visit two of the four partner
universities. The students will then get a double diploma from the two
visited institutions (see the following table for the possible
mobility schemes).

      +---------------+---------+---------+---------+---------+
      |   Semester    | Track 1 | Track 2 | Track 3 | Track 4 |
      +---------------+---------+---------+---------+---------+
      |    Basis      |        UB1        |        TUM        |
      +---------------+---------+---------+---------+---------+
      |  Advanced I   |   ULB   |             TUM             |
      +---------------+---------+---------+---------+---------+
      |  Advanced II  |             UB1             |   DTU   |
      +---------------+---------+---------+---------+---------+
      | Master Thesis |               Internship              |
      +---------------+---------+---------+---------+---------+
      |   Diploma     | UB1+ULB | UB1+TUM | TUM+UB1 | TUM+DTU |
      +---------------+---------+---------+---------+---------+

The Master begins with a 'Basis' semester where focus is put on
grounding students' knowledge, strengthening their formal and
practical skills and giving them a sufficient proficiency in English.
The 'Advanced I' semester and 'Advanced II' semester focus on
specialised topics in software verification and formal methods.

The last semester is devoted to a research internship (in a research
or a company lab) leading to the writing and the defense of a Master
Thesis.

The full detailed study programme is available at:
http://emsv.labri.fr/study_programme/


Tuition fees
-------------
Tuition fees depend on the citizenship of the applicants. Fees are
4000 euros/year for EU citizens and 7000 euros/year for non-EU
citizens.

Grants covering part or full fees for the two-year programme might be
available later on. Please, stay tuned at: http://emsv.labri.fr


Important dates
----------------
* 14th February 2011: Opening of the application procedure.
* 15th April 2011: Deadline for non-European applications.
* 31st May 2011: Deadline for European applications.
* September 2011: Beginning of lectures (1st semester).

Acceptance/rejection for applications will be notified shortly after
the end of deadlines (within two weeks).


Contact information
--------------------
* Website: http://emsv.labri.fr
* E-mail: 
emmanuel.fleury AT labri.fr
* Phone: +33 (0)5 4000 69 34
* Fax:   +33 (0)5 4000 66 69
* Address:
        European Master in Software Verification,
             Secrétariat du Master d'Informatique,
             LaBRI, Domaine Universitaire
             351, Cours de la Libération
             33405 Talence Cedex, France