Developments in Implicit Computational Complexity

Thessaloniki, Greece - April 14-15, 2018 - part of ETAPS 2018

Context

DICE is a thematic workshop in the field of Implicit Computational Complexity (ICC), where researchers in the area can meet and discuss their most recent results. It takes place anually as part of ETAPS.

Scope and Topics

The area of Implicit Computational Complexity (ICC) has grown from several proposals for using logic and formal methods to provide languages for complexity-bounded computation (e.g. PTIME, LOGSPACE computation). Its aim is to study computational complexity without reference to external measuring conditions or particular machine models, but only in terms of language restrictions or logical/computational principles implying complexity properties. This workshop focuses on ICC methods related to programs (rather than descriptive methods). In this approach one relates complexity classes to restrictions on programming paradigms (functional programs, lambda calculi, rewriting systems), such as ramified recurrence, weak polymorphic types, linear logic and linear types, and interpretative measures. The two main objectives of this area are:

Therefore ICC connects both to the study of complexity classes and to static program analysis. The workshop is open to contributions on various aspects of ICC and resource analysis, including (but not exclusively):

Venue

The workshop will be held in Thessaloniki, Greece, on April 14-15, 2018, see also the corresponding ETAPS page.

Thessaloniki is a Greek port city on the Thermaic Gulf of the Aegean Sea. It was among the biggest and wealthiest city of the Byzantine Empire and is home to numerous notable Byzantine monuments. Thessaloniki features a mild climate, with average temperatures almost 20 degree in the second week of April.

Submission

Authors are invited to submit an extended abstract of up to 5 pages by 31 January, 2018. Abstracts must be written in English and must be prepared using the LaTeX LIPIcs style template of 2016. Submissions are handled via the DICE 2018 EasyChair page.

Submissions will be judged on originality, relevance, interest and clarity. Accepted abstracts will be presented at the workshop, and will be made available through the workshop’s webpage. It is not intended to preclude later publication at another venue. Abstracts can contain material already published elsewhere. Preference will be given to abstracts containing novel work (including work in progress).

Submissions of abstracts by PC members are allowed and encouraged.

Importand Dates

Program Committee

Steering Committee

Registration

Online registration is handled via the ETAPS website.

Schedule

tba