CC

International Conference on Compiler Construction

CC is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case.

Topics of interest include, but are not limited to:

Programme Committee

Invited Speaker

Don Batory, University of Texas at Austin

Conference Page

http://cc2007.cs.brown.edu/

ESOP

European Symposium on Programming,

ESOP is an annual conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. This includes:

Contributions bridging the gap between theory and practice are particularly welcome. Topics traditionally covered by ESOP include programming paradigms and their integration, semantics, calculi of computation, security and privacy, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Programme Committee

Invited Speaker

Andrew Pitts - Cambridge University, UK

Conference Page

http://rap.dsi.unifi.it/esop07/

FASE

Fundamental Approaches to Software Engineering

The information society is increasingly reliant on software at all levels. Hence, the ability to produce software of high quality at low cost is crucial to technological and social progress. An intrinsic characteristic of software that integrates with real-world processes is the need to evolve in order to adjust to new or changing requirements. Maintaining quality while embracing change is one of the main challenges of software engineering.
Software engineers have at their disposal theories, languages, methods, and tools that derive from both the systematic research of the academic community and the experience of practitioners. It is one of the roles of software engineering as a scientific discipline to foster feedback between academia and industry by proposing new solutions and evaluating the effectiveness of those solutions in practical contexts.
Submissions to FASE may address either novel proposed solutions or the evaluation of solutions, but they must clearly identify: the problem being solved, the proposed solution and its relationship to existing solutions, and, in the case of evaluations, the context in which the evaluation was conducted. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged.
A non-exclusive list of topics of interest is given below.

Programme Committee

Invited Speaker

Jan Bosch (Nokia, Finland)

Conference Page

http://fase07.di.fc.ul.pt

FOSSACS

Foundations of Software Science and Computation Structures

FOSSACS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Topics covered include, but are not limited to:

Programme Committee

Invited Speaker

Radha Jagadeesan, DePaul University

Conference Page

http://www2.in.tum.de/~seidl/fossacs07/

TACAS

Tools and Algorithms for the Construction and Analysis of Systems

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference serves to bridge the gaps between different communities that share common interests in, and techniques for, tool development and its algorithmic foundations. The research areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological systems. The TACAS forum provides a venue for such communities at which common problems, heuristics, algorithms, data structures and methodologies can be discussed and explored. In doing so, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

Tool descriptions and case studies with a conceptual message, as well as theoretical papers with clear relevance for tool construction are all encouraged. The specific topics covered by the conference include, but are not limited to, the following:

As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas and findings in general and jargon-independent, rather than in application- and domain-specific, terms. Authors reporting on tools or case studies are strongly encouraged to indicate how their experimental results can be reproduced and confirmed independently.

Programme Committee


Christel Baier
Universität Bonn, Bonn (Germany)
Armin Biere
Johannes Kepler Universität, Linz (Austria)
Jonathan Billington
University of South Australia, Mawson Lakes (Australia)
Ed Brinksma
ESI and University of Twente (The Netherlands)
Rance Cleaveland
University of Maryland & Fraunhofer USA Inc, College Park, Maryland (USA)
Byron Cook (tool chair)
Microsoft Research, Cambridge (UK)
Dennis Dams
Lucent Technologies, Murray Hill, New Jersey (USA)
Marsha Chechik
University of Toronto, Toronto (Canada)
Francois Fages
INRIA Rocquencourt, Le Chesnay Cedex (France)
Kathi Fisler
Worcester Polytechnic Institute, Worcester, Massachusetts (USA)
Limor Fix
Intel Research Laboratory at Pittsburgh, Pittsburgh, Pennsylvania (USA)
Hubert Garavel
INRIA Rhones-Alpes, Montbonnot Saint-Martin (France)
Susanne Graf
VERIMAG, Grenoble - Gières (France)
Orna Grumberg (co-chair)
TECHNION - Israel Institute of Technology, Haifa (Israel)
John Hatcliff
Kansas State University, Manhattan, Kansas (USA)
Holger Hermanns
Universität des Saarlandes, Saarbruecken (Germany)
Michael Huth (co-chair)
Imperial College London, London (UK)
Daniel Jackson
Massachusetts Institute of Technology, Cambridge, Massachusetts (USA)
Somesh Jha
The University of Wisconsin at Madison, Madison, Wisconsin (USA)
Orna Kupferman
Hebrew University, Jerusalem (Israel)
Marta Kwiatkowska
University of Birmingham, Birmingham, England (UK)
Kim Larsen
Aalborg University, Aalborg (Denmark)
Michael Leuschel
Heinrich-Heine-Universität Düsseldorf, Düsseldorf (Germany)
Andreas Podelski
Max-Planck-Institut für Informatik, Saarbrücken (Germany)
Tiziana Margaria-Steffen
Universität Potsdam, Potsdam (Germany)
Tom Melham
Oxford University, Oxford (UK)
Natarajan Shankar
SRI, Menlo Park, California (USA)
Bernhard Steffen
Universität Dortmund, Dortmund (Germany)
Lenore Zuck
University of Illinois, Chicago, Illinois (USA)

Invited Speaker

K. Rustan M. Leino (Microsoft Research, USA)

Conference Page

http://www.doc.ic.ac.uk/tacas07/

Valid HTML 4.01!