Confluence Competition

Participants (listed in order of registration)

toolcategories authors slides paper
infChecker INF Raúl Gutiérrez, Salvador Lucas pdf pdf
CoLL-Saigawa SRS, TRS Kiraku Shintani, Nao Hirokawa pdf pdf
Moca INF Yusuke Oi, Nao Hirokawa pdf pdf
CSI CPF-TRS, NFP, SRS, TRS, UNC, UNR Fabian Mitterwallner, Aart Middeldorp pdf pdf
FORT-h COM, GCR, NFP, UNC, UNR Fabian Mitterwallner, Aart Middeldorp, Bertram Felgenhauer pdf pdf
ConCon CPF-CTRS, CTRS, INF Christian Sternagel pdf pdf
CO3 CTRS, INF Naoki Nishida pdf pdf
CoLL COM Kiraku Shintani pdf pdf
nonreach INF Florian Meßner pdf pdf
ACP COM, CPF-TRS, CTRS, SRS, TRS, UNC Takahito Aoto pdf pdf
AGCP GCR Takahito Aoto pdf pdf
CSI^ho HRS Julian Nagele pdf pdf
CeTA CPF-CTRS, CPF-TRS Jonas Schöpf, Christian Sternagel, René Thiemann, Akihisa Yamada pdf pdf
SOL HRS Makoto Hamana, Kentaro Kikuchi, Faustin Date, Kazuki Fuju pdf pdf


categorytools
COM ACP, CoLL, FORT-h
CPF-CTRS ConCon+CeTA
CPF-TRS ACP+CeTA, CSI+CeTA
CTRS ACP, CO3, ConCon
GCR AGCP, FORT-h
HRS CSI^ho SOL
INF CO3, ConCon, infChecker, Moca, nonreach
NFP CSI, FORT-h
SRS ACP, CoLL-Saigawa, CSI
TRS ACP, CoLL-Saigawa, CSI
UNC ACP, CSI, FORT-h
UNR CSI, FORT-h