|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Alt, Leonardo | | B | Backeman, Peter | | Barbosa, Haniel | | Barrett, Clark | | Benzmüller, Christoph | | Biró, Csaba | | Bobot, François | | Bonacina, Maria Paola | | Brain, Martin | | Bury, Guillaume | | C | Conchon, Sylvain | | Coquereau, Albin | | Cruanes, Simon | | D | Delahaye, David | | Dvijotham, Krishnamurthy | | E | El Ouraoui, Daniel | | Erdélyi, Balázs | | F | Fontaine, Pascal | | G | Graham-Lengrand, Stephane | | Gurfinkel, Arie | | I | Iguernlala, Mohamed | | J | Jovanović, Dejan | | K | Kovásznai, Gergely | | M | Marre, Bruno | | N | Niemetz, Aina | | Noetzli, Andres | | P | Preiner, Mathias | | R | Reger, Giles | | Reitwiessner, Christian | | Reynolds, Andrew | | Riener, Martin | | Ruemmer, Philipp | | S | Schanda, Florian | | Schindler, Tanja | | Shankar, Natarajan | | Shoham, Sharon | | Smt-Comp Organizers, | | Sun, Youcheng | | T | Tinelli, Cesare | | V | Vizel, Yakir | | W | Wies, Thomas | | Wintersteiger, Christoph M. | | Z | Zeljić, Aleksandar | |
|
|