Important Dates

    Papers due:
    20 April 2014
    30 April 2014 (extended)
  • Notification:
    31 May 2014
  • Pre-proceeding version due:
    6 July 2014
  • Final version due:
    27 July 2014
    (after the workshop)
  • Workshop:
    18 July 2014

Previous Editions

STAST 2011:
stast2011.uni.lu

STAST 2012:
stast2012.uni.lu

STAST 2013:
stast2013.uni.lu

Main Event

Vienna Summer of Logic 2014

Supported by

SnT

SnT

UNICT

DTU

DMU

Organization

Workshop Chairs

  • Bella, Giampaolo (Univ. of Catania, IT)
  • Lenzini, Gabriele (Univ. of Luxembourg, L)

Programme Chairs and Co-Chairs

  • Probst, Christian W. (DTU, DK)
  • Ashenden, Debi M. (Cranfield Uni., UK)

Programme Committee

  • Bishop, Matt (Univ. of California Davis, USA)
  • Garg, Vaibhav (Drexel Univ., USA)
  • Herley, Cormac (Microsoft Research, USA)
  • Kammueller, Florian (Middlesex Univ., UK)
  • Martina, Jean Everson (Univ. Federal de Santa Catarina, BR)
  • Montoya, Lorena (Univ. of Twente, NL)
  • Moore, Andrew P. (CERT/SEI, USA)
  • Moore, Tyler (Southern Methodist Univ., USA)
  • Morgan, H. Llewellyn (specularX, USA)
  • Nadjm-Tehrani, Simin (Linköping Univ., SE)
  • Pellegrino, Giancarlo (Eurecom, FR)
  • Ortlieb, Martin (Google, CH)
  • Pieters, Wolter (Univ. of Twente and TU Delft, NL)
  • Ryan, Peter Y. A. (Univ. of Luxembourg, LU)
  • van Deursen, Nicole (Edinburgh Napier University, UK)
  • Volkamer, Melanie (TU Darmstadt, DE)
  • Wash, Rick (Michigan State University, USA)
  • Woodruff, Allison (Google, USA)
  • Yan, Jeff (Newcastle Univ., UK)