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. Traditionally, 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.

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 to the DICE 2018 EasyChair page. Abstracts must be written in English and be submitted as a single PDF file. Submissions will be judged on originality, relevance, interest and clarity. Accepted abstracts will be presented at the workshop. Abstract can contain material already published elsewhere before the workshop. Preference will be given to abstracts containing novel work (including work in progress). The workshop will not have formal proceedings and is not intended to preclude later publication at another venue.

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