Service

PC member of EMMSAD’20

​Member of the Scientific Board of the International PhD Program in Mind, Brain and Reasoning of the University of Milan

Doctoral Consortium Chair of ACI'20

PC member of KR'20

PC member of IJCAI'19

PC member of EMMSAD’19

PC member of EMMSAD’18

Co-chair of FiRE’18

PC member of KR’18

Co-chair of EDSMLS’18

Editorial Board Member of IFCOLOG Journal of Logics and Their Applications

Keynote Speaker UNILOG’18

Co-chair of ISRALOG’17

Papers Chair – ACI’17

Steering Committee Member of ACI

PC member of T4SIS4T

SPC member of IJCAI’17

PC member of EMMSAD’17

PC member of S4CIP’17

Co-chair of COLAFORM at ENASE’17

PC member of IEA-AIE’17

PC member of ESSLLI’17 (Logic and Computation track)

Co-chair of RM4ACI at ACI’16

PC member of ACI’16

PC member of DARe’16

PC member of ECAI’16.

PC member of HOFM’16

PC member of COGNISE’16

Co-chair of COLAFORM at ENASE’16

PC member ACI’15

PC member IJCAI’15

PC member WL4AI’15

PC member DARe’15

PC member WoLLIC’15

Chair ISRALOG’14

PC member DARe’14

Invited talk Gentzen Systems and Beyond, co-located with FLoC’14, Vienna Summer of Logic.

Chair Intelligent Systems for Animal Welfare(co-located with AISB-50)

Invited talk Linz Seminar on Fuzzy Set Theory 2014

PC member IJCAI’13

PC member WoLLIC’13

Invited tutorial UNILOG’13 (slides available here)

Chair Between Semantics and Proof Theory

OC member Turing Year in Israel