FOSSACS 2011

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. The specific topics covered by the conference include, but are not limited to, the following: 

  • Automata and language theory
  • Behavioural equivalences
  • Categorical models
  • Infinite state systems
  • Modal, spatial, and temporal logics
  • Models of concurrent, reactive, distributed, hybrid, 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

 

Conference Website: http://www2.tcs.ifi.lmu.de/Konferenzen/FoSSaCS_2011

Who's online

We have 7 guests and no members online

Site Hosted by

ETAPS 2011

UdS_Logo_4c_hernan_en_svg