Saturday, February 27, 2016

[DMANET] SPIN 2016 - Call for Participation - Early registration deadline 1 March 2016

======================================================================
CALL FOR PARTICIPATION

SPIN 2016

23rd International SPIN Symposium on Model Checking of Software
7--8 April 2016, Eindhoven, The Netherlands
http://www.spin2016.info<http://www.spin2016.info/>
(colocated with ETAPS 2016)
======================================================================

---- ABOUT SPIN ----

The 23rd edition of the SPIN symposium aims at bringing together
practitioners and researchers interested in symbolic and state
space-based techniques for the validation and analysis of software
systems. Techniques and empirical evaluations based
on explicit representations of state spaces, as implemented in
the SPIN model checker or other tools, or techniques based on the
combination of explicit representations with other representations,
are the focus of this symposium.

We particularly welcome papers describing the development and
application of state space exploration techniques in testing and
verifying embedded software, safety-critical software, enterprise
and web applications, and other interesting software platforms. The
symposium aims to encourage interactions and exchanges of ideas with
all related areas in software engineering.

SPIN 2016 will be colocated with the 19th European Joint Conferences on
Theory and Practice of Software (ETAPS 2016). An overview of the previous
SPIN symposia can be found at http://spinroot.com/spin/Workshops.

---- INVITED SPEAKERS ----

Shaz Qadeer (Microsoft Research, USA)
Pierre Wolper (Université de Liege, BEL)
Tim Willemse (Eindhoven University of Technology, NL)

---- CONTRIBUTED PAPERS ----

A list of accepted papers is available at the symposium website.
Shortly, we will announce the programme.

http://www.spin2016.info/programme.html

---- REGISTRATION ----

Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1), via
the ETAPS registration page.

Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).

http://www.spin2016.info/registration.html

---- ACCOMMODATION ----

We request that participants arrange their accommodation on their own.
See our recommendations on the symposium website.

http://www.spin2016.info/venue.html

-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.

---- CHAIRS ----

Dragan Bošnački (Eindhoven University of Technology)
Anton Wijs (Eindhoven University of Technology)

---- HOST INSTITUTION ----

Both SPIN 2016 and ETAPS 2016 are hosted by Faculteit Wiskunde
en Informatica, Eindhoven University of Technology.

---- FURTHER INFORMATION ----

Please do not hesitate to contact the organizers at
d.bosnacki@tue.nl<mailto:d.bosnacki@tue.nl>, a.j.wijs@tue.nl<mailto:a.j.wijs@tue.nl>.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************