|
CSL18: COMPUTER SCIENCE LOGIC 2018
TALK AUTHOR INDEX
A | Abramsky, Samson | | Abu Zaid, Faried | | Ahrens, Benedikt | | Alcolei, Aurore | | Altenkirch, Thorsten | | Angiuli, Carlo | | Ariola, Zena | | Atserias, Albert | | Avron, Arnon | | B | Baillot, Patrick | | Basset, Nicolas | | Behr, Nicolas | | Bodirsky, Manuel | | Bonchi, Filippo | | Bouyer, Patricia | | Bérard, Béatrice | | C | Chadha, Rohit | | Chouquet, Jules | | Clairambault, Pierre | | Coecke, Bob | | Cohen, Liron | | D | Das, Anupam | | Dawar, Anuj | | Doumane, Amina | | Downen, Paul | | F | Ferrarotti, Flavio | | Fijalkow, Nathanaël | | Filiot, Emmanuel | | G | Gehrke, Mai | | Ghyselen, Alexis | | Gowers, W. John | | Grädel, Erich | | H | Harper, Robert | | Hirschowitz, André | | Ho, Weng Kin | | Hoelzel, Matthias | | Hou Favonia, Kuen-Bang | | Huth, Michael | | Hyland, Martin | | J | Jecker, Ismaël | | Jugé, Vincent | | K | Kawata, Tor | | Krebs, Andreas | | Kuske, Dietrich | | L | Lafont, Ambroise | | Laird, James | | Lawson, Jimmie | | Lev, Shahar | | Levi, Nissan | | Lindner, Peter | | Lodaya, Kamal | | Lopez, Aliaume | | Lück, Martin | | M | Madhusudan, P. | | Maggesi, Marco | | Mamino, Marcello | | Marsden, Dan | | Mathur, Umang | | Maubert, Bastien | | McCusker, Guy | | Mislove, Michael | | Murano, Aniello | | N | Neider, Daniel | | Nollet, Rémi | | O | Oitavem, Isabel | | P | Palamidessi, Catuscia | | Pandya, Paritosh | | Paquet, Hugo | | Pauly, Arno | | Pfenning, Frank | | Pous, Damien | | R | Raskin, Jean-Francois | | Rowe, Reuben | | Rubin, Sasha | | S | Saha, Shambwaditya | | Santamaria, Alessio | | Saurin, Alexis | | Schewe, Sven | | Seeber, Jens | | Shah, Nihil | | Simpson, Alex | | Sistla, A. Prasad | | Sobocinski, Pawel | | Straubing, Howard | | T | Tasson, Christine | | Terui, Kazushige | | Toruńczyk, Szymon | | V | Van den Bogaard, Marie | | Van den Bussche, Jan | | Vaux Auclair, Lionel | | Viola, Caterina | | Virtema, Jonni | | Viswanathan, Mahesh | | W | Weinert, Alexander | | Wilsenach, Gregory | | Winskel, Glynn | | Z | Zimmermann, Martin | | Zwart, Maaike | |
|
|