Difference between revisions of "Event:FOSSACS 2006"

Latest revision as of 06:31, 1 December 2023

Deadlines

14
Oct

2005

Submission

9
Dec

2005

Notification

6
Jan

2006

Camera-Ready

Metrics

Submitted Papers

107

Accepted Papers

28

Venue

University of Vienna, Elektrotechnisches Institut, Vienna, Austria

Loading map...

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

@@ Line 3: / Line 3: @@
 |Title=International Conference on Foundations of Software Science and Computation Structure
 |Ordinal=9
+|In Event Series=Event Series:FOSSACS
+|Single Day Event=no
+|Start Date=2006/03/25
+|End Date=2006/03/31
+|Event Status=as scheduled
+|Event Mode=on site
+|Venue=University of Vienna, Elektrotechnisches Institut
+|City=Vienna
+|Region=Vienna
+|Country=Country:AT
+|Academic Field=Computational Construction; Software Engineering
+|Official Website=http://www.complang.tuwien.ac.at/etaps06/
+|Hashtag=FOSSACS 2006
 |Type=Conference
 |Superevent=ETAPS 2006
-|Homepage=http://www.complang.tuwien.ac.at/etaps06/
 |gndId=10132604-X
 |DblpConferenceId=fossacs/fossacs2006
-|City=Vienna
-|Country=Country:AT
 |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
@@ Line 19: / Line 26: @@
 |pageEditor=User:Curator 75
 |contributionType=1
-|In Event Series=Event Series:FOSSACS
-|Single Day Event=no
-|Start Date=2006/03/25
-|End Date=2006/03/31
-|Event Status=as scheduled
-|Event Mode=presence
 }}
+{{Event Deadline
+|Notification Deadline=2005/12/09
+|Camera-Ready Deadline=2006/01/06
+|Submission Deadline=2005/10/14
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=University of Vienna
+}}
+{{Event Metric
+|Number Of Submitted Papers=107
+|Number Of Accepted Papers=28
+}}
+{{S Event}}
 The 9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2006