Difference between revisions of "FOSSACS 2013"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=FOSSACS 2013 |Title=International Conference on Foundations of Software Science and Computation |Series=FOSSACS |Type=Conference |Superevent=ETAPS 2013 |Start...") |
|||
Line 7: | Line 7: | ||
|Start date=2013/03/16 | |Start date=2013/03/16 | ||
|End date=2013/03/24 | |End date=2013/03/24 | ||
+ | |Homepage=https://etaps.org/index.php/2013/fossacs | ||
|TibKatId=736579591 | |TibKatId=736579591 | ||
|gndId=103370282X | |gndId=103370282X | ||
Line 18: | Line 19: | ||
==Topics== | ==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== | ==Submissions== | ||
==Important Dates== | ==Important Dates== |
Revision as of 09:22, 8 December 2021
FOSSACS 2013 | |
---|---|
International Conference on Foundations of Software Science and Computation
| |
Event in series | FOSSACS |
Subevent of | ETAPS 2013 |
Dates | 2013/03/16 (iCal) - 2013/03/24 |
Presence | presence |
Homepage: | https://etaps.org/index.php/2013/fossacs |
Location | |
Location: | Rome, Italy |
Table of Contents | |
The 16. International Conference on Foundations of Software Science and Computation (FOSSACS) 2013
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.