Write a Blog >>
DICE-FOPARA 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
All Editions
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

DICE-FOPARA 2019 with ETAPS 2019

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation(e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language ...