The Coq mailing list

[Mathieu Jaume <Mathieu.Jaume AT lip6.fr>]

Dans le cadre du Colloquium d'informatique UPMC Sorbonne Universités, vous êtes invités à assister à deux exposés de Gilles Dowek, Directeur de recherche à l'INRIA (biographie ci-dessous) :

Le 22 octobre 2013, colloquium à 18h

Are formal methods the future of air traffic control ? (Is there an autopilot on board ?)

Le colloquium s'adresse à un public large, et est ouvert à tous les chercheurs et étudiants en informatique, et aura lieu :

mardi 22 octobre 2013 à 18h
Amphithéâtre 25 

Université Pierre et Marie Curie
4, place Jussieu (métro Jussieu)
75005 Paris

Pour y aller  : http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html

Le colloquium sera diffusé en direct et en différé ; cf. colloquium.lip6.fr.

Abstract : Decentralized air traffic control is a concept of operations where air traffic control is decentralized to aircrafts and on board computers are used to assist and/or replace the pilots in deciding the route of the aircraft. In some experimental concepts, the full operation of the aircraft is delegated to on board computers. Such concepts can be accepted by the general population only if the computer systems used are extremely safe and this makes air traffic control a major domain of application for formal methods.  The diversity problems in air traffic control leads to favor no particular type of formal methods but to use them all as different methods address different types of problems.

Cet exposé sera précédé d'un exposé sur l'enseignement qui aura lieu à 11h dans la salle 25-26 / 101 du campus de l'UPMC (salle 101 au 1er étage du couloir reliant les tours 25 et 26) :

                                  22/10/2013 à 11h  : Teaching informatics in high school: what have we learnt? 

Abstract : Since September 2012 informatics has been taught, as an option, to scientific students, in the last year of high school. Deciding what to teach and what not to teach has forced us to give a synthetic view of what informatics is and is not, to clarify the relation between science and technology within informatics, and to understand the links between informatics and other sciences and technologies. The debate with those fighting against teaching informatics, or fighting for teaching informatics in a completely different way, also has led us to be more aware of several misconceptions about informatics, and sciences and technologies in general.

Biographie : Gilles Dowek leads the Deducteam team at INRIA. His research covers formalization of mathematics (type theory, set theory, ...), proof processing systems (proof-checking, automated theorem proving, ...), design of quantum programming languages and safety of aerospace systems. He is also a writer in philosophy of sciences (winner of the 2007 Grand Prix de Philosophie de l'Académie Française) and popular science. He is also involved in teaching computer science to high school students.