FOSSACS 2016
Revision as of 12:15, 9 December 2021 by Tolga.karaarslan (talk | contribs)
| FOSSACS 2016 | |
|---|---|
International Conference on Foundations of Software Science and Computation Structure
| |
| Ordinal | 19 |
| Event in series | FOSSACS |
| Subevent of | ETAPS 2016 |
| Dates | 2016/04/04 (iCal) - 2016/04/07 |
| Presence | presence |
| Homepage: | https://etaps.org/2016/fossacs |
| Submitting link: | https://easychair.org/account/signin?l=cIcqAihoFrsguo0TQbw4OK# |
| Location | |
| Location: | Eindhoven, The Netherlands |
| Important dates | |
| Submissions: | 2015/10/16 |
| Papers: | Submitted 85 / Accepted 31 (36.5 %) |
| Committees | |
| General chairs: | Jan Friso Groote |
| PC chairs: | Bart Jacobs, Christof Löding |
| Table of Contents | |
The 19. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2016
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 October 2015 23:59 AoE (=GMT-12)
Papers due: 16 October 2015 23:59 AoE (=GMT-12)
Rebuttal (ESOP and FoSSaCS only): 2-4 December 2015
Author notification: 18 December 2015
Camera-ready versions: 8 January 2016