Registered user since Tue 15 Mar 2016

Name: Frank S. de Boer

Affiliation: Centrum Wiskunde & Informatica, Leiden University

Personal website: http://www.cwi.nl/~frb

Research interests: Semantics and proof theory programming languages

ECOOP and ISSTA Activities

• Committee Member in Program Committee for VORTEX 2018
• Show activities from other conferences