Steering Committee

The FroCoS SC consists of one of the founding members and the PC co-chairs of the last three stand-alone FroCoS meetings. PC co-chairs become members of the SC after the edition they chaired is finished. The president is elected by the SC members.

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