Anthony Gillioz Logic and Theory Group Phone +41 31 511 7610 E-Mail anthony.gillioz@unibe.ch Office 309 Postal Address Neubrückstrasse 10 3012 Bern