Student Work-in-progress Workshop
Workshop description

The Student Work-in-progress Workshop, co-located with ATVA'19, is an informal workshop mainly targeted to students. The main purpose of the workshop is to get students meet together to present their current research, discuss it with other students and experienced researchers, make some practice in giving a talk, and get some feedback on how to improve the talk.
All talks are expected to be in English.

The workshop has no formal proceedings, so it is completely fine to propose a talk on extensions of an already published paper, on a draft submitted to a conference/journal, or on a topic still in an early stage of research.

Talk proposal submission

We invite students to submit their talk proposal falling in one of the main topics of ATVA'19, given the expected audience; talks focusing on topics different than those of ATVA'19 are also welcome, as long as they reasonably meet audience's interest. The talk proposal consists of an extended abstract, written in English and of reasonable length (say, between 2 and 4 pages long), briefly presenting the main argument of the talk, its relative literature, and the principal results (expected to be) achieved on it.
Given the fact that the workshop has no formal proceedings, there is no mandatory format for the extended abstract. We suggest, anyway, to use a format commonly adopted in theoretical computer science conferences, like the Springer's LNCS style format or the LIPIcs style format.
The extended abstract is expected to be submitted as a PDF document sent by email to the organization chair.

Important dates
Abstract submission:
July 14, 2019 (AoE)
July 22, 2019
October 31, 2019