Title: Optimal Control and Partial Differential Equations - Innovations and Applications, Author: J.L. Menaldi
Title: Cooperation in Heterogeneous Theorem Prover Networks, Author: Dirk Fuchs