Substructural logics: semantics, proof theory, and applications
26–28 February 2018, Vienna (Austria)
Second SYSMICS Workshop
Participants
- Matteo Acclavio - LIX, INRIA
- Andrea Aler Tubella - IRIF, Univ. Paris Diderot
- Federico Aschieri - TU Wien
- Arnon Avron - Tel Aviv University
- Matthias Baaz - TU Wien
- Paolo Baldi - TU Wien
- Gianluigi Bellin - University of Verona
- Kees van Berkel - TU Wien
- Matteo Bianchi - Università degli Studi dell'Insubria
- Stefano Bonzio - Università Politecnica delle Marche
- Kaustuv Chaudhuri - Inria & Ecole polytechnique
- Agata Ciabattoni - TU Wien
- Petr Cintula - Czech Academy of Sciences
- Tiziano Dalmonte - Aix-Marseille University
- Gabriel Ebner - TU Wien
- Chris Fermüller - TU Wien
- Nissim Francez - Computer Science Faculty, Technion
- Didier Galmiche - LORIA - Université de Lorraine
- Francesco A. Genco - TU Wien
- José Gil-Férez - University of Bern
- Marianna Girlando - Aix-Marseille University
- Francesca Gulisano - Scuola Normale Superiore di Pisa
- Stefan Hetzl - TU Wien
- Ahmad Karimi - Behbahan Khatam Alanbia University of Technology
- Jens Katelaan - TU Wien
- Lia Kurtanidze - Georgian University
- Roman Kuznets - TU Wien
- Timo Lang - TU Wien
- Dominique Larchey-Wendling - LORIA-CNRS
- Tomáš Lávička - Czech Academy of Sciences
- Björn Lellmann - TU Wien
- Fei Liang - TU Delft
- Tim Lyon - TU Wien
- Matteo Maffei - TU Wien
- Alexandra Meireles - TU Wien
- Claudia Nalon - University of Brasília
- Carlos Olarte - UFRN
- Nicola Olivetti - Aix-Marseille University, LIS
- Magdalena Ortiz - TU Wien
- Francesco Paoli - Università di Cagliari
- Matteo Pascucci - TU Wien
- Sanja Pavlovic - TU Wien
- Jorge A. Pérez - University of Groningen, The Netherlands
- Perceval Pillon - University Paris 1
- Elaine Pimentel - Universidade Federal do Rio Grande do Norte
- Michele Pra Baldi - University of Padua
- Adam Prenosil - Czech Academy of Sciences
- Giuseppe Primiero - Middlesex University London
- David Pym - University College London
- Revantha Ramanayake - TU Wien
- Luigi Santocanale - Aix-Marseille University
- Markus Scherer - TU Wien
- Lutz Straßburger - Inria
- Alwen Tiu - Australian National University Canberra
- Luca Tranchini - Tübingen University
- Apostolos Tzimoulis - TU Delft
- Philip Wadler - University of Edinburgh