|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Adams, Robin | | Asadi, Sepideh | | Athanasiou, Konstantinos | | B | Beckert, Bernhard | | Bingmann, Timo | | Bohrer, Brandon | | C | Cheng, Chih-Hong | | Cherif, Mohamed Sami | | Chockler, Hana | | Chrząszcz, Jacek | | Coglio, Alessandro | | Cok, David | | Cook, Byron | | Crary, Karl | | Czarnik, Patryk | | D | Dietsch, Daniel | | Dimitrova, Rayna | | E | Emmi, Michael | | Even-Mendoza, Karine | | F | Férée, Hugo | | G | Gurfinkel, Arie | | H | Heizmann, Matthias | | Ho, Son | | Hoenicke, Jochen | | Huang, Chung-Hao | | Hyvärinen, Antti | | J | Jomaa, Narjes | | K | Kahsai, Temesghen | | Ketab Ghale, Milad | | Kiefer, Moritz | | Kumar, Ramana | | L | Lin, Fangzhen | | M | MacCarthaigh, Colm | | Matthews, Stuart | | Myreen, Magnus O. | | N | Navas, Jorge A | | Nishida, Naoki | | Nowak, David | | Nutz, Alexander | | Nührenberg, Georg | | O | Oberhauser, Jonas | | Owens, Scott | | P | Pattinson, Dirk | | Podelski, Andreas | | Pohjola, Johannes Åman | | R | Rajkhowa, Pritom | | Ruess, Harald | | S | Sanders, Peter | | Schubert, Aleksy | | Schupp, Sibylle | | Schwartz-Narbonne, Daniel | | Sharygina, Natasha | | T | Tasiran, Serdar | | Tinelli, Cesare | | Torrini, Paolo | | U | Ulbrich, Mattias | | W | Weigl, Alexander | | Winkler, Sarah | | Z | Zakrzewski, Jakub | |
|
|