BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GIO Lab//Scyphy Seminars//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
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:scyphy-seminar-85@giovannireina.com
DTSTAMP:20260928T161655Z
DTSTART;TZID=Europe/Berlin:20260930T113000
DTEND;TZID=Europe/Berlin:20260930T121500
SUMMARY:[Scyphy Seminar] Statistical model checking for rule-based models 
 in the Kappa language
LOCATION:Z8 Kitchen
DESCRIPTION:Speaker: Albin Salazar\n\nKappa is a graph-rewriting language 
 originally developed formodeling molecular interactions in cellular proces
 ses. A key feature ofKappa models is that\, inspired by organic chemistry\
 , interaction rulesoperate on patterns i.e.\, partially specified molecula
 r species\, thus allow-ing compact descriptions of otherwise large or even
  infinite models. In this talk\, we propose and implement a framework for 
 statisticalmodel checking for stochastic Kappa models against properties w
 rittenin bounded linear temporal logic (BLTL). A key feature of our approa
 chis that temporal properties operate over Kappa patterns\, making thespec
 ification language native to Kappa and avoiding the expensive—andsometim
 es theoretically impossible—translation of the model into anequivalent c
 hemical reaction network with a finite number of species.Concretely\, give
 n a Kappa model and a property\, we first instrument themodel by introduci
 ng additional variables and observables that trackthe truth value of each 
 atomic proposi…
END:VEVENT
END:VCALENDAR