|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
B | Bhaskar, Siddharth | | Bojanczyk, Mikolaj | | D | Dal Lago, Ugo | | Das, Anupam | | H | Hermenegildo, Manuel V. | | J | Jost, Steffen | | K | Klemen, Maximiliano | | L | Lindell, Steven | | Liqat, Umer | | Lopez-Garcia, Pedro | | M | Müller, Moritz | | N | Nigam, Vivek | | O | Oitavem, Isabel | | P | Pich, Ján | | Pin, Edwin | | S | Sannella, Don | | W | Weinstein, Scott | |
|
|