BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:643@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150316T000000
DTEND;TZID=Europe/Paris:20150316T000000
DTSTAMP:20150228T230000Z
URL:https://www.i2m.univ-amu.fr/evenements/journee-preuves-et-demonstratio
 ns/
SUMMARY: (...): Journée Preuves et Démonstrations
DESCRIPTION:: Journée thématique-Les concepts de preuves et les principes
  de démonstrations sont des notions centrales en mathématiques et dans l
 es disciplines associées ou celles qui s’occupent de les étudier. Cett
 e journée organisée pour les 15èmes rencontres scientifiques enseignant
 s-chercheurs\, sera consacrée à l’étude de certains problèmes que po
 se la compréhension de ces notions\, en les abordant selon différents po
 ints de vue : par l’enseignement des mathématiques\, par l’histoire d
 es mathématiques\, par la logique et par l’informatique.-Lieu : FRUMAM 
 (accès)-*PROGRAMME :-- 9h30\, {{Myriam Quatrini}} (I2M\, AMU/CNRS) :Une p
 etite introduction à la théorie de la démonstration-- 10h45\, Pause caf
 é-- 11h00\, {{René Cori}} (IMJ-PRG Université Paris-Diderot/CNRS) :La d
 émonstration au collège et au lycée : état des lieux-- 12h15\, Déjeun
 er-- 14h00\, {{Philippe Abgrall}} (CEPERC\, AMU/CNRS) et Marouane Ben Mile
 d (ENIT\, Université al-Manar\, Tunis) :Algorithme\, justification et dé
 monstration dans quelques textes algébriques écrits entre le IXe et le X
 Ie siècle-- 15h15\, Pause café-- 15h30\, {{Denis Lugiez}} (LIF\, AMU/CNR
 S)Logique temporelle et vérification de systèmes informatiques-*Organisa
 teurs : - Philippe Abgrall (CEPERC\, AMU/CNRS)- Marie Anglade (CEPERC\, AM
 U/CNRS)- Denis Lugiez (LIF\, Marseille)- Laurent Regnier (I2M\, Marseille)
 -*Partenaires :- CEPERC- I2M- LIF- FRUMAM-Site web
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR