FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
TALK AUTHOR INDEX
A
Abdulla, Parosh Aziz
Antonino, Pedro
Astefanoaei, Lacramioara
Atig, Mohamed Faouzi
B
Bardin, Sébastien
Becker, Hanno
Benes, Nikola
Bensalem, Saddek
Biondi, Fabrizio
Bisgaard, Morten
Bosnacki, Dragan
Bozga, Marius
Brabrand, Claus
Brim, Lubos
Broy, Manfred
Böhm, Stanislav
C
Cavada, Roberto
Chand, Saksham
Chen, Mingshuai
Chen, Xiaohong
Chen, Xin
Chen, Yuqi
Cheng, Chih-Hong
Chifflier, Pierre
Chin, Wei-Ngan
Cimatti, Alessandro
Colvin, Robert
Combaz, Jacques
Crema, Luigi
Crespo, Juan Manuel
D
David, Cristina
Day, Nancy
Dellabani, Mahieddine
Demko, Martin
Diep, Bui Phi
Dimovski, Aleksandar S.
Djoudi, Adel
Dong, Jin Song
F
Feyling, Claus
Filipovikj, Predrag
Flores Montoya, Antonio E.
Fränzle, Martin
G
Galowicz, Jacek
Gerhardt, David
Ghezzi, Carlo
Ghorbal, Khalil
Giannakopoulou, Dimitra
Giantamidis, Georgios
Gibson-Robinson, Thomas
Gomes, Victor B. F.
Gotsman, Alexey
Goubault, Éric
Griesmayer, Andreas
Grov, Gudmund
Grumberg, Orna
Gu, Ming
Guck, Dennis
H
Hansen, Michael R.
Hasanagic, Miran
Hayes, Ian J.
Hensel, Ulrich
Hermanns, Holger
Hiet, Guillaume
Hirai, Yoichi
Hoa, Koh Chuen
Hofmann, Martin
Holzer, Andreas
Honiden, Shinichi
Hou, Zhe
Huang, Chao
Huang, Wen-Ling
I
Ipate, Florentin
Ishikawa, Fuyuki
J
Jancar, Petr
Jiang, Yu
Jiao, Li
Johansen, Christian
Johnson, Taylor T
Joshi, Saurabh
K
Kawamoto, Yusuke
Kesseli, Pascal
Khoo, Siau-Cheng
Khyzha, Artem
Kobayashi, Tsutomu
Kong, Hui
Kong, Pingfan
Kroening, Daniel
Krčál, Jan
Kunz, César
L
Lahav, Ori
Larsen, Peter Gorm
Lausdahl, Kenneth
Le, Ton Chanh
Legay, Axel
Letan, Thomas
Lewis, Matt
Li, Li
Li, Yangjia
Li, Yi
Lin, Wang
Lin, Yuhui
Liu, Annie
Liu, Han
Liu, Yang
Liu, Zhiming
Ljungkrantz, Oscar
Luteberget, Bjørnar
Lönn, Henrik
M
Mahmud, Nesredin
Marinescu, Raluca
Meca, Ondřej
Meinicke, Larissa
Melham, Tom
Menghi, Claudio
Morin, Benjamin
Mosaad, Peter N.
Mover, Sergio
Mukherjee, Rajdeep
N
Nakata, Keiko
Neele, Thomas
Nies, Gilles
Néron, Pierre
O
O'Hearn, Peter
Ody, Heinrich
P
Parkinson, Matthew
Pastva, Samuel
Peleska, Jan
Poskitt, Christopher M.
Predut, Sorina
R
Roccabruna, Mattia
Roscoe, Bill
Rothenberg, Bat-Chen
Ruess, Harald
S
Sacchini, Jorge Luis
Sanan, David
Schumann, Johann
Schwartz-Narbonne, Daniel
Seceleanu, Cristina
Senjak, Christoph-Simon
Sessa, Mirko
Sha, Lui
Sogokon, Andrew
Song, Houbing
Spoletini, Paola
Stefanescu, Alin
Steffen, Martin
Stenger, Marvin
Stoenescu, Teodor
Stoller, Scott
Strichman, Ofer
Struth, Georg
Sun, Jiaguang
Sun, Jun
Sun, Meng
T
Ta, Quang-Trung
Tabaei Befrouei, Mitra
Tews, Hendrik
Tiu, Alwen
Tonetta, Stefano
Tripakis, Stavros
Tuerk, Thomas
Tumas, Vytautas
V
Vafeiadis, Viktor
Vakili, Amirhossein
Veitsman, Maor
Velykis, Andrius
W
W. V. Tran-Jørgensen, Peter
Wang, Jingyi
Wang, Shuling
Wasowski, Andrzej
Weissenbacher, Georg
Wies, Thomas
Wijs, Anton
Winter, Kirsten
Y
Yan, Gaogao
Yang, Zhengfeng
Z
Zhan, Naijun
Zhang, Huafeng
Š
Šafránek, David