CALL FOR PAPERS: FoSSaCS 2007 Tenth International Conference on Foundations of Software Science and Computation Structures http://www2.in.tum.de/~seidl/fossacs07/ Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal IMPORTANT DATES * 6 Oct 2006: Submission deadline (strict) for abstracts * 13 Oct 2006: Submission deadline (strict) for full versions * 8 Dec 2006: Notification of acceptance * 5 Jan 2007: Camera-ready versions due 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. As FoSSaCS 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. 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, University of Camerino * Robert van Glabbeek, Stanford University * 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. Schmidt, 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ücken Invited Speaker: Radha Jagadeesan, DePaul University SUBMISSION GUIDELINES Papers should be submitted using the FoSSaCS 2007 Conference Service at: http://sttt.cs.uni-dortmund.de/fossacs07/servlet/Conference Papers cover one or more of the topics above and are evaluated by the FoSSaCS Program Committee. Submitted papers must: * be in English and have a maximum of 15 pages (including figures and bibliography) * present original research which is unpublished and not submitted elsewhere (conferences or journals) -- in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden * use the Springer-LNCS style * be submitted electronically in Postscript or PDF form via the FoSSaCS 2007 Conference Service (abstract no later than 6 October, 2006, and full paper no later than 13 October, 2006) Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Chair (www2.in.tum.de/~seidl) prior to submitting.