Name University / Company Country
Name University / Company Country
Abel, Andreas M. LFE Theoretische Informatik, Ludwig-Maximilians-Universität München, München Germany
Abourbih, Jonathan Glasgow UK
Adams, Mark Proof Technologies Ltd UK
Adams, Robin Royal Holloway, University of London UK
Aderhold, Markus Technische Universität Darmstadt, Darmstadt Germany
Affeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Research Center for Information Security (RCIS), Tokyo Japan
Agrawal, Bivek Department of Computer Science, University of Tennessee, Knoxville, Tennessee USA
Aguirre Galindo, Alejandro Inria Paris - Prosecco Team France
Ahmed, Bilal Department of Computer Engineering, Kyung Hee University South Korea
Ahrendt, Wolfgang Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg Sweden
Akbarpour, Behzad University of Cambridge, Cambridge UK
Alabdulatif, Abdullah Student UK
Alama, Jesse CENTRIA, FCT, Universidade Nova de Lisboa Portugal
Alberti, Francesco San Raffaele Scientific Institute,, Milano Italy
Alexander, Geoffrey D. IBM Corporation, Research Triangle Park, North Carolina USA
Algehed, Maximilian Chalmers University of Technology Sweden
Ali, Tariq Mohammad Ali Jinnah University, Islamabad Pakistan
Alizadeh Malafeh, Bijan University of Tokyo, Tokyo Japan
Allais, Guillaume Coqtail - ENS Lyon France
Allard, Dennis Santa Monica, California USA
Allen, John R. Santa Clara University, Santa Clara, California USA
Almulla, Mohammed Department of Mathematics and Computer Science, Kuwait University, Safat Kuwait
Alonso Jímenez, José-Antonio Departmento de Ciencias de la Computacion e Inteligencia Artificial, Universidad de Sevilla, Sevilla Spain
Aminof, Benjamin TU Wien Austria
Amir, Eyal Department of Computer Science, University of Illinois, Urbana, Illinois USA
Amjad, Hasan University of Cambridge, Cambridge UK
Amour, Bryan St. University of Windsor, Ontario Canada
Anantharaman, Siva Departement d'Informatique, Université d'Orléans, Orléans France
Andreoli, Jean-Marc Xerox Research Centre Europe, Grenoble France
Andrews, Peter B. Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Andronick, June Data61/CSIRO, UNSW Australia
Anoun, Houda LaBRI, Talence France
Anshel, Michael New York, New York USA
Anthony, Stephen Basser Department of Computer Science, University of Sydney, Sydney Australia
Antonsen, Roger Dept. of Informatics, University of Oslo Norway
Aoto, Takahito Niigata University Japan
Appel, Andrew W. Department of Computer Science, Princeton University, Princeton, New Jersey USA
Aravantinos, Vincent Laboratory of Informatics of Grenoble, Grenoble France
Archer, Myla US Naval Research Laboratory, Washington, DC USA
Ariola, Zena Matilde Department of Computer and Information Science, University of Oregon, Eugene, Oregon USA
Armando, Alessandro DIST, Università di Genova, Genova Italy
Arnaud, Mathilde Loria, CNRS, Vandœuvre-lès-Nancy France
Artemov, Sergei Ph.D. Program in Computer Science, The CUNY Graduate Center, New York, New York USA
Arthan, Rob D. Lemma 1 Ltd., Reading, Berkshire UK
Ashbacher, Charles Charles Ashbacher Technologies, Hiawatha, Iowa USA
Askelid, Bertil Research and Development, Sympoiesis, Anaheim Hills, California USA
Astrachan, Owen Department of Computer Science, Duke University, Durham, North Carolina USA
Athanasiou, Konstantinos Northeastern University USA
Autexier, Serge Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Avellone, Alessandro Università Milano-Bicocca, Milano Italy
Avenhaus, Jürgen Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern Germany
Avron, Arnon School of Computer Science, Tel-Aviv University, Tel Aviv Israel
Ayala-Rincón, Mauricio Departamentos de Matemática e Ciência da Computação, Universidade de Brasília, Brasilia DF Brazil
Ayers, Edward Department of Pure Mathematics and Mathematical Statistics, Cambridge University UK
Aziz, Mohammad Abdul Mentor Graphics Egypt
Baader, Franz Theoretische Informatik, Technische Universität Dresden, Dresden Germany
Baaz, Matthias Technische Universitaet Wien, Wien Austria
Bachmair, Leo Department of Computer Science, State University of New York at Stony Brook, Stony Brook, New York USA
Backeman, Peter Uppsala University Sweden
Baelde, David INRIA & Ecole Polytechnique, LIX, Palaiseau France
Baeta, Nuno ISEC Portugal
Balat, Vincent Laboratoire d'Informatique, Ecole Normale Supérieure, Paris France
Ballarin, Clemens Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Karlsruhe Germany
Bancerek, Grzegorz Department of Information Engineering, Shinshu University, Wakasato, Nagano-City Japan
Banerjee, Bonny Dept. of Computer Science and Engineering, The Ohio State University, Columbus, Ohio USA
Banerji, Ranan B. Melrose Park, Pennsylvania USA
Barbosa, Haniel INRIA, University of Lorraine, UFRN France
Barel, Jean CONGO BARKER Kenya
Barrett, Clark W. Department of Computer Science, Stanford University, Stanford, CA USA
Barthe, Gilles IMDEA Software Institute Spain
Basin, David ETH Zurich, Zurich Switzerland
Baum, Richard F. Department of Information and Software System Engineering, George Mason University, Fairfax, Virginia USA
Baumgartner, Peter National ICT Australia, Canberra Australia
Bax, Joshua NICTA Australia
Baxter, John School of Mathematics, University of Minnesota, Minneapolis, Minnesota USA
Beckert, Bernhard Karlsruhe Institute of Technology, Karlsruhe Germany
Beeson, Michael J. San José State University, Aptos, California USA
Beierle, Christoph FernUniversitaet in Hagen, Hagen Germany
Belinfante, Johan G. F. School of Mathematics, Georgia Institute of Technology, Atlanta, Georgia USA
Bender, Markus Universität Koblenz-Landau Germany
Benedetti, Marco LIFO - Laboratoire d'Informatique Fondamentale d'Orleans, University of Orleans, Orleans France
Benhamou, Belaid Laboratoire des Sciences de l'Information et des Systèmes, Université de Provence, Marseille France
Benjamin, Kiesl Vienna University of Technology Austria
Benke, Marcin Institute of Informatics, University of Warsaw Poland
Bensaid, Hicham Institut National des Postes et Télécommunications, Rabat Morocco
Benzmüller, Christoph E. FU Berlin Germany
Berdine, Josh Microsoft Research, Cambridge UK
Bernard, Andrew School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Bertaux, Nicolas Paris 11 France
Berwanger, Dietmar Fachbereich Informatik, RWTH Aachen, Aachen Germany
Betzendahl, Jonas Technical Faculty, Bielefeld University Germany
Beyersdorff, Olaf School of Computing, University of Leeds UK
Bezem, Marc University of Bergen Norway
Bibel, Wolfgang Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt Germany
Biere, Armin Johannes Kepler University Austria
Biri, Nicolas LORIA & Université Henri Poincaré, Nancy France
Björk, Magnus Department of Computing Science, Chalmers University of Technology, Göteborg Sweden
Bjørner, Nikolaj S. Microsoft Research, Redmond, WA USA
Blanchet, Bruno CNRS, Ecole Normale Supérieure - DI, Paris France
Blanchette, Jasmin Christian Inria Nancy & LORIA France
Blanco, Roberto Inria & LIX/École polytechnique France
Blanzieri, Enrico I.R.S.T., Istituto Trentino di Cultura, Trento Italy
Bobot, François U-PSUD - INRIA France
Bofill, Miquel Dept. IMA, Universidad de Girona, Girona Spain
Boigelot, Bernard Institut Montefiore, Université Ligèe, Liege Belgium
Bolibekyan, Hovhannes Department of Informatics and Applied Mathematics, Yerevan State University, Yerevan Armenia
Bonacina, Maria Paola Dipartimento di Informatica, Università degli Studi di Verona, Verona Italy
Bonakdarpour, Borzoo Michigan State University, East Lansing, Michigan USA
Bonichon, Richard Université Paris 6/LIP6, Paris France
Borgwardt, Stefan TU Dresden Germany
Bormann, Matthias Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt Germany
Borralleras, Cristina Departamento Informàtica i Matemàtica, E. P. S. Universitat de Vic, Vic Spain
Bos, Johan Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK UK
Botana, Francisco University of Cantabria Spain
Bouchard, Chris SUNY Albany USA
Boudou, Joseph IRIT, Université de Toulouse, Toulouse France
Boulton, Richard J. Department of Computing Science, University of Glasgow, Glasgow, Scotland, UK UK
Boy de la Tour, Thierry Laboratoire LEIBNIZ, Institut National Polytechnique de Grenoble, Grenoble France
Boyer, Robert S. Department of Computer Science, University of Texas at Austin, Austin, Texas USA
Bozzano, Marco ITC-IRST Italy
Brain, Martin University of Oxford UK
Brede, Nuria University of Potsdam, Potsdam Germany
Breinholt, Keith L. Salt Lake City, Utah USA
Brenas, Jon Haël University of Tennessee Health Science Center - Oak Ridge National Laboratory, Center for Biomedical Informatics, Department of Pediatrics USA
Bresciani, Paolo I.R.S.T., Istituto Trentino di Cultura, Trento Italy
Brock-Nannestad, Taus IT University of Copenhagen Denmark
Bromberger, Martin Max-Planck-Institut für Informatik, Saarbrücken Germany
Brotherston, James University College London UK
Brown, Chad E. Universität des Saarlandes, Saarbrücken Germany
Brown, G. L. Sevenoaks, Kent, England UK
Brucker, Achim D. SAP Research, Karlsruhe Germany
Brummayer, Robert Johannes Kepler University Austria
Bruns, Daniel Karlsruhe Institute of Technology Germany
Bruntse Larsen, John Department of Applied Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby Denmark
Brusten, Julien University of Liège Belgium
Bruttomesso, Roberto University of Lugano Switzerland
Bry, Francois Institut fuer Informatik, Ludwig-Maximilians-Universitaet Muenchen, Muenchen Germany
Bryant, Randy School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Bubel, Richard Fachbereich Informatik,, TU Darmstadt Germany
Buchberger, Bruno Research Institute for Symbolic Computation, Hagenberg Austria
Buchholtz, Ulrik Stanford University USA
Bundy, Alan School of Informatics, University of Edinburgh, Edinburgh, Scotland, UK UK
Burel, Guillaume ENSIIE/CÉDRIC France
Butler, Ralph Department of Computer Science, Middle Tennessee State University, Murfreesboro, Tennessee USA
Butterfield, Andrew University of Dublin, Trinity College Ireland
Böhme, Sascha Technische Universität München Germany
Bürckert, Hans-Jürgen DFKI, Saarbrücken Germany
Cabrer, Leonardo M. Mathematic Institute - Oxford University UK
Caferra, Ricardo Laboratoire LEIBNIZ-IMAG, Grenoble France
Cairns, Paul A. UCL Interaction Centre, University College London, London, England UK
Calabria, Pierluigi Università di Roma "La Sapienza", Roma Italy
Calmet, Jacques Fakultät für Informatik, Universität Karlsruhe, Karlsruhe Germany
Calì, Andrea Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Roma Italy
Camarero, Cristóbal University of Cantabria Spain
Carlucci Aiello, Luigia Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Roma Italy
Carral, David Wright State University, Ohio USA
Cedarquist, Jan CWI, Amsterdam The Netherlands
Cerna, David RISC Institute Austria
Cerrito, Serena Université d'Evry Val d'Essonne, Evry France
Ceylan, İsmail İlkan Theoretische Informatik, Technische Universität Dresden Germany
Chaieb, Amine TU Munich, Institut fur Informatik TUM, Munich Germany
Chakrabarti, Prasun Dept. of Computer Science and Engineering, Sir Padampat Singhania University, Rajasthan India
Chapman, Peter University of Brighton UK
Chaudhuri, Kaustuv School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Chekol, Melisachew Wudage INRIA France
Chen, Hao Department of Computer Science, University of York, England UK
Chen, Shuwei School of Computing and Mathematics, University of Ulster UK
Cheng, Jingde Department of Information and Computer Sciences, Saitama University Japan
Chevalier, Yannick INRIA-Lorraine, Villers-lès-Nancy France
Chihani, Zakaria Hichem Inria France
Chimento, Mauricio Chalmers University of Technology Sweden
Choppy, Christine Institut Galilée, Université Paris XIII, Villetaneuse France
Chopra, Samir Department of Computer and Information Science, Brooklyn College, Brooklyn, New York USA
Chortaras, Alexandros National Technical University of Athens Greece
Chou, Shang-Ching Department of Computer Science, Wichita State University, Wichita, Kansas USA
Christ, Jürgen University of Freiburg Germany
Chrzaszcz, Jacek Warsaw University, Warsaw Poland
Chu, Heng IBM Corporation, Research Triangle Park, North Carolina USA
Cialdea, Marta Dipartimento di Informatica e Automazione, Terza Università di Roma, Roma Italy
Cimatti, Alessandro Fondazione Bruno Kessler, Povo Italy
Ciobaca, Stefan ENS Cachan France
Claessen, Koen Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg Sweden
Clarke, Edmund M. Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Clemens, Grabmayer Utrecht University The Netherlands
Cohen, Liron Tel-Aviv University Israel
Cohn, Anthony G. School of Computer Studies, University of Leeds, Leeds, England UK
Cok, David GrammaTech USA
Colombo, Christian University of Malta Malta
Colton, Simon Imperial College London, London, England UK
Compagna, Luca SAP Labs France, Nice Sofia-Antipolis France
Compagnoni, Adriana Department of Computer Science, Stevens Institute of Technology, Hoboken, New Jersey USA
Constable, Robert L. Department of Computer Science, Cornell University, Ithaca, New York USA
Contejean, Evelyne Laboratoire de Recherche en Informatique, Université de Paris Sud, Orsay France
Cook, Byron Microsoft Research, Cambridge UK
Coquand, Thierry University of Gothenburg, Gothenburg Sweden
Corbineau, Pierre Laboratoire de Recherche en Informatique, Orsay France
Cornilleau, Pierre-Emmanuel INRIA Rennes France
Costa, Diana University of Aveiro Portugal
Courant, Judicaël Laboratoire de Recherche en Informatique, Université de Paris Sud, Orsay France
Cousineau, Denis Ecole Polytechnique - INRIA Sacaly Ile de France France
Cowles, John Department of Computer Science, University of Wyoming, Laramie, Wyoming USA
Craig, Iain University of Northampton, Northampton UK
Crary, Karl Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Crocker, David Escher Technologies Ltd., Frimley, England UK
Crole, Roy Department of Mathematics and Computer Science, University of Leicester, Leicester, England UK
Cruanes, Simon Inria France
Cruz-Filipe, Luís University of Southern Denmark Denmark
Cuellar, Jorge Siemens, Munich Germany
Cuenca Grau, Bernardo University of Oxford UK
Cunningham, Jim Department of Computing, Imperial College, London, England UK
Cuoq, Pascal Institut CARNOT CEA LIST France
Dahn, Bernd Ingo Fachbereich Informatik, Universität Koblenz-Landau, Koblenz Germany
Daniel, Selsam Stanford University USA
Dave, Maulik Vivechan, Inc., Atlanta, GA USA
Davenport, James University of Bath UK
Davis, Jared C. University of Texas at Austin, Austin, Texas USA
Davis, Martin Department of Mathematics, University of California at Berkeley, Berkeley, California USA
De Boer, Frank CWI The Netherlands
De Groote, Philippe INRIA-Lorraine, Nancy France
de Moura, Leonardo Microsoft Research, Redmond USA
De Nivelle, Hans University of Wrocław, Wrocław Poland
de Oliveira, Diego Caminha Barbosa Universite de Nancy France
de Rijke, Maarten Institute for Logic, Language and Computation, Universiteit Amsterdam, Amsterdam The Netherlands
Delahaye, David CEDRIC/CNAM, Paris France
Demri, Stéphane Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan, Cachan France
Dennis, Louise A. Department of Computer Science, University of Liverpool, England UK
Dershowitz, Nachum Tel-Aviv University, Ramat-Aviv Israel
Despeyroux, Joelle INRIA Sophia-Antipolis, Sophia-Antipolis France
Dhar, Amit Kumar LIAFA France
Dick, Stephanie Harvard University USA
Diekert, Volker Institut für Informatik, Universität Stuttgart, Stuttgart Germany
Dietrich, Dominik AG Deduktionssysteme, Fachbereich Informatik (FB 14), Saarland University, Saarbruecken Germany
Din, Crystal Chang Dept. of Computer Science, Darmstadt Germany
Dixon, Clare Department of Computer Science, Liverpool University, Liverpool, England UK
Dixon, Lucas Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK UK
Doczkal, Christian Universität des Saarlandes, Saarbrücken Germany
Doligez, Damien INRIA Rocquencourt, Paris France
Donelan, John US Government, Bethesda, Maryland USA
Dotto, Benjamin University of Koblenz-Landau Germany
Dougherty, Daniel J. Worcester Polytechnic Institute, Worcester, New York USA
Doutre, Sylvie IRIT, Université Paul Sabatier, Toulouse France
Dowek, Gilles Ecole polytechnique and INRIA Rocquencourt, Paris France
Doyle, Edward Missouri USA
Dross, Claire AdaCore France
Duchesneau, Dave Scrutiny, Inc., Seattle, Washington USA
Duncan, Hazel University of Edinburgh, Edinburgh, Scotland, UK UK
Duracz, Jan Aston University UK
Dutertre, Bruno SRI International USA
Dybjer, Peter Chalmers University of Technology, Göteborg Sweden
Dyckhoff, Roy School of Computer Science, University of St. Andrews, St. Andrews, Scotland, UK UK
Ebner, Gabriel TU Wien Austria
Echenim, Mnacho University of Grenoble Alpes, Grenoble France
Eder, Elmar Institut für Computerwissenschaften, Universität Salzburg, Salzburg Austria
Eeralla, Ajay Kumar Clarkson University USA
Egly, Uwe Abteilung Wissensbasierte Systeme, Technische Universität Wien, Wien Austria
Einarsdóttir, Sólrún Chalmers University of Technology Sweden
Eisinger, Norbert Institut für Informatik, Universität München, München Germany
Eker, Steven Computer Science Laboratory, SRI International, Menlo Park, California USA
Emerson, E. Allen Department of Computer Sciences, University of Texas at Austin, Austin, Texas USA
Emmes, Fabian RWTH Aachen University Germany
Endriss, Ulrich Department of Computer Science, King's College, London, England UK
Endrullis, Jorg Vrije Universiteit Amsterdam, Amsterdam The Netherlands
Erascu, Madalina Research Institute for Symbolic Computation, Johannes Kepler University, Linz Austria
Erata, Ferhat UNIT Information Technologies Ltd. Turkey
Erbatur, Serdar Institut für Informatik, Ludwig-Maximilians-Universität München Germany
Erdem, Esra Sabanci University, Istanbul Turkey
Erickson, John Jet Propulsion Laboratory, 4467 Hackberry Court, Midland, Texas USA
Eriksson, Johannes Åbo Akademi University Finland
Eriksson, Lars-Henrik Industrilogik, Stockholm Sweden
Escobar, Santiago Universidad Politécnica de Valencia Spain
Falke, Stephan Karlsruhe Institute of Technology (KIT), Karlsruhe Germany
Farmer, William M. Department of Computing and Software, McMaster University, Hamilton, Ontario Canada
Farooque, Mahfuza LIX, Ecole Polytechnique,, Paris France
Faure, Germain INRIA Saclay - Île de France France
Fehrer, Detlef SICK AG, Waldkirch Germany
Felgenhauer, Bertram Universität Innsbruck Austria
Felici, Giovanni IASI CNR, Roma Italy
Felty, Amy School of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, Ontario Canada
Feng, Shasha College of Computer Science and Technology, Jilin University China
Fenkam, Pascal Technische Universitaet Wien, Wien Austria
Fermüller, Christian G. Institut für Computersprachen, Technische Universität Wien, Wien Austria
Fernandez, Maribel King's College London, Dept. of Informatics UK
Fiedler, Armin Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Fietzke, Arnaud Max Planck Institute for Computer Science, Saarbrücken Germany
Filliâtre, Jean-Christophe CNRS France
Finger, Marcelo Departamento de Ciência da Computação, Universidade de Sao Paulo, Sao Paulo Brazil
Fiorentini, Camillo Department of Computer Science, Università degli Studi di Milano Italy
Fischer, Bernd University of Southampton, Southampton UK
Fisher, Michael Department of Computer Science, University of Liverpool, Liverpool, England UK
Fissore, Olivier LORIA & INRIA Lorraine, Villers-lès-Nancy France
Fitting, Melvin City University of New York, New York, New York USA
Fitzgerald, James Argonne National Laboratory and The University of Chicago, Chicago, Illinois USA
Fleuriot, Jacques Desiré University of Edinburgh, Edinburgh, Scotland, UK UK
Fleury, Mathias Max Planck Institut für Informatik, Saarbrücken Germany
Fodor, Paul Department of Computer Science, State University of New York at Stony Brook, Stony Brook, New York USA
Fontaine, Pascal INRIA, LORIA, University of Lorraine France
Formisano, Andrea Dipartimento di Matematica e Informatica, Università di Udine, Udine Italy
Frank, Mario University of Potsdam Germany
Franke, Andreas Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Franssen, Michael Eindhoven University of Technology The Netherlands
Fredrikson, Matthew University of Wisconsin USA
Freer, Cameron Department of Mathematics, Massachusetts Institute of Technology USA
Friedmann, Oliver University of Munich (LMU) Germany
Frisch, Alan University of York UK
Frohn, Florian RWTH Aachen Germany
Fröhlich, Andreas JKU Linz Austria
Fu, Peng The University of Iowa USA
Fuchs, Alexander University Koblenz-Landau, Koblenz Germany
Fuhs, Carsten University College London, London UK
Fujita, Hiroshi Kyushu University, Kasuga, Fukuoka Japan
Fulton, Nathan School of Computer Science, Carnegie Mellon University, Pittsburgh, PA USA
Furbach, Ulrich Fachbereich Informatik, Universität Koblenz-Landau, Koblenz Germany
Färber, Michael Universität Innsbruck Austria
Gabbay, Dov Department of Computer Science, King's College, London, England UK
Gaillourdet, Jean-Marie Fachbereich Informatik, Universitaet Kaiserslautern, Kaiserslautern Germany
Gajanovic, Borislav TU Braunschweig, Braunschweig Germany
Galeotti, Juan Saarland University Germany
Galmiche, Didier LORIA & Université Henri Ponicaré, Nancy France
Gamboa, Ruben A. Department of Computer Science, University of Wyoming USA
Gancarski, Pawel University of Dublin, Trinity College Ireland
Ganesh, Vijay MIT USA
Gange, Graeme University of Melbourne Australia
Gao, Jianhua INRIA, Paliseau France
Gao, Sicun Carnegie Mellon University USA
Gao, Xiao-Shan Institute of Systems Science, Academia Sinica, Beijing China
Gardner, Philippa Imperial College London UK
Garland, Stephen Laboratory for Computer Science, Massachusetts Institute for Technology, Cambridge, Massachusetts USA
Gasse, Francis Max-Planck-Institut für Informatik, Saarbrücken Germany
Ge, Yeting New York University, Kearny, NJ USA
Geisler, Tim Institut für Informatik, Universität München, München Germany
Genet, Thomas IRISA, Rennes France
Georgieva, Lilia Department of Computer Science, Heriot-Watt University, Glasgow, Scotland, UK UK
Gero, Kimberly University at Albany--SUNY (USA) USA
Ghardallou, Wided University of Tunis El Manar Tunisia
Ghilardi, Silvio Dipartimento di Matematica, Università degli Studi di Milano, Milano Italy
Giese, Martin Department of Informatics, University of Oslo, Oslo Norway
Giesl, Jürgen Fachbereich Informatik, RWTH Aachen, Aachen Germany
Giunchiglia, Enrico DIST, Università di Genova, Genova Italy
Giunchiglia, Fausto I.R.S.T., Istituto Trentino di Cultura, Trento Italy
Givan, Robert Purdue University USA
Gleiss, Bernhard TU Wien Austria
Glimm, Birte Institut für Künstliche Intelligenz, Universität Ulm Germany
Gnaedig, Isabelle LORIA & INRIA Lorraine, Nancy France
Godoy, Guillem Universidad Politecnica de Catalunya, Lleida Spain
Goel, Amit Intel Corporation USA
Goerigk, Wolfgang Institut für Informatik, Christian Albrechts Universität Kiel, Kiel Germany
Goldberg, Evgueni Cadence Berkeley Laboratories, Berkeley, California USA
Gomes, Leandro Aveiro Portugal
Gonthier, Georges Microsoft Research Cambridge, Cambridge UK
Goolsbey, Keith Cycorp, Inc. USA
Goranko, Valentin Department of Philosophy, Stockholm University Sweden
Gordon, Colin Drexel University, Philadelphia, Pennsylvania USA
Gorogiannis, Nikos Middlesex University UK
Goré, Rajeev P. Research School of Information Sciences and Engineering, Australian National University, Canberra Australia
Gottliebsen, Hanne Department of Computer Science, Queen Mary, University of London, London UK
Gottlob, Georg Technische Universität Wien, Wien Austria
Goubault-Larrecq, Jean Laboratoire Spécification et Vérification, ENS de Cachan, Cachan France
Gow, Jeremy Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK UK
Graham-Lengrand, Stéphane J.E. CNRS - Ecole Polytechnique, Paliseau France
Gransden, Thomas Dept. of Computer Science, University of Leicester UK
Grebing, Sarah University of Koblenz-Landau Germany
Green, Cordell Kestrel Institute, Palo Alto, California USA
Greene, George R. Department of Computer Science, University of North Carolina at Chapel Hill, Chapel Hill, North Carolina USA
Gregoire, Benjamin B. INRIA, Sophia-Antipolis France
Gretz, Friedrich RWTH Aachen Germany
Grewe, Sylvia TU Darmstadt Germany
Gribomont, E. Pascal Institut Montefiore, Université de Liege, Liege Belgium
Griggio, Alberto Bruno Kessler Foundation Italy
Grigore, Radu Queen Mary, University of London UK
Grohmann, Siegmar Mainz Germany
Groote, Jan Friso Department of Computer Science, Eindhoven University of Technology The Netherlands
Grov, Gudmund Heriot-Watt University, Edinburgh UK
Grue, Klaus DIKU, Copenhagen Denmark
Grundy, Jim Intel Corporation, Hillsboro, Oregon USA
Grädel, Erich Math. Grundlagen der Informatik, RWTH Aachen, Aachen Germany
Gu, Xincai Beijing China
Guillemette, Louis-Julien Université de Montréal, Montréal Québec Canada
Gulwani, Sumit Microsoft USA
Gunter, Elsa Department of Computer Science, Universtiy of Illinois at Urbana-Champaign, Urbana, Illinois USA
Gurfinkel, Arie University of Waterloo Canada
Gurres, Harald AG Grundlagen der Programmierung, Universität Kaiserslautern, Kaiserslautern Germany
Gutierrez, Claudio Department of Computer Science, Universidad de Chile, Santiago Chile
Guttman, Joshua Worcester Polytechnic Institute USA
Haarslev, Volker Department of Computer Science, Concordia University Canada
Habiballa, Hashim Prirodovedecka fakulta, Ostravska Univerzita, Ostrava Czech Republic
Habli, Nada none Canada
Hales, Thomas University of Pittsburgh USA
Halleck, John B. University Information Technology, University of Utah, Utah USA
Hamana, Makoto LFCS, University of Edinburgh, Edinburgh, Scotland, UK UK
Hamilton, Dennis E. NuovoDoc, Seattle, Washington USA
Hamilton, Geoff School of Computing, Dublin City University, Dublin Ireland
Hammamami, Omar ENSTA France
Hankes Drielsma, Paul ETH Zurich, Zurich Switzerland
Hanmer, Robert Nokia, Illinois USA
Hansen, Christian M. University of Oslo, Oslo Norway
Happe, Jens School of Computing Science, Simon Fraser University, Burnaby Canada
Harao, Masateru Department of Artificial Intelligence, Kyushu Institute of Technology, Kawazu, Iizuka Japan
Hardin, Therese Laboratoire d'Informatique de Paris 6, Université Pierre et Marie Curie, Paris France
Harland, James Anthony Department of Computer Science, Royal Melbourne Institute of Technology, Melbourne, Victoria Australia
Haroun, Paul School of Computer Science, McGill University, Montreal, Quebec Canada
Harrison, John R. Intel Corporation, Hillsboro, Oregon USA
Hasan, Osman Concordia University, Montreal, Quebec Canada
Hasegawa, Ryuzo Kyushu University, Kasuga, Fukuoka Japan
Hashmi, Mustafa Legal Informatics Team at Data61, CSIRO, Brisbane Australia
He, Lifeng Faculty of Information Science and Technology, Aichi Prefectural University, Aichi Japan
Hebrard, Emmanuel University College Cork, Cork Ireland
Heguiabehere, Juan Universiteit Amsterdam, Amsterdam The Netherlands
Heilala, Samuli School of Computer Science, McGill University, Montreal Canada
Hendrix, Joseph University of Illinois, Urbana, Urbana, Illinois USA
Henocque, Laurent LSIS - UMR CNRS, Marseille France
Henschen, Larry Department of Electrical Engineering and Computer Science, Northwestern University, Chicago, Illinois USA
Henson, C. Ward Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, Illinois USA
Hermann, Miki LIX, Ecole Polytechnique, Paris France
Hermant, Olivier ISEP France
Hetzl, Stefan Vienna University of Technology, Vienna Austria
Heule, Marijn The University of Texas at Austin USA
Hewitt, Carl Aptos, California USA
Hibbs, Peter SUNY Albany USA
Hickey, Jason California Institute of Technology, Pasadena, California USA
Hidalgo Doblado, Maria-José Departmento de Ciencias de la Computacion e Inteligencia Artificial, Universidad de Sevilla, Sevilla Spain
Hillah, Lom Messan LIP6 France
Hillenbrand, Thomas Max-Planck-Institut für Informatik, Saarbrücken Germany
Hinrichs, Timothy University of Illinois, Chicago USA
Hirokawa, Nao Japan Advanced Institute of Science and Technology, Ishikawa Japan
Hirokawa, Sachio Computing and Communications Center, Kyushu University, Hakozaki, Fukuoka Japan
Hiss, Harald Institut für Informatik, University of Freiburg, Freiburg Germany
Hladik, Jan Duale Hochschule Baden-Württemberg, Stuttgart Germany
Hodas, Joshua Department of Computer Science, Harvey Mudd College, Claremont, California USA
Hoder, Krystof University of Manchester UK
Hoenicke, Jochen University of Freiburg Germany
Hoffman, Robert Humble, Texas USA
Holen, Bjarne University of Oslo, Oslo Norway
Holmes, Melvin R. Department of Mathematics, Boise State University, Boise, Idaho USA
Homeier, Peter V. US Department of Defense, Mountain View, California USA
Hommersom, Arjen Radboud University Nijmegen, Nijmegen The Netherlands
Horacek, Helmut Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Horak, Ales Masaryk University, Brno Czech Republic
Horbach, Matthias Universität Koblenz-Landau, Koblenz Germany
Horrocks, Ian Department of Computer Science, The University of Manchester, Manchester, England UK
Horton, Joseph D. Faculty of Computer Science, University of New Brunswick, Fredericton, New Brunswick Canada
Howe, Douglas J. School of Computer Science, Carleton University, Ottawa, Ontario Canada
Hsiang, Jieh Department of Computer Science and Information Engineering, National Taiwan University, Taipei Taiwan
Hu, Tanji Purdue University USA
Hudack, Jeffrey Rome, New York USA
Huet, Gerard INRIA-Rocquencourt, Paris France
Hugot, Vincent INRIA/CASSIS and LIFC France
Humenberger, Andreas TU Wien Austria
Hunt, Warren A. University of Texas at Austin, Austin, Texas USA
Hupel, Lars Technische Universität München Germany
Hurd, Joe Galois, Inc., Portland USA
Hustadt, Ullrich Department of Computer Science, University of Liverpool, Liverpool, England UK
Huth, Michael Imperial College London UK
Hutter, Dieter DFKI, Universität des Saarlandes, Saarbrücken Germany
Hyvärinen, Antti Università della Svizzera italiana Switzerland
Hähnle, Reiner Technical University of Darmstadt Germany
Höfner, Peter Universität Augsburg, Augsburg Germany
Hölldobler, Steffen Fakultät Informatik, Technische Universität Dresden, Dresden Germany
Ianni, Giovambattista University of Calabria Italy
Iguernelala, Mohamed Paris Sud University (LRI), Paris France
Ihlemann, Carsten Max Planck Institut für Informatik, Saarbrücken Germany
Im, Hyeonseung Pohang University of Science and Technology South Korea
In der Rieden, Tom Saarland University, Saarbruecken Germany
Iosif, Radu CNRS France
Ireland, Andrew Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, Scotland, UK UK
Islam, Md Zahidul St. Francis Xavier University Canada
Israel, David Artificial Intelligence Center, SRI International, Menlo Park, California USA
Itegulov, Daniyar ITMO University Russia
Iwanuma, Koji Department of Computer Science and Media Engineering, Yamanashi University, Yamanashi Japan
Jackson, Paul B. School of Informatics, University of Edinburgh UK
Jacobs, Swen Max-Planck-Institut für Informatik, Saarbrücken Germany
Jacquel, Melanie Siemens France
Jacquemard, Florent INRIA - IRCAM France
Jahren, Eivind University of Bergen Norway
Jakubuv, Jan Charles University, Prague Czech Republic
James, Jerry Dept of Computer Science, Utah State University, Logan, Utah USA
Jamnik, Mateja Computer Laboratory, The University of Cambridge, Cambridge, England UK
Janicic, Predrag Faculty of Mathematics, University of Belgrade, Belgrade Yugoslavia
Jaume, Mathieu Université Paris 6/LIP6, Paris France
Jebelean, Tudor Institut RISC, Hagenberg Austria
Jech, Thomas Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania USA
Jerkunica, Boris Atlanta, Georgia USA
Jeřábek, Emil Institute of Mathematics of the Academy of Sciences of the Czech Republic Czech Republic
Jha, Somesh University of Wisconsin-Madison USA
Ji, Kailiang Paris Sud University, Paris France
Jimenez-Ruiz, Ernesto University of Oxford UK
Johansson, Moa K. Chalmers University of Technology Sweden
Joosten, Sebastiaan J.C. Eindhoven University of Technology The Netherlands
Jouannaud, Jean-Pierre LIX, Ecole Polytechnique France
Jovanović, Dejan SRI International USA
Järvisalo, Matti University of Helsinki Finland
Kahle, Reinhard CMA & DM, FCT, Universidade Nova de Lisboa Portugal
Kahlon, Vineet Department of Computer Sciences, The University of Texas at Austin, Austin, Texas USA
Kaliszyk, Cezary University of Innsbruck Austria
Kalvala, Sara University of Warwick UK
Kaminski, Mark Department of Computer Science, Oxford University UK
Kamps, Jaap Institute for Logic, Language and Computation, Universiteit Amsterdam, Amsterdam The Netherlands
Kaneiwa, Ken Foundations of Informatics Research Division, National Institute of Informatics (NII), Tokyo Japan
Kapur, Deepak Department of Computer Science, University of New Mexico, Albuquerque, New Mexico USA
Kaufmann, Matt University of Texas at Austin, Austin, Texas USA
Kavanagh, Benedict University of Edinburgh UK
Kazakov, Yevgeny Oxford University Computing Laboratory, Oxford UK
Kegel, Lotta Chalmers University of Technology Sweden
Keller, Chantal LIX - Inria France
Kerber, Manfred School of Computer Science, The University of Birmingham, Birmingham, England UK
Kersani, Abdelkader LIG France
Khasidashvili, Zurab Intel Israel Design Center, Hiafa Israel
Khodadadi, Mohammad University of Manchester UK
Kieburtz, Richard Department of Computer Science and Engineering, Oregon Graduate Institute, Beaverton, Oregon USA
Kilhamn, Jonatan Chalmers University of Technology Sweden
Kim, Han Joon University of Seoul, Seoul South Korea
King, Tim Google Inc. USA
Kirchner, Claude INRIA Bordeaux - Sud-Ouest, Bordeaux France
Kirchner, Hélène INRIA Bordeaux - Sud-Ouest, Bordeaux France
Kissinger, Aleks Oxford University UK
Klay, Francis France Telecom R&D, Lannion France
Klebanov, Vladimir Karlsruhe Institute of Technology Germany
Klein, Gerwin National ICT Australia, University of New South Wales, Sydney Australia
Kleine Büning, Hans Universität Paderborn, Paderborn Germany
Klima, Ondrej Department of Mathematics, Masaryk University, Brno Czech Republic
Kohlhase, Michael School of Engineering and Science, Javobs University Bremen, Bremen Germany
Kolaitis, Phokion Department of Computer and Information Sciences, University of California at Santa Cruz, Santa Cruz, California USA
Koller, Alexander Universität des Saarlandes, Saarbrücken Germany
Konev, Boris Department of Computer Science, University of Liverpool, Liverpool, England UK
Kong, Soon Ho Carnegie Mellon University USA
Koopmann, Patrick University of Hamburg UK
Koprowski, Adam Eindhoven The Netherlands
Korovin, Konstantin University of Manchester UK
Korp, Martin University of Innsbruck, Innsbruck Austria
Kosiyatrakul, Thumrongsak Syracuse University, Syracuse, New York USA
Kotelnikov, Evgenii Chalmers University of Technology Sweden
Kovács, Laura Formal Methods in Systems Engineering, Vienna University of Technology Austria
Kovásznai, Gergely JKU Austria
Kowalczyk, Ryszard CSIRO Mathematical and Information Sciences, Carlton, Victoria Australia
Kowalski, Robert Department of Computing, Imperial College, London, England UK
Krassen, David J. Warminster, Pennsylvania USA
Krauss, Alexander TU Munich Institut für Informatik, Munich Germany
Kreitz, Christoph Department of Computer Science, Cornell University, Ithaca, New York USA
Kremer, Steve INRIA Nancy - Grand Est France
Krennwallner, Thomas Vienna University of Technology Austria
Krishnasamy, Gopal Iowa State University USA
Kristiansen, Karl University of Copenhagen Denmark
Krstic, Sava Department of Computer Science and Engineering, Oregon Health and Science University, Beaverton, Oregon USA
Kruglov, Evgeny Max Planck Institute for Computer Science Germany
Kuehlwein, Daniel Radboud University Nijmegen The Netherlands
Kumar, Ramana University of Cambridge, Cambridge UK
Kuncak, Viktor Swiss Federal Institute of Technology (EPFL), School of Computer & Communications Sciences, Lausanne Switzerland
Kunze, Fabian Saarland University Germany
Kutsia, Teimuraz (Temur) Research Institute for Symbolic Computation, Johannes Kepler University, Linz Austria
Kwon, Gi-Hwon Kyonggi University, Dept. of Computer Science, Suwon-si, Kyonggi-do South Korea
Kyureghyan, Askanaz State Engineering University of Armenia, Yerevan Armenia
Käufl, Thomas Institut für Logik, Komplexitat und Deduktionssysteme, Universität Karlsruhe, Karlsruhe Germany
Lahav, Ori Tel Aviv University, Tel Aviv Israel
Lahiri, Shuvendu Microsoft Research USA
Lal, Akash Microsoft Research, Bangalore India
Lammich, Peter TU Munich Germany
Larchey-Wendling, Dominique LORIA & Université Henri Poincaré, Nancy France
Larraz, Daniel Universitat Politècnica de Catalunya Spain
Larsson, Daniel Chalmers University of Technology, Göteborg Sweden
Le Berre, Daniel CRIL-CNRS UMR8188 Université d'Artois France
Lee, Peter School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Lee, Shie-Jue Department of Electrical Engineering, National Sun Yat-Sen University, Kaohsiung Taiwan
Leino, K. Rustan M. Microsoft Research, Redmond USA
Leitsch, Alexander Institut für Computersprachen 185/2, Technische Universität Wien, Wien Austria
Lellmann, Björn Vienna University of Technology Austria
Lemay, Mark Safari Books Online USA
Leonard, Elizabeth I. Naval Research Laboratory, Washington, DC USA
Lerchedahl Petersen, Rasmus Queen Mary, University of London UK
Leroy, Xavier INRIA Paris-Rocquencourt France
Lescanne, Pierre Ecole Normale Supérieure, Lyon France
Leszczyńska-Jasion, Dorota Adam Mickiewicz University, Institute of Psychology, Department of Logic and Cognitive Science, , Poznań Poland
Letz, Reinhold München Germany
Leucker, Martin TU Munich, Institute of Informatics, Garching Germany
Lev-Ami, Tal School of Computer Science, Tel-Aviv University, Tel-Aviv Israel
Levy, Jordi Universidad Polytecnica de Catalunya, Barcelona Spain
Lewis, Robert Carnegie Mellon University USA
Li, Dafa Department of Applied Mathematics, Tsinghua University, Beijing China
Li, Lei Computer Science Department, University of Manchester UK
Li, Mengjun School of Computer Science,National University of Defence Technology China
Li, Yingjie Lehigh University USA
Li, Yuan-Fang Monash University Australia
Liang, Tianyi The University of Iowa USA
Liang, Zhiyao University of Houston, Houston, Texas USA
Libal, Tomer INRIA Saclay France
Lilieström, Ann Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg Sweden
Limongelli, Carla Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma Italy
Lin, Hai Department of Mathematics and Computer Science, Clarkson University, Potsdam, New York USA
Lin, Yuhui University of Edinburgh UK
Lincoln, Patrick Computer Science Laboratory, SRI International, Menlo Park, California USA
Litak, Tadeusz FAU Erlangen-Nuremberg, Erlangen Germany
Liu, Jun School of Computing and Mathematics, University of Ulster at Jordanstown, Northern Ireland UK
Liu, Sheng Institute of Software, Chinese Academy of Sciences China
Liu, Zhiqiang Clarkson University USA
Lochbihler, Andreas ETH Zurich Switzerland
Lohrey, Markus Institut für Informatik, Universität Stuttgart, Stuttgart Germany
Lonsing, Florian Vienna University of Technology, Vienna Austria
Lopes, Goncalo C. Faculdade de Ciencias e Tec da UNL, Lisbon Portugal
Lopes, Raul Universidade Federal De Espirito Santo, Vitoria Brazil
Lorigo, Lori A. Department of Computer Science, Cornell University, Ithaca, New York USA
Lovas, William Carnegie Mellon University, Pittsburgh USA
Loveland, Donald W. Department of Computer Science, Duke University, Durham, North Carolina USA
Lowry, Michael NASA Ames Research Center, Moffett Field, California USA
Lozinski, Eliezer The Hebrew University, Jerusalem Israel
Lu, Tianxiang Max-Planck-Institute for Computer Science Germany
Lucas, Salvador D.S.I.C., Universidad Politecnica de Valencia, Valencia Spain
Lucio, Paqui University of the Basque Country, Donostia Spain
Ludwig, Michel University of Liverpool UK
Lugiez, Denis LIM, Université de Marseille, Marseille France
Luo, Zhaohui Royal Holloway, Univ of London UK
Lusk, Ewing Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Illinois USA
Lutz, Carsten Inst for Theoretical Computer Science, TU Dresden, Dresden Germany
Lynch, Christopher Department of Mathematics and Computer Science, Clarkson University, Potsdam, New York USA
Löchner, Bernd Technische Universität Kaiserslautern, Kaiserslautern Germany
Lüth, Christoph Fachbereich Informatik, Universität Bremen, Bremen Germany
Ma, Feifei Institute of Software, Chinese Academy of Sciences China
MacCaull, Wendy Department of Mathematics, Statistics and Computer Science, St. Francis Xavier University, Antigonish, Nova Scotia Canada
Madlener, Klaus Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern Germany
Magka, Despoina Computing Laboratory, Oxford University, Oxford UK
Mahboubi, Assia Computer Science Lab Ecole Polytechnique (LIX) France
Makarov, Victor Brooklyn, New York USA
Makarov, Yevgeniy Indiana University, Computer Science Dept, Bloomington, Indiana USA
Malik, Sharad Department of Electrical Engineering, Princeton University, Princeton New Jersey USA
Mamdani, E. H. Department of Electrical and Electronic Engineering, Imperial College of Science Technology and Medicine, London, England UK
Mangla, Chaitanya Computer Lab, Cambridge University, Cambridge UK
Manna, Zohar Department of Computer Science, Stanford University, Palo Alto, California USA
Manolios, Panagiotis College of Computing, Georgia Institute of Technology, Atlanta, Georgia USA
Mantel, Heiko Theoretical Computer Science - FMIS, TU Darmstadt, Darmstadt Germany
Marantidis, Pavlos TU Dresden Germany
Marché, Claude Laboratoire de Recherche en Informatique, Université de Paris Sud, Orsay France
Marcos, João Department of Informatics and Applied Mathematics, Federal University of Rio Grande do Norte, Natal RN Brazil
Marescotti, Matteo Università della Svizzera Italiana Switzerland
Margaria, Tiziana Service Engineering for Distributed, Systems, Institute for Informatics, University of Goettingen, Goettingen Germany
Marin, Mircea West University of Timisoara Romania
Marić, Filip Faculty of Mathematics, University of Belgrade Serbia
Marr, Joseph Vienna, Virginia USA
Marshall, Andrew M University of Mary Washington USA
Martens, Chris Carnegie Mellon University USA
Martensson, Johan Safelogic AB Sweden
Martin, Alan University of Ottawa, Ottawa Canada
Martin, Andrew Software Engineering Centre, Oxford University, Oxford, England UK
Martín-Mateos, Francisco-Jesús Departmento de Ciencias de la Computacion e Inteligencia Artificial, Universidad de Sevilla, Sevilla Spain
Massacci, Fabio Dipartimento di Informatica e Telecomunicazioni, Università degli Studi di Trento, Trento Italy
Mathieu, Philippe LIFL, U.S.T.L., Villeneuve d'Ascq France
Matiyasevich, Yuri Steklov Institute of Mathematics at St.Petersburg Russia
Matsuzaki, Takuya Nagoya University Japan
Matusiewicz, Andrew SUNY Albany USA
Matuszewski, Roman Mizar Project, University of Bialystok Poland
Maximiliano, Cristia Universidad Nacional de Rosario Argentina
Mayer, Otto Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern Germany
Mazare, Laurent VERIMAG, Gieres France
McCarty, L. Thorne Department of Computer Science, Rutgers University, New Brunswick, New Jersey USA
McCasland, Roy Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK UK
McGregor, Ralph Bridgewater College, Bridgewater, Virginia USA
McLaughlin, Sean Carnegie Mellon University, Pittsburgh, Pennsylvania USA
McPhee, Nicholas Division of Science and Mathematics, University of Minnesota at Morris, Morris, Minnesota USA
Meadows, Catherine A. Naval Research Laboratory, Washington, DC USA
Medina Bulo, Inmaculada Dpto. Lenguajes y Sistemas Informàticos, Escuela Superior de Ingenierìa de Càdiz, Càdiz Spain
Mehta, Farhad ETH-Zentrum, Zurich Switzerland
Meikle, Laura University of Edinburgh UK
Melis, Erica DFKI Saarbrücken, Saarbrücken Germany
Melquiond, Guillaume INRIA, Orsay France
Mendez, Julian Alfredo Technische Universitaet Dresden Germany
Meng, Jia National ICT Australia, Canberra Australia
Merry, Alex Department of Computer Science, University of Oxford UK
Merz, Florian Karlsruhe Institute of Technology Germany
Merz, Stephan INRIA, Nancy France
Meseguer, José Department of Computer Science, University of Illinois at Urbana Champaign, Urbana, Illinois USA
Metcalfe, George University of Bern Switzerland
Metke, Alejandro CSIRO Australia
Meyer, Robert K Computer Science Lab, College of Engineering & Computer Science, The Australian National University, Canberra Australia
Michel, Raphaël CETIC Research Center Belgium
Middeldorp, Aart Institute of Computer Science, University of Innsbruck, Innsbruck Austria
Miller, Dale Laboratoire d'Informatique, LIX, Ecole Polytechnique, Paris France
Minica, Stefan The Netherlands
Minor, John Department of Computer Science, University of Las Vegas, Las Vegas, Nevada USA
Mints, Grigori Department of Philosophy, Stanford University, Palo Alto, California USA
Miné, Antoine CNRS & Ecole Normale Supérieure France
Mitchell, David Simon Fraser University, Burnaby, B.C. Canada
Mitev, Alexander Aries Design Automation, Chicago, IL USA
Mitsch, Stefan Dep. of Cooperative Information Systems, JKU, Linz Austria
Mizuhito, Ogawa JAIST, Ishikawa Japan
Moczydlowski, Wojciech Cornell University, Ithaca, New York USA
Moller, Jesper Blak Department of Innovation, IT University of Copenhagen, Copenhagen Denmark
Momigliano, Alberto Dipartimento di Informatica, Università degli Studi di Milano, Milano Italy
Monahan, Rosemary Department of Computer Science, National University of Ireland Maynooth Ireland
Monnet, Anthony UQAM Canada
Monniaux, David CNRS / VERIMAG France
Montmirail, Valentin Centre de Recherche en Informatique de Lens (CRIL) France
Monz, Christof Institute for Logic, Language and Computation, Universiteit Amsterdam, Amsterdam The Netherlands
Moore, J Strother Department of Computer Science, University of Texas at Austin, Austin, Texas USA
Morawska, Barbara TU Dresden Germany
Morehouse, Edward Wesleyan USA
Moreira, Nelma Universidade do Porto Portugal
Morrisett, Greg Harvard University USA
Moser, Georg University of Innsbruck, Institute of Computer Science, Innsbruck Austria
Moskal, Michal Microsoft Research, Redmond USA
Mossakowski, Till DFKI Lab Bremen, Bremen Germany
Mostowski, Wojciech Radboud University Nijmegen, Nijmegen The Netherlands
Moten, Roderick Department of Computer Science, Colgate University, Hamilton, New York USA
Motik, Boris University of Oxford UK
Moura, Flávio Universidade de Brasilia Brazil
Mulligan, Dominic Heriot-Watt University, Edinburgh UK
Munoz, Cesar A. NASA Langley Research Center, Hampton, Virginia USA
Murali, Rajiv Heriot Watt UK
Murao, Hirokazu Univ. Electro-Communications Japan
Murawska, Agata IT University of Copenhagen Denmark
Murray, Neil V. Department of Computer Science, Inst. for Informatics, Logics, & Security Studies, State University of New York at Albany, Albany, New York USA
Mussa, Derege H. Department of Mathematics and Statistics, Hunter College, City University of New York, New York, New York USA
Musuvathi, Madan S. Microsoft Research, Redmond, Washington USA
Muñoz-Velasco, Emilio Universidad de Malaga. Dept Applied Matematics Spain
Myers, Dale Department of Mathematics, University of Hawaii, Honolulu, Hawaii USA
Mylonakis, Nikos Universitat Polytècnica de Catalunya, Barcelona Spain
Méry, Daniel LORIA & Université Henri Poincaré, Nancy France
Mödersheim, Sebastian ETH Zurich, Zurich Switzerland
Möhle, Sibylle International Center for Computational Logic, TU Dresden, Dresden Germany
Möhrmann, Martin DHBW Stuttgart Germany
Nadathur, Gopalan Department of Computer Science and Engineering, University of Minnesota, Minneapolis, Minnesota USA
Nagashima, Yutaka Czech Technical University in Prague Czech Republic
Nagele, Julian University of Innsbruck, Innsbruck Austria
Nagle, Daniel University of Limierck, Limerick Ireland
Nalon, Cláudia University of Brasília Brazil
Narboux, Julien University Louis Pasteur, Strasbourg France
Narendran, Paliath Department of Computer Science, State University of New York at Albany, Albany, New York USA
Naumowicz, Adam Institute of Informatics, University of Bialystok Poland
Navarro Perez, Juan Antonio University of Manchester UK
Neumann, René Technische Universität München Germany
Neuper, Walther Graz University of Technology Austria
Neveln, Bob Computer Science Department, Widener University, Chester, Pennsylvania USA
Newborn, Monty School of Computer Science, McGill University, Montréal, Quebec Canada
Nguyen, Linh Anh University of Warsaw Poland
Nickau, Hanno Oxford University UK
Nicolini, Enrica LORIA & INRIA-Lorraine, Nancy France
Nicolosi, Marianna University of Catania, Catania Italy
Niehren, Joachim INRIA Futurs, Villeneuve d'Ascq France
Niemela, Ilkka Helsinki University of Technology, Helsinki Finland
Nieuwenhuis, Robert Tech. University Catalonia Spain
Nikolić, Đurica Chair of Software Engineering, ETH Zürich Switzerland
Nipkow, Tobias Institut für Informatik, Technische Universität München, München Germany
Nishida, Naoki Nagoya University Japan
Nogin, Aleksey California Institute of Technology, Pasadena, California USA
Nonnengart, Andreas German Research Center for Artificial Intelligence, Saarbrücken Germany
Nori, Aditya Microsoft Research India
Norrish, Michael National ICT Australia Ltd, Canberra Australia
Noschinski, Lars Technische Universität München, Institut für Informatik Germany
Notin, Jean-Marc LORIA & Université Henri Poincaré, Nancy France
O'Keeffe, Joe LeTSystems Ireland
O'Sullivan, Barry Department of Computer Science, University College Cork, Cork Ireland
Obermaier, Claudia Universität Koblenz-Landau, Koblenz Germany
Obrst, Leo The MITRE Corporation, Information Semantics, Center for Innovative Computing & Informatics, McLean, Virginia USA
Obua, Steven Technische Universität München, Munchen Germany
Ohlbach, Hans Jürgen Institut für Informatik, Ludwig-Maximilians-Universität München, München Germany
Ohsaki, Hitoshi National Institute of Advanced Industria Japan
Ojeda Aciego, Manuel Departamento de Matematica Aplicada, Universidad de Malaga, Malaga Spain
Oliart Ros, Alberto Laboratorio Nacional de Informatica Avanzada A.C. (LANIA), Xalapa, Ver. Mexico
Oliveras, Albert Technical University of Catalunya, Barcelona Spain
Olivetti, Nicola Université Paul Cézanne, LSIS, Marseille France
Olsen, Paul State University of New York at Albany USA
Olumide, Michael Cheffbol Nigeria LImited Nigeria
Oppenheimer, Paul Stanford University USA
Otop, Jan University of Wrocław, Wrocław Poland
Otten, Jens University of Oslo Norway
Oudmans, Jules UReason Holding BV, Leiden The Netherlands
Owens, James P. Clarkson University USA
Pacholski, Leszek Wroclaw University, Wroclaw Poland
Padmanabhan, Ranganathan Department of Mathematics, University of Manitoba, Winnipeg, Manitoba Canada
Palomo Lozano, Francisco Dpto. Lenguajes y Sistemas Informàticos, Escuela Superior de Ingenierìa de Càdiz, Càdiz Spain
Pan, Guoqiang Department of Computer Science, Rice University, Houston, Texas USA
Pan, Jeff Computer Science Department, University of Manchester, Manchester, England UK
Pandav, Sudhindra Department of Computer Science, The University of Utah, Utah USA
Papacchini, Fabio University of Manchester UK
Papapanagiotou, Petros University of Edinburgh UK
Pardo, Raúl Chalmers University of Technology Sweden
Park, Sungwoo Pohang University of Science and Technology South Korea
Parsia, Bijan University of Manchester UK
Paschke, Adrian Dept. of Informatics, Freie Universität Berlin, Berlin Germany
Pase, William Armacode Incorporated, Ottawa, Ontario Canada
Paskevich, Andrei Université Paris-Sud, LRI France
Passmore, Grant Olney Aesthetic Integration, Ltd. UK
Pastre, Dominique Université René Descartes, Paris France
Patel-Schneider, Peter AT&T Bell-Labs, Murray Hill, New Jersey USA
Paulson, Lawrence C. Computer Laboratory, University of Cambridge, Cambridge, England UK
Pearson, Siani Hewlett Packard Laboratories, Bristol, England UK
Pease, Adam Articulate Software USA
Pelletier, Francis Jeffry Simon Fraser University, Burnaby, British Columbia Canada
Peltier, Nicolas Laboratoire LEIBNIZ-IMAG, Grenoble France
Pelzer, Björn Universität Koblenz-Landau, Koblenz Germany
Pennemann, Karl-Heinz Universität Oldenburg, Oldenburg Germany
Perdue, Cris Los Altos, California USA
Pereira, Luiz Carlos PUC-Rio/UERJ Brazil
Perera, Rivindu Informatics Institute of Technology (affil. with Univ. of Westminster),, Colombo Sri Lanka
Peron, Adriano Università di Napoli Fedrico II - Dept. of Electr. Engineering and Information Technologies Italy
Petermann, Uwe Fachbereich IMN, HTWK-Leipzig, Leipzig Germany
Peuter, Dennis Universität Koblenz-Landau Germany
Peñaloza, Rafael TU Dresden Germany
Pfenning, Frank Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Phan, Anh-Dung DTU Informatics, Techical University of Denmark Denmark
Pichler, Reinhard Institut für Computersprachen, Technische Universität Wien, Wien Austria
Pientka, Brigitte McGill University, Montreal, Quebec Canada
Pieper, Gail Argonne National Laboratory, Mathematics and Computer Science Division USA
Pierre, Laurence Université de Provence, Marseille France
Piette, Cédric Université d'Artois France
Pinto, Sandra Universidade de Coimbra Portugal
Piskac, Ruzica Yale University, CA USA
Pitts, Andrew Computer Laboratory, University of Cambridge, Cambridge, England UK
Plaisted, David A. Department of Computer Science, University of North Carolina at Chapel Hill, Chapel Hill, North Carolina USA
Platzer, Andre Carnegie Mellon University USA
Podelski, Andreas MPI Saarbrücken, Saarbrücken Germany
Pollock, John University of Arizona, Tucson, Arizona USA
Polzer, Miriam Friedrich-Alexander-University Erlangen Nuremberg Germany
Popescu, Andrei Middlesex University, London UK
Pottier, Loic INRIA Sophia-Antipolis, Sophia-Antipolis France
Pozzato, Gian Luca Dipartimento di Informatica , Università degli Studi di Torino Italy
Pratt-Hartmann, Ian Department of Computer Science, The University of Manchester, Manchester, England UK
Preining, Norbert Technische Universität Wien, Wien Austria
Preoteasa, Viorel Åbo Akademi University Finland
Pressburger, Thomas NASA Ames Research Center, Moffett Field, California USA
Price, Gregory W. Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Priesnitz, Tim Programming Systems Lab, Universität des Saarlandes, Saarbrücken Germany
Protzen, Martin sd&m AG - Niederlassung Bonn, Troisdorf Germany
Ptaszynski, Michal Kitami Institute of Technology, Kitami Japan
Pudlak, Petr Charles University, Prague Czech Republic
Puzis, Yury L. University of Miami, Miami, Florida USA
Pym, David J. UCL, London UK
Qadeer, Shaz Microsoft Research USA
Quaife, Art San Jose, California USA
Quaresma de Almeyda, Pedro Departamento de Matemática, Universidade de Coimbra, Coimbra Portugal
Quesel, Jan-David University of Oldenburg Germany
Rabe, Florian Jacobs University , Bremen Germany
Rabenstein, Ulrich Friedrich-Alexander-Universität Erlangen-Nürnberg Germany
Rademaker, Alexandre IBM Research USA
Raja, N. School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai India
Ramanayake, Revantha Technische Universität Wien Austria
Ramsay, Steven University of Oxford UK
Ranise, Silvio FBK-Irst, Trento Italy
Ranta, Aarne Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg Sweden
Ranzato, Francesco Dipartimento di Matematica e Informatica, Università degli Studi di Padova, Padova Italy
Ratcliffe, David CSIRO ICT Centre Australia
Raths, Thomas Universität Potsdam, Potsdam Germany
Ratschan, Stefan Academy of Sciences of the Czech Republic Czech Republic
Rau, Conrad Institute for Computer Science, Goethe-University, Frankfurt Germany
Ray, Sandip University of Texas at Austin, Austin, Texas USA
Rayner, Nicolas Portland State University, Portland, Oregon USA
Razet, Benoit Bucknell University USA
Reeber, Erik H. University of Texas at Austin, Austin, Texas USA
Reger, Giles School of Computer Science, University of Manchester, Manchester UK
Reif, Wolfgang Institut für Informatik, Universität Augsburg, Augsburg Germany
Reig, Fermin School of Computer Science, University of Nottingham, Nottingham, England UK
Reis, Giselle LIX - INRIA, Palaiseau France
Reker, Hilverd The University of Manchester UK
Remshagen, Anja Department of Computer Science, State University of West Georgia, Carrollton, Georgia USA
Renaud, Fabien INRIA/CNRS/LIX France
Reynolds, Andrew University of Iowa USA
Ricciotti, Wilmer Università di Bologna, Dipartimento di Scienze dell'Informazione Italy
Richardson, John F. NRAD, San Diego, California USA
Riche, Jacques Department of Computer Science, Katholieke Universiteit Leuven, Anderlues Belgium
Richter, Clemens Vienna University of Technology, Vienna Austria
Richter, Eva Potsdam University, Potsdam Germany
Riener, Martin INRIA Nancy / Loria France
Rinard, Martin MIT USA
Ringeissen, Christophe LORIA & INRIA-Lorraine, Villers-Les-Nancy France
Rizkallah, Christine Max-Planck institute für Informatik Germany
Robillard, Simon Chalmers University of Technology Sweden
Robinson, Peter John School of Information Technology, The University of Queensland, Brisbane, Queensland Australia
Rodriguez Carbonell, Enric Universitat Politècnica de Catalunya, Barcelona Spain
Rogalewicz, Adam Brno University of Technology Czech Republic
Rognes, André University of Oslo, Norway
Roldan-Garcia, Maria Del Mar Universidad de Malaga Spain
Romero, Daniel Universidad Politécnica de Valencia Spain
Rosenthal, Erik Department of Mathematics, University of New Haven, West Haven, Connecticut USA
Rosén, Dan Chalmers University of Technology Sweden
Rot, Jurriaan LIACS The Netherlands
Rote, Günter Institut für Informatik, Freie Universität Berlin, Berlin Germany
Rothenberg, Robert University of St Andrews, Scotland, UK UK
Rouquette, Nicolas F. Jet Propulsion Laboratory / NASA, California Institute of Technology, Pasadena, California USA
Roussel, Olivier CRIL - CNRS UMR 8188 France
Roux, Cody Universite-Paris-Sud France
Rowe, Paul The MITRE Corporation USA
Rozenfeld, Marianna CSLI, Stanford University, Stanford, California USA
Rubio, Albert Departamento LSI, Universitat Polytècnica de Catalunya, Barcelona Spain
Ruess, Harald Computer Science Laboratory, SRI International, Menlo Park, California USA
Ruiz Reina, José-Luis Departmento de Ciencias de la Computacion e Inteligencia Artificial, Universidad de Sevilla, Sevilla Spain
Rukhaia, Mikheil Institute of Applied Mathematics, Tbilisi State University, Tbilisi Georgia
Rusinowitch, Michaël LORIA & INRIA-Lorraine, Nancy France
Ruzzi, Marco SAPIENZA Universita' di Roma Italy
Rybakov, Vladimir Manchester Metropolitan Univesity UK
Rümmer, Philipp Department of Information Technology, Uppsala University Sweden
Sabuncu, Orkunt University of Potsdam Germany
Sacchini, Jorge Luis Carnegie Mellon University - Qatar Campus Qatar
Saffidine, Abdallah The University of New South Wales,, Sydney Australia
Saghafi, Salman WPI USA
Saillard, Ronan INRIA France
Sais, Lakhdar CRIL, IUT de Lens, Lens France
Sakhanenko, Nikita Department of Computer Science, University of New Mexico, Albuquerque, New Mexico USA
Salhi, Yakoub LORIA - UHP Nancy1, Nancy France
Salmon, Yann IRISA, Université Rennes 1 France
Saludes, Jordi Universitat Politècnica de Catalunya Spain
Salzer, Gernot Technische Universität Wien, Wien Austria
Sanchez, Cesar IMDEA Software Institute Spain
Sandberg-Maitland, William Spyrus Inc., Ottawa, Ontario Canada
Sangnier, Arnaud LIAFA, Univ Paris Diderot,, Sorbonne Paris Cité, CNRS France
Santiago, Regivan Universidade Federal do Rio Grande do Norte (UFRN) Brazil
Santos, Vanda CISUC Portugal
Sarkar, Susmit Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Sattler, Ulrike Department of Computer Science, University of Manchester, Manchester, England UK
SCERRI, Guillaume CNRS LORIA/ENS Cachan France
Schaerf, Marco Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Roma Italy
Schaub, Torsten Institut für Informatik, Universität Potsdam, Potsdam Germany
Scherl, Richard Computer Science Department, Monmouth University, West Long Branch, New Jersey USA
Schlager, Steffen Institut für Logik, Komplexitat und Deduktionssysteme, Fakultät für Informatik, Universität Karlsruhe, Karlsruhe Germany
Schlichtkrull, Anders Department of Applied Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby Denmark
Schlosser, Andreas TU Darmstadt, Darmstadt Germany
Schmaltz, Julien Saarland University, Saarbruecken Germany
Schmidt, Renate A. Department of Computer Science, University of Manchester, Manchester, England UK
Schmidt-Samoa, Tobias Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern Germany
Schmidt-Schauss, Manfred Fachbereich Informatik, J. W. Goethe Universität, Frankfurt am Main Germany
Schmitt, Peter H. Institute for Theoretical Computer Science, KIT (Karlsruhe Institute of Technology), Karlsruhe Germany
Schneck, Robert Department of Mathematics, University of California at Berkeley, Berkeley, California USA
Schneider, Michael FZI Forschungszentrum Informatik, Karlsruhe Germany
Schneider-Kamp, Peter University of Southern Denmark Denmark
Schobbens, Pierre-Yves Université Notre-Dame de la Paix, Namur Belgium
Schorre, Dewey Val Ojai, California USA
Schrammel, Peter Dept. of Computer Science, University of Oxford, Oxford UK
Schreiner, Wolfgang Johannes Kepler University Austria
Schröder, Lutz Friedrich-Alexander-Universität Erlangen-Nürnberg Germany
Schultz, Heribert Institut für Informatik, Technische Universität München, München Germany
Schulz, Klaus U. CIS, Universität München, München Germany
Schulz, Stephan Fakultät Technik, Baden Württemberg Cooperative State University Stuttgart, Stuttgart Germany
Schumann, Johann RIACS/NASA Ames, Moffett Field, California USA
Schwarzweller, Christoph Wilhelm Schickard Institut für Informatik, Universität Tübingen, Tübingen Germany
Schweikardt, Nicole Goethe-University Germany
Schürmann, Carsten IT University of Copenhagen Denmark
Scioscia, Floriano Politecnico di Bari Italy
Scott, Dana S. Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania USA
Sebastiani, Roberto DISA, Università di Trento, Trento Italy
Seidl, Martina Johannes Kepler University Linz Austria
Selman, Bart Department of Computer Science, Cornell University, Ithaca, New York USA
Senni, Valerio University of Rome "Tor Vergata", Roma Italy
Seynhaeve, Franck LIFL, U.S.T.L., Villeneuve d'Ascq France
Shah, Nimish UK
Shankar, Natarajan Computer Science Laboratory, SRI International, Menlo Park, California USA
Shargorodsky, Atal Finland
Sharygina, Natasha University of Lugano Switzerland
Shearer, Rob University of Manchester UK
Shefner, Guy Bellevue, WA USA
Shramko, Yaroslav Kryvyi Rih State Pedagogical University Ukraine
Shults, Benjamin Math and CS Department, Bethel University, St. Paul, Minnesota USA
Siekmann, Jörg H. Computer Science/DFKI,, University of Saarbrücken Germany
Sierra, Luis Universidad de la Republica, Montevideo Uruguay
Sikos, Leslie Flinders University, Australia Australia
Simancik, Frantisek University of Oxford UK
Simon, Donald L. Department of Mathematics and Computer Science, Duquesne University, Pittsburgh, Pennsylvania USA
Simon, Laurent Laboratoire de Recherche en Informatique, Université de Paris-Sud, Orsay France
Sinclair, David Dublin City University, Dublin Ireland
Sinner, Alex IIIA-CSIC Spain
Sintzoff, Michel Université Catholique de Louvain, Louvain-la-Neuve Belgium
Sinz, Carsten Karlsruhe Institute of Technology (KIT) Germany
Sistany, Bahman University of Ottawa Canada
Skalberg, Sebastian Institut für Informatik, Technische Universität München, München Germany
Skansi, Sandro Infigo Information Security, Zagreb Croatia
Slaney, John Automated Reasoning Project, Australian National University, Canberra Australia
Slavazza, Piercarlo Dipartimento di Scienze dell'Informazione, Universita' degli Studi di Milano, Milano Italy
Slind, Konrad University of Utah, Salt Lake City USA
Slutzki, Giora Iowa State University USA
Smaill, Alan The University of Edinburgh UK
Smallbone, Nick Chalmers University of Technology, Göteborg Sweden
Smith, Douglas R. Kestrel Institute, Palo Alto, California USA
Smolka, Gert Saarland University, Saarbrücken Germany
Smolka, Steffen Technische Universitaet Muenchen Germany
Socher-Ambrosius, Rolf Emden Germany
Soddell, Fran Division of Information Technology, La Trobe University, Bendigo, Victoria Australia
Sofronie-Stokkermans, Viorica University Koblenz-Landau Germany
Sogokon, Andrew University of Edinburgh UK
Somenzi, Fabio University of Colorado, Boulder, Colorado USA
Sommer, Rick EPGY, Stanford, California USA
Sondergaard, Harald Department of Computer Science, The University of Melbourne, Parkville, Victoria Australia
Song, Weihong University of New Brunswick Canada
Sorge, Volker University of Birmingham, Birmingham, England UK
Soubiran, Elie Université Paris Diderot France
Spencer, Bruce Faculty of Computer Science, University of New Brunswick, Fredericton, New Brunswick Canada
Spielmann, Andrej EPFL France
Spiwack, Arnaud ENS Cachan, Gif sur Yvette France
Spoto, Fausto Università di Verona Italy
Srivastava, Siddhartha University of Massachusetts, Amherst, Amherst, Massachusetts USA
Stachniak, Zbigniew Department of Computer Science, York University, Toronto, Ontario Canada
Stanovský, David Charles University, Prague Czech Republic
Stapleton, Gem University of Brighton, Brighton, England UK
Stark, Ian University of Edinburgh, Edinburgh UK
Stark, Kathrin Saarland University, Saarbrücken Germany
Steel, Graham University of Genova, Genova Italy
Steen, Alexander Freie Universität Berlin, Berlin Germany
Steigmiller, Andreas Universität Ulm Germany
Stenz, Gernot Institut für Informatik, Technische Universität München, München Germany
Stenzel, Kurt Institut für Informatik, Universität Augsburg, Augsburg Germany
Stephan, Werner DFKI, Saarbrücken Germany
Sternagel, Thomas University of Innsbruck Austria
Sticksel, Christoph University of Iowa USA
Stirling, Colin School of Informatics, University of Edinburgh, Edinburgh UK
Stolzenburg, Frieder Fachbereich Automatisierung und Informatik, HS Harz (Univ. of Applied Sciences), Wernigerode Germany
Stoughton, Allen Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas USA
Stratulat, Sorin UFR MIM, University of Lorraine, Metz France
Strecker, Martin Université Paul Sabatier, Toulouse France
Striegnitz, Christina Universität des Saarlandes, Saarbrücken Germany
Struth, Georg University of Sheffield, Sheffield UK
Ströder, Thomas RWTH Aachen Germany
Stump, Aaron D. Department of Computer Science, The University of Iowa, Iowa City USA
Subramani, K West Virginia University, Morganstown, West Virginia USA
Suda, Martin Formal Methods in System Engineering, TU Wien Austria
Sudia, Frank San Francisco, California USA
Sudkamp, Thomas Department of Computer Science, Wright State University, Dayton, Ohio USA
Sultana, Nik Depart. of Computer and Information Science, University of Pennsylvania USA
Suntisrivaraporn, Boontawee Dresden University of Technology, Dresden Germany
Sutcliffe, Geoff Department of Computer Science, University of Miami, Miami, Florida USA
Suter, Philippe IBM, Thomas J. Watson Research Center, , Yorktown Heights, NY USA
Swiderski, Stephan RWTH - Aachen, Aachen Germany
Szajnkenig, Wojciech Department of Informatics, University of Bergen, Bergen Norway
Szreter, Maciej Institute of Computer Science, Polish Academy of Sciences, Warsaw Poland
Sörensson, Niklas Mentor Graphics Sweden
Tacchella, Armando DIST, Università di Genova, Genova Italy
Takai, Toshinori National Institute of Advanced Industria Japan
Tammet, Tanel Tallinn Technical University, Tallinn Estonia
Tang, Ching Hoo Max-Planck-Institute for Informatics Germany
Tao, Jia Iowa State University USA
Tarim, Armagan Department of Computer Science, University of York, York, England UK
Tasharrofi, Shahab Dept. of Computer Science, Aalto University Finland
Tebbi, Tobias Saarland University Germany
Tellez, Gadi University College London UK
Tendera, Lidia University of Opole, Opole Poland
Teucke, Andreas Max-Planck Institute for Informatics Germany
Theiss, Frank Universität des Saarlandes, Saarbrücken Germany
Thiemann, René University of Innsbruck Austria
Thomas, Josh B. Austin, Texas USA
Thompson, Jeff independent USA
Thomson, Jimmy The Australian National University, Canberra Australia
Thums, Andreas Lehrstuhl für Softwaretechnik und Programmiersprachen, Institut für Informatik, Universität Augsburg, Augsburg Germany
Théry, Laurent INRIA Sophia Antipolis France
Tiede, Hans-Jörg Department of Mathematics and Computer Science, Illinois Wesleyan University, Bloomington, Illinois USA
Tinelli, Cesare Department of Computer Science, The University of Iowa, Iowa City, Iowa USA
Tinn, Ott University of Edinburgh UK
Tishkovsky, Dmitry Department of Computer Science, University of Manchester, Manchester, England UK
Tiu, Alwen Australian National University Australia
Tiwari, Ashish Computer Science Laboratory, SRI International, Menlo Park, California USA
Toman, David University of Waterloo, Waterloo, Ontario Canada
Tomasi, Silvia DISI, University of Trento Italy
Tomeu, Antonio Department of Computer Sciences, University of Cadiz Spain
Tourret, Sophie National Institute of Informatics,, Japan Japan
Toyama, Yoshihito Research Institute of Electrical Communication, Tohoku University, Katahira, Aoba-ku, Sendai Japan
Trac, Steven C. University of Miami, Miami, Florida USA
Tran, Duc-Khanh Loria - Inria Lorraine, Nancy France
Traverso, Paolo I.R.S.T., Istituto Trentino di Cultura, Trento Italy
Traytel, Dmitriy ETH Zürich Switzerland
Treinen, Ralf Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, Cachan France
Truderung, Tomasz LORIA-INRIA-Lorraine, Villers-Les-Nancy France
Truemper, Klaus Computer Science Program, University of Texas at Dallas, Richardson, Texas USA
Tsarkov, Dmitry Google Switzerland Switzerland
Tschannen, Julian ETH Zürich Switzerland
Turhan, Anni-Yasmin Theoretische Informatik, Technische Universität Dresden, Dresden Germany
Turi, Daniele University of Manchester, Manchester, England UK
Turnquist, Brian Department of Mathematics and Computer Science, Bethel College, St. Paul, Minnesota USA
Tverdyshev, Sergey Universität des Saarlandes, Saarbrücken Germany
Unel, Gulay University of Waterloo, Kitchener, Ontario Canada
Urbain, Xavier Laboratoire de Recherche en Informatique, Université de Paris Sud, Orsay France
Urban, Christian TU Munich, Munich Germany
Urban, Josef Radboud University The Netherlands
Urbas, Matej University of Cambrideg, Cambridge UK
Uribe, Tomàs E. Department of Computer Science, Stanford University, Palo Alto, California USA
Vaillancourt, Dale Northeastern University, Boston, Massachusetts USA
Vallejo, Miguel Angel Departamento ISI, Universidad Polytecnica de Catalunya, Barcelona Spain
Van Gelder, Allen University of California, Santa Cruz, Santa Cruz, California USA
van Oostrom, Vincent Universiteit Utrecht, Utrecht The Netherlands
Vanzetto, Hernán Microsoft Research/INRIA Joint Center, Villers-lès-Nancy France
Varga, Alexandra Department of General Psychology and Cognitive Science, Justus Liebig University Giessen, Giessen Germany
Veal, Eric Siemens, Seattle, Washington USA
Veanes, Margus Microsoft Research USA
Velev, Miroslav Aries Design Automation, Chicago, IL USA
Ventura, Daniel Universidade Federal de Goiás Brazil
Verchinine, Konstantin University Paris 12 France
Verma, Kumar Neeraj Technische Universität München, München Germany
Verma, Rakesh M. Department of Computer Science, University of Houston, Houston, Texas USA
Veroff, Robert Department of Computer Science, University of New Mexico, Albuquerque, New Mexico USA
Vervloesem, Koen Institute of Philosophy, Katholieke Universiteit Leuven Belgium
Vescovi, Michele University of Trento, , Trento Italy
Vieira de Melo, Ana Cristina Department of Computer Science, University of Sao Paulo, Sao Paulo Brazil
Vigano, Luca ETH Zurich, Zurich Switzerland
Vigneron, Laurent LORIA & Université Nancy 2, Nancy France
Villadsen, Jørgen Department of Applied Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby Denmark
Villaret, Mateu University of Girona Spain
Visser, Eelco Universiteit Utrecht, Utrecht The Netherlands
Vlasov, Dmitry Sobolev Institute of Mathematics, Novosibirsk Russia
Voigt, Marco Max-Planck-Institut für Informatik Germany
Voisin, Frederik Laboratoire de Recherche en Informatique, Université de Paris Sud, Orsay France
Voronkov, Andrei Department of Computer Science, University of Manchester, Manchester, England UK
Vroon, Daron College of Computing, Georgia Institute of Technology, Atlanta, Georgia USA
Vu, Quoc Huy Free University of Bolzano, Italy, TU Dresden Germany
Vu, Xuan Tung Japan Advanced Institute of Science and Technology Japan
Waaler, Arild University of Oslo Norway
Wagner, Marc Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Wahl, Thomas Northeastern University USA
Walden, Marvin E. CADManDo Company, Troy, Michigan USA
Waldinger, Richard Artificial Intelligence Center, SRI International, Menlo Park, California USA
Waldmann, Johannes HTWK Leipzig, FB IMN Germany
Waldmann, Uwe Max Planck Institut für Informatik, Saarbrücken Germany
Walsh, Toby Cork Constraint Computation Centre, University College Cork, Cork Ireland
Walther, Christoph Institut für Programm und Informationssysteme, Technische Universität Darmstadt, Darmstadt Germany
Walther, Dirk University of Liverpool, Liverpool, England UK
Walukiewicz-Chrzaszcz, Daria Warsaw University, Warsaw Poland
Wand, Daniel Max-Planck-Institut für Informatik Germany
Wang, Dongming Laboratoire d'Informatique de Paris 6, Université Pierre et Marie Curie, Paris France
Wang, Zongyan School of Computer Science, McGill University, Montreal, Quebec Canada
Weber, Tjark Uppsala University Sweden
Weddell, Grant University of Waterloo, Waterloo, Ontario Canada
Weidenbach, Christoph Max Planck Institut für Informatik, Saarbrücken Germany
Weiershäuser, Agnes TU München Germany
Weispfenning, Volker Universität Passau, Passau Germany
Weller, Daniel Vienna University of Technology Austria
Wells, Joe Department of Computer Science, Boston University, Boston, Massachusetts USA
Wendl, Ulrich München Germany
Wenzel, Makarius sketis.net, Augsburg Germany
Werner, Benjamin INRIA, LIX, Ecole Polytechnique, Palaiseau France
Wernhard, Christoph Technische Universität Dresden, Dresden Germany
Wessel, Michael SRI International USA
Westfold, Stephen J. Kestrel Institute, Palo Alto, California USA
Whitehead, Bryan East Northport, NY USA
Widmann, Florian The Australian National University Australia
Wiedijk, Freek University of Nijmegen, Nijmegen The Netherlands
Wieringa, Siert Aalto University School of Science and Technology Finland
Wies, Thomas New York University USA
Williams, Richard Liverpool University, England UK
Windsteiger, Wolfgang Institut RISC, Hagenberg Austria
Winkler, Sarah University of Innsbruck, Innsbruck Austria
Winter, Victor University of Nebraska at Omaha, Omaha, Nebraska USA
Wintersteiger, Christoph M. Microsoft Research UK
Wirth, Claus-Peter Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Wischnewski, Patrick Max-Planck-Institut für Informatik Germany
Wisniewski, Max FU Berlin, Berlin Germany
Witty, Carl Newton Research Labs, Renton, Washington USA
Wojciechowski, Piotr West Virginia University USA
Wolf, Leslie Naperville, Illinois USA
Wolff, Burkhart Université Paris-Sud, LRI, Orsay France
Wolfram, David A. Expert Information Services Pty Ltd, Melbourne Australia
Wolter, Frank University of Liverpool UK
Woltran, Stefan Abteilung Wissensbasierte Systeme, Technische Universität Wien, Wien Austria
Woltzenlogel Paleo, Bruno Vienna University of Technology Austria
Wos, Larry Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Illinois USA
Wrightson, Graham Department of Computer Science and Software Engineering, The University of Newcastle, Callaghan Australia
Wu, Wei Zhejiang University China
Wu, Zhe Oracle USA
Wu, Zhilin Institute of Software, Chinese Academy of Sciences China
Xi, Hongwei Boston University USA
Xiangxue, Jia Chinese Academy of Sciences, Beijing China
xu, Zhaowei Institute of Software, Chinese Academy of Sciences China
Yamada, Akihisa University of Innsbruck Austria
Yamada, Keizo Department of Artificial Intelligence, Kyushu Institute of Technology, Kawazu, Iizuka Japan
Yehia, Wael York University, Toronto, ON Canada
Yorsh, Greta Tel-Aviv University, Tel Aviv Israel
Zamansky, Anna Vienna University of Technology Austria
Zankl, Harald University of Innsbruck Austria
Zantema, Hans Technical University Eindhoven, Eindhoven The Netherlands
Zappacosta, Silvana Department of Computing, Imperial College, London, England UK
Zeilberger, Doron Department of Mathematics, Temple University, Philadelphia, Pennsylvania USA
Zeljić, Aleksandar Uppsala University Sweden
Zhan, Naijun Institute of Software, Chinese Academy of Sciences China
Zhang, Hantao Department of Computer Science, The University of Iowa, Iowa City, Iowa USA
Zhang, Jian Chinese Academy of Sciences, Beijing China
Zhang, Lan University of Liverpool UK
Zhang, Nick Ipedo, Inc, San Jose, California USA
Zhang, Ting Stanford University, Palo Alto, California USA
Zhen, Li Computer Science Department, Manchester University, Manchester, England UK
Zhou, Xunwei Beijing China
Zimmer, Jürgen Fachbereich Informatik, Universität des Saarlandes, Saarbrücken Germany
Zinn, Claus Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK UK
Zohar, Yoni Tel-Aviv University Israel
Zucchelli, Daniele LORIA and INRIA-Lorraine France
Zulkoski, Ed Dept. of Computer Science, University of Waterloo, Waterloo Canada
Zumkeller, Roland Ecole Polytechnique, Palaiseau France