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

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.

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.

Presentation at 11:00, room 25-26/101 (Laurière)
Teaching informatics in high school: what have we learnt?

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.

Other information

Contact: Mathieu Jaume

Steering committee

• Jean-Claude Bajard
• Bertrand Granado
• Mathieu Jaume
• Nicolas Maudet
• Marc Shapiro
• Fabien Tarissan
• Gaël Thomas

Electronic access

• Sildes

• Offline video

Colloquium announcements

In order to be informed of future events via emails, you can subscribe to colloquium announcements.
If you do not want to be informed anymore, you can unsubscribe to colloquium announcements