Florian Rabe's homepage

Current Activities
MMT Tutorial at UniLog 2018, organizer
CICM 2018, PC chair
PxTP 2017, PC member
Deduktionstreffen 2017, PC member
MKM 2017, PC track chair
LFMTP 2017, PC chair
Dagstuhl Seminar on Universality of Proofs, organizer
WADT 2016, PC member
Deduktionstreffen 2016, PC member
CICM 2016, PC member
Deduktionstreffen 2015, PC member
CICM Systems 2015, PC track chair
Calculemus 2014, PC member
MKM 2014, PC member
PLMMS 2013, organizer and PC chair
LFMTP 2013, PC member
WGP 2013, PC member
PxTP 2013, PC member
CICM 2013, PC member
CICM 2012, PC member
MLPA 2011, organizer and PC chair
CICM 2011, organization committee
MKM 2011, PC track chair
IWIL 2010, PC member
MLPA 2010
organizer and PC chair
MKM 2010, PC member
SNPD 2010, PC member

Official functions
CICM Steering Committee 2017-2019
OpenMath Executive Committee, secretary
IFIP WG 2.1, observer
MKM Board of Trustees 2010-2013
CICM Steering Committee 2012-2015