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/2017/newsitem/8576/22- --23-April-2017-1st-joint-international-workshop-o n-Developments-in-Implicit-Computational-complExit y-DICE-and-FOundational-and-Practical-Aspects-of-R esource-Analysis-FOPARA-Uppsala-Sweden DTSTAMP:20170119T171051 SUMMARY:1st joint international workshop on Develo pments in Implicit Computational complExity (DICE) and FOundational and Practical Aspects of Resourc e Analysis (FOPARA), Uppsala, Sweden DTSTART;VALUE=DATE:20170422 DTEND;VALUE=DATE:20170423 LOCATION:Uppsala, Sweden DESCRIPTION:The DICE workshop explores the area of Implicit Computational Complexity (ICC), which gr ew out from several proposals to use logic and for mal methods to provide languages for complexity-bo unded computation (e.g. Ptime, Logspace computatio n). It aims at studying the computational complexi ty of programs without referring to external measu ring conditions or a particular machine model, but only by considering language restrictions or logi cal/computational principles entailing complexity properties. The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. T he workshop aims to bring together the researchers that work on foundational issues with the researc hers that focus more on practical results. Therefo re, both theoretical and practical contributions a re encouraged. We also encourage papers that combi ne theory and practice. Given the complementarity and the synergy between these two communities, an d following the successful experience of co-locati on of DICE-FOPARA 2015 in London at ETAPS 2015, we will hold the 8th Workshop on DICE and the 5th Wo rkshop on FOPARA together at ETAPS 2017.. We ask for submission of *regular papers* describing orig inal work (10--15 pages) or *extended abstracts* ( 2--6 pages) presenting already published work or w ork in progress. The joint international DICE-FOP ARA workshop serves as a forum for presenting orig inal and established research results that are rel evant to the implicit computational complexity the ory and to the analysis of resource (e.g. time, sp ace, energy) consumption by computer programs. The workshop aims to bring together the researchers t hat work on foundational issues with the researche rs that focus more on practical results. Therefore , both theoretical and practical contributions are encouraged, as well as papers that combine theory and practice. X-ALT-DESC;FMTTYPE=text/html:
The DICE workshop explores the area of Implicit Computation al Complexity (ICC), which grew out from several p roposals to use logic and formal methods to provid e languages for complexity-bounded computation (e. g. Ptime, Logspace computation). It aims at studyi ng the computational complexity of programs withou t referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational pri nciples entailing complexity properties.
\n\nThe FOPARA workshop serves as a forum for prese nting original research results that are relevant to the analysis of resource (e.g. time, space, ene rgy) consumption by computer programs. The worksho p aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both t heoretical and practical contributions are encoura ged. We also encourage papers that combine theory and practice.
\n\nGiven the complementarit y and the synergy between these two communities, a nd following the successful experience of co-locat ion of DICE-FOPARA 2015 in London at ETAPS 2015, w e will hold the 8th Workshop on DICE and the 5th W orkshop on FOPARA together at ETAPS 2017..
We ask for submission of *regular pa pers* describing original work (10--15 pages) or * extended abstracts* (2--6 pages) presenting alread y published work or work in progress.
\n\nThe joint international DICE-FOPARA workshop serve s as a forum for presenting original and establish ed research results that are relevant to the impli cit computational complexity theory and to the ana lysis of resource (e.g. time, space, energy) consu mption by computer programs. The workshop aims to bring together the researchers that work on founda tional issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged, as we ll as papers that combine theory and practice.