You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
The 14. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2011 ==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. *Fundamentals of security *Semi-structured data *Program correctness and verification ==Important Dates== Monday, October 4, 2010 Submission of abstracts (postponed from October 1, 2010)<br> Friday, 8 October 2010, 23:00 Samoa-Apia Time (worldclock, countdown) Strict deadline for submission of full papers.<br> Friday, December 10, 2010 Notification of acceptance<br> Monday, January 3, 2011 Camera-ready paper versions due<br> March 26 - April 3, 2011 FoSSaCS 2011 Conference
Save page Show preview Cancel