Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23502 results Filters Content type Content type (-) Lessons (23150) News (1615) People (1331) (-) Chair (352) Editions (344) Page (229) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Chair Event Xavier Leroy Expressions and commands : the semantics of an imperative language Lecture Abstract The first lecture began with a brief history of formal semantics for programming languages. The first high-level programming languages brought to light delicate points of semantics : the passing of arguments to functions in Algol 60, " by name " … 28 Nov 2019 09:30 - 11:00 Event Henry Laurens Crises in the East : the origins of authoritarianism from 1949 onwards (2) Lecture Due to a technical problem, the beginning of the lecture was not recorded. … 27 Nov 2019 15:00 - 17:00 Event Nassif Hitti Arab political culture (2) Seminar 27 Nov 2019 11:00 - 12:30 Event Barbara Romanowicz waveform tomography : new images of the Earth's mantle Lecture We thus described the waveform inversion technique and its challenges in global seismology, continuing during the fifth lecture session. This methodology requires sophisticated tools for calculating the wave field in the heterogeneous medium of the … 26 Nov 2019 16:00 - 18:00 Event Walter Fontana Modeling biological information processing III. Tools for reasoning about molecular interaction systems : The quest for useful information Lecture The fifth lecture examined in more formal detail the syntax of the Kappa language. Numerous rule examples are given to illustrate its expressiveness. Two aspects of Kappa's minimalist design are explained. An agent interface cannot have two sites with the … 26 Nov 2019 14:00 - 15:30 Event Thomas Lecuit Organ growth and internal control Lecture Documents and media Download support … 26 Nov 2019 10:00 - 11:30 Event Hugues de Thé Senescence and therapeutic response (4) Lecture 25 Nov 2019 14:00 - 15:30 Series The 4th "Biology & Mathematics on the Mountain" day Center for Interdisciplinary Research in Biology (CIRB) Symposium Program Thursday, October 26, 2017 … 26 Oct 2017 Series Dynamics of galaxies : spirals and bars, interactions and mergers Françoise Combes, chair Galaxies and Cosmology Seminar The formation and evolution of galaxies depend essentially on their dynamics, gravity and gas hydrodynamics. These phenomena control star formation and all associated processes, including feedback from supernova energy. Each galaxy grows in symbiosis with … 20 Nov 2017 → 22 Jan 2018 Series Dynamics of galaxies : spirals and bars, interactions and mergers Françoise Combes, chair Galaxies and Cosmology Lecture The formation and evolution of galaxies depend essentially on their dynamics, gravity and gas hydrodynamics. These phenomena control star formation and all associated processes, including feedback from supernova energy. Each galaxy grows in symbiosis with … 20 Nov 2017 → 22 Jan 2018 Event Víctor Mínguez Donde el Toisón habita. Presagios áureos en el palacio del Buen Retiro. From Lope y Calderón to Luca Giordano Symposium The conference is in Spanish. … 18 Oct 2019 11:30 - 12:00 Event Jacqueline Hermann Waiting for a Messiah King : from defeat by the Moors to Portugal's dream of imperial greatness (1578-1603) Symposium 18 Oct 2019 11:00 - 11:30 Event Lucien Dabadie The eschatological dimension of Cola di Rienzo's tribunate. An original synthesis of the imperial idea and messianism Symposium 18 Oct 2019 09:30 - 10:00 Event Séverin Duc The French monarchy in Lombardy : imperial experiences and the End of Time (1500-1525) Symposium 17 Oct 2019 16:30 - 17:00 Event Sylvène Edouard Monarchia Universalis au Grand Siècle : the making of Louisquatorzian messianism Symposium 17 Oct 2019 17:00 - 17:30 Event Stéphane Péquignot The crusade plans of the kings of Aragon Symposium 17 Oct 2019 15:00 - 15:30 Event Dan Ioan Muresan Crusades as imperial wars. For a polemology of pontifical imperialism Symposium 17 Oct 2019 14:30 - 15:00 Event Gennaro Barbuto Escatologia profezia e utopia nella "Città del Sole" di Tommaso Campanella Symposium The conference is in Italian. … 17 Oct 2019 11:00 - 11:30 Event Eduardo Fernández Guerrero "Surget Rex Magnus Cum Magno Pastore": Prophecies and Theologies of Messianic Kingship in the Early modern Global Empires Symposium 17 Oct 2019 11:30 - 12:00 Event Michele Lodone " He is coming, he is not coming, he has indeed come : messianic prophecies and Italian cities in the Renaissance period Symposium 17 Oct 2019 09:30 - 10:00 Event Jean Krivine From Molecules to Systems: the problem of knowledge representation in molecular biology Seminar Jean Krivine is a CNRS researcher at IRIF (Institut de recherche en informatique fondamentale, Université de Paris). He is interested in fundamental aspects of computer science, mainly models for concurrency, quantitative simulation (stochastic … 22 Nov 2019 14:00 - 15:00 Event Thierry Bodineau Dynamics of a gas of hard spheres : fluctuations and large deviations Seminar 22 Nov 2019 11:15 - 12:45 Event François-Xavier Fauvelle The mystery of Ketetiya's blue pearl (2) Lecture How to overcome documentary and narrative asymmetry ? Contact space and agentivity. The city of Ghâna described by al-Bakrî (11th century ). A model for thinking about interaction: a magnetic field. Comparative chronology of trans-Saharan and transoceanic … 21 Nov 2019 14:00 - 15:30 Event Gaïa Tomazzoli Prophetism and imperial myth in Petrarch Symposium 16 Oct 2019 16:30 - 17:00 Pagination First page Previous page … Page 316 Page 317 Page 318 Page 319 Current page 320 Page 321 Page 322 Page 323 Page 324 … Next page Last page
Event Xavier Leroy Expressions and commands : the semantics of an imperative language Lecture Abstract The first lecture began with a brief history of formal semantics for programming languages. The first high-level programming languages brought to light delicate points of semantics : the passing of arguments to functions in Algol 60, " by name " … 28 Nov 2019 09:30 - 11:00
Event Henry Laurens Crises in the East : the origins of authoritarianism from 1949 onwards (2) Lecture Due to a technical problem, the beginning of the lecture was not recorded. … 27 Nov 2019 15:00 - 17:00
Event Barbara Romanowicz waveform tomography : new images of the Earth's mantle Lecture We thus described the waveform inversion technique and its challenges in global seismology, continuing during the fifth lecture session. This methodology requires sophisticated tools for calculating the wave field in the heterogeneous medium of the … 26 Nov 2019 16:00 - 18:00
Event Walter Fontana Modeling biological information processing III. Tools for reasoning about molecular interaction systems : The quest for useful information Lecture The fifth lecture examined in more formal detail the syntax of the Kappa language. Numerous rule examples are given to illustrate its expressiveness. Two aspects of Kappa's minimalist design are explained. An agent interface cannot have two sites with the … 26 Nov 2019 14:00 - 15:30
Event Thomas Lecuit Organ growth and internal control Lecture Documents and media Download support … 26 Nov 2019 10:00 - 11:30
Series The 4th "Biology & Mathematics on the Mountain" day Center for Interdisciplinary Research in Biology (CIRB) Symposium Program Thursday, October 26, 2017 … 26 Oct 2017
Series Dynamics of galaxies : spirals and bars, interactions and mergers Françoise Combes, chair Galaxies and Cosmology Seminar The formation and evolution of galaxies depend essentially on their dynamics, gravity and gas hydrodynamics. These phenomena control star formation and all associated processes, including feedback from supernova energy. Each galaxy grows in symbiosis with … 20 Nov 2017 → 22 Jan 2018
Series Dynamics of galaxies : spirals and bars, interactions and mergers Françoise Combes, chair Galaxies and Cosmology Lecture The formation and evolution of galaxies depend essentially on their dynamics, gravity and gas hydrodynamics. These phenomena control star formation and all associated processes, including feedback from supernova energy. Each galaxy grows in symbiosis with … 20 Nov 2017 → 22 Jan 2018
Event Víctor Mínguez Donde el Toisón habita. Presagios áureos en el palacio del Buen Retiro. From Lope y Calderón to Luca Giordano Symposium The conference is in Spanish. … 18 Oct 2019 11:30 - 12:00
Event Jacqueline Hermann Waiting for a Messiah King : from defeat by the Moors to Portugal's dream of imperial greatness (1578-1603) Symposium 18 Oct 2019 11:00 - 11:30
Event Lucien Dabadie The eschatological dimension of Cola di Rienzo's tribunate. An original synthesis of the imperial idea and messianism Symposium 18 Oct 2019 09:30 - 10:00
Event Séverin Duc The French monarchy in Lombardy : imperial experiences and the End of Time (1500-1525) Symposium 17 Oct 2019 16:30 - 17:00
Event Sylvène Edouard Monarchia Universalis au Grand Siècle : the making of Louisquatorzian messianism Symposium 17 Oct 2019 17:00 - 17:30
Event Stéphane Péquignot The crusade plans of the kings of Aragon Symposium 17 Oct 2019 15:00 - 15:30
Event Dan Ioan Muresan Crusades as imperial wars. For a polemology of pontifical imperialism Symposium 17 Oct 2019 14:30 - 15:00
Event Gennaro Barbuto Escatologia profezia e utopia nella "Città del Sole" di Tommaso Campanella Symposium The conference is in Italian. … 17 Oct 2019 11:00 - 11:30
Event Eduardo Fernández Guerrero "Surget Rex Magnus Cum Magno Pastore": Prophecies and Theologies of Messianic Kingship in the Early modern Global Empires Symposium 17 Oct 2019 11:30 - 12:00
Event Michele Lodone " He is coming, he is not coming, he has indeed come : messianic prophecies and Italian cities in the Renaissance period Symposium 17 Oct 2019 09:30 - 10:00
Event Jean Krivine From Molecules to Systems: the problem of knowledge representation in molecular biology Seminar Jean Krivine is a CNRS researcher at IRIF (Institut de recherche en informatique fondamentale, Université de Paris). He is interested in fundamental aspects of computer science, mainly models for concurrency, quantitative simulation (stochastic … 22 Nov 2019 14:00 - 15:00
Event Thierry Bodineau Dynamics of a gas of hard spheres : fluctuations and large deviations Seminar 22 Nov 2019 11:15 - 12:45
Event François-Xavier Fauvelle The mystery of Ketetiya's blue pearl (2) Lecture How to overcome documentary and narrative asymmetry ? Contact space and agentivity. The city of Ghâna described by al-Bakrî (11th century ). A model for thinking about interaction: a magnetic field. Comparative chronology of trans-Saharan and transoceanic … 21 Nov 2019 14:00 - 15:30