BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2019/newsitem/11325/18
 ---19-December-2019-Formalization-of-Proofs-Formal
 isation-of-Programs-Paris-France
DTSTAMP:20191118T142444
SUMMARY:"Formalization of Proofs, Formalisation of
  Programs", Paris, France
DTSTART;VALUE=DATE:20191218
DTEND;VALUE=DATE:20191219
LOCATION:Paris, France
DESCRIPTION:The workshop intends to reconsider the
  relations or lack thereof between Computer scienc
 e and mathematics. Whereas, originally, mathematic
 s was used to provide a disciplinary identity to c
 omputing, today, this is clearly no longer the cas
 e, and this makes urgent to rethink the possible r
 elations between the two fields. The workshop aim 
 to do it by studying notions and practices of form
 alization and computation in both contexts.  The w
 orkshop results from a collaboration between two A
 NR research projects: the FFIUM Project and the PR
 OGRAMme project.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The workshop i
 ntends to reconsider the relations or lack thereof
  between Computer science and mathematics. Whereas
 , originally, mathematics was used to provide a di
 sciplinary identity to computing, today, this is c
 learly no longer the case, and this makes urgent t
 o rethink the possible relations between the two f
 ields. The workshop aim to do it by studying notio
 ns and practices of formalization and computation 
 in both contexts.</p>\n\n  <p>The workshop results
  from a collaboration between two ANR research pro
 jects: the <a href="https://sites.google.com/view/
 ffium/accueil" target="_blank">FFIUM Project</a> a
 nd the <a href="https://programme.hypotheses.org/"
  target="_blank">PROGRAMme project</a>.</p>\n
URL:https://programme.hypotheses.org/ffium-program
 me-colloquium-formalization-of-proofs-formalizatio
 n-of-programs
CONTACT:maelpegny at gmail.com
END:VEVENT
END:VCALENDAR