![]() |
![]() |
HOMESEARCHREGULAR ISSUESSPECIAL ISSUESCURRENT ISSUESURVEY ARTICLESAUTHORSABOUTPurposeOpen AccessEditorial BoardAdvisory BoardAssistant EditorsAcknowledgmentsSERVICELOGINFAQCONTACT |
ADVISORY BOARD Krzysztof R. AptCWI, Amsterdam and the National University of Singapore Liaison to ACM Transactions on Computational Logic Samuel R. Buss University of California San Diego, USA Liaison to the Association of Symbolic Logic Neil Calkin Clemson University Liaison to Journal of Combinatorics Michael J. O'Donnell University of Chicago Liaison to Chicago Journal of Theoretical Computer Science Dov M. Gabbay King's College London Liaison to the Journal of the IGPL Joseph Y. Halpern Cornell University Liaison to the Computing Research Repository CoRR Charles Henry Rice University Liaison to University Libraries Phokion G. Kolaitis University of California Liaison to LICS Janos Makowsky Israel Institute of Technology Liaison to EACSL Mogens Nielsen University of Aarhus Liaison to European Association for Theoretical Computer Science Andrew M. Odlyzko University of Minnesota Bart Selman Cornell University Liaison to Journal of Artificial Intelligence Research |