|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Abbasizanjani, Hoda | | Achlioptas, Dimitris | | B | Bacchus, Fahiem | | Bansal, Sorav | | Becker, Bernd | | Berryhill, Ryan | | Beyersdorff, Olaf | | Bjorner, Nikolaj | | C | Cimatti, Alessandro | | E | Ehlers, Rüdiger | | Elffers, Jan | | F | Fichte, Johannes K. | | Friedrich, Tobias | | G | Galesi, Nicola | | Ganesh, Vijay | | Giráldez-Crú, Jesús | | Gleiss, Bernhard | | Gocht, Stephan | | Griggio, Alberto | | Gupta, Shubhani | | H | Hammoudeh, Zayd | | Hecher, Markus | | Heule, Marijn | | Hoos, Holger | | I | Ignatiev, Alexey | | Irfan, Ahmed | | Ivrii, Alexander | | J | Jamali, Sima | | Janota, Mikolas | | Järvisalo, Matti | | K | Kauers, Manuel | | Kochemazov, Stepan | | Korneev, Svyatoslav | | Kullmann, Oliver | | L | Lampis, Michael | | Li, Chunxiao | | Liang, Jia | | Luo, Chuan | | M | Mahajan, Anmol | | Marques-Silva, Joao | | Martins, Ruben | | Mathews, Minu | | Mengel, Stefan | | Mitchell, David | | Mitsou, Valia | | Morak, Michael | | Morgado, Antonio | | N | Nadel, Alexander | | Narodytska, Nina | | Nordstrom, Jakob | | O | Oh, Chanseok | | P | Palau Romero, Francisco | | Paxian, Tobias | | Peitl, Tomáš | | Pulina, Luca | | R | Reimer, Sven | | Roberts, Hannah | | Rothenberger, Ralf | | Roveri, Marco | | Ryvchin, Vadim | | S | Sagiv, Mooly | | Santhanam, Rahul | | Saxena, Aseem | | Scholl, Christoph | | Sebastiani, Roberto | | Seidl, Martina | | Slivovsky, Friedrich | | Smith, Michael | | Suda, Martin | | Szeider, Stefan | | T | Tacchella, Armando | | Talebanfard, Navid | | Theodoropoulos, Panos | | Thomas, Ciza | | Toran, Jacobo | | V | Veneris, Andreas | | Vinyals, Marc | | W | Weaver, Sean | | West, Adam | | Wintersteiger, Christoph M. | | Woltran, Stefan | | Z | Zaikin, Oleg | |
|
|