Barry O'Sullivan (ed.)

[sponsored by the American Association for Artificial Intelligence]

Rei Safavi-Naini, Jennifer Seberry (eds.)

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Moshe Y. Vardi, Andrei Voronkov (eds.)

Geoff Sutcliffe, Andrei Voronkov (eds.)

organized by INRIA ; sponsored by the Écoles de Coëtquidan ; edited by Daniel Augot and Claude Carlet

Miki Hermann, Andrei Voronkov (eds.)

Xuejia Lai, Kefei Chen (eds.)

Alberto Del Bimbo

edited by Chyi-Nan Chen and Lionel M. Ni ; sponsored by Ministry of Education, Taiwan, R. O. C. ... [et al.]

Kaoru Kurosawa (ed.)

David W. Embley, Antoni Olivé, Sudha Ram (eds.)

Michela Milano (ed.)

Thomas Johansson, Phong Q. Nguyen (eds.)

Ran Canetti (ed.)

Symposium on Foundations of Computer Science

Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Juan A. Garay, Atsuko Miyaji, Akira Otsuka (eds.)

Peter J. Stuckey (ed.)

editor, Hank Dietz ; co-editor, Rudolf Eigenmann, Jose A.B. Fortes, Susanne Hambrusch ; sponsored by International Association for Computers and Communications, The Ohio State University

sponsored by IEEE Computer Society Technical Committee on Distributed Processing

sponsored by IEEE Computer Society, IEEE Communications Society

sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with The ACM SIGARCH, European Assiciation for Theoretical Computer Science (EATCS), Swiss Special Interest Group on Parallelism (SIPAR), SPEEDUP Society

Mark Joye (ed.)

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing(TCMF)

editor, Ten H. Lai ; sponsored by the International Association for Computers and Communications, the Ohio State University

sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN

edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

K. C. Tai, editor

sponsored by IEEE Computer Society Technical Committee on Parallel Processing

Association for Computational Linguistics (U.S.). Meeting

edited by Usama Fayyad, Georges G. Grinstein, Andreas Wierse

José C. Pinheiro, Douglas M. Bates

Microsoft Corporation

[sponsored by the Virtual Reality Technology Committee of the IEEE Neural Networks Council ; in cooperation with SPIE(International Society for Optical Engineering) ... [et al.]]

sponsored by Information Processing Society of Japan (IPSJ), Kyushu Branch, Saga University, Institute of Systems and Information Technologies/Kyushu (ISIT)

edited by R.G.G. Cattell, Douglas K. Barry ; contributors Mark Berler ... [et al.]

by Song Y. Yan

Christopher R. Stephens ... [et al.] (eds.)

Nachum Dershowitz, Andrei Voronkov (eds.)

sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing

sponsored by the ACM Special Interest Group for Automata and Computability Theory

sponsored by the ACM Special Interest Group for Automata and Computability Theory

sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing

Howard E. Sturgis, editor

edited by Marshall C. Yovits

sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing