机译:2014年符号逻辑逻辑集体讨论会欧洲夏季会议'14维也纳,奥地利2014年7月14日至19日摘要(2015年第21卷,第85页)
机译:2014年符号逻辑逻辑集体讨论会欧洲夏季会议'14维也纳,奥地利2014年7月14日至19日摘要(2015年第21卷,第85页)
机译:2017年欧洲夏季会议协会象征性逻辑逻辑Colloquium'17斯德哥尔摩,瑞典2017年8月14日至20日
机译:智利瓦尔帕莱索市符号逻辑协会协办的第21届逻辑,语言,信息和计算研讨会(2014年世界大会)2014年9月1-4日,摘要
机译:数据和应用程序安全性和隐私第二十八届:第28届年度IFIP WG 11.3工作会议,DBSec 2014,奥地利维也纳,2014年7月14日至16日。
机译:摘要书,逻辑学术讨论会'98,asL欧洲夏季会议,1998年8月9日至15日,捷克共和国布拉格