helle hvid hansen

 

Current and Recent Activities

I serve on the program committees of CALCO 2017, TbiLLC 2017, and AiML 2018.

I am giving an invited talk at Algebra and Coalgebra Meet Proof Theory (ALCOP 2017).

I was logistics co-chair of ECAI 2016 and have been the general organiser of several workshops: Logics for Social Behaviour 3, ALCOP 2015, Bellairs 2015, and the Lorentz Center workshop Representing Streams II.

I have the pleasure of supervising three PhD students: Henning Basold, Zeinab Bakhtiari and Frank Feys.

Overview

Invited Speaker at International Symposia

Other Invited Talks

Program Committees


Editor


Organising Committees


PhD Student Supervision

Other