FOSSACS 2006

From Openresearch
Jump to navigation Jump to search
FOSSACS 2006
International Conference on Foundations of Software Science and Computation Structure
Ordinal 9
Event in series FOSSACS
Subevent of ETAPS 2006
Dates 2006/03/25 (iCal) - 2006/03/31
Presence presence
Homepage: http://www.complang.tuwien.ac.at/etaps06/
Location
Location: Vienna, Austria
Loading map...

Papers: Submitted 107 / Accepted 28 (26.2 %)
Committees
PC chairs: Luca Aceto, Anna Ingólfsdóttir
Keynote speaker: Wan Fokkink
Table of Contents

The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.



The 9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2006


Topics

  • 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