ACM Transactions on Computational Logic (TOCL)

Editorial Board

Editor-in-Chief

  • Dale Miller
    INRIA and Laboratoire d'Informatique (LIX)
    Campus de l'École Polytechnique
    1 rue H. D'Estienne d'Orve
    91120 Palaiseau FRANCE
    tel +33 (0)1 69 33 41 34
    fax +33 (0)1 69 33 40 49
    dale.miller@inria.fr


Area Editors


Editorial Assistant

Eirini Kaldeli
kaldeli@gmail.com


Information Director

Marco Aiello
Institute of Mathematics and Computing Science
Rijksuniversiteit Groningen
Nijenborgh 9
9747 AG Groningen
The Netherlands
aiellom@cs.rug.nl


ACM Headquarters Journals Staff

  • Laura Lander, Journals Manager
  • Bernard Rous, Director of Publications
  • Irma Strolia, Editorial Assistant


Back to home page