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: * compilation and interpretation techniques, including program * representation and analysis, code generation and code optimization * run-time techniques, including memory management and dynamic and * just-in-time compilation * programming tools, from refactoring editors to checkers to compilers to * virtual machines to debuggers * techniques for specific domains, such as secure, parallel, distributed, * embedded or mobile environments * design of novel language constructs and their implementation Programme Committee * Eric Allen, Sun Microsystems, Inc. * Emery Berger, University of Massachusetts Amherst * Rastislav Bodik, University of California, Berkeley * William Cook, University of Texas at Austin * Chen Ding, University of Rochester * Sabine Glesner, Technical University of Berlin * Dan Grossman, University of Washington * Rajiv Gupta, University of Arizona * Andrew Kennedy, Microsoft Research Cambridge * Shriram Krishnamurthi, Brown University (co-chair) * Christian Lengauer, University of Passau * Cristina Videira Lopes, University of California, Irvine * Todd Millstein, University of California, Los Angeles * Martin Odersky, Ecole Polytechnique Fédérale de Lausanne (co-chair) * G. Ramalingam, IBM Research * Vijay Saraswat, IBM TJ Watson Research Center * Zhong Shao, Yale University * Yannis Smaragdakis, Georgia Tech * Gregor Snelting, University of Passau * Joost Visser, Universidade do Minho * Reinhard Wilhelm, Saarland University 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: * Design of programming languages and calculi and their formal properties * Techniques, methods, and tools for their implementation * Exploitation of programming styles within different programming * paradigms * Automatic and manual methods for generating and reasoning about * programs * The design and invention of systems and tools to assist in exploitation * of the languages 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 * Steve Brookes - CMU Pitsburgh, USA * Gerard Boudol - INRIA Sophia Antipolis, France * Giuseppe Castagna - ENS Paris, France * Patrick Cousot - ENS Paris, France * Mads Dam - KTH stocholm, Sweden * Pierpaolo Degano - U. Pisa, Italy * Rocco De Nicola (Chair) - U. Firenze, Italy * Sophia Drossopoulou - Imperial College, UK * Cedric Fournet - Microsoft Cambridge, UK * Stefania Gnesi - ISTI CNR, Italy * Joshua Guttman - MITRE, USA * Chris Hankin - Imperial College, UK * Matthew Hennessy - U. Sussex, UK * Alan Jeffrey - Bell Labs, USA * John Mitchell - Stanford U., USA * Fleming Nielson - IMM Copenhagen, DK * Catuscia Palamidessi - INRIA Paris, France * Benjamin Pierce - U. Pennsilvania, USA * Andrei Sabelfeld - Chalmers, Sweden * Don Sannella - U. Edinburgh, UK * Bernhard Steffen - U. Dortmund, Germany * Walid Taha - Rice U., USA * Jan Vitek - Purdue U., USA * Martin Wirsing - LMU Munich, Germany * Xavier Leroy - INRIA Paris, France * Gianluigi Zavattaro - U. Bologna, Italy 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. * Requirements engineering: capture, consistency, and change management * of software requirements * Software architectures: description and analysis of the architecture of * individual systems or classes of applications * Implementation concepts and technologies: distributed, mobile, and * embedded applications, service-oriented architectures and Web Services * Software processes: support for iterative, agile, and open source * development * Model-driven development: design and semantics of semi-formal visual * languages, consistency and transformation of models * Software evolution: refactoring, reverse and re-engineering, * configuration management and architectural change, or * aspect-orientation * Software quality: validation and verification of software using theorem * proving, testing, analysis, metrics or visualization techniques * Application of formal methods to software development Programme Committee * Luciano Baresi, Politecnico di Milano * Yolande Berbers, Katholieke Universiteit Leuven * Carlos Canal, University of Málaga * Myra Cohen, University of Nebraska * Ivica Crnkovic, Mälardalen University * Arie van Deursen, Delft University of Technology * Juergen Dingel, Queen's University * Matt Dwyer, University of Nebraska (co-chair) * Harald Gall, University of Zurich * Holger Giese, University of Paderborn * Martin Grosse-Rhode, Fraunhofer-ISST * Anthony Hall, independent consultant * Reiko Hecke, University of Leicester * Patrick Heymans, University of Namur * Paola Inverardi, University of L'Aquila * Valerie Issarn, INRIA-Rocquencourt * Natalia Juristo, Universidad Politecnica de Madrid * Kai Koskimies, Tampere University of Technology * Patricia Lago, Vrije Universiteit * Antónia Lopes, University of Lisbon (co-chair) * Mieke Massin, CNR-Institute of Information Science and Technology * Carlo Montangero, University of Pisa * Barbara Paech, University of Heidelberg * Leila Ribeir, Federal University of Rio Grande do Sul * Robb, Kansas State University * Catalin Roman, Washington University * Thomas Thelin, ABB Automation Technology Products * Sebastian Uchite, Imperial College * Jianjun Zhao, Fukuoka Institute of Technology 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: * Algebraic models, * Automata and language theory, * Behavioural equivalences, * Categorical models, * Computation processes over discrete and continuous data, * Infinite state systems * Computation structures, * Logics of programs, * Modal, spatial, and temporal logics, * Models of concurrent, reactive, distributed, and mobile systems, * Process algebras and calculi, * Semantics of programming languages, * Software specification and refinement, * Type systems and type theory. * Fundamentals of security * Semi-structured data * Program correctness and verification Programme Committee * Martin Abadi, University of California at Santa Cruz and Microsoft * Research * Michael Benedikt, Bell Laboratories * Ahmed Bouajjani, Université Paris 7 * Cristiano Calcagno, Imperial College London * Didier Caucal, IRISA-CNRS, Rennes * Flavio Corradini, Univerty of Camerino * Robert van Glabbeek, Stanford Universit * Andrew D. Gordon, Microsoft Research, Cambridge * Hendrik Jan Hoogeboom, Leiden University * Anna Ingolfsdottir, Aalborg University * Florent Jacquemard LSV, ENS de Cachan * Werner Kuich, TU Wien * Kamal Lodaya, Institute of Mathematical Sciences, Chennai * Antoine Miné, ENS Rue d'Ulm, Paris * Damian Niwinski, Warsaw University * David A. Schmitt, University of Kansas * Stefan Schwoon, Universität Stuttgart * Helmut Seidl, TU München (chair) * Scott A. Smolka, State University of New York at Stony Brook * P.S. Thiagarajan, National University of Singapore * Sophie Tison, Université des Sciences et Technologies de Lille * Heiko Vogler, TU Dresden * Christoph Weidenbach, Max-Planck-Institut für Informatik, Saarbrücke Invited Speaker Radha Jagadeesan, DePaul University Conference Page to be announced 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: * Specification and verification techniques for finite and infinite-state * systems * Software and hardware verification * Theorem-proving and model-checking * System construction and transformation techniques * Static and run-time analysis * Abstraction techniques for modeling and validation * Compositional and refinement-based methodologies * Testing and test-case generation * Analytical techniques for secure, real-time, hybrid, critical, * biological or dependable systems * Integration of formal methods and static analysis in high-level * hardware design or software environments * Tool environments and tool architectures * SAT solvers * Applications and case studies 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) * 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) * Sussanne 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 Göttingen, Göttingen (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/~mrh/tacas07.html