Substructural logics: semantics, proof theory, and applications

26–28 February 2018, Vienna (Austria)

Second SYSMICS Workshop

Giada Coppi

Participants
  1. Matteo Acclavio - LIX, INRIA
  2. Andrea Aler Tubella - IRIF, Univ. Paris Diderot
  3. Federico Aschieri - TU Wien
  4. Arnon Avron - Tel Aviv University
  5. Matthias Baaz - TU Wien
  6. Paolo Baldi - TU Wien
  7. Gianluigi Bellin - University of Verona
  8. Kees van Berkel - TU Wien
  9. Matteo Bianchi - Università degli Studi dell'Insubria
  10. Stefano Bonzio - Università Politecnica delle Marche
  11. Kaustuv Chaudhuri - Inria & Ecole polytechnique
  12. Agata Ciabattoni - TU Wien
  13. Petr Cintula - Czech Academy of Sciences
  14. Tiziano Dalmonte - Aix-Marseille University
  15. Gabriel Ebner - TU Wien
  16. Chris Fermüller - TU Wien
  17. Nissim Francez - Computer Science Faculty, Technion
  18. Didier Galmiche - LORIA - Université de Lorraine
  19. Francesco A. Genco - TU Wien
  20. José Gil-Férez - University of Bern
  21. Marianna Girlando - Aix-Marseille University
  22. Francesca Gulisano - Scuola Normale Superiore di Pisa
  23. Stefan Hetzl - TU Wien
  24. Ahmad Karimi - Behbahan Khatam Alanbia University of Technology
  25. Jens Katelaan - TU Wien
  26. Lia Kurtanidze - Georgian University
  27. Roman Kuznets - TU Wien
  28. Timo Lang - TU Wien
  29. Dominique Larchey-Wendling - LORIA-CNRS
  30. Tomáš Lávička - Czech Academy of Sciences
  31. Björn Lellmann - TU Wien
  32. Fei Liang - TU Delft
  33. Tim Lyon - TU Wien
  34. Matteo Maffei - TU Wien
  35. Alexandra Meireles - TU Wien
  36. Claudia Nalon - University of Brasília
  37. Carlos Olarte - UFRN
  38. Nicola Olivetti - Aix-Marseille University, LIS
  39. Magdalena Ortiz - TU Wien
  40. Francesco Paoli - Università di Cagliari
  41. Matteo Pascucci - TU Wien
  42. Sanja Pavlovic - TU Wien
  43. Jorge A. Pérez - University of Groningen, The Netherlands
  44. Perceval Pillon - University Paris 1
  45. Elaine Pimentel - Universidade Federal do Rio Grande do Norte
  46. Michele Pra Baldi - University of Padua
  47. Adam Prenosil - Czech Academy of Sciences
  48. Giuseppe Primiero - Middlesex University London
  49. David Pym - University College London
  50. Revantha Ramanayake - TU Wien
  51. Luigi Santocanale - Aix-Marseille University
  52. Markus Scherer - TU Wien
  53. Lutz Straßburger - Inria
  54. Alwen Tiu - Australian National University Canberra
  55. Luca Tranchini - Tübingen University
  56. Apostolos Tzimoulis - TU Delft
  57. Philip Wadler - University of Edinburgh