Topics of interest are e.g. implementation of declarative concepts, integration of different paradigms, compiler specification and construction, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, experiences in constructing applications, typing and structuring systems. SAS Third International Static Analysis Symposium SAS aims to promote theory and applications of static analysis as a fundamental tool in high performance language implementations and program verification. Aachen is a beautiful old city, which was founded by Charles the Great at the end of the 8th century. The cathedral and the town hall from that period are still preserved. The latter was used for the crowning ceremony of the German kings in the Middle Ages.
Rain is always possible in Aachen.
Thus, do not forget some warm clothes and an umbrella. After a few hours, you will get a list of matching train connections. The shuttle can bring you directly to your hotel. The department is located in Ahornstrasse 55. The bus stops right in front of the building.