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.