!8*&,0*/'& !"#$"%& '/# D)<#&? *7#< )$ >'/)6*7 )$<*70/)#7 96/ ,*/,67#7 7*8" '7 ',,&?)$% 4/'$<7 06 ,'82'%)$% '$< <#86/'0)$% ,6/8#&')$E$ 6/<#/ 06 #'7)&? ',,&? /#&)#97 06 3CF :6<#&7; )0 )7 690#$ <#7)/'4&# 06 /#>#/7#G#$%)$##/ ,/#>)6*7&? <#7)%$#< '$< :'$*9'80*/#< /#&)#97HF 78'$$#/7 8'$ %#$#/'0# 0/)'$%&# :#7"#7 9/6: 64I#807 D)0" /#&)#97J "6D#>#/; ,/#>)6*7 :#7" 7#%:#$0'0)6$ D6/2 "'7 $60 86$7)<#/#< 0"# ...

!8*&,0*/'& !"#$"%& '/# D)<#&? *7#< )$ >'/)6*7 )$<*70/)#7 96/ ,*/,67#7 7*8" '7 ',,&?)$% 4/'$<7 06 ,'82'%)$% '$< <#86/'0)$% ,6/8#&')$E$ 6/<#/ 06 #'7)&? ',,&? /#&)#97 06 3CF :6<#&7; )0 )7 690#$ <#7)/'4&# 06 /#>#/7#G#$%)$##/ ,/#>)6*7&? <#7)%$#< '$< :'$*9'80*/#< /#&)#97HF 78'$$#/7 8'$ %#$#/'0# 0/)'$%&# :#7"#7 9/6: 64I#807 D)0" /#&)#97J "6D#>#/; ,/#>)6*7 :#7" 7#%:#$0'0)6$ D6/2 "'7 $60 86$7)<#/#< 0"# ...

We describe a full implementation of algebraic effects and handlers as a library in standard and portable C99, where effect operations can be used just like regular C functions. We use a formal operational semantics to guide the C implementation at every step where an evaluation context corresponds directly to a particular C execution context. Finally we show a novel extension to the formal sem...

We review several aspects of K-Physics: i) Main targets of the field, ii) The theoretical framework for K-decays, iii) Standard analysis of the unitarity triangle, iv) ε/ε, v) Rare and CP violating K-decays, vi) Comparision of the potentials of K → πνν̄ and CP-B asymmetries. vii) Some aspects of the physics beyond the Standard Model. Theoretical Summary Talk given at the ”Workshop on K-Physics”,...