FOSSACS 2012

From Openresearch
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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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
Loading map...

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.


Submissions

Important Dates