FOSSACS 2012
Revision as of 12:26, 7 December 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=FOSSACS 2012 |Title=International Conference on Foundations of Software Science and Computation |Ordinal=15 |Series=FOSSACS |Type=Conference |Superevent=ETAPS...")
FOSSACS 2012 | |
---|---|
International Conference on Foundations of Software Science and Computation
| |
Ordinal | 15 |
Event in series | FOSSACS |
Subevent of | ETAPS 2012 |
Dates | 2012/03/24 (iCal) - 2012/04/01 |
Presence | presence |
Submitting link: | https://www.easychair.org/account/signin?l=TwBUVCR9Bc5DAm2TJ8bEmd# |
Location | |
Location: | Tallinn, Estonia |
Committees | |
PC chairs: | Lars Birkedal |
Keynote speaker: | Glynn Winskel |
Table of Contents | |
The 15. International Conference on Foundations of Software Science and Computation (FOSSACS) 2012
Topics
Automata and language theory; Behavioural equivalences; Categorical models; Infinite state systems; Modal, spatial, and temporal logics; Models of concurrent, reactive, distributed, hybrid, 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.