Difference between revisions of "FOSSACS 2019"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=FoSSaCS 2019 |Title=22nd International Conference on Foundations of Software Science and Computation Structures |Series=FOSSACS |Type=Conference |Superevent=E...") |
|||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=FoSSaCS 2019 | |Acronym=FoSSaCS 2019 | ||
− | |Title= | + | |Title=International Conference on Foundations of Software Science and Computation Structures |
+ | |Ordinal=22 | ||
|Series=FOSSACS | |Series=FOSSACS | ||
|Type=Conference | |Type=Conference | ||
Line 9: | Line 10: | ||
|Submission deadline=2018/11/16 | |Submission deadline=2018/11/16 | ||
|Homepage=https://etaps.org/2019/fossacs | |Homepage=https://etaps.org/2019/fossacs | ||
+ | |TibKatId=1778514340 | ||
+ | |gndId=1184831246 | ||
+ | |DblpConferenceId=fossacs/fossacs2019 | ||
|City=Prague | |City=Prague | ||
|Country=Czech Republic | |Country=Czech Republic | ||
+ | |presence=presence | ||
|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 17: | Line 22: | ||
|Accepted papers=29 | |Accepted papers=29 | ||
}} | }} | ||
+ | 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== |
Revision as of 13:19, 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 |
Location | |
Location: | Prague, Czech Republic |
Important dates | |
Submissions: | 2018/11/16 |
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