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:
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
\nThe 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
\nTh 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
\n \n \nAdditional information wi ll be available through WWW address:\n http://www.loria.fr/~galmiche/LRPP 2013.html.\n
Re searchers interested in presenting their works are invited to send an\n extended abstract (up to 10 pages)\n by June 24, 2013.\n p>\n