Florian Rabe's homepage

Official functions
TiPES EU project, advisory board (2019-2023)
LFMTP, steering committee (2017-2022, chair 2018-2022)
CICM, steering committee (2017-2019)
OpenMath, executive committee (secretary 2016-)
MKM, board of trustees (2010-2013)
CICM, steering committee (2012-2015)
IFIP WG 2.1 (2015-)
Current Activities
CICM, PC member
GI Joint Annual Meeting on Deductions Systems and Logic in Computer Science, organizer
Workshop on Natural Formal Mathematics organizer
APLAS, PC member
CICM, PC member
Hausdorff Center Workshop on Mathematical Language and Practical Type Theory, invited participant

MathStrucSDA, invited speaker
ICMS Workshop on Big Proof, invited participant
ESSLLI summer school, lecturer
Deduktionstreffen, PC member
FVPS, PC member
LFMTP, PC member
PxTP, PC member
LSFA, PC member
LML, PC member
CICM, PC member
CADE ATP System Competition, panel member
Deduktionstreffen, PC member
ICMS session on Composable Mathematical Software, organizer
FLoC Workshop on Modular Knowledge, organizer
MMT Tutorial at UniLog, organizer
CICM, PC chair
PxTP, PC member
Deduktionstreffen, PC member
MKM, PC track chair
LFMTP, PC chair
Dagstuhl Seminar on Universality of Proofs, organizer
WADT, PC member
Deduktionstreffen, PC member
CICM, PC member
Deduktionstreffen, PC member
CICM Systems, 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