BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
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
SUMMARY:
Quantitative Algebraic Reasoning
STATUS:CONFIRMED
ATTENDEE;CN="Radu Mardare
":
MAILTO:no@spam.com
DESCRIPTION:
The talk is centered on the concept of Quantitative Algebra\
, a structure that we developed in order to provide canonica
l metric-based semantics for quantitative (probabilistic\, s
tochastic\, timed\, weighted\, priced\, hybrid) systems. Qua
ntitative algebras are universal algebras on metric spaces a
nd are devised with an equational theory developed on top of
indexed equations. An indexed equation is an equation of ty
pe s=et\, where the index e is a positive number describing
an upper bound of the distance between the terms s and t. Th
is simple idea provides an entirely new way of thinking to a
lgebras and Lawvere theories\, and eventually induces a mona
d on the category of metric spaces. It also opens the discus
sion on the possibility of having a quantitative theory of e
ffects for quantitative programming languages. This is a joi
nt work with Gordon Plotkin and Prakash Panangaden that was
presented to LICS 2016 and LICS 2017.
DTSTART;TZID=Europe/Paris:20171024T110000
DURATION:PT1H
URL;VALUE=URI:http://www.lsv.ens-cachan.fr/Seminaires/?sem=201710241
100
UID:LSVsemLSV.201710241100@lsv.ens-cachan.fr
LOCATION:Salle de ConfĂ©rence (Pavillon des Jardins)
END:VEVENT
END:VCALENDAR