| Abel, Andreas M. |
LFE Theoretische Informatik, Ludwig-Maximilians-Universität München, München |
Germany |
| Abourbih, Jonathan |
Glasgow |
UK |
| Abraham, Erika |
RWTH Aachen University |
Germany |
| Abrahamsson, Oskar |
Chalmers University of Technology |
Sweden |
| Acclavio, Matteo |
University of Sussex |
United Kingdom |
| Achammer, Fabian |
TU Wien |
Austria |
| 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 |
| Agbenorku, George Ofosu |
IPMC College of Technology |
Ghana |
| 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 |
| Ahmed, Tanbir |
University of Windsor |
Canada |
| Ahrendt, Wolfgang |
Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg |
Sweden |
| Aires Urquiza de Carvalho, Abraão |
Universidade Federal do Rio Grande do Norte |
Brazil |
| AIT EL HARA, Hichem Rami |
OcamlPro |
France |
| Akbarpour, Behzad |
University of Cambridge, Cambridge |
UK |
| Alabdulatif, Abdullah |
Student |
UK |
| Alama, Jesse |
Iglia |
Spain |
| Albert, Elvira |
Universidad Complutense de Madrid |
Spain |
| 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 |
| 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 |
| Alrabbaa, Christian |
|
|
| 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 |
| Amrollahi, Daneshvar |
Stanford University |
United States |
| Anantharaman, Siva |
Departement d'Informatique, Université d'Orléans, Orléans |
France |
| Andrade de Melo, Alexsander |
Universidade Federal do Rio de Janeiro |
Brazil |
| Andrade, Aline |
Universidade Federal da Bahia |
Brazil |
| Andreotti, Bruno |
Universidade Federal de Minas Gerais |
Brazil |
| 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 |
| 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 |
| Arrial, Victor |
Université Paris Cité, IRIF, CNRS |
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 |
| Assunção, Brunna |
Universidade Federal do Rio Grande do Norte |
Brazil |
| 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 |
| Avigad, Jeremy |
Carnegie Mellon University |
United States |
| Avron, Arnon |
School of Computer Science, Tel-Aviv University, Tel Aviv |
Israel |
| Axelrod, Guy |
University of the Witwatersrand |
South Africa |
| 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 |
UFMG |
Brazil |
| Barel, Jean |
CONGO BARKER |
Kenya |
| Barnett, Lee Austin |
|
|
| Barrett, Clark W. |
|
USA |
| Barthe, Gilles |
IMDEA Software Institute |
Spain |
| Bartl, Lukas |
Universität Augsburg |
Germany |
| Bartocci, Ezio |
|
|
| Basin, David |
ETH Zurich, Zurich |
Switzerland |
| Batmalle, Hadrien |
Aix Marseille Univ |
France |
| 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 |
| Baxter, Michael |
|
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 |
| Benevides, Mario |
Federal University of Rio de Janeiro |
Brazil |
| 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 |
| Bentkamp, Alexander |
Chinese Academy of Sciences |
China |
| Benzmüller, Christoph E. |
University of Bamberg |
Germany |
| Berdine, Josh |
Microsoft Research, Cambridge |
UK |
| Berg, Jeremias |
University of Helsinki |
Finland |
| Berger, Zvi |
Bar Ilan |
Israel |
| Bernard, Andrew |
School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania |
USA |
| Bernreiter, Michael |
TU Wien |
Austria |
| Bertaux, Nicolas |
Paris 11 |
France |
| Berwanger, Dietmar |
Fachbereich Informatik, RWTH Aachen, Aachen |
Germany |
| Bessa da Silva, Epitácio |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Best, Alexander |
King's College, London, England |
UK |
| Betzendahl, Jonas |
Friedrich-Alexander University Erlangen-Nürnberg |
Germany |
| Beyersdorff, Olaf |
School of Computing, University of Leeds |
UK |
| Bezem, Marc |
University of Bergen |
Norway |
| Bhayat, Ahmed Yusuf |
University of Manchester |
UK |
| Bibel, Wolfgang |
Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt |
Germany |
| Biere, Armin |
University of Freiburg |
Germany |
| 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 |
| Blaisdell, Eben |
University of Pennsylvania |
USA |
| Blanchet, Bruno |
CNRS, Ecole Normale Supérieure - DI, Paris |
France |
| Blanchette, Jasmin Christian |
Vrije Universiteit Amsterdam |
France |
| Blanco, Roberto |
Inria & LIX/École polytechnique |
France |
| Blankenship, Joe |
Certus Core |
USA |
| Blanzieri, Enrico |
I.R.S.T., Istituto Trentino di Cultura, Trento |
Italy |
| Bobot, François |
CEA List |
France |
| Bofill, Miquel |
Dept. IMA, Universidad de Girona, Girona |
Spain |
| Bohrer, Brandon |
Carnegie Mellon University |
USA |
| 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 |
| Borges, Joanderson |
Universidade Federal do Rio Grande do Norte |
Brazil |
| 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 |
| Boutry, Pierre |
Université de Strasbourg |
France |
| 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 |
| Brauße, Franz |
University of Manchester |
Germany |
| Brede, Nuria |
University of Potsdam, Potsdam |
Germany |
| Breinholt, Keith L. |
Salt Lake City, Utah |
USA |
| Brenas, Jon Haël Simon |
University of Oxford |
UK |
| Bresciani, Paolo |
I.R.S.T., Istituto Trentino di Cultura, Trento |
Italy |
| Briefs, Yasmine |
Max Planck Institute for Informatics |
Germany |
| Brieger, Marvin |
LMU Munich |
Germany |
| Britikov, Konstantin |
Universita della Svizzera Italiana |
Switzerland |
| 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, Christopher |
United States Naval Academy |
USA |
| 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, Randal E |
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 |
| Bueri, Lucas |
CNRS Verimag / Univ. Grenoble Alpes |
France |
| Bundy, Alan |
School of Informatics, University of Edinburgh, Edinburgh, Scotland, UK |
UK |
| Burel, Guillaume |
ENSIIE/CÉDRIC |
France |
| Bury, Guillaume |
OCamlPro |
France |
| Butler, Ralph |
Department of Computer Science, Middle Tennessee State University, Murfreesboro, Tennessee |
USA |
| Butte, Julia |
Karlsruhe Institute of Technology |
Germany |
| Butterfield, Andrew |
University of Dublin, Trinity College |
Ireland |
| Bártek, Filip |
Czech Technical University in Prague |
Czech Republic |
| 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 |
| Caetano, Eduardo |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Caferra, Ricardo |
Laboratoire LEIBNIZ-IMAG, Grenoble |
France |
| Cailler, Julie |
University of Lorraine, CNRS, Inria, LORIA, Nancy |
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 |
| Caminati, Marco |
Lancaster University Leipzig |
Germany |
| Carlucci Aiello, Luigia |
Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Roma |
Italy |
| Cassimiro Teixeira dos Santos, Aellison |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Cauli, Claudia |
Amazon Web Services |
United Kingdom |
| Cedarquist, Jan |
CWI, Amsterdam |
The Netherlands |
| Cerna, David |
CAS ICS |
Czech Republic |
| Cerrito, Serena |
Université d'Evry Val d'Essonne, Evry |
France |
| Cesarino, Bianca |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Ceylan, İsmail İlkan |
University of Oxford |
UK |
| Chaabani, Mohamed |
LIRMM |
France |
| Chaieb, Amine |
TU Munich, Institut fur Informatik TUM, Munich |
Germany |
| Chakrabarti, Prasun |
Dept. of Computer Science and Engineering, Sir Padampat Singhania University, Rajasthan |
India |
| Chakraborty, Supratik |
I.I.T. Bombay |
India |
| Chapman, Peter |
University of Brighton |
UK |
| Chassot, Samuel |
EPFL |
Switzerland |
| Chaudhuri, Kaustuv |
Inria & Ecole polytechnique |
France |
| Chekol, Melisachew Wudage |
INRIA |
France |
| Chen, Hao |
Department of Computer Science, University of York, England |
UK |
| Chen, Jiaoyan |
Department of Computer Science, Oxford University |
UK |
| Chen, Shuwei |
School of Computing and Mathematics, University of Ulster |
UK |
| Chen, Yu-Fang |
Academia Sinica |
Taiwan |
| Cheng, Jingde |
Department of Information and Computer Sciences, Saitama University |
Japan |
| Chevalier, Yannick |
INRIA-Lorraine, Villers-lès-Nancy |
France |
| Chi, Xiao |
Zhejiang University |
China |
| Chihani, Zakaria Hichem |
CIA-List |
France |
| Chimento, Mauricio |
Chalmers University of Technology |
Sweden |
| Chlebowski, Szymon |
Adam Mickiewicz University |
Poland |
| 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 |
| Ciabattoni, Agata |
|
|
| 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 |
| Clement, Basile |
OCamlPro |
France |
| Clune, Joshua |
Carnegie Mellon University |
USA |
| Codel, Cayden Richard |
|
|
| Coghetto, Roland |
cafr-msa2p asbl |
Belgium |
| 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 |
| Cordwell, Katherina |
Carnegie Mellon University |
USA |
| 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 |
| Coutelier, Robin |
TU Wien |
Austria |
| Coutinho, João |
Universidade Federal de Pernambuco |
Brazil |
| Cowles, John |
Department of Computer Science, University of Wyoming, Laramie, Wyoming |
USA |
| Cox, Arlen |
IDA/CCS |
USA |
| Craig, Iain |
University of Northampton, Northampton |
UK |
| Crary, Karl |
Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania |
USA |
| Cremers, Cas |
CISPA Helmholtz Center for Information Security |
Germany |
| Crocker, David |
Escher Technologies Ltd., Frimley, England |
UK |
| Crole, Roy |
Department of Mathematics and Computer Science, University of Leicester, Leicester, England |
UK |
| Cruanes, Simon |
|
France |
| Cruisce, John |
SUNY Albany |
USA |
| Cruz-Filipe, Luís |
University of Southern Denmark |
Denmark |
| Cuconato, Bruno |
|
|
| 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 |
| Dailler, Sylvain |
Inria & Universite Paris-Saclay |
France |
| Daly, Timothy |
|
|
| Daniel, Selsam |
Microsoft |
USA |
| Dantas, Abraão |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Das, Anupam |
University of Copenhagen |
Denmark |
| Dasnois, Louis |
University of Liège |
Belgium |
| Dave, Maulik |
Vivechan, Inc., Atlanta, GA |
USA |
| Davenport, James Harold |
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 Amorim Paula, João Pedro |
Universidade Federal do Rio Grande do Norte |
Brazil |
| De Boer, Frank |
CWI |
The Netherlands |
| De Bortoli, Filippo |
TU Dresden |
Germany |
| de Freitas, Frederico Luiz |
Universidade Federal de Pernambuco |
Brazil |
| De Groote, Philippe |
INRIA-Lorraine, Nancy |
France |
| De Lon, Adrian |
University of Bonn |
Germany |
| de Moura, Leonardo |
AWS and Lean FRO |
USA |
| De Nivelle, Hans |
Nazarbayev University, Astana, Kazakhstan |
Kazakhstan |
| de Oliveira Oliveira, Mateus |
University of Bergen |
Norway |
| de Oliveira, Diego Caminha Barbosa |
Universite de Nancy |
France |
| de Rijke, Maarten |
Institute for Logic, Language and Computation, Universiteit Amsterdam, Amsterdam |
The Netherlands |
| De Souza Ferreira, Gabriela |
Universidade de Brasília |
Brazil |
| De, Abhishek |
University of Birmingham |
United Kingdom |
| Declerck, David |
LRI, Universite Paris-Sud |
France |
| Delahaye, David |
Université de Montpellier |
France |
| Delhommé, Christian |
|
|
| 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 Manchester, UK |
UK |
| Dershowitz, Nachum |
Tel-Aviv University, Ramat-Aviv |
Israel |
| Desharnais, Martin |
Ludwig-Maximilians-Universität München, Germany |
Germany |
| 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 |
| Dingle, Adam |
Charles University |
Czech Republic |
| Dixon, Clare |
University of Manchester |
UK |
| Dixon, Lucas |
Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK |
UK |
| Docherty, Simon |
University College London |
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 |
| Doyle, Edward |
Missouri |
USA |
| Dragoste, Irina |
TU Dresden |
Germany |
| Dross, Claire |
AdaCore |
France |
| Duarte, André |
University of Manchester |
United Kingdom |
| Dubois de Prisque, Louise |
|
|
| Duchesneau, Dave |
Scrutiny, Inc., Seattle, Washington |
USA |
| Dudek, Jeffrey |
Rice University |
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 |
| Eduardo, Cézar |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Eeralla, Ajay Kumar |
Clarkson University |
USA |
| Egly, Uwe |
Abteilung Wissensbasierte Systeme, Technische Universität Wien, Wien |
Austria |
| Ehling, Georg |
RISC, Johannes Kepler University Linz |
Austria |
| Einarsdóttir, Sólrún |
Chalmers University of Technology |
Sweden |
| Eisenhofer, Clemens |
|
|
| Eisinger, Norbert |
Institut für Informatik, Universität München, München |
Germany |
| Eker, Steven |
Computer Science Laboratory, SRI International, Menlo Park, California |
USA |
| el Haddad, Mohamed Yacine |
INRIA-LSV |
France |
| El Ouraoui, Daniel |
Inria |
France |
| Elin, Stephen |
Department of Investigation, City of New York, New York, USA |
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 |
| England, Matthew |
Coventry University |
UK |
| Erascu, Mădălina |
West University of Timisoara |
Romania |
| Erata, Ferhat |
Yale University |
USA |
| 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 |
| Errington, Jacob Thomas |
|
|
| Escobar, Santiago |
Universidad Politécnica de Valencia |
Spain |
| Esen, Zafer |
Uppsala University |
Sweden |
| 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 |
| Farzan, Azadeh |
University of Toronto |
Canada |
| Faure, Germain |
INRIA Saclay - Île de France |
France |
| Fazekas, Katalin |
TU Wien |
Austria |
| Fehrer, Detlef |
SICK AG, Waldkirch |
Germany |
| Felgenhauer, Bertram |
Universität Innsbruck |
Austria |
| Felici, Giovanni |
IASI CNR, Roma |
Italy |
| Felicissimo, Thiago |
Inria Rennes |
France |
| Felipe, Joel |
Universidade Federal do Rio Grande do Norte |
Brazil |
| 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 |
| Fernández Gil, Oliver |
TU Dresden |
Germany |
| Ferreira, Nikson Bernardes Fernandes |
|
|
| Fervari, Raul |
Universidad Nacional de Córdoba |
Argentina |
| Fiedler, Armin |
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken |
Germany |
| Fietzke, Arnaud |
Max Planck Institute for Computer Science, Saarbrücken |
Germany |
| Figueirôa, José |
Universidade Federal de Pernambuco |
Brazil |
| 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 |
| Fiori, Alberto |
Max Planck Institute for Informatics |
Germany |
| 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 |
Albert-Ludwigs-Universität Freiburg |
Germany |
| Fodor, Paul |
Department of Computer Science, State University of New York at Stony Brook, Stony Brook, New York |
USA |
| Font, Ludovic |
École Polytechnique de Montréal |
Canada |
| Fontaine, Pascal |
University of Liège |
Belgium |
| Formisano, Andrea |
Dipartimento di Matematica e Informatica, Università di Udine, Udine |
Italy |
| Franck, Christian |
University of Luxembourg |
Luxembourg |
| 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, LuFG I2 |
Germany |
| Froleyks, Nils |
Johannes Kepler University Linz |
Austria |
| From, Asta Halkjær |
Department of Applied Mathematics and Computer Science, Technical University of Denmark, Kongens Lyngby |
Denmark |
| Fruzsa, Krisztina |
TU Wien |
Austria |
| Fröhlich, Andreas |
JKU Linz |
Austria |
| Fu, Peng |
The University of Iowa |
USA |
| Fuchs, Alexander |
University Koblenz-Landau, Koblenz |
Germany |
| Fuhs, Carsten |
Birkbeck, University of London, London |
UK |
| Fujita, Hiroshi |
Kyushu University, Kasuga, Fukuoka |
Japan |
| Fujita, Tomohiro |
Tokyo University of Science |
Japan |
| Fulton, Nathan |
Amazon Web Services |
USA |
| Furbach, Ulrich |
Fachbereich Informatik, Universität Koblenz-Landau, Koblenz |
Germany |
| Fussner, Daniel Wesley |
University of Bern |
Switzerland |
| Färber, Michael |
Inria Saclay |
France |
| 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 |
| Gallego, Jorge |
IMDEA Software |
Spain |
| Gallicchio, James J |
|
|
| Galmiche, Didier |
LORIA & Université Henri Ponicaré, Nancy |
France |
| Gambhir, Sankalp |
École Polytechnique Fédérale de Lausanne |
Switzerland |
| Gamboa, Ruben A. |
Department of Computer Science, University of Wyoming |
USA |
| Gancarski, Pawel |
University of Dublin, Trinity College |
Ireland |
| Ganesh, Vijay |
University of Waterloo |
Canada |
| Gange, Graeme |
Monash University |
Australia |
| Gao, Han |
LIS - AIX MARSEILLE UNIVERSITE |
France |
| Gao, Jianhua |
INRIA, Paliseau |
France |
| Gao, Sicun |
Carnegie Mellon University |
USA |
| Gao, Xiao-Shan |
Institute of Systems Science, Academia Sinica, Beijing |
China |
| Garchery, Quentin |
|
|
| 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 |
| Gauthier, Thibault |
Czech Technical University in Prague |
Czech Republic |
| Ge, Cunjing |
Institute of Software, Chinese Academy of Sciences |
China |
| Ge, Rui |
University of British Columbia, Canada |
Canada |
| Ge, Yeting |
New York University, Kearny, NJ |
USA |
| Gehring, Jannis |
DHBW Stuttgart |
Germany |
| 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 |
| Georgiou, Pamina |
TU Vienna |
Austria |
| Gero, Kimberly |
University at Albany--SUNY (USA) |
USA |
| Getachew, Estifanos |
University of Waterloo |
Canada |
| Ghardallou, Wided |
University of Tunis El Manar |
Tunisia |
| Ghilardi, Silvio |
Dipartimento di Matematica, Università degli Studi di Milano, Milano |
Italy |
| Ghormley, Doug |
Sandia National Labs |
USA |
| Gianola, Alessandro |
Free University of Bozen-Bolzano |
Italy |
| Giese, Martin |
Department of Informatics, University of Oslo, Oslo |
Norway |
| Giesl, Jürgen |
Fachbereich Informatik, RWTH Aachen, Aachen |
Germany |
| Giordano, Laura |
Universita del Piemonte Orientale |
Italy |
| Girlando, Marianna |
University of Birmingham |
United Kingdom |
| 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 |
| Gocht, Stephan |
|
|
| 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 |
| Goettsch, Stefan |
|
|
| Goldberg, Colin |
|
USA |
| Goldberg, Evgueni |
Cadence Berkeley Laboratories, Berkeley, California |
USA |
| Golinska-Pilarek, Joanna |
|
|
| Gomes, Leandro |
Universidade de Aveiro |
Portugal |
| Gonthier, Georges |
Microsoft Research Cambridge, Cambridge |
UK |
| González-Huesca, Lourdes |
Facultad de Ciencias, UNAM México |
Mexico |
| 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 |
| Gorzny, Jan |
Quantstamp |
USA |
| 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. |
SRI International |
USA |
| Gransden, Thomas |
Dept. of Computer Science, University of Leicester |
UK |
| Greati, Vitor |
University of Groningen |
Netherlands |
| 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 |
| Greiner, Johannes |
Technische Universität Dresden |
Germany |
| 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 |
| Guerdi, Massin |
LMU München |
Germany |
| Guillemette, Louis-Julien |
Université de Montréal, Montréal Québec |
Canada |
| Guilloud, Simon |
Swiss Federal Institute of Technology (EPFL), School of Computer & Communications Sciences, Lausanne |
Switzerland |
| Gulwani, Sumit |
Microsoft |
USA |
| Gunter, Elsa |
Department of Computer Science, Universtiy of Illinois at Urbana-Champaign, Urbana, Illinois |
USA |
| Guo, Liye |
Radboud University |
Netherlands |
| Gurfinkel, Arie |
University of Waterloo |
Canada |
| Gurres, Harald |
AG Grundlagen der Programmierung, Universität Kaiserslautern, Kaiserslautern |
Germany |
| Gutierrez Gil, Raul |
Universitat Politècnica de València |
Spain |
| 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 |
| Hader, Thomas |
TU Wien |
Austria |
| Haeusler, Edward Hermann |
PUC-Rio |
Brazil |
| Hagens, Kasper |
Radboud University |
Netherlands |
| Haifani, Fajar |
|
|
| Hajdu, Marton |
TU Wien |
Austria |
| Hales, Thomas |
University of Pittsburgh |
USA |
| Halleck, John B. |
University of Utah (retired) |
USA |
| Hamana, Makoto |
LFCS, University of Edinburgh, Edinburgh, Scotland, UK |
UK |
| Hamelin, David |
Inria |
France |
| 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 |
| Hannula, Miika |
University of Helsinki |
Finnland |
| 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 |
| Hark, Marcel |
|
|
| 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 |
National University of Sciences and Technology (NUST) |
Pakistan |
| Hasegawa, Ryuzo |
Kyushu University, Kasuga, Fukuoka |
Japan |
| Hashmi, Mustafa |
Legal Informatics Team at Data61, CSIRO, Brisbane |
Australia |
| Haslbeck, Maximilian P.L. |
TU Munich |
Germany |
| Hausmann, Daniel |
Gothenburg University |
Sweden |
| Havlena, Vojta |
Brno University of Technology |
Czech Republic |
| He, Austin |
|
USA |
| He, Lifeng |
Faculty of Information Science and Technology, Aichi Prefectural University, Aichi |
Japan |
| Hebrard, Emmanuel |
University College Cork, Cork |
Ireland |
| Hecher, Markus |
TU Vienna |
Austria |
| Heguiabehere, Juan |
Universiteit Amsterdam, Amsterdam |
The Netherlands |
| Heilala, Samuli |
School of Computer Science, McGill University, Montreal |
Canada |
| Heisinger, Maximilian |
Johannes Kepler University Linz |
Austria |
| Heisinger, Simone |
Johannes Kepler University Linz |
Austria |
| Hellwig, Jonathan |
KIT Karlsruhe |
Germany |
| Hendrix, Joseph |
University of Illinois, Urbana, Urbana, Illinois |
USA |
| Henkel, Elisabeth |
University of Freiburg |
Germany |
| Henocque, Laurent |
LSIS - UMR CNRS, Marseille |
France |
| Henschen, Larry |
Department of Electrical Engineering and Computer Science, Northwestern University, Chicago, Illinois |
USA |
| Hensel, Jera |
|
|
| 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 |
| Herrmann, Roland |
University of Regensburg |
Germany |
| Hester, John |
University of Florida |
USA |
| Hester, John Engelsted |
|
|
| Hetzl, Stefan |
Vienna University of Technology, Vienna |
Austria |
| Heuer, Jan |
University of Potsdam |
Germany |
| Heule, Marijn |
Carnegie Mellon University |
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 |
| Hiep, Hans-Dieter |
Centrum Wiskunde & Informatica (CWI) and Leiden Institute of Advanced Computer Science (LIACS) |
The Netherlands |
| Hihi, Amal |
|
Israel |
| 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 |
| Ho, Son |
MINES ParisTech |
France |
| Hodas, Joshua |
Department of Computer Science, Harvey Mudd College, Claremont, California |
USA |
| Hoder, Krystof |
University of Manchester |
UK |
| Hoenicke, Jochen |
Certora |
Germany |
| Hofbauer, Dieter |
ASW Saarland |
Germany |
| Hofer, Matthias |
TU Vienna |
Austria |
| Hoffman, Robert |
Humble, Texas |
USA |
| Holden, Edvard |
|
|
| Holden, Sean |
University of Cambridge |
UK |
| Holen, Bjarne |
University of Oslo, Oslo |
Norway |
| Holmes, Melvin R. |
Department of Mathematics, Boise State University, Boise, Idaho |
USA |
| Holub, Štěpán |
Charles University |
Czech Republic |
| Homeier, Peter V. |
US Department of Defense, Mountain View, California |
USA |
| Hommersom, Arjen |
Radboud University Nijmegen, Nijmegen |
The Netherlands |
| Hoofd, Nick |
Eindhoven University of Technology |
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 |
University of Oxford |
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 |
| Hozzová, Petra |
Czech Technical University |
Czech Republic |
| Hsiang, Jieh |
Department of Computer Science and Information Engineering, National Taiwan University, Taipei |
Taiwan |
| Hu, Tanji |
Purdue University |
USA |
| Huang, Pei |
Chinese Academy of Sciences |
China |
| Hubauer, Thomas |
Siemens AG, Foundational Technologies |
Germany |
| Huch, Fabian |
|
|
| Hudack, Jeffrey |
Rome, New York |
USA |
| Huet, Gerard |
INRIA-Rocquencourt, Paris |
France |
| Hugot, Vincent |
INRIA/CASSIS and LIFC |
France |
| Humenberger, Andreas |
TU Wien |
Austria |
| Humml, Merlin |
Friedrich-Alexander-Universität Erlangen-Nürnberg |
Germany |
| Hunt, Warren A. |
University of Texas at Austin, Austin, Texas |
USA |
| 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 |
| Huuskonen, Taneli |
|
|
| 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 |
| Ihalainen, Hannes |
University of Helsinki |
Finland |
| 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 |
| Indrzejczak, Andrzej |
University of Lodz |
Poland |
| 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 |
| Iwami, Munehiro |
Shimane University |
Japan |
| Iwanuma, Koji |
Department of Computer Science and Media Engineering, Yamanashi University, Yamanashi |
Japan |
| Jackson, Dennis |
University of Oxford |
UK |
| 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 |
Czech Technical University in 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 |
| Jang, Junyoung |
|
|
| Janicic, Predrag |
Faculty of Mathematics, University of Belgrade, Belgrade |
Yugoslavia |
| Janota, Mikolas |
CIIRC |
Czech Republic |
| Jaume, Mathieu |
Université Paris 6/LIP6, Paris |
France |
| Jean, Alexandre |
Université de Strasbourg |
France |
| Jeannerod, Nicolas |
IRIF |
France |
| Jebelean, Tudor |
Institut RISC, Hagenberg |
Austria |
| Jech, Thomas |
Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania |
USA |
| Jerkunica, Boris |
Atlanta, Georgia |
USA |
| Jerusalem, Mark |
University of Adelaide |
Australia |
| 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 |
| Jonatã, Francisco |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Jones, Roger Bishop |
|
England |
| Joosten, Sebastiaan J.C. |
Eindhoven University of Technology |
The Netherlands |
| Jouannaud, Jean-Pierre |
LIX, Ecole Polytechnique |
France |
| Jovanović, Dejan |
Amazon |
USA |
| Jukiewicz, Marcin |
Adam Mickiewicz University |
Poland |
| Jung, Achim |
University of Birmingham |
UK |
| 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 |
| Kamburjan, Eduard |
University of Oslo |
Norway |
| Kaminski, Mark |
Department of Computer Science, Oxford University |
UK |
| Kammar, Ohad |
University of Oxford |
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 |
| Kappelmann, Kevin |
University of Oxford |
UK |
| Kapur, Deepak |
Department of Computer Science, University of New Mexico, Albuquerque, New Mexico |
USA |
| Kassing, Jan-Christoph |
RWTH Aachen |
Germany |
| Katzenberger, Michael |
Technical University of Munich |
Germany |
| Kaufmann, Daniela |
TU Wien |
Austria |
| 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 |
| Kerekes, András |
Radnóti Miklós High School |
Hungary |
| 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, Natalie |
|
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 |
| Kirkeby, Maja Hanne |
Roskilde University |
Denmark |
| 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 |
| Knispel, Andre |
IOG |
Germany |
| Koepke, Peter |
|
|
| Kohl, Christina |
University of Innsbruck |
Austria |
| Kohlhase, Michael |
Friedrich-Alexander-Universität Erlangen-Nürnberg |
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 |
Technische Universität Dresden |
Germany |
| Kop, Cynthia |
Radboud University Nijmegen |
Netherlands |
| Koprowski, Adam |
Eindhoven |
The Netherlands |
| Korovin, Konstantin |
University of Manchester |
UK |
| Korovina, Margarita |
|
|
| Korp, Martin |
University of Innsbruck, Innsbruck |
Austria |
| Kosaian, Katherine |
Iowa State University | University of Iowa |
United States |
| Kosiyatrakul, Thumrongsak |
Syracuse University, Syracuse, New York |
USA |
| Kotelnikov, Evgenii |
Chalmers University of Technology |
Sweden |
| Kovács, Laura |
|
Austria |
| Kovács, Zoltán |
The Private University College of Education of the Diocese of Linz, Institute of Initial Teacher Training |
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 |
| Kozhemiachenko, Daniil |
INSA Centre Val de Loire |
France |
| Krassen, David J. |
Warminster, Pennsylvania |
USA |
| Krauss, Alexander |
TU Munich Institut für Informatik, Munich |
Germany |
| Kreitz, Christoph |
University of Potsdam |
Germany |
| Kremer, Gereon |
Stanford University |
Germany |
| Kremer, Steve |
INRIA Nancy - Grand Est |
France |
| Krennwallner, Thomas |
Vienna University of Technology |
Austria |
| Kreuzer, Katharina |
Technical University of Munich |
Germany |
| Kriegel, Francesco |
|
|
| 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 |
| Krueger, Ryan |
|
|
| Kruglov, Evgeny |
|
|
| Kuehlwein, Daniel |
Radboud University Nijmegen |
The Netherlands |
| Kumar, Ankit |
Northeastern University |
USA |
| Kumar, Ramana |
DeepMind |
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 |
| Kuznetsov, Stepan |
HSE University |
Russia |
| Kwon, Gi-Hwon |
Kyonggi University, Dept. of Computer Science, Suwon-si, Kyonggi-do |
South Korea |
| Kyureghyan, Askanaz |
State Engineering University of Armenia, Yerevan |
Armenia |
| Laarman, Alfons |
Leiden University |
Netherlands |
| Lachnitt, Hanna |
Stanford University |
USA |
| Lahav, Ori |
Tel Aviv University, Tel Aviv |
Israel |
| Lahiri, Shuvendu |
Microsoft Research |
USA |
| Lai, Yong |
Jilin University |
China |
| Lal, Akash |
Microsoft Research, Bangalore |
India |
| Lalonde, Josh |
Algonquin College |
Canada |
| Lammich, Peter |
UTwente |
The Netherlands |
| Lange, Martin |
University of Kassel |
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 |
| Leidinger, Hendrik |
Max Planck Institute for Informatics |
Germany |
| Leino, K. Rustan M. |
Amazon |
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 |
| Lengal, Ondrej |
Brno University of Technology |
Czech Republic |
| 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 |
|
Poland |
| Lettmann, Michael |
TU Vienna |
Austria |
| Letz, Reinhold |
München |
Germany |
| Leucker, Martin |
TU Munich, Institute of Informatics, Garching |
Germany |
| Leutgeb, Lorenz |
Max Planck Institute for Informatics |
Germany |
| Lev-Ami, Tal |
School of Computer Science, Tel-Aviv University, Tel-Aviv |
Israel |
| Levy, Jordi |
Universidad Polytecnica de Catalunya, Barcelona |
Spain |
| Lewis, P. Hayes |
independent |
USA |
| Lewis, Robert |
Carnegie Mellon University |
USA |
| Li, Dafa |
Department of Applied Mathematics, Tsinghua University, Beijing |
China |
| Li, Di Long |
Australian National University |
Australia |
| 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 |
| Li, Yue |
Heriot-Watt University |
UK |
| Liang, Chencheng |
Uppsala University |
Sweden |
| Liang, Tianyi |
The University of Iowa |
USA |
| Liang, Zhiyao |
University of Houston, Houston, Texas |
USA |
| Liao, Beishui |
Zhejiang University |
China |
| Libal, Tomer |
INRIA Saclay |
France |
| Lier, Florian |
University Of Bielefeld |
Germany |
| Lilieström, Ann |
Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg |
Sweden |
| Lima, Iago |
Universidade Federal do Ceará |
Brazil |
| Limeira Neto, Clóvis |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Limongelli, Carla |
Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma |
Italy |
| Lin, Anthony W. |
TU Kaiserslautern |
Germany |
| 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 |
| Lipparini, Enrico |
University of Cagliari |
Italy |
| 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 |
| Lojewski, Artur |
babka software |
Germany |
| Lommen, Nils |
LuFG Informatik 2/RWTH Aachen Univ. |
Germany |
| Lonsing, Florian |
Stanford University |
USA |
| Lopes, Goncalo C. |
Faculdade de Ciencias e Tec da UNL, Lisbon |
Portugal |
| Lopes, Raul |
Universidade Federal De Espirito Santo, Vitoria |
Brazil |
| Lopez Hernandez, Julio Cesar |
University of Manchester |
UK |
| 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 |
| Madge, Fabio |
Amazon Development Center |
Germany |
| Madlener, Klaus |
Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern |
Germany |
| Magaud, Nicolas |
|
|
| Maggesi, Marco |
University of Florence |
Italy |
| Magka, Despoina |
Computing Laboratory, Oxford University, Oxford |
UK |
| Magnago, Enrico |
|
|
| 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 |
| Mansard, Alexandre |
|
|
| Mansutti, Alessio |
IMDEA Software Institute |
Spain |
| 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 |
| Marin, Sonia |
IT-University Copenhagen |
Denmark |
| Marinkovic, Vesna |
Faculty of Mathematics, University of Belgrade |
Serbia |
| Marić, Filip |
Faculty of Mathematics, University of Belgrade |
Serbia |
| Marques Silva, Joao |
University of Lisbon |
Portugal |
| 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 |
| Mascarenhas, Tomaz |
Univ. Federal de Minas Gerais |
Brazil |
| 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 |
| McKeown, Jack |
|
|
| 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 |
| Medeiros, Henrique |
|
Brazil |
| 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 |
| Mei, Jingyi |
Leiden University |
Netherlands |
| 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 |
| Mendonça Ferreira Ramos, Thiago |
|
|
| 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 |
| Mesnard, Fred |
|
|
| Metcalfe, George |
University of Bern |
Switzerland |
| Metke, Alejandro |
CSIRO |
Australia |
| Meyer, Eleanore |
RWTH Aachen University |
Germany |
| 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 |
| Milicich, Mariana |
Université Paris Cité, CNRS, IRIF, F-75013 Paris |
France |
| 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 |
| Monteiro, Felipe R. |
Eldorado Institute |
Brazil |
| Montmirail, Valentin |
Avisto Telecom, IIoT Solutions |
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 |
| Moosbrugger, Marcel |
|
|
| 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 |
| Mourad, Shibl |
|
|
| Moussa, Zarasoa Malika |
|
|
| 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éndez Oconitrillo, Julián |
Interactive Media Lab Dresden |
Germany |
| Méry, Daniel |
LORIA & Université Henri Poincaré, Nancy |
France |
| Mödersheim, Sebastian |
ETH Zurich, Zurich |
Switzerland |
| Möhle-Rotondi, Sibylle |
University of Regensburg |
Germany |
| Möhrmann, Martin |
DHBW Stuttgart |
Germany |
| Müller, Dennis |
FAU Erlangen-Nürnberg |
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 |
Queen Mary University of London |
UK |
| Nagle, Daniel |
University of Limierck, Limerick |
Ireland |
| Nalbach, Jasper |
RWTH Aachen University |
Germany |
| Nalon, Cláudia |
University of Brasília |
Brazil |
| Nantes-Sobrinho, Daniele |
Imperial College London |
UK |
| Narboux, Julien |
IRIF - Université Paris Cité |
France |
| Narendran, Paliath |
Department of Computer Science, State University of New York at Albany, Albany, New York |
USA |
| Narváez, David E |
|
|
| Naumowicz, Adam |
Institute of Informatics, University of Bialystok |
Poland |
| Navarro Perez, Juan Antonio |
University of Manchester |
UK |
| Nestmann, Uwe |
TU Berlin |
Germany |
| Neto, Clodomir |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Neufeld, Emery Alexander |
|
|
| Neumann, René |
Technische Universität München |
Germany |
| Neuper, Walther |
JKU Linz |
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 |
| Niederhauser, Johannes |
University of Innsbruck |
Austria |
| Niehren, Joachim |
INRIA Futurs, Villeneuve d'Ascq |
France |
| Niemela, Ilkka |
Helsinki University of Technology, Helsinki |
Finland |
| Niemetz, Aina |
Stanford University |
USA |
| Nieuwenhuis, Robert |
Tech. University Catalonia |
Spain |
| Nigam, Vivek |
fortiss GmbH |
Germany |
| 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 |
HRL Laboratories, LLC, Malibu, CA |
USA |
| Nonnengart, Andreas |
German Research Center for Artificial Intelligence, Saarbrücken |
Germany |
| Nordström, Jakob |
University of Copenhagen and Lund University |
Denmark |
| 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 |
| Nummelin, Visa |
|
|
| 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 |
| Oertel, Andy |
Lund University |
Sweden |
| 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 |
| Olarte, Carlos |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Oliart Ros, Alberto |
Laboratorio Nacional de Informatica Avanzada A.C. (LANIA), Xalapa, Ver. |
Mexico |
| Oliveira, Raquel |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Oliveira, Wellyson |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Oliveras, Albert |
Technical University of Catalunya, Barcelona |
Spain |
| Olivetti, Nicola |
LIS - AIX MARSEILLE UNIVERSITE |
France |
| Olsen, Paul |
State University of New York at Albany |
USA |
| Olumide, Michael |
Cheffbol Nigeria LImited |
Nigeria |
| Olímpio, Bruno |
Universidade Federal Fluminense |
Brazil |
| Oppenheimer, Paul |
Stanford University |
USA |
| Otop, Jan |
University of Wrocław, Wrocław |
Poland |
| Otte, Pim |
Utrecht University |
The Netherlands |
| Otten, Jens |
University of Oslo |
Norway |
| Oudmans, Jules |
UReason Holding BV, Leiden |
The Netherlands |
| Owens, James P. |
Clarkson University |
USA |
| Owre, Sam |
|
|
| Ozdemir, Alex |
Stanford University |
USA |
| Pacholski, Leszek |
Wroclaw University, Wroclaw |
Poland |
| Padmanabhan, Ranganathan |
Department of Mathematics, University of Manitoba, Winnipeg, Manitoba |
Canada |
| Pagel, Jens |
TU Vienna |
Austria |
| Pal, Debtanu |
IIT Bombay |
India |
| 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 |
Lancaster University in Leipzig |
Germany |
| 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 |
| Pasetto, Luca |
University of Luxembourg |
Luxembourg |
| 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 |
| Patro, Ranjit |
Indian Institute of Science Education and Research (IISER) Berhampur, India |
India |
| Pattinson, Dirk |
The Australian National University |
Australia |
| 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, Crispin |
Los Altos, California |
USA |
| Pereira, Filipe |
LASIGE, Faculty of Sciences, University of Lisbon, Portugal |
Portugal |
| Pereira, Luiz Carlos |
PUC-Rio/UERJ |
Brazil |
| Pereira-Albert, Álvaro |
Universidad Nebrija |
Spain |
| Perera, Rivindu |
Informatics Institute of Technology (affil. with Univ. of Westminster),, Colombo |
Sri Lanka |
| Perháč, Ján |
Technical University of Košice |
Slovakia |
| Perini Brogi, Cosimo |
IMT School for Advanced Studies Lucca |
Italy |
| Peron, Adriano |
Università di Napoli Fedrico II - Dept. of Electr. Engineering and Information Technologies |
Italy |
| Petermann, Uwe |
Fachbereich IMN, HTWK-Leipzig, Leipzig |
Germany |
| Petitjean, Quentin |
LMF - ENS PARIS SACLAY |
France |
| Petković Komel, Anja |
TU Wien, Austria |
Austria |
| Petrukhin, Yaroslav |
University of Lodz |
Poland |
| Peuter, Dennis |
Universität Koblenz-Landau |
Germany |
| Peveler, Matthew |
Rensselaer Polytechnic Institute |
USA |
| Peñaloza, Rafael |
TU Dresden |
Germany |
| Pfeifer, Wolfram |
Karlsruhe Institute of Technology |
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 |
| Piepenbrock, Jelle |
Czech Technical University in Prague |
Czech Republic |
| 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 |
| Pilitowska, Agata |
Warsaw University of Technology |
Poland |
| Pimentel, Elaine |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Pinto, Sandra |
Universidade de Coimbra |
Portugal |
| Piotrowski, Bartosz |
Czech Institute of Robotics, Informatics and Cybernetics, CTU Prague |
Czech Republic |
| 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 |
Karlsruhe Institute of Technology (KIT), Karlsruhe |
Germany |
| Podelski, Andreas |
MPI Saarbrücken, Saarbrücken |
Germany |
| Poiroux, Auguste |
EPFL Lausanne |
Switzerland |
| Polberg-Riener, Martin |
TU Vienna |
Austria |
| Pollitt, Florian |
University of Freiburg |
Germany |
| Pollock, John |
University of Arizona, Tucson, Arizona |
USA |
| Polzer, Miriam |
Friedrich-Alexander-University Erlangen Nuremberg |
Germany |
| Pommellet, Adrien |
LRE, EPITA |
France |
| Popescu, Andrei |
University of Sheffield |
UK |
| Portegies, Jacobus |
Eindhoven University of Technology |
The Netherlands |
| Pottier, Loic |
INRIA Sophia-Antipolis, Sophia-Antipolis |
France |
| Potyka, Nico |
University of Osnabrueck |
Germany |
| 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 |
| Prebet, Enguerrand |
KIT |
Germany |
| Preiner, Mathias |
Stanford University |
USA |
| 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 |
| Promies, Valentin |
RWTH Aachen University |
Germany |
| Protzen, Martin |
sd&m AG - Niederlassung Bonn, Troisdorf |
Germany |
| Przybocki, Benjamin |
Carnegie Mellon University |
USA |
| Ptaszynski, Michal |
Kitami Institute of Technology, Kitami |
Japan |
| Puzis, Yury L. |
University of Miami, Miami, Florida |
USA |
| Pym, David J. |
UCL, London |
UK |
| Qadeer, Shaz |
Microsoft Research |
USA |
| Qian, Long |
Carnegie Mellon University |
USA |
| Qiu, Qi |
|
|
| 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 |
FAU Erlangen-Nürnberg |
Germany |
| Rabenstein, Ulrich |
Friedrich-Alexander-Universität Erlangen-Nürnberg |
Germany |
| Rademaker, Alexandre |
IBM Research |
USA |
| Rahmouni, Samar |
|
|
| Rain, Sophie |
Argot Collective |
Switzerland |
| Raja, N. |
School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai |
India |
| Ramanayake, Revantha |
Technische Universität Wien |
Austria |
| Ramirez, Ricardo |
University of Texas, Electrical and Computer Engineering, Computer Eng. Research Center |
USA |
| 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 |
| Rath, Jakob |
TU Wien |
Austria |
| 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 |
| Rawson, Michael Ian |
University of Southampton |
UK |
| Ray, Sandip |
University of Texas at Austin, Austin, Texas |
USA |
| Raya, Rodrigo |
|
|
| Rayner, Nicolas |
Portland State University, Portland, Oregon |
USA |
| Razet, Benoit |
Bucknell University |
USA |
| Raška, Martin |
MFF Charles University |
Czech Republic |
| Rebola Pardo, Adrian |
Johannes Kepler University Linz & Vienna University of Technology |
Austria |
| Redondi, Gianluca |
|
|
| Reeber, Erik H. |
University of Texas at Austin, Austin, Texas |
USA |
| Reeves, Joseph |
Carnegie Mellon University |
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 |
Carnegie Mellon University |
USA |
| 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 |
| Rieu-Helft, Raphaël |
TrustInSoft/Inria |
France |
| Rinard, Martin |
MIT |
USA |
| Ringeissen, Christophe |
LORIA & INRIA-Lorraine, Villers-Les-Nancy |
France |
| Ritirc, Daniela |
Johannes Kepler University Linz |
Austria |
| Ritter, Eike |
University of Birmingham |
United Kingdom |
| Rizkallah, Christine |
Max-Planck institute für Informatik |
Germany |
| Roach, Kelly |
Palo Alto, California |
USA |
| Robillard, Simon |
Université de Montpellier |
France |
| Robinson, Peter John |
School of Information Technology, The University of Queensland, Brisbane, Queensland |
Australia |
| Rocha, Eric |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Rodrigues do Vale, Deivid |
Radboud University Nijmegen |
Netherlands |
| Rodrigues, Giordano |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Rodriguez Carbonell, Enric |
Universitat Politècnica de Catalunya, Barcelona |
Spain |
| Rodriguez, Andoni |
IMDEA Software Institute |
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 |
| Rooduijn, Jan |
University of Amsterdam |
Netherlands |
| Rosain, Johann |
LIRMM |
France |
| Rosenthal, Erik |
Department of Mathematics, University of New Haven, West Haven, Connecticut |
USA |
| Rosskopf, Simon Friedrich |
|
|
| Rosén, Dan |
Chalmers University of Technology |
Sweden |
| Rot, Jurriaan |
LIACS |
The Netherlands |
| Rotar, Alexej |
Technical University Munich |
Germany |
| Rote, Günter |
Institut für Informatik, Freie Universität Berlin, Berlin |
Germany |
| Rothenberg, Robert |
University of St Andrews, Scotland, UK |
UK |
| Rothgang, Colin |
|
Germany |
| 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 |
| Roux, Navid |
|
|
| Rowe, Paul |
The MITRE Corporation |
USA |
| Rozenfeld, Marianna |
CSLI, Stanford University, Stanford, California |
USA |
| Rozier, Kristin Yvonne |
Iowa State University |
USA |
| Rubio, Albert |
Departamento LSI, Universitat Polytècnica de Catalunya, Barcelona |
Spain |
| Ruess, Harald |
Entalus |
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 |
University of Regensburg |
Germany |
| Sabel, David |
LMU Munich |
Germany |
| 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 |
| Saito, Teppei |
JAIST |
Japan |
| Sakhanenko, Nikita |
Department of Computer Science, University of New Mexico, Albuquerque, New Mexico |
USA |
| Sales, Emerson |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Salhi, Yakoub |
LORIA - UHP Nancy1, Nancy |
France |
| Sallinger, Emanuel |
TU Wien |
Austria |
| 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 Fernández, Sofía |
University of Barcelona, C. Montalegre 6, 08001 Barcelona, Catalonia, Spain |
Spain |
| Santiago Valente, Victor |
Universidade Federal do Rio Grande do Norte |
Brazil |
| 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 |
| Sauerwald, Kai |
University of Hagen |
Germany |
| Savela, Jarkko |
University of Helsinki |
Finland |
| Scedrov, Andre |
University of Pennsylvania |
USA |
| 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 |
| Schindler, Tanja |
University of Basel |
Switzerland |
| Schlager, Steffen |
Institut für Logik, Komplexitat und Deduktionssysteme, Fakultät für Informatik, Universität Karlsruhe, Karlsruhe |
Germany |
| Schlichtkrull, Anders |
Department of Computer Science, Aalborg University Copenhagen |
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é de Namur |
Belgium |
| Schoisswohl, Johannes |
Technical University of Vienna |
Austria |
| Scholliers, Christophe |
Ghent University |
Belgium |
| Schon, Claudia |
Trier University of Applied Sciences |
Germany |
| 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 |
| Schurr, Hans-Jörg |
INRIA |
France |
| Schwarz, Simon Fabian |
Max-Planck-Institute for Informatics |
Germany |
| Schwarzweller, Christoph |
Wilhelm Schickard Institut für Informatik, Universität Tübingen, Tübingen |
Germany |
| Schweikardt, Nicole |
Goethe-University |
Germany |
| Schöpf, Jonas |
Universität Innsbruck |
Austria |
| 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 |
| Sekiyama, Taro |
IBM Research Tokyo |
Japan |
| Sellami, Yanis |
CNRS-LIG |
France |
| 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, Amar |
Carnegie Mellon University |
USA |
| Shah, Nimish |
|
UK |
| Shankar, Natarajan |
Computer Science Laboratory, SRI International, Menlo Park, California |
USA |
| Shargorodsky, Atal |
|
Finland |
| Sharma, Shivam |
Texas A&M University |
USA |
| Sharygina, Natasha |
University of Lugano |
Switzerland |
| Shearer, Rob |
University of Manchester |
UK |
| Shefner, Guy |
Bellevue, WA |
USA |
| Sheng, Ying |
|
|
| Shoham, Sharon |
Tel Aviv University |
Israel |
| Shramko, Yaroslav |
Kryvyi Rih State Pedagogical University |
Ukraine |
| Shults, Benjamin |
Math and CS Department, Bethel University, St. Paul, Minnesota |
USA |
| Sidhoum, Romain |
Université de Montpellier |
France |
| Siekmann, Jörg H. |
Computer Science/DFKI,, University of Saarbrücken |
Germany |
| Sierra, Luis |
Universidad de la Republica, Montevideo |
Uruguay |
| Sighireanu, Mihaela |
LMF - ENS PARIS SACLAY |
France |
| Sigley, Sarah |
University of Leeds |
UK |
| Sikos, Leslie |
Edith Cowan University |
Australia |
| Silva, Eunice Palmeira |
IFAL |
Brazil |
| Silva, Gabriel Ferreira |
|
|
| Silva, Marisa |
Universidade Federal do Ceará |
Brazil |
| Silva, Ítalo |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Simancik, Frantisek |
University of Oxford |
UK |
| Simmons, William Daniel |
|
|
| 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 |
| Sindoni, Giulia |
Fondazione Bruno Kessler |
Italy |
| 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 |
| Skansi, Sandro |
University of Zagreb |
Croatia |
| Skocovsky, Peter |
University of Ulm |
Germany |
| Slaney, John |
Automated Reasoning Project, Australian National University, Canberra |
Australia |
| 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 |
| Sochański, Michał |
Adam Mickiewicz University |
Poland |
| 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 |
| Sousa, Kaio |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Southern, Mary Katherine |
|
|
| Souza, Enzo |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Souza, Fernanda |
Universidade Federal do Rio Grande do Norte |
Brazil |
| 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 |
Universität Greifswald |
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 |
| Stevens, Lukas |
Technical University of Munich |
Germany |
| 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 |
| Subercaseaux, Bernardo |
Carnegie Mellon University |
USA |
| Subramani, K |
West Virginia University, Morganstown, West Virginia |
USA |
| Suda, Martin |
Czech Technical University |
Czech Republic |
| Sudia, Frank |
San Francisco, California |
USA |
| Sudkamp, Thomas |
Department of Computer Science, Wright State University, Dayton, Ohio |
USA |
| Sultana, Nik |
Illinois Institute of Technology |
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 |
| Szegedy, Christian |
Google Inc |
USA |
| Szeider, Stefan |
TU Wien |
Austria |
| Szreter, Maciej |
Institute of Computer Science, Polish Academy of Sciences, Warsaw |
Poland |
| Síč, Juraj |
Brno University of Technology |
Czech Republic |
| Sörensson, Niklas |
Mentor Graphics |
Sweden |
| Tacchella, Armando |
DIST, Università di Genova, Genova |
Italy |
| Takai, Toshinori |
National Institute of Advanced Industria |
Japan |
| Tamaki, Hisao |
Meiji University |
Japan |
| Tammet, Tanel |
Tallinn Technical University, Tallinn |
Estonia |
| Tan, Yong Kiam |
Carnegie Mellon University |
USA |
| Tang, Ching Hoo |
Max-Planck-Institute for Informatics |
Germany |
| Tao, Jia |
Iowa State University |
USA |
| Taprogge, Melanie |
University of Greifswald |
Germany |
| 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 |
| Tena Cucala, David |
University of Oxford |
UK |
| Tendera, Lidia |
University of Opole, Opole |
Poland |
| Terrematte, Patrick |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Tesi, Matteo |
TU Wien |
Italy |
| Teucke, Andreas |
Max-Planck Institute for Informatics |
Germany |
| Theiss, Frank |
Universität des Saarlandes, Saarbrücken |
Germany |
| Thibault, Joan |
INRIA Rennes |
France |
| 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 |
| Thölke, Henri |
|
Germany |
| Tiberio Maicel Barbosa, Felipe |
Universidade Federal do Rio Grande do Norte |
Brazil |
| 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 |
| Tirtarasa, Satyadharma |
|
|
| Tishkovsky, Dmitry |
EasyChair |
UK |
| Tiu, Alwen |
Australian National University |
Australia |
| Tiwari, Ashish |
Computer Science Laboratory, SRI International, Menlo Park, California |
USA |
| Toledo, Guilherme |
Bar Ilan University |
Israel |
| Toluhi, David |
University of Manchester |
UK |
| Toman, David |
University of Waterloo, Waterloo, Ontario |
Canada |
| Tomasi, Silvia |
DISI, University of Trento |
Italy |
| Tomczyk, Agata |
|
|
| Tomeu, Antonio |
Department of Computer Sciences, University of Cadiz |
Spain |
| Torres, Leonardo |
IMDEA software |
Spain |
| Tourret, Sophie |
Université de Lorraine, CNRS, Inria, LORIA |
France |
| 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 |
| Trélat, Vincent |
Université de Lorraine, CNRS, INRIA, Loria |
France |
| Tsarkov, Dmitry |
Google Switzerland |
Switzerland |
| Tschannen, Julian |
ETH Zürich |
Switzerland |
| Tsiskaridze, Nestan |
Stanford University |
USA |
| Tsukada, Takeshi |
Chiba University |
Japan |
| Turhan, Anni-Yasmin |
Paderborn University |
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 |
| Ullrich, Sebastian |
|
|
| Uncu, Ali |
University of Bath |
UK |
| 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 |
Czech Technical University in Prague |
Czech Republic |
| Urbani, Jacopo |
Vrije Universiteit Amsterdam |
The Netherlands |
| Urbas, Matej |
University of Cambrideg, Cambridge |
UK |
| Uribe, Tomàs E. |
Department of Computer Science, Stanford University, Palo Alto, California |
USA |
| Vadiee, Farhad |
Department of Informatics at University of Bergen |
Norway |
| Vaillancourt, Dale |
Northeastern University, Boston, Massachusetts |
USA |
| Vallejo, Miguel Angel |
Departamento ISI, Universidad Polytecnica de Catalunya, Barcelona |
Spain |
| Van Der Giessen, Iris |
University of Birmingham |
United Kingdom |
| Van Gelder, Allen |
University of California, Santa Cruz, Santa Cruz, California |
USA |
| van Oostrom, Vincent |
University of Bath |
UK |
| 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 |
| Vasileva, Anna |
Technical University of Dortmund |
Germany |
| Vauthier, Christophe |
Ecole Normale Supérieure Paris |
France |
| 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 |
| Ventura, Pablo |
FaMAF - Universidad Nacional De Córdoba |
Argentina |
| Verchinine, Konstantin |
University Paris 12 |
France |
| Vergain, Baptiste |
University of Liège |
Belgium |
| 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 |
| Verrev, Martin |
|
|
| Vervloesem, Koen |
Institute of Philosophy, Katholieke Universiteit Leuven |
Belgium |
| Vescovi, Michele |
University of Trento, , Trento |
Italy |
| Vial, Pierre |
|
|
| Vieira de Melo, Ana Cristina |
Department of Computer Science, University of Sao Paulo, Sao Paulo |
Brazil |
| Vierling, Jannik |
Vienna University of Technology |
Austria |
| 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 |
| Villemot, Pierre |
OCamlPro |
France |
| Visser, Eelco |
Universiteit Utrecht, Utrecht |
The Netherlands |
| Viswanathan, Arjun |
The University of Iowa |
USA |
| 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 |
| Vukmirovic, Petar |
|
|
| Waaler, Arild |
University of Oslo |
Norway |
| Wagner, Dominik |
University of Oxford |
UK |
| Wagner, Eva |
TU Vienna |
Austria |
| Wagner, Marc |
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken |
Germany |
| Wahl, Thomas |
Northeastern University |
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 |
| Walter, Andrew Thomas |
|
|
| 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, Anduo |
|
|
| 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 |
| Waszkiewicz, Daniel |
National Inst. of Telecommunications |
Poland |
| Weber, Tjark |
Uppsala University |
Sweden |
| Weddell, Grant |
University of Waterloo, Waterloo, Ontario |
Canada |
| Weidenbach, Christoph |
Max Planck Institut für Informatik, Saarbrücken |
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 |
Universität Potsdam |
Germany |
| Wessel, Michael |
SRI International |
USA |
| Westfold, Stephen J. |
Kestrel Institute, Palo Alto, California |
USA |
| Whalen, Michael |
University of Minnesota |
USA |
| Whitehead, Bryan |
East Northport, NY |
USA |
| Whitters, Gerald |
University of Pennsylvania |
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 |
Free University of Bozen-Bolzano |
Italy |
| 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 |
| Wobito, Fabian |
Max Planck Institute for Informatics |
Germany |
| 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, Tianyi |
Qingdao Kedauis Information & Technology Co., Ltd |
China |
| Wu, Wei |
Zhejiang University |
China |
| Wu, Xiwei |
|
China |
| Wu, Zhe |
Oracle |
USA |
| Wu, Zhilin |
Institute of Software, Chinese Academy of Sciences |
China |
| Xavier, Bruno |
Universidade Federal do Rio Grande do Norte |
Brazil |
| Xi, Hongwei |
Boston University |
USA |
| Xiangxue, Jia |
Chinese Academy of Sciences, Beijing |
China |
| Xu, Mengwei |
University of Bristol |
UK |
| Xu, Runqing |
Johannes Gutenberg-Universität Mainz |
Germany |
| xu, Zhaowei |
Institute of Software, Chinese Academy of Sciences |
China |
| Yamada, Akihisa |
AIST |
Japan |
| Yamada, Keizo |
Department of Artificial Intelligence, Kyushu Institute of Technology, Kawazu, Iizuka |
Japan |
| Yang, Hui |
LISN |
France |
| Yehia, Wael |
York University, Toronto, ON |
Canada |
| Yin, Hongkai |
Central European University |
Austria |
| Yolcu, Emre |
|
|
| Yorsh, Greta |
Tel-Aviv University, Tel Aviv |
Israel |
| Yu, Emily |
Institute of Science and Technology Austria |
Austria |
| Yu, Jonathan H |
|
|
| Zamansky, Anna |
Vienna University of Technology |
Austria |
| Zankl, Harald |
|
Austria |
| Zantema, Hans |
Technical University Eindhoven, Eindhoven |
The Netherlands |
| Zappacosta, Silvana |
Department of Computing, Imperial College, London, England |
UK |
| Zawidzki, Michal |
|
|
| Zeilberger, Doron |
Department of Mathematics, Temple University, Philadelphia, Pennsylvania |
USA |
| Zeljić, Aleksandar |
Stanford University |
USA |
| Zhan, Bohua |
Institute of Software, Chinese Academy of Sciences |
China |
| 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 |
| Zhao, Yizheng |
Nanjing University |
China |
| Zhen, Li |
Computer Science Department, Manchester University, Manchester, England |
UK |
| Zheng, Sen |
University of Manchester |
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 |
Bar Ilan University |
Israel |
| Zucchelli, Daniele |
LORIA and INRIA-Lorraine |
France |
| Zuleger, Florian |
|
|
| Zulkoski, Ed |
Dept. of Computer Science, University of Waterloo, Waterloo |
Canada |
| Zwart, Maaike |
University of Oxford |
UK |