Inria
Inria.fr
Inria Channel
There are 12 Results with the keyword : "algorithms"
CEA-EDF-Inria School
CEA-EDF-Inria schools - Modelling and verifying algorithms in Coq: an introduction
This school is a 5 days course for engineers, and for students and researchers. Participants should be familiar with programming (e.g. in C or Java), but no knowledge of a proof assistant or of a functional language is required. Participants are invited to bring their own laptop to profit of the afternoon exercise sessions.
Place : Rooms Orange 1 and Orange 2 (5th floor), Inria Antenne de Paris, 23 avenue d'Italie, 75013 Paris. Metro: Place d'Italie.
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Evénement
AofA 2012
The 23rd International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, or simply AofA 2012, is the third joint meeting of two conferences, Mathematics and Computer Science (MathInfo) and Analysis of Algorithms (AofA). It is the 18th meeting in the AofA series---five separate MathInfo meetings were held, for a total of 23. Its main purpose is to exchange ideas and foster collaboration around the themes of analytic, combinatorial and probabilistic methods, randomized algorithms, and theoretical aspects of trees, graphs, networks, strings and other mathematical structures.
Place : CRM (Centre de recherches mathématiques) located in the Aisenstadt Building on the campus of the University of Montreal.
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > AofA 2012
Séminaire des équipes de recherche
Séminaire : ALGORITHMS
Entrée libre, à 10h30.
Place : Inria Paris - Rocquencourt, salle de conférence du bâtiment 9
Guests : Éric Fusy, LIX, Ecole Polytechnique
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Séminaire : ALGORITHMS
Séminaire des équipes de recherche
Séminaire : ALGORITHMS
Entrée libre, à 14h00.
Place : Inria Paris - Rocquencourt, salle de conférence du bâtiment 9
Guests : Andrea Sportiello, Milan University.
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Séminaire : ALGORITHMS
Séminaire des équipes de recherche
Séminaire : ALGORITHMS
Entrée libre, à 14h00.
Place : Inria Paris - Rocquencourt, salle de conférence du bâtiment 9
Guests : Andrea Sportiello, Milan University.
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Moser-reduction of lattices for a linear connection
Séminaire des équipes de recherche
Séminaire : ALGORITHMS
Entrée libre, à 14h00.
Place : Inria Paris - Rocquencourt, salle de conférence du bâtiment 9
Guests : Andrea Sportiello, Milan University.
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Méthodes algébriques pour la résolution d'équations…
Seminar: ALGORITHMS
Seminar: ALGORITHMS
Free entry.
Place : Inria Paris-Rocquencourt, conference room, building 9
Guests : Marc Lelarge and Cecilia Holmgren
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Séminaire : ALGORITHMS
Research teams seminar
Seminar ALGORITHMS
Free entrance at 10:30 am.
Place : Inria Paris - Rocquencourt, salle de conférence du bâtiment 9
Guests : Pierre-Jean Spaenlehauer, SALSA project-team (Inria/UPMC/LIP6).
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Séminaire : ALGORITHMS
Project-team seminar
Seminar ALGORITHMS
Free entrance at 2:00 pm.
Place : Inria Paris - Rocquencourt, conference room - bâtiment 9
Guests : Aurélien Greuet, SALSA project-team (Inria/UPMC/LIP6)
Keywords:
Home > Centre > Paris - Rocquencourt > Calendar > Séminaire ALGORITHMS
Spring School
MAP Spring School
Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library
Place : Inria Sophia Antipolis - Méditerranée
Keywords:
- Formalization
- Coq systems
- EPI Marelle
- Mathematics
- Algorithms
- Proofs
- INRIA Sophia Antipolis - Méditerranée
Inria Research Centers
