|
CADE-27: 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
TALK AUTHOR INDEX
A | An, Jie | | Anantharaman, Siva | | Andrade de Melo, Alexsander | | Areces, Carlos | | B | Barbosa, Haniel | | Barrett, Clark | | Bentkamp, Alexander | | Bhayat, Ahmed | | Blanchette, Jasmin Christian | | Bohrer, Brandon | | Bromberger, Martin | | Brown, Chad | | C | Calvanese, Diego | | Cassano, Valentin | | Castro, Pablo | | Chen, Mingshuai | | Chvalovský, Karel | | Cordwell, Katherine | | Cremers, Cas | | Cruanes, Simon | | D | De Oliveira Oliveira, Mateus | | E | El Ouraoui, Daniel | | F | Fernandez, Manuel | | Fervari, Raul | | Fiori, Alberto | | Fleury, Mathias | | Furbach, Ulrich | | G | Gauthier, Thibault | | Ghilardi, Silvio | | Gianola, Alessandro | | Giesl, Jürgen | | Giesl, Peter | | Gutiérrez, Raúl | | H | Hark, Marcel | | Havlena, Vojtěch | | Hibbs, Peter | | Hirokawa, Nao | | Hoffmann, Guillaume | | Holik, Lukas | | J | Jakubuv, Jan | | K | Kaliszyk, Cezary | | Kapur, Deepak | | Kohl, Christina | | Krämer, Teresa | | L | Lengal, Ondrej | | Li, Di Long | | Lucas, Salvador | | M | Mahboubi, Assia | | Middeldorp, Aart | | Montali, Marco | | N | Nagele, Julian | | Narendran, Paliath | | Niemetz, Aina | | O | Oyamaguchi, Michio | | P | Pelletier, Francis Jeffry | | Peuter, Dennis | | Plaisted, David | | Platzer, André | | Popescu, Andrei | | Preiner, Mathias | | R | Rawson, Michael | | Reger, Giles | | Reynolds, Andrew | | Rivkin, Andrey | | Rusinowitch, Michael | | S | Schmidt, Renate A. | | Schon, Claudia | | Schulz, Stephan | | Schwarz, Simon | | Sebastiani, Roberto | | Sofronie-Stokkermans, Viorica | | Sternagel, Christian | | Suda, Martin | | Sutcliffe, Geoff | | T | Tammet, Tanel | | Tinelli, Cesare | | Tiu, Alwen | | Tourret, Sophie | | Traytel, Dmitriy | | Trentin, Patrick | | U | Urban, Josef | | V | van Oostrom, Vincent | | Vojnar, Tomas | | Voronkov, Andrei | | Vukmirović, Petar | | W | Waldmann, Uwe | | Wang, Jian | | Weidenbach, Christoph | | Winkler, Sarah | | Z | Zhan, Bohua | | Zhan, Naijun | | Zhao, Yizheng | | Zohar, Yoni | |
|
|