DANSAS 2010, Odense, August 19

Aims

As a follow up to last year's successful symposium, we invite all interested parties to participate in the second Danish Static Analysis Symposium (DANSAS'10).

Concretely, our 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'10 is a one-day symposium, held August 19, 2010 on the Odense campus of the University of Southern Denmark. The symposium will consist of a range of research presentations. In addition Jens Palsberg, UCLA, will give an invited talk on the topic "Static Analysis of Parallel Languages".

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.

Program

The list of talks is available from the preliminary program. The final symposium schedule will follow shortly.

Important Dates

Deadline for participation: August 12
Day of the Symposium: August 19

Registration

Thanks to our kind sponsor the symposium (incl. lunch and coffee) is free of charge but requires registration.

To register for DANSAS'10 send an email to dansas@imada.sdu.dk with Subject: Registration containing your

name,
affiliation,
email address,
homepage URL (optional), and
any dietary restrictions (for lunch)

A preliminary list of registered participants is available here.

Practicalities

One day event: August 19, 2010
Time: 9.30 - 17.00
Location: University of Southern Denmark, Campusvej 55, Odense M

Organizers

Sponsor

DANSAS'10 is kindly sponsored by:

the OSAW project at IMADA, University of Southern Denmark.