Difference between revisions of "FOSSACS 2006"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=FOSSACS 2006 |Title=International Conference on Foundations of Software Science and Computation |Ordinal=9 |Series=FOSSACS |Type=Conference |Superevent=ETAPS...")
 
(Added page provenance(#264) and contribution type(#271))
 
(4 intermediate revisions by one other user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=FOSSACS 2006
 
|Acronym=FOSSACS 2006
|Title=International Conference on Foundations of Software Science and Computation
+
|Title=International Conference on Foundations of Software Science and Computation Structure
 
|Ordinal=9
 
|Ordinal=9
 
|Series=FOSSACS
 
|Series=FOSSACS
Line 14: Line 14:
 
|Country=Austria
 
|Country=Austria
 
|presence=presence
 
|presence=presence
 +
|has program chair=Luca Aceto, Anna Ingólfsdóttir
 +
|has Keynote speaker=Wan Fokkink
 +
|Submitted papers=107
 +
|Accepted papers=28
 +
|has Proceedings DOI=https://doi.org/10.1007/11690634
 +
|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 (FOSSACS) 2006
+
The 9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2006
  
  
 
==Topics==
 
==Topics==
==Submissions==
+
*Algebraic models
==Important Dates==
+
*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

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