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/2013/newsitem/5073/16-
 September-2013-Workshop-on-Logics-for-Resources-Pr
 ocesses-and-Programmes-LRPP-2013-Nancy-France
DTSTAMP:20130530T000000
SUMMARY:Workshop on Logics for Resources, Processe
 s and Programmes (LRPP 2013), Nancy, France
DTSTART;VALUE=DATE:20130916
DTEND;VALUE=DATE:20130916
LOCATION:Nancy, France
DESCRIPTION:A one day workshop on `Logics for Reso
 urces, Processes, and Programs' will be held the 1
 6th September 2013 in conjunction with the Tableau
 x Conference in Nancy, France, with D. Galmiche an
 d D. Pym as co-chairs.   The purpose of this works
 hop would be to discuss recent results on logics, 
 including systems formulated in the style of Hoare
  and Hennessy-Milner, for modelling resources, pro
 cesses, programs, and their interactions. We envis
 age a range of perspectives: proof-theoretic found
 ations, including decidability and complexity; sem
 antic foundations (e.g., new resource semantics); 
 specification of properties and behaviours; verifi
 cation and analysis of programs and systems. It sh
 ould help to establish and publicize a research ag
 enda for such logics and their use in the developm
 ent of trusted systems.   The workshop is intended
  to provide a forum for discussion between researc
 hers interested in logics of resources (from found
 ations to related calculi and applications) and re
 searchers interested in languages and methods for 
 specification of mobile, distributed, concurrent s
 ystems and their verification.   Additional inform
 ation will be available through WWW address: http:
 //www.loria.fr/~galmiche/LRPP2013.html.   Research
 ers interested in presenting their works are invit
 ed to send an extended abstract (up to 10 pages) b
 y June 24, 2013.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>A one
  day workshop on `Logics for Resources, Processes,
  and Programs'\n        will be held the 16th Sept
 ember 2013 in conjunction with the Tableaux\n     
    Conference in Nancy, France, with D. Galmiche a
 nd D. Pym as co-chairs.\n      </p>\n      <p>The 
 purpose of this workshop would be to discuss recen
 t results on\n        logics, including systems fo
 rmulated in the style of Hoare and\n        Hennes
 sy-Milner, for modelling resources, processes, pro
 grams, and\n        their interactions. We envisag
 e a range of perspectives:\n        proof-theoreti
 c foundations, including decidability and complexi
 ty;\n        semantic foundations (e.g., new resou
 rce semantics); specification of\n        properti
 es and behaviours; verification and analysis of pr
 ograms and\n        systems. It should help to est
 ablish and publicize a research agenda\n        fo
 r such logics and their use in the development of 
 trusted\n        systems.\n      </p>\n      <p>Th
 e workshop is intended to provide a forum for disc
 ussion between\n        researchers interested in 
 logics of resources (from foundations to\n        
 related calculi and applications) and researchers 
 interested in\n        languages and methods for s
 pecification of mobile, distributed,\n        conc
 urrent systems and their verification.\n      </p>
 \n    \n      \n      <p>Additional information wi
 ll be available through WWW address:\n        <a t
 arget="_blank" href="http://www.loria.fr/~galmiche
 /LRPP2013.html">http://www.loria.fr/~galmiche/LRPP
 2013.html</a>.\n      </p>\n    </div><div>\n     
  <p>Researchers interested in presenting their wor
 ks are invited to send an\n        extended abstra
 ct (up to 10 pages)\n        by June 24, 2013.\n  
     </p>\n      </div>
URL:/NewsandEvents/Archives/2013/newsitem/5073/16-
 September-2013-Workshop-on-Logics-for-Resources-Pr
 ocesses-and-Programmes-LRPP-2013-Nancy-France
END:VEVENT
END:VCALENDAR