10th Workshop
Computational Logic and Applications
Göteborg, Sweden, 18-19 May 2017
Participants
- Cyril Banderier (CNRS/Univ. Paris Nord)
- Maciej Bendkowski (Jagiellonian University, Poland)
- Martin Berger (University of Sussex, UK)
- Olivier Bodini (LIPN Université Paris 13, France)
- Julien Courtiel (LIPN Université Paris 13, France)
- Sergey Dovgal (LIPN Université Paris 13, France)
- Guglielmo Fachini (INRIA, France)
- Bernhard Gittenberger (TU Wien, Austria)
- Katarzyna Grygiel (Jagiellonian University, Poland)
- John Hughes (Chalmers University/Quviq AB, Sweden)
- Patrik Jansson (Chalmers University, Sweden)
- Leonidas Lampropoulos (University of Pennsylvania, US)
- Isabella Larcher (TU Wien, Austria)
- Pierre Lescanne (LIP ENS de Lyon, France)
- Alberto Momigliano (Dipartimento di Informatica, Università degli Studi di Milano, Italy)
- Michał Pałka (Chalmers University, Sweden)
- Simon Poulding (Blekinge Institute of Technology, Sweden)
- Paul Tarau (University of North Texas, US)
- Marek Zaionc (Jagiellonian University, Poland)
- Noam Zeilberger (University of Birmingham, UK)