The Coq mailing list

[Emmanuel Fleury <fleury AT labri.fr>]

Dear colleagues,

The previous message was an erroneous version of the 'call for student
application' we planned to send.

I apologize for the inconvenience and I would like you to supersede the
previous call by the following one.

Once again, sorry for the inconvenience.

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
**********************************************************************
                                   
          Master Informatique de l'Université de Bordeaux 1
         ***************************************************
                    Call for Student Application
               ***************************************
                    Master Programme 2011-2013

  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)

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

The Master in Computer Science of Bordeaux 1 University opens a new
international track on the 2011-2012 academic year. It is mainly
focused on formal methods and their application to software
verification.

All courses will be 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).

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    | Track 1 | Track 2 |
                +---------------+---------+---------+
                |    Basis      |        UB1        |
                +---------------+---------+---------+
                |  Advanced I   |   ULB   |   TUM   |
                +---------------+---------+---------+
                |  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. 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
--------------------------
Application can be done through a regular application to Bordeaux 1
University. It is to say, either through Apoflux (opening on the 4th
of April 2011) if you have a still valid French student ID number. Or,
through Campus France if you do not (deadline is on the 1st of April
2011). 

  * 31st March 2011: Dead-line for non-European applications at
    Campus-france.
        
  * 4th April 2011: Opening of the application server Apoflux for
    French students.
        
  * 27th May 2011: Dead-line for European applications (non-French).
  
  * September 2011: Beginning of lectures (1st semester).

Links for application
----------------------
* http://www.u-bordeaux1.fr/formation/admission-inscription/master.html
* https://www.apoflux-bx1.u-bordeaux.fr/ ;(opening on the 4th of April)
* 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://emsv.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).


Further information and contact information
--------------------------------------------
* Site web: 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:
                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