Federico Gobbo holds a doctorate in Computer Science (specializing in Computational Linguistics) from the University of Insubria, Varese-Como, Italy, where he is currently a member of the Research Center “Informatica Interattiva” (CRII). For three years he was awarded research grants by the Department of Computer Science and Communication Sciences and he is currently Lecturer in History and Philosophy of Computing, at the same university. He has also taught Computational Linguistics at the University of Milano-Bicocca and Interlinguistics at the University of Milan, Italy. He has been a Book Review Editor for the journal Language Problems and Language Planning since 2005.Marco Benini holds a doctorate in Computer Science (specializing in Mathematical Logic) from the University of Milan, Italy. He is currently an Assistant Professor in the Department of Computer Science and Communication Sciences in the University of Insubria, Varese-Como, Italy. He has taught more than thirty courses in his academic career, notably a PhD course on Applications of Constructive Logics in Analysis, Verification, and Synthesis of Programs at the Mathematisches Institut, Ludwig Maximillians Universität, Muenchen, Germany. From 2011, he will work on a project titled Predicative Theories and Grothendieck Toposes in the Department of Mathematics, University of Leeds, UK, under a Marie Curie Intra-European Fellowship.