Difference between revisions of "FOSSACS 2019"
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
|Country=Czech Republic | |Country=Czech Republic | ||
|presence=presence | |presence=presence | ||
| + | |Abstract deadline=2018/11/09 | ||
| + | |Notification=2019/01/25 | ||
| + | |Camera ready=2019/02/15 | ||
| + | |Submitting link=https://easychair.org/account/signin?l=8SqXnRFJZhLFYpaI0NpZtS# | ||
|has general chair=Jan Kofroň, Jan Vitek | |has general chair=Jan Kofroň, Jan Vitek | ||
|has program chair=Mikolaj Bojanczyk, Alex Simpson | |has program chair=Mikolaj Bojanczyk, Alex Simpson | ||
| Line 45: | Line 49: | ||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
| + | Abstracts due: 9 November 2018 23:59 AoE (=GMT-12)<br> | ||
| + | Papers due: 16 November 2018 23:59 AoE (=GMT-12)<br> | ||
| + | Rebuttal (ESOP, FoSSaCS and POST only): 11 January 00:01 AoE - 14 January 23:59 AoE<br> | ||
| + | Author notification: 25 January 2019<br> | ||
| + | Camera-ready versions: 15 February 2019 | ||
Revision as of 12:21, 9 December 2021
| FOSSACS 2019 | |
|---|---|
International Conference on Foundations of Software Science and Computation Structures
| |
| Ordinal | 22 |
| Event in series | FOSSACS |
| Subevent of | ETAPS 2019 |
| Dates | 2019/04/08 (iCal) - 2019/04/11 |
| Presence | presence |
| Homepage: | https://etaps.org/2019/fossacs |
| Submitting link: | https://easychair.org/account/signin?l=8SqXnRFJZhLFYpaI0NpZtS# |
| Location | |
| Location: | Prague, Czech Republic |
| Important dates | |
| Abstracts: | 2018/11/09 |
| Submissions: | 2018/11/16 |
| Notification: | 2019/01/25 |
| Camera ready due: | 2019/02/15 |
| Papers: | Submitted 85 / Accepted 29 (34.1 %) |
| Committees | |
| General chairs: | Jan Kofroň, Jan Vitek |
| PC chairs: | Mikolaj Bojanczyk, Alex Simpson |
| Keynote speaker: | Thomas Colcombet |
| Table of Contents | |
The 21. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2019
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
Abstracts due: 9 November 2018 23:59 AoE (=GMT-12)
Papers due: 16 November 2018 23:59 AoE (=GMT-12)
Rebuttal (ESOP, FoSSaCS and POST only): 11 January 00:01 AoE - 14 January 23:59 AoE
Author notification: 25 January 2019
Camera-ready versions: 15 February 2019