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:<div>\n  <p>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.</p>\n\n  
 <p>The 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.</p>\n\n  <p>Given 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..</p>\n</
 div><div>\n  <p>We ask for submission of *regular 
 papers* describing original work (10--15 pages) or
  *extended abstracts* (2--6 pages) presenting alre
 ady published work or work in progress.</p>\n\n  <
 p>The joint international DICE-FOPARA workshop ser
 ves as a forum for presenting original and establi
 shed research results that are relevant to the imp
 licit computational complexity theory and to the a
 nalysis of resource (e.g. time, space, energy) con
 sumption by computer programs. The workshop aims t
 o bring together the researchers that work on foun
 dational issues with the researchers that focus mo
 re on practical results. Therefore, both theoretic
 al and practical contributions are encouraged, as 
 well as papers that combine theory and practice.</
 p>\n</div>
URL:http://cbr.uibk.ac.at/events/dice-fopara
END:VEVENT
END:VCALENDAR