This page collects common information about the conference venue, registration, and travel for the following symposia taking place in Edinburgh in early September 2016:
- The 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016) on September 5-7, 2016.
- The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016), on September 6-8, 2016.
- The 23rd International Static Analysis Symposium (SAS 2016), September 8-11, 2016.
and affiliated workshops:
- The 7th Workshop on Tools for Automatic Program Analysis (TAPAS 2016) on September 7, 2016.
- The 7th International Workshop on Static Analysis and Systems Biology (SASB 2016) on September 7, 2016.
- The 6th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2016) on September 11, 2016.
- The Workshop on Static Analysis of Concurrent Software, on September 11, 2016.
- REPS AT SIXTY, a workshop in honor of Tom Reps' sixtieth birthday, on September 11, 2016.
These symposia will take place at the School of Informatics of the University of Edinburgh, 10 Crichton Street, Edinburgh, EH8 9AB. The main registration desk will be in the award-winning Informatics Forum building (opened in 2008). Some conference or workshop sessions will be in nearby buildings; please see the program (available at the registration desk) for details.
- James Cheney, University of Edinburgh
- Linda Hope (University of Edinburgh)
- Moreno Falaschi (University of Siena, Italy)
- Magdalena Mazurczak (University of Edinburgh)
PPDP, LOPSTR, and SAS gratefully acknowledge support from the Scottish Informatics and Computer Science Alliance (SICSA) for this event. Thanks to their generous support, we will be able to offer free registration to up to 10 PhD students at Scottish institutions for PPDP and LOPSTR, or for SAS and associated workshops.
SAS also gratefully acknowledges support from Facebook and Springer.
The REPS AT SIXTY symposium is supported by Microsoft Research.
We are grateful to the University of Edinburgh School of Informatics for use of space and administrative support.