- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
- Go to SteeringCommittee.
*Steering Committee [#k0c1006b]
In alphabetical order:
Matthias Blume, co-chair of FLOPS 10~
Jacques Garrigue, co-chair of FLOPS 08~
Masami Hagiya, co-chair of FLOPS 06~
Manuel Hermenegildo, co-chair of FLOPS 08~
Zhenjiang Hu, co-chair of FLOPS 02~
Yukiyoshi Kameyama, co-chair of FLOPS 04~
Naoki Kobayashi, general chair of FLOPS 10~
Herbert Kuchen, co-chair of FLOPS 01~
Mario Rodriguez Artalejo, co-chair of FLOPS 02~
Peter Stuckey, co-chair of FLOPS 04~
Kazunori Ueda, co-chair of FLOPS 01~
German Vidal, co-chair of FLOPS 10~
Philip Wadler, co-chair of FLOPS 06~