[TYPES/announce] Call for Papers: FoSSaCS 2013

Frank Pfenning fp at cs.cmu.edu
Mon Oct 1 09:12:02 EDT 2012


   Call for Papers

      International Conference on Foundations of
     Software Science and Computation Structures
     FoSSaCS 2013

 http://www.etaps.org/2013/fossacs13

       Affiliated with ETAPS'13
    Rome, Italy, March 16-24, 2013

FoSSaCS is an annual conference seeking 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, transformaton, and verification
of programs and software systems.

Important dates:
  7 October 2012: Abstract submission
 14 October 2012: Paper submission
6-7 December 2012: Author response period
 14 December 2012: Author notification
  8 January 2013: Final versions of accepted papers

Submission:
  15 pages in LNCS format via EasyChair at
  https://www.easychair.org/conferences/?conf=fossacs2013
  For details, consult http://www.etaps.org/2013/important-dates13

Topics:
  o Categorical models and logics
  o Language theory, automata, and games
  o Modal, spatial, and temporal logics
  o Type theory and proof theory
  o Concurrency theory
  o Rewriting theory
  o Semantics of programming languages
  o Program analysis, correctness, transformation, and verification
  o Logics of programming
  o Software specification and refinement
  o Models of concurrent, reactive, stochastic, distributed, hybrid, and
mobile systems
  o Process calculi
  o Emerging models of computation
  o Logical aspects of computational complexity
  o Fundamentals of software security
  o Logical foundations of databases

Program Committee:

  Andreas Abel (LMU Munich, Germany)
  Umut Acar (Max Planck Institute for Software Systems, Germany)
  Jiri Adamek (Techn. Univ. of Braunschweig, Germany)
  Rajeev Alur (University of Pennsylvania, USA)
  Eugene Asarin (Universite Paris Diderot, France)
  Nick Benton (MSR Cambridge, UK)
  Krishnendu Chatterjee (IST Austria)
  Swarat Chaudhuri (Rice University, USA)
  Adam Chlipala (MIT, USA)
  Ugo Dal Lago (University of Bologna, Italy)
  Giorgio Delzanno (University of Genova, Italy)
  Dan Ghica (University of Birmingham, UK)
  Jean Goubault-Larrecq (ENS Cachan, France)
  Bart Jacobs (Radboud Univ. of Nijmegen, Netherlands)
  Radha Jagadeesan (DePaul University, Chicago, USA)
  Patricia Johann (University of Strathclyde, Glasgow, UK)
  Naoki Kobayashi (Tohoku University, Japan)
  Stephane Lengrand (Ecole Polytechnique, France)
  Aart Middeldorp (University of Innsbruck, Austria)
  Catuscia Palamidessi (INRIA Saclay and LIX, France)
  Frank Pfenning, Chair (Carnegie Mellon University, USA)
  Ashish Tiwari (SRI International, Menlo Park, USA)
  Pawel Urzyczyn (University of Warsaw, Poland)
  Kwangkeun Yi (Seoul National University, Korea)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20121001/5f347fef/attachment-0001.html>


More information about the Types-announce mailing list