[spin2017] SPIN 2017 - deadline extended to Feb 17
Yliès Falcone <[email protected]> Tue, 7 Feb 2017 11:30:22 +0100
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <0F1CAA02-1B15-4FFD-ACBD-DC60E012CD34__34303.6165032119$1486664471$gmane$org@imag.fr> |
--===============1829254369== Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html charset= =3Dutf-8"></head><body style=3D"word-wrap: break-word; -webkit-nbsp-mode: s= pace; -webkit-line-break: after-white-space;" class=3D"">[Apologies for cro= ssposting - Deadline extended to February 17, 2017]<br class=3D""><div clas= s=3D""><center class=3D"" style=3D"box-sizing: border-box; color: rgb(51, 5= 1, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; font-s= ize: 14px;"><h4 class=3D"" style=3D"box-sizing: border-box; font-family: in= herit; font-weight: 500; line-height: 1.1; color: inherit; margin-top: 10px= ; margin-bottom: 10px; font-size: 18px;">SPIN 2017</h4><div class=3D"" styl= e=3D"box-sizing: border-box; margin: 0px 0px 10px;"><br class=3D"webkit-blo= ck-placeholder"></div><h5 class=3D"" style=3D"box-sizing: border-box; font-= family: inherit; font-weight: 500; line-height: 1.1; color: inherit; margin= -top: 10px; margin-bottom: 10px; font-size: 14px;">24th International Sympo= sium on Model Checking of Software<p class=3D"" style=3D"box-sizing: border= -box; margin: 0px 0px 10px;">Santa Barbara, CA, USA, July 13-14, 2017</p><d= iv class=3D"" style=3D"box-sizing: border-box; margin: 0px 0px 10px;"><br c= lass=3D"webkit-block-placeholder"></div><p class=3D"" style=3D"box-sizing: = border-box; margin: 0px 0px 10px;"><a href=3D"https://urldefense.proofpoint= .com/v2/url?u=3Dhttp-3A__conf.researchr.org_home_spin-2D2017_&d=3DDwMFa= Q&c=3D8hUWFZcy2Z-Za5rBPlktOQ&r=3DaomQuufmH-JMB3S-t9CltQ&m=3DUN1= f-h7o2Cd8NBb9VZyzeW4UrY1WtHwt50ioHvi_6to&s=3DpAkox8lDfpcqnfGYtwsaY46NVJ= r0H9kYcT3YdluhE74&e=3D" class=3D"" style=3D"box-sizing: border-box; col= or: rgb(51, 122, 183); text-decoration: none;">http://conf.researchr.org/ho= me/spin-2017</a></p><p class=3D"" style=3D"box-sizing: border-box; margin: = 0px 0px 10px;">Collocated with ISSTA </p></h5></center><hr class=3D"" = style=3D"box-sizing: content-box; height: 0px; margin-top: 20px; margin-bot= tom: 20px; border-right-width: 0px; border-bottom-width: 0px; border-left-w= idth: 0px; border-top-style: solid; border-top-color: rgb(238, 238, 238); c= olor: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial, san= s-serif; font-size: 14px;"><p class=3D"" style=3D"box-sizing: border-box; m= argin: 0px 0px 10px; color: rgb(51, 51, 51); font-family: 'helvetica neue',= helvetica, arial, sans-serif; font-size: 14px;">The SPIN symposium aims at= bringing together researchers and practitioners interested in automated to= ol-based techniques for the analysis of software as well as models of softw= are, for the purpose of verification and validation. The symposium specific= ally focuses on concurrent software, but does not exclude analysis of seque= ntial software. Submissions are solicited on theoretical results, novel alg= orithms, tool development, empirical evaluation, and education.</p><p class= =3D"" style=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51,= 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; font= -size: 14px;">History: The SPIN symposium originated as a workshop focusing= on explicit state model checking, specifically as related to the Spin mode= l checker. However, over the years it has evolved to a broadly scoped sympo= sium for software analysis using any automated techniques, including model = checking, automated theorem proving, and symbolic execution.</p><p class=3D= "" style=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51= , 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; font-si= ze: 14px;">An overview of the previous SPIN symposia (and early workshops) = can be found at: <a href=3D"https://urldefense.proofpoint.com/v2/url?u= =3Dhttp-3A__spinroot.com_spin_symposia&d=3DDwMFaQ&c=3D8hUWFZcy2Z-Za= 5rBPlktOQ&r=3DaomQuufmH-JMB3S-t9CltQ&m=3DUN1f-h7o2Cd8NBb9VZyzeW4UrY= 1WtHwt50ioHvi_6to&s=3DbJDtv6dcI6UtHFhSWIOQiZGWxSy_r1FDOo4ZCaKDyRE&e= =3D" class=3D"" style=3D"box-sizing: border-box; color: rgb(51, 122, 183); = text-decoration: none;">http://spinroot.com/spin/symposia</a>.</p><p class= =3D"" style=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51,= 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; font= -size: 14px;">SPIN 2017 will be organized as an ACM SIGSOFT event, collocat= ed with the International Symposium on Software Testing and Analysis (ISSTA= 2017): <a href=3D"https://urldefense.proofpoint.com/v2/url?u=3Dhttp-3= A__conf.researchr.org_home_issta-2D2017&d=3DDwMFaQ&c=3D8hUWFZcy2Z-Z= a5rBPlktOQ&r=3DaomQuufmH-JMB3S-t9CltQ&m=3DUN1f-h7o2Cd8NBb9VZyzeW4Ur= Y1WtHwt50ioHvi_6to&s=3Dlj9wqHc-QkUZMb7wxL3LQuWrhJ02dh5RB1lFBs7AVNk&= e=3D" class=3D"" style=3D"box-sizing: border-box; color: rgb(51, 122, 183);= text-decoration: none;">http://conf.researchr.org/home/issta-2017</a>.&nbs= p;</p><p class=3D"" style=3D"box-sizing: border-box; margin: 0px 0px 10px; = color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial, sa= ns-serif; font-size: 14px;"><br class=3D"" style=3D"box-sizing: border-box;= "></p><h4 class=3D"" style=3D"box-sizing: border-box; font-family: 'helveti= ca neue', helvetica, arial, sans-serif; font-weight: 500; line-height: 1.1;= color: rgb(51, 51, 51); margin-top: 10px; margin-bottom: 10px; font-size: = 18px;">The RERS Verification Challenge</h4><p class=3D"" style=3D"box-sizin= g: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-family: '= helvetica neue', helvetica, arial, sans-serif; font-size: 14px;">In additio= n there will be a one-day Rigorous Examination of Reactive Systems verifica= tion challenge Workshop (RERS 2017): <a href=3D"https://urldefense.pro= ofpoint.com/v2/url?u=3Dhttp-3A__www.rers-2Dchallenge.org_2017&d=3DDwMFa= Q&c=3D8hUWFZcy2Z-Za5rBPlktOQ&r=3DaomQuufmH-JMB3S-t9CltQ&m=3DUN1= f-h7o2Cd8NBb9VZyzeW4UrY1WtHwt50ioHvi_6to&s=3D7NaYcLopssL8wZGJCrESTkYzTz= -jQjHIB6Kt763lBoQ&e=3D" class=3D"" style=3D"box-sizing: border-box; col= or: rgb(51, 122, 183); text-decoration: none;">http://www.rers-challenge.or= g/2017</a>.</p><p class=3D"" style=3D"box-sizing: border-box; margin: 0px 0= px 10px; color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, = arial, sans-serif; font-size: 14px;"><br class=3D"" style=3D"box-sizing: bo= rder-box;"></p><hr class=3D"" style=3D"box-sizing: content-box; height: 0px= ; margin-top: 20px; margin-bottom: 20px; border-right-width: 0px; border-bo= ttom-width: 0px; border-left-width: 0px; border-top-style: solid; border-to= p-color: rgb(238, 238, 238); color: rgb(51, 51, 51); font-family: 'helvetic= a neue', helvetica, arial, sans-serif; font-size: 14px;"><p class=3D"" styl= e=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51); = font-family: 'helvetica neue', helvetica, arial, sans-serif; font-size: 14p= x;">SPIN 2017 Topics of interest include, but are not limited to:</p><ul cl= ass=3D"" style=3D"box-sizing: border-box; margin-top: 0px; margin-bottom: 1= 0px; color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, aria= l, sans-serif; font-size: 14px;"><li class=3D"" style=3D"box-sizing: border= -box;">Formal verification techniques for automated analysis of software</l= i><li class=3D"" style=3D"box-sizing: border-box;">Formal analysis for mode= ling languages, such as UML/state charts</li><li class=3D"" style=3D"box-si= zing: border-box;">Formal specification languages, temporal logic, design-b= y-contract</li><li class=3D"" style=3D"box-sizing: border-box;">Model check= ing</li><li class=3D"" style=3D"box-sizing: border-box;">Automated theorem = proving, including SAT and SMT</li><li class=3D"" style=3D"box-sizing: bord= er-box;">Verifying compilers</li><li class=3D"" style=3D"box-sizing: border= -box;">Abstraction and symbolic execution techniques</li><li class=3D"" sty= le=3D"box-sizing: border-box;">Static analysis and abstract interpretation<= /li><li class=3D"" style=3D"box-sizing: border-box;">Combination of verific= ation techniques</li><li class=3D"" style=3D"box-sizing: border-box;">Modul= ar and compositional verification techniques</li><li class=3D"" style=3D"bo= x-sizing: border-box;">Verification of timed and probabilistic systems</li>= <li class=3D"" style=3D"box-sizing: border-box;">Automated testing using ad= vanced analysis techniques</li><li class=3D"" style=3D"box-sizing: border-b= ox;">Combination of static and dynamic analyses</li><li class=3D"" style=3D= "box-sizing: border-box;">Derivation of specifications, test cases, or othe= r useful material via formal analysis</li><li class=3D"" style=3D"box-sizin= g: border-box;">Case studies of interesting systems or with interesting res= ults</li><li class=3D"" style=3D"box-sizing: border-box;">Engineering and i= mplementation of software verification and analysis tools</li><li class=3D"= " style=3D"box-sizing: border-box;">Benchmark and comparative studies for f= ormal verification and analysis tools</li><li class=3D"" style=3D"box-sizin= g: border-box;">Formal methods education and training</li><li class=3D"" st= yle=3D"box-sizing: border-box;">Insightful surveys or historical accounts o= n topics of relevance to the symposium</li></ul><hr class=3D"" style=3D"box= -sizing: content-box; height: 0px; margin-top: 20px; margin-bottom: 20px; b= order-right-width: 0px; border-bottom-width: 0px; border-left-width: 0px; b= order-top-style: solid; border-top-color: rgb(238, 238, 238); color: rgb(51= , 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; fon= t-size: 14px;"><center class=3D"" style=3D"box-sizing: border-box; color: r= gb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif= ; font-size: 14px;"><h5 class=3D"" style=3D"box-sizing: border-box; font-fa= mily: inherit; font-weight: 500; line-height: 1.1; color: inherit; margin-t= op: 10px; margin-bottom: 10px; font-size: 14px;">Keynote Speakers</h5></cen= ter><hr class=3D"" style=3D"box-sizing: content-box; height: 0px; margin-to= p: 20px; margin-bottom: 20px; border-right-width: 0px; border-bottom-width:= 0px; border-left-width: 0px; border-top-style: solid; border-top-color: rg= b(238, 238, 238); color: rgb(51, 51, 51); font-family: 'helvetica neue', he= lvetica, arial, sans-serif; font-size: 14px;"><ul class=3D"" style=3D"box-s= izing: border-box; margin-top: 0px; margin-bottom: 10px; color: rgb(51, 51,= 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; font-siz= e: 14px;"><li class=3D"" style=3D"box-sizing: border-box;"><em class=3D"" s= tyle=3D"box-sizing: border-box;">Domagoj Babic</em>, Google, Inc.</li><li c= lass=3D"" style=3D"box-sizing: border-box;"><em class=3D"" style=3D"box-siz= ing: border-box;">Byron Cook</em>, Amazon Web Services</li><li class=3D"" s= tyle=3D"box-sizing: border-box;"><em class=3D"" style=3D"box-sizing: border= -box;">Gerard Holzmann</em>, Nimble Research</li></ul><hr class=3D"" style= =3D"box-sizing: content-box; height: 0px; margin-top: 20px; margin-bottom: = 20px; border-right-width: 0px; border-bottom-width: 0px; border-left-width:= 0px; border-top-style: solid; border-top-color: rgb(238, 238, 238); color:= rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-ser= if; font-size: 14px;"><center class=3D"" style=3D"box-sizing: border-box; c= olor: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial, san= s-serif; font-size: 14px;"><h5 class=3D"" style=3D"box-sizing: border-box; = font-family: inherit; font-weight: 500; line-height: 1.1; color: inherit; m= argin-top: 10px; margin-bottom: 10px; font-size: 14px;">Submission Guidelin= es</h5></center><hr class=3D"" style=3D"box-sizing: content-box; height: 0p= x; margin-top: 20px; margin-bottom: 20px; border-right-width: 0px; border-b= ottom-width: 0px; border-left-width: 0px; border-top-style: solid; border-t= op-color: rgb(238, 238, 238); color: rgb(51, 51, 51); font-family: 'helveti= ca neue', helvetica, arial, sans-serif; font-size: 14px;"><p class=3D"" sty= le=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 51);= font-family: 'helvetica neue', helvetica, arial, sans-serif; font-size: 14= px;">The contributions to SPIN 2017 will be published as ACM Proceedings, a= nd should be submitted in the ACM Conference Format: <a href=3D"https:= //urldefense.proofpoint.com/v2/url?u=3Dhttps-3A__www.acm.org_publications_p= roceedings-2Dtemplate&d=3DDwMFaQ&c=3D8hUWFZcy2Z-Za5rBPlktOQ&r= =3DaomQuufmH-JMB3S-t9CltQ&m=3DUN1f-h7o2Cd8NBb9VZyzeW4UrY1WtHwt50ioHvi_6= to&s=3Dz3Fjygmw14COX1UWGp-SDxCEe0nBp-L2QA1rk1zwMn8&e=3D" class=3D""= style=3D"box-sizing: border-box; color: rgb(51, 122, 183); text-decoration= : none;">https://www.acm.org/publications/proceedings-template</a>.</p><p c= lass=3D"" style=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb= (51, 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; = font-size: 14px;">Submissions must be original and should not have been pub= lished previously or be under consideration for publication while being eva= luated for this symposium. Authors are required to adhere to the ACM Policy= and Procedures on Plagiarism and the ACM Policy on Prior Publication and S= imultaneous Submissions.</p><p class=3D"" style=3D"box-sizing: border-box; = margin: 0px 0px 10px; color: rgb(51, 51, 51); font-family: 'helvetica neue'= , helvetica, arial, sans-serif; font-size: 14px;">We are soliciting two cat= egories of papers:</p><ul class=3D"" style=3D"box-sizing: border-box; margi= n-top: 0px; margin-bottom: 10px; color: rgb(51, 51, 51); font-family: 'helv= etica neue', helvetica, arial, sans-serif; font-size: 14px;"><li class=3D""= style=3D"box-sizing: border-box;"><strong class=3D"" style=3D"box-sizing: = border-box;">Full Research Papers</strong> describing fully developed = work and complete results (10 pages);</li><li class=3D"" style=3D"box-sizin= g: border-box;"><strong class=3D"" style=3D"box-sizing: border-box;">Short = Papers</strong> presenting tools, technology, experiences with lessons= learned, new ideas, work in progress with preliminary results, and novel c= ontributions to formal methods education (4 pages).</li></ul><p class=3D"" = style=3D"box-sizing: border-box; margin: 0px 0px 10px; color: rgb(51, 51, 5= 1); font-family: 'helvetica neue', helvetica, arial, sans-serif; font-size:= 14px;">Papers should be submitted via the EasyChair SPIN 2017 submission w= ebsite: <a href=3D"https://urldefense.proofpoint.com/v2/url?u=3Dhttps-= 3A__easychair.org_conferences_-3Fconf-3Dspin2017&d=3DDwMFaQ&c=3D8hU= WFZcy2Z-Za5rBPlktOQ&r=3DaomQuufmH-JMB3S-t9CltQ&m=3DUN1f-h7o2Cd8NBb9= VZyzeW4UrY1WtHwt50ioHvi_6to&s=3DDEmHzXxq9fxZb3lHzh7rO8TRgUXS0qWhbnrPmhB= ggl0&e=3D" class=3D"" style=3D"box-sizing: border-box; color: rgb(51, 1= 22, 183); text-decoration: none;">https://easychair.org/conferences/?conf= =3Dspin2017</a>.</p><p class=3D"" style=3D"box-sizing: border-box; margin: = 0px 0px 10px; color: rgb(51, 51, 51); font-family: 'helvetica neue', helvet= ica, arial, sans-serif; font-size: 14px;"><strong class=3D"" style=3D"box-s= izing: border-box;">Best Paper</strong> awards will be given and annou= nced at the conference. </p><p class=3D"" style=3D"box-sizing: border-= box; margin: 0px 0px 10px; color: rgb(51, 51, 51); font-family: 'helvetica = neue', helvetica, arial, sans-serif; font-size: 14px;">A selection of paper= s will be invited to a special issue of the <em class=3D"" style=3D"bo= x-sizing: border-box;">International Journal on Software Tools for Technolo= gy Transfer</em> (STTT).</p><hr class=3D"" style=3D"box-sizing: conten= t-box; height: 0px; margin-top: 20px; margin-bottom: 20px; border-right-wid= th: 0px; border-bottom-width: 0px; border-left-width: 0px; border-top-style= : solid; border-top-color: rgb(238, 238, 238); color: rgb(51, 51, 51); font= -family: 'helvetica neue', helvetica, arial, sans-serif; font-size: 14px;">= <center class=3D"" style=3D"box-sizing: border-box; color: rgb(51, 51, 51);= font-family: 'helvetica neue', helvetica, arial, sans-serif; font-size: 14= px;"><h5 class=3D"" style=3D"box-sizing: border-box; font-family: inherit; = font-weight: 500; line-height: 1.1; color: inherit; margin-top: 10px; margi= n-bottom: 10px; font-size: 14px;">Important Dates</h5></center><hr class=3D= "" style=3D"box-sizing: content-box; height: 0px; margin-top: 20px; margin-= bottom: 20px; border-right-width: 0px; border-bottom-width: 0px; border-lef= t-width: 0px; border-top-style: solid; border-top-color: rgb(238, 238, 238)= ; color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial, = sans-serif; font-size: 14px;"><ul class=3D"" style=3D"box-sizing: border-bo= x; margin-top: 0px; margin-bottom: 10px; font-family: 'helvetica neue', hel= vetica, arial, sans-serif; font-size: 14px;"><li class=3D"" style=3D"box-si= zing: border-box;"><font color=3D"#333333" class=3D"">Paper Submission: </f= ont><strike style=3D"color: rgb(51, 51, 51);" class=3D"">February 10, 2017<= /strike><font color=3D"#333333" class=3D""> </font><font color=3D"#ff4= 013" class=3D""><b class=3D"">February 17, 2017</b></font><font color=3D"#3= 33333" class=3D""> (23:59:59 Anywhere on Earth)</font></li><li class=3D"" s= tyle=3D"color: rgb(51, 51, 51); box-sizing: border-box;">Author Notificatio= n: April 15, 2017</li><li class=3D"" style=3D"color: rgb(51, 51, 51); box-s= izing: border-box;">Camera-Ready Paper: May 20, 2017</li><li class=3D"" sty= le=3D"color: rgb(51, 51, 51); box-sizing: border-box;">Symposium: July 13-1= 4, 2017</li></ul><hr class=3D"" style=3D"box-sizing: content-box; height: 0= px; margin-top: 20px; margin-bottom: 20px; border-right-width: 0px; border-= bottom-width: 0px; border-left-width: 0px; border-top-style: solid; border-= top-color: rgb(238, 238, 238); color: rgb(51, 51, 51); font-family: 'helvet= ica neue', helvetica, arial, sans-serif; font-size: 14px;"><center class=3D= "" style=3D"box-sizing: border-box; color: rgb(51, 51, 51); font-family: 'h= elvetica neue', helvetica, arial, sans-serif; font-size: 14px;"><h5 class= =3D"" style=3D"box-sizing: border-box; font-family: inherit; font-weight: 5= 00; line-height: 1.1; color: inherit; margin-top: 10px; margin-bottom: 10px= ; font-size: 14px;">Organization</h5></center><hr class=3D"" style=3D"box-s= izing: content-box; height: 0px; margin-top: 20px; margin-bottom: 20px; bor= der-right-width: 0px; border-bottom-width: 0px; border-left-width: 0px; bor= der-top-style: solid; border-top-color: rgb(238, 238, 238); color: rgb(51, = 51, 51); font-family: 'helvetica neue', helvetica, arial, sans-serif; font-= size: 14px;"><ul class=3D"" style=3D"box-sizing: border-box; margin-top: 0p= x; margin-bottom: 10px; color: rgb(51, 51, 51); font-family: 'helvetica neu= e', helvetica, arial, sans-serif; font-size: 14px;"><li class=3D"" style=3D= "box-sizing: border-box;">Hakan Erdogmus, <strong class=3D"" style=3D"= box-sizing: border-box;">Program Co-Chair</strong>, Carnegie Mellon Univers= ity, USA</li><li class=3D"" style=3D"box-sizing: border-box;">Klaus Havelun= d, <strong class=3D"" style=3D"box-sizing: border-box;">Program Co-Cha= ir</strong>, NASA/Caltech Jet Propulsion Laboratory, USA</li><li class=3D""= style=3D"box-sizing: border-box;">Corina Pasareanu, <strong class=3D"= " style=3D"box-sizing: border-box;">Awards Chair</strong>, NASA Ames Resear= ch Center, USA</li><li class=3D"" style=3D"box-sizing: border-box;">Yli=C3= =A8s Falcone, <strong class=3D"" style=3D"box-sizing: border-box;">Pub= licity Chair</strong>, Univ. Grenoble Alpes, Inria, France</li></ul><hr cla= ss=3D"" style=3D"box-sizing: content-box; height: 0px; margin-top: 20px; ma= rgin-bottom: 20px; border-right-width: 0px; border-bottom-width: 0px; borde= r-left-width: 0px; border-top-style: solid; border-top-color: rgb(238, 238,= 238); color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, ar= ial, sans-serif; font-size: 14px;"><center class=3D"" style=3D"box-sizing: = border-box; color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetic= a, arial, sans-serif; font-size: 14px;"><h5 class=3D"" style=3D"box-sizing:= border-box; font-family: inherit; font-weight: 500; line-height: 1.1; colo= r: inherit; margin-top: 10px; margin-bottom: 10px; font-size: 14px;">Progra= m Committee</h5></center><hr class=3D"" style=3D"box-sizing: content-box; h= eight: 0px; margin-top: 20px; margin-bottom: 20px; border-right-width: 0px;= border-bottom-width: 0px; border-left-width: 0px; border-top-style: solid;= border-top-color: rgb(238, 238, 238); color: rgb(51, 51, 51); font-family:= 'helvetica neue', helvetica, arial, sans-serif; font-size: 14px;"><ul clas= s=3D"" style=3D"box-sizing: border-box; margin-top: 0px; margin-bottom: 10p= x; color: rgb(51, 51, 51); font-family: 'helvetica neue', helvetica, arial,= sans-serif; font-size: 14px;"><li class=3D"" style=3D"box-sizing: border-b= ox;">Erika Abraham, RWTH Aachen University, Germany</li><li class=3D"" styl= e=3D"box-sizing: border-box;">Christel Baier, Technical University of Dresd= en, Germany</li><li class=3D"" style=3D"box-sizing: border-box;">Tom Ball, = Microsoft Research, USA</li><li class=3D"" style=3D"box-sizing: border-box;= ">Ezio Bartocci, Vienna University of Technology, Austria</li><li class=3D"= " style=3D"box-sizing: border-box;">Dirk Beyer, Ludwig-Maximilians-Universi= t=C3=A4t M=C3=BCnchen (LMU Munich), Germany</li><li class=3D"" style=3D"box= -sizing: border-box;">Armin Biere, Johannes Kepler University, Austria</li>= <li class=3D"" style=3D"box-sizing: border-box;">Dragan Bosnacki, Eindhoven= University of Technology, Netherlands</li><li class=3D"" style=3D"box-sizi= ng: border-box;">Zmago Brezocnik, University of Maribor, Slovenia</li><li c= lass=3D"" style=3D"box-sizing: border-box;">Sagar Chaki, Software Engineeri= ng Institute CMU, USA</li><li class=3D"" style=3D"box-sizing: border-box;">= Alessandro Cimatti, Fondazione Bruno Kessler, Italy</li><li class=3D"" styl= e=3D"box-sizing: border-box;">Lucas Cordeiro, University of Oxford, UK</li>= <li class=3D"" style=3D"box-sizing: border-box;">Patrice Godefroid, Microso= ft Research, USA</li><li class=3D"" style=3D"box-sizing: border-box;">Susan= ne Graf, VERIMAG Laboratory, France</li><li class=3D"" style=3D"box-sizing:= border-box;">Radu Grosu, Vienna University of Technology, Austria</li><li = class=3D"" style=3D"box-sizing: border-box;">Arie Gurfinkel, University of = Waterloo, USA</li><li class=3D"" style=3D"box-sizing: border-box;">Gerard H= olzmann, NASA/Caltech Jet Propulsion Laboratory, USA</li><li class=3D"" sty= le=3D"box-sizing: border-box;">Rajeev Joshi, NASA/Caltech Jet Propulsion La= boratory, USA</li><li class=3D"" style=3D"box-sizing: border-box;">Sarfraz = Khurshid, The University of Texas at Austin, USA</li><li class=3D"" style= =3D"box-sizing: border-box;">Kim Larsen, Aalborg University, Denmark</li><l= i class=3D"" style=3D"box-sizing: border-box;">Stefan Leue, University of K= onstanz, Germany</li><li class=3D"" style=3D"box-sizing: border-box;">Alice= Miller, University of Glasgow, Scotland</li><li class=3D"" style=3D"box-si= zing: border-box;">Corina Pasareanu, NASA Ames Research Center, USA</li><li= class=3D"" style=3D"box-sizing: border-box;">Doron Peled, Bar Ilan Univers= ity, Israel</li><li class=3D"" style=3D"box-sizing: border-box;">Neha Rungt= a, Amazon Web Services, USA</li><li class=3D"" style=3D"box-sizing: border-= box;">Theo Ruys, RUwise, Netherlands</li><li class=3D"" style=3D"box-sizing= : border-box;">Scott Smolka, Stony Brook University, USA</li><li class=3D""= style=3D"box-sizing: border-box;">Scott Stoller, Stony Brook University, U= nited States</li><li class=3D"" style=3D"box-sizing: border-box;">Jun Sun, = Singapore University of Technology and Design, Singapore</li><li class=3D""= style=3D"box-sizing: border-box;">Oksana Tkachuk, NASA Ames Research Cente= r, USA</li><li class=3D"" style=3D"box-sizing: border-box;">Stavros Tripaki= s, University of California, Berkeley, USA</li><li class=3D"" style=3D"box-= sizing: border-box;">Willem Visser, Stellenbosch University, South Africa</= li><li class=3D"" style=3D"box-sizing: border-box;">Farn Wang, National Tai= wan University, Taiwan</li><li class=3D"" style=3D"box-sizing: border-box;"= >Michael Whalen, University of Minnesota, USA</li><li class=3D"" style=3D"b= ox-sizing: border-box;">Anton Wijs, Eindhoven University of Technology, Net= herlands</li></ul><div class=3D""><br class=3D""></div></div></body></html>= --===============1829254369== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Lprolog mailing list [email protected] https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog --===============1829254369==--