Difference between revisions of "FOSSACS 2021"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
|Start date=2021/03/27 | |Start date=2021/03/27 | ||
|End date=2021/04/01 | |End date=2021/04/01 | ||
| + | |Submission deadline=2020/10/15 | ||
| + | |Homepage=https://etaps.org/2021/fossacs | ||
|TibKatId=1753065569 | |TibKatId=1753065569 | ||
|gndId=1233767887 | |gndId=1233767887 | ||
| Line 14: | Line 16: | ||
|Country=Luxembourg | |Country=Luxembourg | ||
|presence=online | |presence=online | ||
| + | |Notification=2020/12/23 | ||
| + | |Camera ready=2021/01/22 | ||
| + | |Submitting link=https://easychair.org/account/signin?l=RT9nA9LTwIUqFCgADSfq12# | ||
}} | }} | ||
The 24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2021 | The 24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2021 | ||
| Line 38: | Line 43: | ||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
| + | (No abstract submission deadline)<br> | ||
| + | Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)<br> | ||
| + | Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE<br> | ||
| + | Author notification: 23 December 2020<br> | ||
| + | Camera-ready versions: 22 January 2021 | ||
Revision as of 09:41, 10 December 2021
| FOSSACS 2021 | |
|---|---|
International Conference on Foundations of Software Science and Computation Structure
| |
| Ordinal | 24 |
| Event in series | FOSSACS |
| Subevent of | ETAPS 2021 |
| Dates | 2021/03/27 (iCal) - 2021/04/01 |
| Presence | online |
| Homepage: | https://etaps.org/2021/fossacs |
| Submitting link: | https://easychair.org/account/signin?l=RT9nA9LTwIUqFCgADSfq12# |
| Location | |
| Location: | Luxembourg, Luxembourg |
| Important dates | |
| Submissions: | 2020/10/15 |
| Notification: | 2020/12/23 |
| Camera ready due: | 2021/01/22 |
| Table of Contents | |
The 24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2021
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
Important Dates
(No abstract submission deadline)
Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)
Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE
Author notification: 23 December 2020
Camera-ready versions: 22 January 2021