Florian Rabe's homepage
Official functions
CICM, steering committee chair (2023-2026)
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
2024
IJCAR, PC member
STAF, PC member
HCM Trimester, fellow
2023
CADE, PC member
CICM, workshop chair
Dagstuhl Seminar on Automated mathematics, organizer
2022
Deduktionstreffen, PC member
CICM, workshop chair
CICM, PC member
GI Joint Annual Meeting on Deductions Systems and Logic in Computer Science, organizer
2021
CICM, PC member
GI Joint Annual Meeting on Deductions Systems and Logic in Computer Science, organizer
2020
Workshop on Natural Formal Mathematics organizer
APLAS, PC member
CICM, PC member
Hausdorff Center Workshop on Mathematical Language and Practical Type Theory, invited participant
2019
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
2018
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
M3SRD at CICM, PC member
CICM, PC chair
2017
PxTP, PC member
Deduktionstreffen, PC member
MKM, PC track chair
LFMTP, PC chair
2016
Dagstuhl Seminar on Universality of Proofs, organizer
WADT, PC member
Deduktionstreffen, PC member
CICM, PC member
2015
Deduktionstreffen, PC member
CICM Systems, PC track chair
earlier
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