Steering Committee

Franz Baader President, FroCoS'96 PC co-chair, and co-founder
Andreas Herzig FroCoS'19 PC co-chair
Boris Konev FroCoS'21 PC co-chair
Andrei Popescu FroCoS'19 PC co-chair
Giles Reger FroCoS'21 PC co-chair
Ulrike Sattler FroCoS'23 PC co-chair
Martin Suda FroCoS'23 PC co-chair

Former Members

Alessandro Armando FroCoS'02 PC chair
Clare Dixon FroCoS'17 PC co-chair
Marcelo Finger FroCoS'17 PC co-chair
Pascal Fontaine FroCoS'13 PC co-chair
Silvio Ghilardi FroCoS'09 PC co-chair
Bernhard Gramlich FroCoS'05 PC chair
Carsten Lutz FroCoS'15 PC co-chair
Hélène Kirchner FroCoS'00 PC co-chair
Silvio Ranise FroCoS'15 PC co-chair
Christophe Ringeissen FroCoS'00 PC co-chair
Renate Schmidt FroCoS'13 PC co-chair
Roberto Sebastiani FroCoS'09 PC co-chair
Viorica Sofronie-Stokkermans FroCoS'11 Conference chair
Klaus Schulz FroCoS'96 PC co-chair and co-founder
Cesare Tinelli FroCoS'11 PC chair
Frank Wolter FroCoS'07 PC chair