Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24519 results Filters Content type Content type (-) Lessons (23188) News (1639) (-) People (1331) Chair (352) Editions (350) Page (229) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People Event Lionel Rieg Formal verification in Coq of the semantic chain for Esterel compilation Seminar Abstract The talk first presented Coq proofs of correspondence theorems linking Esterel's various increasingly precise semantics, as set out in the digital book The Constructive Semantics of Pure Esterel and then refined in Olivier Tardieu's 2004 thesis: … 28 Mar 2018 17:00 - 18:00 Event Gérard Berry Exec, formal verification, HipHop.js Lecture Abstract This sixth and final lecture briefly described HipHop.js, the new JavaScript version of the HipHop language already presented with Manuel Serrano (Inria Sophia-Antipolis) in the lecture and seminar of May 28, 2013. HipHop.js, which uses Esterel's … 28 Mar 2018 16:00 - 17:00 Event Philippe Descola The composition of collectives: forms of hybridization (9) Lecture 28 Mar 2018 11:00 - 12:00 Event Patrick Boucheron The Bernabò case 4. History in the heat of fiction Lecture In his Liber gestorum in Lombardia , notary and chronicler Pietro Azario includes an anecdote from the novellistica in his account of Bernabò Visconti. Is this a case of the contamination of history by fiction? We propose to treat it here as an … 27 Mar 2018 11:00 - 12:00 Event Jean-Noël Robert Dôgen's Japanese poems (2) Lecture 27 Mar 2018 10:30 - 11:30 Event Lydie Salvayre War again Seminar 27 Mar 2018 17:45 - 18:45 Event Antoine Compagnon Sainte-Beuve's mischief and vengeance Lecture Sainte-Beuve's watchword is "vengeance", suggests Wolf Lepenies. With his Cahier vert and his recently published Cahier brun , he is a meticulous and often bitter painter of the literary warfare of his time. Sainte-Beuve notes that the time is over when … 27 Mar 2018 16:30 - 17:30 Event Nicolas Grimal Le calame et la pierre. A critical history of ancient Egyptian literature (continued) (11) Lecture 26 Mar 2018 14:00 - 15:00 Event Nicolas Grimal The annals of Thutmosis III (continued) (11) Seminar 26 Mar 2018 15:00 - 16:00 Event Alain de Libera Destructionis destructio (II) : existence and truth (8) Lecture Responding to a request from the audience, we "traced" the notions of "truth value" and "state of things", presenting A) Herman Lotze's (1817-1881) distinction of the four modes of effectivity ( Wirklichkeit ): the being ( Sein ) of things; the happening … 26 Mar 2018 17:00 - 19:00 Event Camille Horbez Asymptotic geometry of the group of exterior automorphisms of a free group (2) Guest lecturer 17 Jan 2018 14:00 - 16:00 Event Edouard Bard The climate of the last millennium in Europe and the Arctic Lecture Model-data comparisons for the last millennium are in agreement for the long OCM-PAG trend, as well as for brief cooling events corresponding to major volcanic eruptions, sometimes close in time (e.g. 1230-1258, 1809-1815 AD) on which variations in solar … 23 Mar 2018 15:00 - 16:00 Event Bruno Després The method of manufactured solutions for anisotropic Maxwell equations in plasmas Seminar 23 Mar 2018 11:15 - 12:45 Event Pierre-Michel Menger Differences, talent and education : positions and controversies on egalitarianism (Helvétius, Diderot, Rousseau, Smith) (2) Lecture 23 Mar 2018 10:00 - 12:00 Event Vinciane Pirenne-Delforge Νομίζειν τοὺς θεούς : sacrificial standards (1) Lecture Abstract After posing the question of the background shared by the Greeks in the representation of the gods and analyzing the expression nomizein tous theous , we now turn to the ritual practices also evoked by this expression. Can we detect a shared … 22 Mar 2018 11:00 - 12:00 Event David Graeber et David Wengrow Slavery and Its Rejection Among Foragers on the Pacific Coast of North America: A Case of Schismogenesis? Seminar 22 Mar 2018 10:00 - 12:00 Event Sanjay Subrahmanyam Trading networks and empires in the modern era (1) Lecture 21 Mar 2018 15:00 - 16:00 Event Bénédicte Savoy Gigantomania Lecture In the last third of the 19th century, as the great nation-states and empires of Europe took shape, capital city museums entered an era of "gigantomania". On the one hand, they acquired an immense size, by being fitted out, like the two great imperial … 21 Mar 2018 15:30 - 16:30 Event Denis Duboule Changing regulations and morphological innovations Lecture Why and how do insects have only six legs, but always six legs? Why and how do flies have only one pair of wings, while butterflies have two? During their development, segmented animals - including humans - produce a series of iterated structures that are … 21 Mar 2018 14:00 - 15:00 Event Francis Bach Stochastic and conditional gradients for neural networks Seminar Abstract Most supervised learning methods, including neural networks, are formalized as an optimization problem in which the mean of the errors on the observed data is minimized with respect to the parameters of the prediction model. However, statistical … 21 Mar 2018 11:15 - 12:30 Event Jean-Luc Fournet Babel on the Nile (3) : multilingualism and multiculturalism in Late Antique Egypt (6) Lecture The Greek-speaking Church : the liturgy (end) Maintaining Greek as the default language of the liturgy obviously made the position of the faithful increasingly uncomfortable. The gap between liturgical usage and their true linguistic mastery grew ever … 21 Mar 2018 11:00 - 12:00 Event Stéphane Mallat Gradient descent and neural networks Lecture Abstract A convex function can be minimized using a gradient descent algorithm that iteratively adds a collinear vector to the function's gradient. If the function being minimized is Lipschitz and strictly convex, then we show that the gradient descent … 21 Mar 2018 09:30 - 11:00 Event Timothy Bourke Formal verification of a Lustre compiler Seminar Abstract The seminar focused on the formalization and proof in Coq of an imperative code generator for a kernel of the Lustre language. Such formal verification could usefully complement the official certification methods currently employed for SCADE 6, … 21 Mar 2018 17:30 - 18:30 Event Carlo Ossola The tradition of classics : how to inherit (10) Lecture 21 Mar 2018 17:00 - 18:00 Pagination First page Previous page … Page 466 Page 467 Page 468 Page 469 Current page 470 Page 471 Page 472 Page 473 Page 474 … Next page Last page
Event Lionel Rieg Formal verification in Coq of the semantic chain for Esterel compilation Seminar Abstract The talk first presented Coq proofs of correspondence theorems linking Esterel's various increasingly precise semantics, as set out in the digital book The Constructive Semantics of Pure Esterel and then refined in Olivier Tardieu's 2004 thesis: … 28 Mar 2018 17:00 - 18:00
Event Gérard Berry Exec, formal verification, HipHop.js Lecture Abstract This sixth and final lecture briefly described HipHop.js, the new JavaScript version of the HipHop language already presented with Manuel Serrano (Inria Sophia-Antipolis) in the lecture and seminar of May 28, 2013. HipHop.js, which uses Esterel's … 28 Mar 2018 16:00 - 17:00
Event Philippe Descola The composition of collectives: forms of hybridization (9) Lecture 28 Mar 2018 11:00 - 12:00
Event Patrick Boucheron The Bernabò case 4. History in the heat of fiction Lecture In his Liber gestorum in Lombardia , notary and chronicler Pietro Azario includes an anecdote from the novellistica in his account of Bernabò Visconti. Is this a case of the contamination of history by fiction? We propose to treat it here as an … 27 Mar 2018 11:00 - 12:00
Event Antoine Compagnon Sainte-Beuve's mischief and vengeance Lecture Sainte-Beuve's watchword is "vengeance", suggests Wolf Lepenies. With his Cahier vert and his recently published Cahier brun , he is a meticulous and often bitter painter of the literary warfare of his time. Sainte-Beuve notes that the time is over when … 27 Mar 2018 16:30 - 17:30
Event Nicolas Grimal Le calame et la pierre. A critical history of ancient Egyptian literature (continued) (11) Lecture 26 Mar 2018 14:00 - 15:00
Event Alain de Libera Destructionis destructio (II) : existence and truth (8) Lecture Responding to a request from the audience, we "traced" the notions of "truth value" and "state of things", presenting A) Herman Lotze's (1817-1881) distinction of the four modes of effectivity ( Wirklichkeit ): the being ( Sein ) of things; the happening … 26 Mar 2018 17:00 - 19:00
Event Camille Horbez Asymptotic geometry of the group of exterior automorphisms of a free group (2) Guest lecturer 17 Jan 2018 14:00 - 16:00
Event Edouard Bard The climate of the last millennium in Europe and the Arctic Lecture Model-data comparisons for the last millennium are in agreement for the long OCM-PAG trend, as well as for brief cooling events corresponding to major volcanic eruptions, sometimes close in time (e.g. 1230-1258, 1809-1815 AD) on which variations in solar … 23 Mar 2018 15:00 - 16:00
Event Bruno Després The method of manufactured solutions for anisotropic Maxwell equations in plasmas Seminar 23 Mar 2018 11:15 - 12:45
Event Pierre-Michel Menger Differences, talent and education : positions and controversies on egalitarianism (Helvétius, Diderot, Rousseau, Smith) (2) Lecture 23 Mar 2018 10:00 - 12:00
Event Vinciane Pirenne-Delforge Νομίζειν τοὺς θεούς : sacrificial standards (1) Lecture Abstract After posing the question of the background shared by the Greeks in the representation of the gods and analyzing the expression nomizein tous theous , we now turn to the ritual practices also evoked by this expression. Can we detect a shared … 22 Mar 2018 11:00 - 12:00
Event David Graeber et David Wengrow Slavery and Its Rejection Among Foragers on the Pacific Coast of North America: A Case of Schismogenesis? Seminar 22 Mar 2018 10:00 - 12:00
Event Sanjay Subrahmanyam Trading networks and empires in the modern era (1) Lecture 21 Mar 2018 15:00 - 16:00
Event Bénédicte Savoy Gigantomania Lecture In the last third of the 19th century, as the great nation-states and empires of Europe took shape, capital city museums entered an era of "gigantomania". On the one hand, they acquired an immense size, by being fitted out, like the two great imperial … 21 Mar 2018 15:30 - 16:30
Event Denis Duboule Changing regulations and morphological innovations Lecture Why and how do insects have only six legs, but always six legs? Why and how do flies have only one pair of wings, while butterflies have two? During their development, segmented animals - including humans - produce a series of iterated structures that are … 21 Mar 2018 14:00 - 15:00
Event Francis Bach Stochastic and conditional gradients for neural networks Seminar Abstract Most supervised learning methods, including neural networks, are formalized as an optimization problem in which the mean of the errors on the observed data is minimized with respect to the parameters of the prediction model. However, statistical … 21 Mar 2018 11:15 - 12:30
Event Jean-Luc Fournet Babel on the Nile (3) : multilingualism and multiculturalism in Late Antique Egypt (6) Lecture The Greek-speaking Church : the liturgy (end) Maintaining Greek as the default language of the liturgy obviously made the position of the faithful increasingly uncomfortable. The gap between liturgical usage and their true linguistic mastery grew ever … 21 Mar 2018 11:00 - 12:00
Event Stéphane Mallat Gradient descent and neural networks Lecture Abstract A convex function can be minimized using a gradient descent algorithm that iteratively adds a collinear vector to the function's gradient. If the function being minimized is Lipschitz and strictly convex, then we show that the gradient descent … 21 Mar 2018 09:30 - 11:00
Event Timothy Bourke Formal verification of a Lustre compiler Seminar Abstract The seminar focused on the formalization and proof in Coq of an imperative code generator for a kernel of the Lustre language. Such formal verification could usefully complement the official certification methods currently employed for SCADE 6, … 21 Mar 2018 17:30 - 18:30