Difference between revisions of "FOSSACS 2006"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
Line 20: Line 20:
 
|has Proceedings DOI=https://doi.org/10.1007/11690634
 
|has Proceedings DOI=https://doi.org/10.1007/11690634
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F11690634
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F11690634
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
The 9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2006
 
The 9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2006

Latest revision as of 20:24, 1 April 2022

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 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