University of Manchester / Carnegie Mellon University / Vienna University of Technology / Institute of Computer Science / Kamp Christian Sternagel Thomas Stroeder Johannes Waldmann Harald Zankl Complutense University of Madrid Tel-Aviv Academic College Microsoft Research / University of Innsbruck / Southern Denmark University of Innsbruck RWTH Aachen HTWK Leipzig University / University College London University College London RWTH Aachen University of Lyon Universitat Polit`ecnica de Catalunya University / University of California / /
IndustryTerm
non-left-linear systems / solver technology / /
Organization
Carsten Fuhs Programme Committee / Austrian Science Fund / University College London University College London RWTH Aachen University of Lyon Universitat Polit`ecnica / University of California / Berkeley / Institute of Computer Science / Southern Denmark University / Kurt G¨odel Society / University of Manchester / Carnegie Mellon University / University of Innsbruck / Vienna University of Technology / University of Madrid Tel-Aviv Academic College Microsoft Research / /
Person
Kernels Jeroen Ketema / Jasmin Fisher / Laure Gonnord / Stephen Magill / Antoine Min / Alex Wilkie / Elvira Albert Amir Ben-Amram Byron / Johannes Waldmann / Carsten Fuhs / Kazuhiro Ogata / Lars Hellstr / Alexander Bau / Byron Cook / Fernando Pereira / Dana Scott / Raphael Rodrigues / Haruhiko Sato / Naoki Nishida / Matthew Parkinson / Dieter Hofbauer / Hans Zantema / Thomas Stroeder / Heidy Khlaaf / Caterina Urban / Etienne Payet / Nir Piterman / Heinz Fischer / Thomas Eiter / Alastair Donaldson / Franz Baader / Helmut Veith iii / Ben-Amram Byron Cook Carsten Fuhs / Joerg Endrullis / Harald Zankl / Thiemann Waldmann / Laure Gonnord Albert Rubio Peter / Fred Mesnard / Aart Middeldorp / Martin Avanzini / Edmund Clarke / Takumi Kataoka Non / Sarah Winkler / Matthias Baaz / /