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

Registration

Information about registration are available at the registration page of the main event, the Vienna Summer of Logic. The same page gives the information about accomodation and transport

Venue

Please refer to the venue page of the Vienna Summer of Logic.

Attendance Policy

At least one author per accepted paper is expected to register for the workshop and to attend it to present the paper. If you have any questions, please contact the workshop organizers.