Gérard Berry - External lectures

Statutory lectures in France and abroad

2018-2019

France

INRIA - Bordeaux

On December 12, 2018, a lecture and seminar on : In theory, theory and practice are the same, in practice they're not.

2017-2018

France

INRIA - Lille

On January 31, 2018, a lecture and seminar on : Digital photography, a perfect example of the power of computing.

2015-2016

France

INRIA - Rennes

November 4, 2015 :

  • A lecture from 4 pm to 5 pm 30 on : The importance of languages in computer science.
  • A seminar from 17 h 30 to 18 h 30 on : Integrating formal verification into programming languages (Thomas Jensen - Inria Rennes).

Abstract

Languages are ubiquitous in computer science, at many levels: specification, architecture, programming, testing, documentation, and so on. The best known are programming languages, which translate our algorithmic ideas directly into computer instructions. Historically, they have been developed in very large numbers, with very varied methods of thinking and acting, syntaxes and semantics, sometimes complementary and sometimes frankly incompatible. The least well-developed of these are the specification languages, which are undoubtedly the main weak point in system realization. The presentation will examine the evolution of the different ways of thinking that have led to today's languages, focusing on the criteria that help or hinder the success of a given language. It will show the importance of formal approaches and the direct incorporation of verification into languages, a subject covered in Thomas Jensen's seminar which will follow the lecture.

2014-2015

France

École normale supérieure de Lyon

January 28, 2015 :

  • A lecture from 4 h to 5 h on : The computer revolution in science.
  • A seminar from 17 h 30 to 18 h 30 on : From silver photography to computational photography (Henri Maître - Télécom ParisTech).

2013-2014

France

INRIA/Sophia-Antipolis - Nice

The three lectures given at Sophia-Antipolis are devoted to the relationship between research and industry in the development of synchronous languages for real-time systems and electronic circuits. The first will present the point of view of public research, the second that of industrial suppliers and customers, while the third will focus on difficult scientific problems posed by industry.

January 15, 2014 :

  • A lecture at : Esterel and SCADE, from research to industry : the lab vision.
  • A seminar on : Time processing in automatic (Juliette Leblond - Inria Sophia-Antipolis).

January 22, 2014 :

  • A lecture at : Esterel and SCADE, from research to industry : machine vision.
  • A seminar on : Can a frequency be instantaneous ( Patrick Flandrin - École normale supérieure de Lyon).

January 29, 2014 :

  • A lecture at : Scientific emergencies posed by industry : fine causality, multi-clock circuits, ECOs and formal verification.
  • A seminar on : Virtual system-on-chip prototyping for fast, faithful simulation (Laurent Maillet-Contoz - ST Microelectronics and Matthieu Moy - Verimag Grenoble).

Brazil

Federal University of Rio de Janeiro (UFRJ)

From August 28 to September 4, 2013, two seminars on :

  • Time and events in computer science.
  • 2-adic numbers seen as the natural model of arithmetic circuits.