Confluence Competition

Participants (listed in order of registration)

toolcategories authorsslides paper
infChecker INF Raúl Gutiérrez, Salvador Lucas pdf pdf
CO3 CTRS, INF Naoki Nishida, Yuya Maeda pdf pdf
ACP COM, CPF-TRS, CTRS, SRS, TRS, UNC Takahito Aoto, Masaomi Yamaguchi pdf pdf
AGCP GCR Takahito Aoto pdf pdf
noko-leipzig SRS Johannes Waldmann pdf pdf
CSI CPF-TRS, NFP, SRS, TRS, UNC, UNR Bertram Felgenhauer, Aart Middeldorp, Fabian Mitterwallner pdf pdf
FORT COM, GCR, NFP, UNC, UNR Franziska Rapp, Aart Middeldorp pdf pdf
Moca INF Yusuke Oi, Nao Hirokawa pdf pdf
CoLL-Saigawa SRS, TRS Kiraku Shintani, Nao Hirokawa pdf pdf
CoLL COM Kiraku Shintani pdf pdf
CSI^ho HRS Julian Nagele pdf pdf
ConCon CPF-CTRS, CTRS, INF Christian Sternagel, Sarah Winkler pdf pdf
CeTA CPF-CTRS, CPF-TRS Christian Sternagel, Sarah Winkler pdf pdf
nonreach INF Florian Meßner, Christian Sternagel pdf pdf
maedmax INF Sarah Winkler pdf pdf


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