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/2022/newsitem/13428/31
 -July-2022-Workshop-Advances-in-Separation-Logics-
 ASL-2022-Haifa-Israel
DTSTAMP:20220217T174639
SUMMARY:Workshop "Advances in Separation Logics" (
 ASL 2022), Haifa, Israel
DTSTART;VALUE=DATE:20220731
LOCATION:Haifa, Israel
DESCRIPTION:The past two decades have witnessed im
 portant progress in static analysis and verificati
 on of code with low-level pointer and heap manipul
 ations, mainly due to the development of Separatio
 n Logic (SL). SL is a resource logic, a dialect of
  the logic of Bunched Implications (BI) designed t
 o describe models of the heap memory and the mutat
 ions that occur in the heap as the result of low-l
 evel pointer updates. The success of SL in program
  analysis is due to the support for local reasonin
 g, namely the ability of describing only the resou
 rce(s) being modified, instead of the entire state
  of the system. This enables the design of composi
 tional analyses that synthesize specifications of 
 the behavior of small parts of the program before 
 combining such local specifications into global ve
 rification conditions. Another interesting line of
  work consists in finding alternatives to the unde
 rlying semantic domain of SL, namely heaps with ag
 gregative composition, in order to address other f
 ields in computing, such as self-adapting distribu
 ted networks, blockchain and population protocols,
  social networks or biological systems.  ASL 2022 
 is a workshop affiliated to IJCAR 2022 at FLOC 202
 2. Keynote Speakers: Philippa Gardner (Imperial Co
 llege London) and Ralf Jung (MIT CSAIL).  All pape
 rs must be original and not simultaneously submitt
 ed to another journal or conference. We consider s
 hort papers up to 8 pages and regular papers betwe
 en 9 and 15 pages (LNCS style, references excluded
 ) on topics including: * decision procedures for S
 L and other resource logics, * computational compl
 exity of decision problems such as satisfiability,
  entailment and abduction for SL and other resourc
 e logics, * axiomatisations and proof systems for 
 automated or interactive theorem proving for SL an
 d other resource logics, * verification conditions
  for real-life interprocedural and concurrent prog
 rams, using SL and other resource logics, * altern
 ative semantics and computation models based on th
 e notion of resource, * application of separation 
 and resource logics to different fields, such as s
 ociology and biology.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The past 
 two decades have witnessed important progress in s
 tatic analysis and verification of code with low-l
 evel pointer and heap manipulations, mainly due to
  the development of Separation Logic (SL). SL is a
  resource logic, a dialect of the logic of Bunched
  Implications (BI) designed to describe models of 
 the heap memory and the mutations that occur in th
 e heap as the result of low-level pointer updates.
  The success of SL in program analysis is due to t
 he support for local reasoning, namely the ability
  of describing only the resource(s) being modified
 , instead of the entire state of the system. This 
 enables the design of compositional analyses that 
 synthesize specifications of the behavior of small
  parts of the program before combining such local 
 specifications into global verification conditions
 . Another interesting line of work consists in fin
 ding alternatives to the underlying semantic domai
 n of SL, namely heaps with aggregative composition
 , in order to address other fields in computing, s
 uch as self-adapting distributed networks, blockch
 ain and population protocols, social networks or b
 iological systems.</p>\n\n  <p>ASL 2022 is a works
 hop affiliated to IJCAR 2022 at FLOC 2022. Keynote
  Speakers: Philippa Gardner (Imperial College Lond
 on) and Ralf Jung (MIT CSAIL).</p>\n</div><div>\n 
  <p>All papers must be original and not simultaneo
 usly submitted to another journal or conference. W
 e consider short papers up to 8 pages and regular 
 papers between 9 and 15 pages (LNCS style, referen
 ces excluded) on topics including: * decision proc
 edures for SL and other resource logics, * computa
 tional complexity of decision problems such as sat
 isfiability, entailment and abduction for SL and o
 ther resource logics, * axiomatisations and proof 
 systems for automated or interactive theorem provi
 ng for SL and other resource logics, * verificatio
 n conditions for real-life interprocedural and con
 current programs, using SL and other resource logi
 cs, * alternative semantics and computation models
  based on the notion of resource, * application of
  separation and resource logics to different field
 s, such as sociology and biology.</p>\n</div>
URL:https://asl-workshop.github.io/asl22/
END:VEVENT
END:VCALENDAR