ACM Special Interest Group / Nuance Communications / /
Country
Taiwan / Switzerland / Germany / Romania / Netherlands / Croatia / Italy / Slovenia / Sweden / South Africa / New Zealand / Chile / Poland / Qatar / Egypt / Belgium / France / Japan / Russia / Austria / United States / Brazil / Canada / Australia / Portugal / United Kingdom / China / Singapore / Israel / Finland / Spain / Greece / India / Ireland / Denmark / Czech Republic / /
Facility
National University of Singapore / University of Bordeaux / Chalmers University / Stevens Institute of Technology / Saarland University / University of Innsbruck Local Organization Committee / Nanyang Technological University / University of Freiburg / University of Cambridge / University of Wroclaw / University of Warwick Program Committee The Program Committee / University of Oxford / University of Mass / King’s College / University of Leicester / University of Tokyo / ACM Digital Library / RWTH Aachen University / DePaul University / Indiana University / University of Lausanne / University of Torino / University of Bologna / Aarhus University / University of Birmingham / University of California / Ghent University / University of Salerno / /
Organization
DePaul University / University of Leicester / University of Mass / Aarhus University / Saarland University / National University of Singapore / University of Lausanne / Ghent University / University of Tokyo / Stevens Institute of Technology / Program Committee / University of Bologna / RWTH Aachen University / King’s College London / Indiana University / University of Bordeaux / University of Oxford / University of Birmingham / Association for Symbolic Logic / Association for Computing Machinery / Chalmers University / Federal Communications Commission / University of Cambridge / University of Torino / European Association for Theoretical Computer Science / European Association for Computer Science Logic / Innsbruck Local Organization Committee / Nanyang Technological University / University of Warwick / University of Wroclaw / University of Innsbruck / IEEE Computer Society / University of Salerno / University of Freiburg / University of California / San Diego / /
Person
Thomas Henzinger / Herman Geuvers / Igor Walukiewicz / Laura Kov / Assia Mahboubi / Andreas Podelski / Joel Ouaknine / Andrea Asperti / Viktor Kuncak / Georg Moser / Maribel Fernandez / Jacques Duparc / Andrew Pitts / Jasmin Fisher Contributed / Erich Gr / Valeria DePaiva / Simona Ronchi Della Rocca / Victor Vianu / Naoki Kobayashi / Patricia Bouyer-Decitre / Andrej Bauer / Dan Ghica / Holger Hermanns / Lars Birkedal / James Riely / Amr Sabry / Patrick Cousot Invited / Christel Baier / Neil Immerman / Gilles Barthe / Salvatore La Torre / Tom Schrijvers / Adriana Compagnoni / Jan Otop / Dale Miller / /
Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014