The Coq mailing list

[Pierre Casteran <pierre.casteran AT labri.fr>]

Hello,

Please find attached to this mail a call for student application to a master
on formal methods and software verification, co-organized by
University Bordeaux 1,
Technische Universität München,
Université Libre de Bruxelles, and
Danmarks Tekniske Universitet.

**********************************************************************
                                   
          Master in Computer Science, Bordeaux 1 University
         ***************************************************
                    Call for Student Application
                  ********************************
                    Master Programme 2013-2015

  Master Informatique, spécialité Algorithmes & Méthodes formelles,
                  Université Bordeaux 1 (France)

                                With

              Master of Science, Studiengänge Informatik,
               Technische Universität München (Germany)

                   Master en sciences informatiques,
                Université Libre de Bruxelles (Belgium)

                      Master of Computer Science
                   Universiteit Twente (Netherlands)
                
           MSc program in Computer Science and Engineering,
                Danmarks Tekniske Universitet (Denmark)

                    website: http://essv.labri.fr
                                
**********************************************************************

The Master in Computer Science of Bordeaux 1 University run an
international track focused on formal methods and their application to
software verification.

All courses are given in English and second semester can be taken
either at the Université Libre de Bruxelles (ULB, Belgium) or at the
Technische Universität München (TUM, Germany) or at Universiteit
Twente (Netherlands) through the Erasmus programme.

An ideal candidate for this Master must possess an academic degree
from a programme in mathematics and/or computer science lasting a
minimum of three years (Bachelor). A good proficiency in English is
also required in order to follow courses.

               +---------------+----------------------+
               |   Semester    |    Mobility Scheme   |
               +---------------+----------------------+
               |    Basis      |          UB1         |
               +---------------+-------+-------+------+
               |  Advanced I   |  ULB  |  TUM  |  UT  |
               +---------------+-------+-------+------+
               |  Advanced II  |          UB1         |
               +---------------+----------------------+
               | Master Thesis |       Internship     |
               +---------------+----------------------+

The Master starts with a Basis semester where we focus on grounding
students' knowledge, strengthen their formal and practical skills and
give them a good proficiency in English. Then, Advanced I (second
semester) and Advanced II (third semester) focus on specialised topics
in software verification and formal methods. Note that the second
semester takes place either in Brussels or in Munich or in Twente.
Finally, last semester is intended to let students write their Master
Thesis which is defended by the end of the semester.


Application to the Master
--------------------------
Depending on your last diploma and nationality, application must be
conducted in different ways.

If you are French citizen and/or you obtained your last diploma in
France, application can be conducted through the Apoflux website
(https://www.apoflux-bx1.u-bordeaux.fr/).

If your last diploma was not in France and you are citizen from one of
the country of the following list, then you need to go through the
CampusFrance website (http://www.campusfrance.org/): Algeria, Mexico,
Gabon, Cameroon, Senegal, Mali, Burkina Faso, Korea, Chili, Turkey,
India, China, Taipei, Mauritius, United-States, Brazil, Russia,
Madagascar, Democratic Republic of the Congo, Argentina, Tunisia,
Canada, Syria, Morocco, Ivory Coast, Benin, Lebanon, Colombia,
Vietnam, Japan, Guinea.

If you are European citizen or not citizen from one of the countries
listed before, then application can be done directly to Bordeaux 1
university (a form will be available on the website of the ESSV
Master).

The agenda for application will be approximately the following (dates
my change in the future, stay tuned to our website if you want to be
informed):

  * 31st March 2012: Dead-line for applications at Campus-france.
        
  * 15th April 2012: Dead-line for non-European applications at our
    website (see the 'Application' page).
    
  * 31st July 2012: Dead-line for European applications (non-French).
    (contact 
essv AT listes.enseirb-matmeca.fr).
  
  * 31th July 2012: Dead-line for French applications
    (contact 
essv AT listes.enseirb-matmeca.fr).
  
  * First week of September 2012: Beginning of lectures (1st semester).

Links for application
----------------------
* http://essv.labri.fr/application/
* http://www.u-bordeaux1.fr/formation/admission-inscription/master.html
* https://www.apoflux-bx1.u-bordeaux.fr/
* http://www.campusfrance.org/


European Studies in Software Verification
------------------------------------------
This international track from Bordeaux 1 University is part of the
European Studies in Software Verification (ESSV), gathering of
European Computer Science Masters specialized in Formal Methods and
Software Verification. You can find more details about the Master
programme here: http://essv.labri.fr/study_programme/

Note that the tracks proposed through Bordeaux 1 University do not
need to pay extra fees but Bordeaux 1's (about 500 euros/year).

We will also get our best to find accomodation for our students, if
you are asking for. Such a room is about 300 euros/month.


Further information and contact information
--------------------------------------------
* Site web: http://essv.labri.fr
* E-mail: 
emmanuel.fleury AT labri.fr
* Phone: +33 (0)5 4000 69 34
* Fax:   +33 (0)5 4000 66 69
* Address:
                Secrétariat du Master d'Informatique,
            Spécialité Algorithmes et Méthodes Formelles,
                        Parcours Vérification,
                     LaBRI, Domaine Universitaire
                     351, Cours de la Libération
                     33405 Talence Cedex, France