DANSAS 2012, Odense, August 24
Aims
We continue the DANSAS tradition from the 2009, 2010, and 2011 symposiums, by inviting all interested parties to participate in the fourth Danish Static Analysis Symposium (DANSAS'12).
Concretely, our long and short term aims are:
- to collect the Danish expertise in static analysis,
- to further strengthen Denmark's profile in the field,
- to discuss the latest break-throughs, and
- to further cooperation between the universities in Denmark.
Form
DANSAS'12 is a one-day symposium, held August 24, 2012 on the Odense campus of the University of Southern Denmark. The symposium will consist of a range of research presentations. In addition Nikolaj Bjørner, Microsoft Research, will give an invited talk on the topic "Symbolic program analysis and model checking as Satisfiability Modulo Theories".
DANSAS is a friendly, non-competitive venue where
- researchers present tutorials, new ideas, or work in progress,
- leading researchers present retrospectives or overviews covering research efforts over a number of years,
- students present and receive feedback on their research from leading experts in the field.
We also welcome representatives from industry with interest in static analysis technology.
Keywords: inspiration, networking, collaboration.
Scope
We welcome talks on all topics related to static analysis, including, but not limited to:
- abstract interpretation
- compiler optimizations
- constraint based analysis
- control flow analysis
- data flow analysis
- model checking
- program specialization
- security analysis
- termination analysis
- type based analysis
Important Dates
- Deadline for abstracts: August 13
- Deadline for participation: August 21
- Day of the Symposium: August 24
Submission information
To propose a speaker, either yourself or someone else, please submit a title, a list of authors, and an abstract (1-3 paragraphs) to dansas@lists.imada.sdu.dk. We also welcome abstracts from international visitors at the Danish universities. If the number of submitted abstracts exceeds the number of available talks the organizers will perform a selection. The selection will be carried out to:
- ensure a breadth of topics,
- cover both theoretical and applied research, and
- reflect the geographical distribution throughout Denmark.
Talks are standard conference length (30 min. including questions). Speakers can however request a shorter time slot, e.g., for tool presentations, or a longer time slot, e.g., for retrospectives.
Practicalities
- One day event: August 24, 2012
- Time: 9.30 - 17.00
- Location: University of Southern Denmark, Campusvej 55, Odense M
Organizers
- Jan Midtgaard, Aarhus University
- Christian W. Probst, Technical University of Denmark
- René Rydhof Hansen, Aalborg University
- Peter Schneider-Kamp, University of Southern Denmark
Sponsor
DANSAS'12 is kindly sponsored by:
