Difference between revisions of "FOSSACS 2017"
Jump to navigation
Jump to search
| Line 26: | Line 26: | ||
==Topics== | ==Topics== | ||
| + | *categorical models and logics; | ||
| + | *language theory, automata, and games; | ||
| + | *modal, spatial, and temporal logics; | ||
| + | *type theory and proof theory; | ||
| + | *concurrency theory and process calculi; | ||
| + | *rewriting theory; | ||
| + | *semantics of programming languages; | ||
| + | *program analysis, correctness, transformation, and verification; | ||
| + | *logics of programming; | ||
| + | *software specification and refinement; | ||
| + | *models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; | ||
| + | *emerging models of computation; | ||
| + | *logical aspects of computational complexity; | ||
| + | *models of software security; | ||
| + | *logical foundations of data bases | ||
| + | |||
| + | |||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 12:50, 9 December 2021
| FOSSACS 2017 | |
|---|---|
International Conference on Foundations of Software Science and Computation Structures
| |
| Ordinal | 20 |
| Event in series | FOSSACS |
| Subevent of | ETAPS 2017 |
| Dates | 2017/04/24 (iCal) - 2017/04/27 |
| Presence | presence |
| Homepage: | https://etaps.org/2017/fossacs |
| Location | |
| Location: | Uppsala, Sweden |
| Important dates | |
| Submissions: | 2016/10/21 |
| Papers: | Submitted 101 / Accepted 32 (31.7 %) |
| Committees | |
| General chairs: | Parosh Aziz Abdulla |
| PC chairs: | Javier Esparza, Andrzej Murawski |
| Keynote speaker: | Joel Ouaknine |
| Table of Contents | |
The 20. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2017
Topics
- categorical models and logics;
- language theory, automata, and games;
- modal, spatial, and temporal logics;
- type theory and proof theory;
- concurrency theory and process calculi;
- rewriting theory;
- semantics of programming languages;
- program analysis, correctness, transformation, and verification;
- logics of programming;
- software specification and refinement;
- models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
- emerging models of computation;
- logical aspects of computational complexity;
- models of software security;
- logical foundations of data bases